On 8 Feb 2013, at 21:07, Waldek Hebisch wrote:

No.  The problem is that 'x' is a symbol and you want it treated
as polynomial.  In Spad (in contract to FriCAS command line)
there is no automatic conversion of symbols to polynomials.
Instead one normally uses 'monomial' function.  In your case:

)abbrev package TEST TestPackage
TestPackage(x) : Exports == Implementation where
  x : Symbol
  Exports == with
f : NonNegativeInteger -> UnivariatePolynomial(x, Fraction Integer)
  Implementation == add
    f(d) == monomial(1, d)

Ah, thanks Waldek, that explains it.

Regards,
Paul

--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to