Hi,
the attached code is very similar to the definition of
UnivariateLaurentSeries from
https://github.com/fricas/fricas/blob/master/src/algebra/laurent.spad#L541
except that I removed some stuff and redefined zero?.
Unfortunately, although it compiles, I cannot work with it.
(1) -> L ==> Finite0Series(Fraction Integer, "q"::Symbol)
Type:
Void
(2) -> L
(2) Finite0Series(Fraction(Integer),q)
Type:
Type
(3) -> 1$L
>> System error:
The value NIL is not of type FUNCTION.
Any idea what I am doing wrong?
Ralf
--
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.
For more options, visit https://groups.google.com/d/optout.
)abbrev domain FIN0SER Finite0Series
Finite0Series(C: Ring, var: Symbol): Exports == Implementation where
UTS ==> UnivariateTaylorSeries(C, var, 0$C)
ULS ==> UnivariateLaurentSeries(C, var, 0$C)
Exports ==> UnivariateLaurentSeriesConstructorCategory(C, UTS) with
coerce: Variable(var) -> %
coerce: ULS -> %
Implementation ==> ULS add
coerce(v : Variable(var)) == monomial(1, 1)
coerce(s: ULS): % == s pretend %
zero?(x: %): Boolean == order x > 0
