On Sun, Jun 15, 2025 at 08:01:31PM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> > > 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.
At core this looks reasonable. However, mutable state implied by
setOutputVariable! is a nightmare in basic library. Rather, library
should use something like "?" and if desired setOutputVariable! be
part of some user facing domain.
Also, refactoring should start from categories and we would need
categories that are good both for domains without variable and
expansion point and for ones containing them.
There are other potential tricky points, one would have to try
to see if it works better than current code.
> Erm, .. but what should I call those domains/categories?
That is somewhat problematic. We have several series domains
which already have longish names. Old code uses prefix like
Inner to indicate implementation domains, but that leads to
even longer names.
--
Waldek Hebisch
--
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/aFNx1TiiDmtudGla%40fricas.org.
