|
|
|
last edited 10 years ago by Ralf Hemmecke |
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
 | (1) |
Type: OutputForm?
fricas
aa: OF := "aa"::Symbol::OF
(5) aa
 | (2) |
Type: OutputForm?
fricas
b: OF := "b"::Symbol::OF
(6) b
 | (3) |
Type: OutputForm?
fricas
bb: OF := "bb"::Symbol::OF
(7) 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
 | (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
 | (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
 | (7) |
Type: OutputForm?