Re: Groebner bases of a set of equations
Raymond Rogers <[email protected]> Tue, 18 Feb 2014 12:32:59 -0500
| Newsgroups | gmane.comp.mathematics.axiom.general |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format. --===============5153889632562954728== Content-Type: multipart/alternative; boundary="------------040005040203050002090502" This is a multi-part message in MIME format. --------------040005040203050002090502 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit 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 > [email protected] > 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 --------------040005040203050002090502 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit <html> <head> <meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"> </head> <body bgcolor="#FFFFFF" text="#000000"> Try <br> groebner[m]<br> <br> <big>IMHO: It tries but I think you have to drop out on "INT" to do better.</big><br> <br> <div class="moz-cite-prefix">On 02/18/2014 11:36 AM, sahin wrote:<br> </div> <blockquote cite="mid:[email protected]" type="cite"> <pre wrap="">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: <a class="moz-txt-link-freetext" href="http://nongnu.13855.n7.nabble.com/Groebner-bases-of-a-set-of-equations-tp179215.html">http://nongnu.13855.n7.nabble.com/Groebner-bases-of-a-set-of-equations-tp179215.html</a> Sent from the axiom-math mailing list archive at Nabble.com. _______________________________________________ Axiom-math mailing list <a class="moz-txt-link-abbreviated" href="mailto:[email protected]">[email protected]</a> <a class="moz-txt-link-freetext" href="https://lists.nongnu.org/mailman/listinfo/axiom-math">https://lists.nongnu.org/mailman/listinfo/axiom-math</a> </pre> </blockquote> <br> <pre class="moz-signature" cols="72">-- 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 </pre> </body> </html> --------------040005040203050002090502-- --===============5153889632562954728== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Axiom-math mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-math --===============5153889632562954728==--