Singular

See reply to factoring lists from
Mon Jun 09, 2008 2:54 am

Dear Singular users,

I have been using Maple in an attempt to derive intersections of systems of two polynomials, each like:

f_7(a,b,c)x^7 + ... + f_1(a,b,c)x + f_0(a,b,c) = 0;

where a,b,c are each defined over [0,1] and the functions, f_i, are polynomial in a,b, and c. I am only interested in the x in [0,1]. (The problem is one in economics, as referred to on p.25 of Greuel and Pfister's "Singular and Applications".)

Not having succeeded yet, I have been looking for alternative ways to do this, and have therefore discovered Singular.

As my algebra is limited, I find it difficult to assess from the online manual and other supporting documentation whether (i) Singular can derive such intersections; and (ii) I will be able to use it without too much investment of time.

Any guidance on either of these questions would be very much appreciated. (I am happy to work with x,a,b,c in the rationals rather than the reals.)

Thank you in advance,

Colin Rowat