I don't know whether it is in fricas or not, but I have something on my
wish list for fricas - namely the option for a / 0 = 0 for the field of
real numbers, as is standard in Isabelle/HOL, and implicit for the
pseudo-inverse in linear algebra.

When you speak of "field of real numbers", which domain in FriCAS do you mean exactly? "Float" is certainly not that domain.

Do you really mean that division by zero should give zero instead of a division-by-zero error?

Maybe related to this?

http://comments.gmane.org/gmane.comp.mathematics.maxima.general/33656
http://www.math.utexas.edu/pipermail/maxima/2011/024297.html

Ralf

--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to