help links subscribe changes refresh edit

	BugTests
SandBoxBugLaurentSeries ←	↑	→ SandboxOutputTest

SandboxOutputBug

Edit detail for SandboxOutputBug revision 2 of 5

	1 2 3 4 5
Editor: hemmecke Time: 2014/07/09 18:50:38 GMT+0
Note:

changed:
-
\end{axiom}

There are parentheses missing in the algebra output.
\begin{axiom}

fricas

OF ==> OutputForm

Type: Void

fricas

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

Type: Void

fricas

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

Type: Void

fricas

)set output algebra on

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

   (4)  a

$\label{eq1}a$

(1)

Type: OutputForm?

fricas

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

   (5)  aa

$\label{eq2}aa$

(2)

Type: OutputForm?

fricas

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

   (6)  b

$\label{eq3}b$

(3)

Type: OutputForm?

fricas

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

   (7)  bb

$\label{eq4}bb$

(4)

Type: OutputForm?

There are parentheses missing in the algebra output.

fricas

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

$\label{eq5}rem \left({{a + b}, \:{aa \ bb}}\right)$

(5)

Type: OutputForm?

fricas

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

$\label{eq6}quo \left({{a + b}, \:{aa \ bb}}\right)$

(6)

Type: OutputForm?

fricas

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

$\label{eq7}exquo \left({{a + b}, \:{aa \ bb}}\right)$

(7)

Type: OutputForm?