# Singular

 Page 1 of 1 [ 1 post ]
 Print view | E-mail friend Previous topic | Next topic
Author Message
 Post subject: reasonable computation?Posted: Fri Mar 02, 2007 3:04 pm

Joined: Fri Mar 02, 2007 2:18 pm
Posts: 1
Hi, if any of the more exprienced users could give me his just their gut feeling and/or advice, any help is greatly appreceated!

After trying for some time with different approaches namely the fractal walk and the hilbert driven BB, I am starting to wonder, wether it is reasonable to expect the following elimination problem to compute:
(dp groebner bases compute very nicely, dimension of the generated ideal is 20)

Eliminate y1,y2,y3,y4, to be able to express y5 in terms of the x(ik):

ring s = 0,(y1,y2,y4,y5,x11,x12,x13,x14,x21,x22,x23,x24,x31,x32,x33,x34,x41,x42,x43,x44,x51,x52,x53,x54), (dp);

poly f1 = y1^2+y2^2-y3^2+y4^2+y5^2+2*x13*y1*y4-2*x14*y1*y5+2*x14*y2*y4+2*x13*y2*y5-2*y1*x11-2*y2*x12-2*x11*x13*y4-2*x12*x14*y4+2*x11*x14*y5-2*x12*x13*y5+x11^2+x12^2;
poly f2 = y1^2+y2^2-y3^2+y4^2+y5^2+2*x23*y1*y4-2*x24*y1*y5+2*x24*y2*y4+2*x23*y2*y5-2*y1*x21-2*y2*x22-2*x21*x23*y4-2*x22*x24*y4+2*x21*x24*y5-2*x22*x23*y5+x21^2+x22^2;
poly f3 = y1^2+y2^2-y3^2+y4^2+y5^2+2*x33*y1*y4-2*x34*y1*y5+2*x34*y2*y4+2*x33*y2*y5-2*y1*x31-2*y2*x32-2*x31*x33*y4-2*x32*x34*y4+2*x31*x34*y5-2*x32*x33*y5+x31^2+x32^2;
poly f4 = y1^2+y2^2-y3^2+y4^2+y5^2+2*x43*y1*y4-2*x44*y1*y5+2*x44*y2*y4+2*x43*y2*y5-2*y1*x41-2*y2*x42-2*x41*x43*y4-2*x42*x44*y4+2*x41*x44*y5-2*x42*x43*y5+x41^2+x42^2;
poly f5 = y1^2+y2^2-y3^2+y4^2+y5^2+2*x53*y1*y4-2*x54*y1*y5+2*x54*y2*y4+2*x53*y2*y5-2*y1*x51-2*y2*x52-2*x51*x53*y4-2*x52*x54*y4+2*x51*x54*y5-2*x52*x53*y5+x51^2+x52^2;

Top

 Display posts from previous: All posts1 day7 days2 weeks1 month3 months6 months1 year Sort by AuthorPost timeSubject AscendingDescending
 Page 1 of 1 [ 1 post ]

 You can post new topics in this forumYou can reply to topics in this forumYou cannot edit your posts in this forumYou cannot delete your posts in this forumYou cannot post attachments in this forum

 It is currently Sun Oct 21, 2018 9:37 pm
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group