>
> >
> > On Fri, 17 Jun 2016, Waldek Hebisch wrote:
> > > Hmm, OrderedSet is fine. However, OrderedRing, AbelianMonoid etc
> > > is a lie: operations are only partial.
> > apparently UnivariatePuiseuxSeriesWithExponentialSingularity relies on
> > this lie:
> > OrderedCompletion being an OrderedRing and AbelianGroup (compilation fails
> > without).
>
> Yes, there are several places that depend on this. I have resolved
> most of them, but want to finish other changes first.
I have now adjusted algebra so that it compiles with minimal
structure on completition.
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
