Ralf Hemmecke <[email protected]> writes:
| On 01/19/2012 09:11 PM, Gabriel Dos Reis wrote:
| > -- In domain definitions, it makes an artificial distinction between
| > the domain form and % (fornunately OpenAxiom has courtesy
| > conversions to minimize the ill effects of this artificial
| > distinction.)
|
| "domain form"? Can you give a code example that make it more clear
| what distinction you mean?
Take any domain definition, say Integer. You have
Integer(): ...
and in the ... you have a reference to %. That % designates the same
thing as Integer(), but most Spad compilers don't know that. So one gets
to use silly `pretend' expressions to get around that -- with increased
potential of introducing plain bugs that the compiler cannot catch. See
definition of reducedSystem in Integer.
-- Gaby
--
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.
