login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for SandboxOutputBug revision 1 of 5

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

changed:
-
\begin{axiom}
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
aa: OF := "aa"::Symbol::OF
b: OF := "b"::Symbol::OF
bb: OF := "bb"::Symbol::OF

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

\end{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?
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?