Bill Page wrote:
>
> So, yes the actual type of ts is Any but do you mean that with
>
> )set message any on
>
> the interpreter hacks somehow manage to display the "domainOf" ts but
> that the operation 'domainOf' exported by Any fails to properly
> interpret the parameter value?
>
> (1) -> ts := taylor(x, x=1)
>
> (1) 1 + (x - 1)
> Type: UnivariateTaylorSeries(Expression(Integer),x,1)
> (2) -> domainOf(ts)
>
> (2) UnivariateTaylorSeries(Expression(Integer()),x,0()(0))
> Type: OutputForm
> (3) -> dom(ts)
>
> (3) (UnivariateTaylorSeries (Expression (Integer)) x ((0 . 1) 0 . 1))
> Type: SExpression
There are known bugs in printing routines. They are hard to fix
because printing routines may get several similar, but subtly different
things:
- trees from interpreter parser
- compiler internal forms
- forms repesenting interpreter values (that includes types)
- OutputForm
- HyperDoc forms (few different kinds)
Making sure that data arriving at given place has consistent
representation is a substantial work (part of this is done,
but a lot remins to do). Let me add that printing routines
may be used to print error messages during typechecking,
so it is important to print _something_ without crashing
on incorrect data.
--
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.
