Thanks Ralf, that makes a bit more sense. What exactly (formally) does one get if one requires x/0 = 0? It is not a field or even a division algebra, right?
On Thu, Mar 24, 2011 at 2:49 AM, Ralf Hemmecke <[email protected]> wrote: >> 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. > > -- 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.
