On Fri, 17 Jun 2016, Waldek Hebisch wrote:
apparently UnivariatePuiseuxSeriesWithExponentialSingularity relies on this lie: OrderedCompletion being an OrderedRing and AbelianGroup (compilation fails without).Hmm, OrderedSet is fine. However, OrderedRing, AbelianMonoid etc is a lie: operations are only partial.
Franz
