axiom-math
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-math] Groebner bases of a set of equations


From: Raymond Rogers
Subject: Re: [Axiom-math] Groebner bases of a set of equations
Date: Tue, 18 Feb 2014 12:32:59 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0

Try
groebner[m]

IMHO: It tries but I think you have to drop out on "INT" to do better.

On 02/18/2014 11:36 AM, sahin wrote:
Hello,

I am trying to obtain Groebner bases of a system of equations. Below is my
code

(1) -> m : List DMP([ca,sa,x,y],FRAC POLY INT)
(2) -> m :=
[x^2+y^2-r1^2,(x+lab*ca)^2+(y+lab*sa)^2-r2^2,(x+lac*(ca*cb-sa*sb))^2+(y+lac*(sa*cb+ca*sb))^2-r3^2,ca^2+sa^2-1]

asking for groebner bases is leading to
(3) -> groebner(m)

   (3)  [1]
Type:
List(DistributedMultivariatePolynomial([ca,sa,x,y],Fraction(Polynomial(Integer))))

which does not make sense to me. The equations are based on a physical
system and I can't see any reason that would lead to an inconsistency. Why
am I getting [1] as the result? Any help or insight would be
well-appreciated.

Best Regards,



--
View this message in context: http://nongnu.13855.n7.nabble.com/Groebner-bases-of-a-set-of-equations-tp179215.html
Sent from the axiom-math mailing list archive at Nabble.com.

_______________________________________________
Axiom-math mailing list
address@hidden
https://lists.nongnu.org/mailman/listinfo/axiom-math

-- 
Act IV, Sc. IV
What is a man,
If his chief good and profit of his time
Be to sleep and feed.  Be a beast, no more

reply via email to

[Prev in Thread] Current Thread [Next in Thread]