On 12/01/2014 01:32 PM, Ralf Hemmecke wrote:
On 12/01/2014 05:24 PM, Raymond Rogers wrote:
I have been perusing information on Groebner basis in Axiom and some
links are broken in:
https://lists.gnu.org/archive/html/axiom-math/2006-08/msg00001.html
Bill Page
Subject: RE: [Axiom-math] Groebernbases
Date: Mon, 7 Aug 2006 11:37:42 -0400
In particular:
http://wiki.axiom-developer.org/axiom--test--1/src/algebra/PgrobnerSpad
http://wiki.axiom-developer.org/axiom--test--1/src/algebra/FrontPage/searchwiki?expr=Groebner
Could somebody provide updates for the links?
I cannot fix these links in the mailing list, but as far as I am
informed, the current place of the axiom-wiki is
http://axiom-wiki.newsynthesis.org
(maintained by Waldek Hebisch)
I don't know whether Tim maintains a copy of the old Wiki.
Anyway, your links probably translate into
http://axiom-wiki.newsynthesis.org/axiom--test--1/src/algebra/PgrobnerSpad
http://axiom-wiki.newsynthesis.org/axiom--test--1/src/algebra/FrontPage/searchwiki?expr=Groebner
You might also find this one useful (maintained by me).
http://fricas.github.io/api/PolyGroebner.html
Ralf
Since you are maintaining Groebner information, I have a question.
I wanted to convert quadratics p(x)->Q(x') by finding n,m: x'=m*x+n; so
I put.
p(x)-q(x')=0
x'-m*x-n=0
and got an answer in terms f(n,m)x^2+g(n,m)*x+h(n,m)=0
so then I had to set
f(n,m)=0
g(n,m)=0
h(n,m)=0
as a separate step. Which worked fine to give me triangular output.
I am questioning the second step; not that it's wrong, but IMO it
shouldn't be necessary.
Is there a technique to avoid that? I haven't come up with anything.
Ray
_______________________________________________
Axiom-math mailing list
Axiom-math@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-math
