It starts with the printing of integer -1. Currently it is
printed as "- 1" (with a space), I want to change it to "-1".
Because, with a space in "- 1", you can't distinguish
(7) -> (x-1)::OUTFORM pretend SEX
(7) (+ x - 1)
Type: SExpression
(8) -> operator('+) [x::OUTFORM,"-"::Symbol::OUTFORM,1::OUTFORM] pretend SEX
(8) (+ x - 1)
Type: SExpression
It is not easy to do so.
Before i-output.boot handles a OutputForm, it goes
to 'precondition' first. But 'precondition' forces a
semantic on OutputForm:
(1) -> operator('*) [-1::OUTFORM, -2::OUTFORM]
(1) 2
Type: OutputForm
(2) -> % pretend SEX
(2) (* (- 1) (- 2))
Type: SExpression
It should print a literal "-1 * -2", but it prints "2".
My point is, OutputForm should not have much semantic,
the Domain generating its OutputForm should consider that.
The printing process should faithfuly printing the OutputForm,
without interpreting too much about it.
--
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.
