Edit detail for SandboxOutputBug revision 4 of 5

OF ==> OutputForm

R ==> Record(OUTPUTFORM:OF, SEXPRESSION: SExpression, TEXFORMAT:TexFormat)

e x ==> (print(([x::OF, (x::OF) pretend SExpression, x::OF::TexFormat]$R)::OF);x)

)set output algebra on

a: OF := "a"::Symbol::OF

   (4)  a

(1)

aa: OF := "aa"::Symbol::OF

   (5)  aa

(2)

b: OF := "b"::Symbol::OF

   (6)  b

(3)

bb: OF := "bb"::Symbol::OF

   (7)  bb

(4)

There are parentheses missing in the algebra output.

e((a+b) rem (aa*bb))

   [OUTPUTFORM= (a + b) rem aa bb, SEXPRESSION= (rem (+ a b) (* aa bb)),
    TEXFORMAT= ["$$","rem ","\left(","{{a+b}, \: {aa \  bb}} ","\right)","$$"]]

   (8)  (a + b) rem aa bb

(5)

e((a+b) quo (aa*bb))

   [OUTPUTFORM= (a + b) quo aa bb, SEXPRESSION= (quo (+ a b) (* aa bb)),
    TEXFORMAT= ["$$","quo ","\left(","{{a+b}, \: {aa \  bb}} ","\right)","$$"]]

   (9)  (a + b) quo aa bb

(6)

e((a+b) exquo (aa*bb))

   [OUTPUTFORM= (a + b) exquo aa bb, SEXPRESSION= (exquo (+ a b) (* aa bb)),
    TEXFORMAT= ["$$","exquo ","\left(","{{a+b}, \: {aa \  bb}} ","\right)","$$"]
     ]

   (10)  (a + b) exquo aa bb

(7)

differentiate(a+b, 1)

              ,
   (11)  a + b

(8)

differentiate(a*b, 2)

            ,,
   (12)  a b

(9)

super(aa+bb, a+b)

                a + b
   (13)  aa + bb

(10)