[Top][All Lists]

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

Re: [Axiom-developer] about Expression Integer

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] about Expression Integer
Date: Tue, 21 Feb 2006 16:13:01 +0100
User-agent: Thunderbird 1.5 (X11/20051201)

       differentiate(p: %,v: OV) ==

where univariate just converts p to an element of
SparseUnivariatePolynomial(%). (BTW, that's already a trick!)

Alternatively, if we are going to allow constructions in which
the coefficient domain of SUP might contain the polynomial
variable, then the implementation of 'differentiate' in SUP
should be corrected.

Look more closely. SUP does not even know of a variable name. So how should it do something else than differentiate with respect to the only (unamed) variable it has? It's a univariate polynomial in the sense of being a function with finite support from the natural numbers to the coefficient ring.


reply via email to

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