# Re: Groebner bases of a set of equations Classic List Threaded 1 message 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)  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  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 [hidden email] 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 ``` _______________________________________________ Axiom-math mailing list [hidden email] https://lists.nongnu.org/mailman/listinfo/axiom-math