In fact, you do the similar thing in mantepse.spad.
https://github.com/fricas/fricas/blob/master/src/algebra/mantepse.spad#L25
Maybe, it is time to add domains for Taylor, Laurent, and Puiseux series
which work similar in spirit like SUP, i,e. no variable and no expasion
point.
Maybe. No variable may be limiting.
That is somewhat true. I actually do not quite like that SUP print's its
variable as "?", I'd rather prefer that there would be a domain variable
that can be set via setOutputVariable!: Symbol -> Symbol (and returning
the previous value). As in the univariate polynomial case, we could then
use such (variableless and point-of-expansion-less) version to implement
the current Tayler, Laurent, Puiseux series. I would start working on
such a simple refactoring, if you agree.
Erm, .. but what should I call those domains/categories?
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/df930494-3d91-446a-a018-ec698504f029%40hemmecke.org.