Bill Page wrote:
>
> Sorry. Enough to correct the output of 'domainOf':
>
> (1) -> domainOf(taylor(1,x=-1))
>
> (1) UnivariateTaylorSeries(Expression(Integer()),x,0()(0))
> Type: OutputForm
<snip>
> I got interested in this when Martin asked if there was some way to
> return the type of an expression to the Sage interface. 'typeOf' does
> not produce a useful result for this example
Thanks for the patch. But actually, we want less magic rather
than more. What 'dom' gives is essentially internal representation
of type. We have special routine to convert types to OutputForm.
I was somewhat slow to realize that the culprit was wrong
OutputForm. I incorrectly imagined that some of ad-hoc
printing routines were responsible for the problem -- your
patch made clear that we need to fix OutputForm.
--
Waldek Hebisch
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
