Re: Pointer update please.

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