Try a larger set of variables (generators). Other unlisted symbols default to being parameters (from FRAC POLY INT). For example
[ca,cb,sa,sb,x,y] gives a basis of 12 polynomials. See http://axiom-wiki.newsynthesis.org/SandBoxGroebnerBasis#msg20140219000533+0...@axiom-wiki.newsynthesis.org On 18 February 2014 11:23, sahin <sahinsure...@yahoo.ca> 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-tp179213.html > Sent from the axiom-math mailing list archive at Nabble.com. > > _______________________________________________ > Axiom-math mailing list > Axiom-math@nongnu.org > https://lists.nongnu.org/mailman/listinfo/axiom-math _______________________________________________ Axiom-math mailing list Axiom-math@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-math