Could you explain what you mean by "/ 0 = 0 for the field of real numbers"? Are you talking about computation with exact reals? As far as I know FriCAS does not include any implementation of exact real arithmetic (yet). The best it can do is FLOAT, the domain of floating point numbers with user specified precision which is only a FIELD in an approximate sense.
On Thu, Mar 24, 2011 at 12:25 AM, Jalaluddin Morris <[email protected]> wrote: > Martin, > > 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. > > Could this be engineered as a domain? > > Regards, > > Jalaluddin > > > On 24/03/11 00:02 AM, Martin Baker wrote: >> >> On Wednesday 23 Mar 2011 14:58:21 Waldek Hebisch wrote: >>> >>> It looks like good addition for next release (possibly after some >>> changes) -- I would like to finish current one as soon as possible >>> and _then_ start adding new code. >> >> OK, I'll wait to hear from you. >> >> In the meantime I am working on a companion domain 'Lambda' which can be >> coerced to and from the SKI combinator domain. I've also been thinking >> about a >> third IntuitionisticLogic domain. >> >>> BTW: In the message containing first version of 1.1.2 news/relase notes >>> when I wrote about additions I meant additions to the notes. >> >> Yes, I realised that, but I thought there may have been a small chance of >> sneaking it in. >> >> Martin >> > > -- > 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.
