Grigory Sarnitsky wrote:
>
> I don't normally do all the computations in a CAS, sometimes I resort to a
> pen and a paper or pass formulas from a CAS to another program, like
> plotting one. In order to perform such tasks I often wish to have a more
> compact dispay of formulas, I was speaking consciously about ouputted form,
> not the expression itself.
In FriCAS output goes via OutputForm. However, there not much
we can do with OutputForm. Basically, we could eliminate
2-D display to recover some whitspace and do common expression
elimination. Other transforms, like factoring or using
distributive law are invalid at level of OutputForm.
In principle we could do factoring during convertion of
values from "commutative" domains (like Expression(Integer))
to OutputForm. However, always factoring would be a bad
choice:
- Factoring may require a lot of time
- Current output follows closely internal structure. Factoring
would obscure this structure sometimes making debugging
harder (in other cases factoring would help).
ATM assumption is that users would do factoring using explicit
commands before output. We could add an option variable to
turn factoring on/off (but this is sligtly bigger change than
it may look at first glance).
Currently FriCAS takes limited advantage from distributive
law when printing polynomials (and similar objects). But
this is based on FriCAS internal form and FriCAS makes
no attempt to find smaller representation.
--
Waldek Hebisch
[email protected]
--
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.
