source: CGBLisp/examples/robot2.lisp@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

First import of a version circa 1997.
File size: 313 bytes
Line 
1;;For the robot with arms of length 1, determine the
2;;dimensions of f^{-1}(c) for all c
3(time
4(STRING-GROBNER-SYSTEM
5"[a-l3*c1*c2+l3*s1*s2-l2*c1, b-l3*c1*s2-l3*c2*s1-l2*s1, c1^2+s1^2-1, c2^2+s2^2-1]"
6'(C2 S2 C1 S1)
7'(A B L2 L3)
8:COVER '(("[l2-1,l3-1]" "[]"))
9:main-order #'grevlex>
10:parameter-order #'lex>
11))
Note: See TracBrowser for help on using the repository browser.