Bill Page wrote:
>
> Following up: Is 'devaluate' deprecated and not to be used or is it
> intended for some other purpose? If so, what purpose?
'devaluate' produces "type name", which uniquely identifies type.
The name suggests that is is inverse of 'evaluate'. Actually
you can massage result of 'devaluate' and pass to Lisp 'eval'
to get the same type.
But 'devaluate' does _not_ produce OutputForm, namely, result
of 'devaluate' contains raw representation of parameters which
in general need to be converted to OutputForm. Currently
'outputDomainConstructor' calls 'devalute', but needs to
do extra work.
There are same tricky corner cases when printing types.
'outputDomainConstructor' is supposed to know how to
handle them. Any method of printing types which does not
ultimately go via 'outputDomainConstructor' is buggy
or is likely to be broken by future changes.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
