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
|
Rev | Line | |
---|
[1] | 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.