[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-math] newbie type problem

From: Frank Thieme
Subject: Re: [Axiom-math] newbie type problem
Date: Mon, 20 Dec 2004 15:52:23 +0100

Thanks for the long answer! I'm using cvs version of axiom of savannah
if that matters. So I couldn't try out the package solution, yet...

On Mon, 2004-12-20 at 11:45 +0100, Martin Rubey wrote:
> or, perhaps better
> abl(f:POLY FRAC INT,x:Symbol):POLY FRAC INT ==
>   coefficient(f,x,degree(f,x))*degree(f,x)*x^(degree(f,x)-1)

should be FRAC POLY INT instead of POLY FRAC INT - at least it works

Now, the second question regarding that problem...

We shall implement derivation rules via rules. First intention is:
ablrules := rule abl(a+b,c) == abl(a,c) + abl(b,c)

but axiom evaluates abl(a+b,c) to zero and makes a rule 0 ->
abl()+abl(). Simple ...rule 'abl(... does not work because of wrong


reply via email to

[Prev in Thread] Current Thread [Next in Thread]