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.