source:
CGBLisp/examples/robot.lisp@
1
Last change on this file since 1 was 1, checked in by , 15 years ago | |
---|---|
File size: 215 bytes |
Line | |
---|---|
1 | (time |
2 | (STRING-GROBNER-SYSTEM |
3 | "[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]" |
4 | '(C2 S2 C1 S1) |
5 | '(A B L2 L3) |
6 | :COVER '(("[]" "[l2,l3]")) |
7 | :main-order #'lex> |
8 | :parameter-order #'lex> |
9 | )) |
Note:
See TracBrowser
for help on using the repository browser.