Thank you Waldek. Now at least the magic is better hidden. :) https://github.com/fricas/fricas/commit/05ee8d9e5b855106c08670deb35379882147aa0e
Indeed I had completely forgotten about this: https://groups.google.com/d/msg/fricas-devel/_0tijpdaPng/kT46-RJbn28J Bill. On 18 August 2016 at 20:43, Waldek Hebisch <[email protected]> wrote: > 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. > -- 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.
