Re: [Axiom-math] newbie type problem

[Martin Rubey]

Frank Thieme writes:
 > 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...

Yes you can! put it into a file ("test.spad", for example) and say

)co test.spad

)sh ABL

should show you the operations you defined in the package ABL.
 
 > 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 then...

Does this mean, with POLY FRAC INT it does not work? What does not work, please
provide an example!

 > 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
 > type... 

yes, and it should: a+b is constant in c...

I'll think about it.

Martin