Ralf Hemmecke wrote:
>
> From what I read in TeXFormat, I would have expected that the semicolon
> behaves like AGGSET. And it seems to be OK for the TeX output, but the
> algebra output doesn't like just one argument.
>
> Ralf
>
> (1) -> op := operator("AGGSET"::Symbol); op x
>
> (1) x
> $$
> x
> \leqno(1)
> $$
You depend an a bug here. You should be able to construct
OutputForm with given operator only via using operations
from OutputForm which creaste appropriate construct, there
should be no name capture like this.
Concerning different behaviour of semicolon: AFAICS code
in i-output.boot supports printing interpreter parse
trees which contains semicolon. For compatibility,
there is support in other formatters. Valid tree have
semicolon with two arguments (or possibly more arguments
if tree is flattened). Behaviour on invalid input
is irrelevant: users should not be able to inject such
input and other parts of FriCAS should only generate
valid trees. And ideally there will be procedure to
convert parse trees to regular OutputForm, like
geneated from algebra. Then we will be able to remove
support for parse trees from formatters.
For now I would say "Pay no attention to that man behind
the curtain".
--
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.
