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.
