[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: [Axiom-math] newbie type problem

**From**: |
Martin Rubey |

**Subject**: |
Re: [Axiom-math] newbie type problem |

**Date**: |
Mon, 20 Dec 2004 17:25:12 +0100 |

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