Singular
https://www.singular.uni-kl.de/forum/

Robotic example in Ideals, Varieties and Algorithms (Cox)
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2044		 Page 1 of 1
Author:  MK [ Sat Jan 28, 2012 11:59 pm ]
Post subject:  Robotic example in Ideals, Varieties and Algorithms (Cox)
Hello,
for some time I've been trying the "reverse-kinematic-example" in the book (section 6, ยง3).
Unfortunately I don't get the solution the author has calculated in the book.
Could someone give me some hint for the corresponding singular code?
Below the code I tried so far:

Code:
ring R=(0,a,b,l(2),l(3)),(c(2),s(2),c(1),s(1)),lp;
poly f_1=l(3)*c(1)*c(2)-l(3)*s(1)*s(2)+l(2)*c(1)-a;
poly f_2=l(3)*c(1)*c(2)+l(3)*c(2)*s(1)+l(2)*s(1)-b;
poly f_3=c(1)^2+s(1)^2-1;
poly f_4=c(2)^2+s(2)^2-1;
ideal I = f_1, f_2, f_3, f_4;
option(redSB);
ideal G=std(I);
G;


Many thanks,
MK
Author:  Wolfram Decker [ Sun Jan 29, 2012 10:07 pm ]
Post subject:  Re: Robotic example in Ideals, Varieties and Algorithms (Cox)
Please note that there is a simple typo in f_2:
f_2=(l(3))*s(2)*c(1)+(l(3))*c(2)*s(1)+(l(2))*s(1)+(-b);
Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/