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

[Bill Page]

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/address@hidden

On 18 February 2014 11:23, sahin <address@hidden> 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
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/axiom-math