> 
> 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.

-- 
                              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.

Reply via email to