Bill Page bill.p...@newsynthesis.org writes:
[...]
| 'None' on the other hand is called a domain without any values but
| it is typically used in situations where one apparently needs to
| temporarily avoid (duck?) the type checking, e.g. in the domain 'Any',
| but also in several other places
Bill Page wrote:
We seldom seem to make much progress with foundational issues in Axiom
(where I write Axiom in this email, it should be understood that I am
also referring to FriCAS and OpenAxiom) but I thought I would like to
bring up a subject that has bother me a little and ask for
On Mon, Oct 5, 2009 at 2:03 PM, Waldek Hebisch wrote:
Bill Page wrote:
...
Although it is currently a stand alone domain, 'Void' could be easily
made to satisfy 'SetCategory' by providing a simple '=' operation.
Since by definition 'Void' has only a single canonical value we can
simply
http://www.aldor.org/docs/HTML/chap5.html#10
--~--~-~--~~~---~--~~
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 fricas-devel@googlegroups.com
To unsubscribe