> > 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! Sage's approach to safety is in my opinion quite instructive: on the one hand very heavy use of doctests (using a surprisingly simple framework), on the other hand generic code using ideas building on the category-domain scheme of FriCAS', but also using categorical constructions closer to mathematics. (I am not advocating for making UTS an EUCDOM) Martin -- 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/b6de8c79-199b-4894-9de2-cf3dfe82c5fc%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
