Martin R wrote:
>
> >
> > Let me add that EuclideanDomain is a nice example of things
> > going wrong: probably more than half of uses in original code
> > were bugs. Several such buggy uses are now removed but I still
> > work on removing some other...
> >
>
> I'd be very interested in a concrete example!
Well, in ComplexCategory asserting EuclideanDomain is a lie (true
only in very special cases). Uses in multfact.spad and multsqr.spad
are mostly bogus (code should be written in way that works without
using functions from EuclideanDomain). For removed cases see past
diffs. In particular EuclideanDomain was uses in many places
where PolynomialFactorizationExplicit should be used.
--
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].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/E1gnQzV-0001G8-1m%40hera.math.uni.wroc.pl.
For more options, visit https://groups.google.com/d/optout.
