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

Edit detail for SandBoxOutputPackage revision 4 of 4

1 2 3 4
Editor: Bill Page
Time: 2014/07/22 02:08:58 GMT+0
Note: left, right and center

added:
\end{axiom}

In the following although the OutputForm is apparently the same
for each of "center", "right" and "left", the actual output
generated by the "algebra" output is different. How can this be?
\begin{axiom}

added:
R1:=right(T1)
output(R1::TEX)$OutputPackage
R1 pretend SExpression
L1:=left(T1)
output(L1::TEX)$OutputPackage
L1 pretend SExpression

changed:
-
Note also how the SExpression is formatted differently. So maybe
there is something "hidden" in the SExpression. Strange!

Ref.

fricas
)set output algebra on

fricas
T1:=hconcat("abc",vconcat([1,1234,123,12])$OutputForm)
(1) "abc" 1 1234 123 12

\label{eq1}\mbox{\tt "abc"}{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(1)
Type: OutputForm?
fricas
output(T1::TEX)$OutputPackage
["$$", "\mbox{\tt "abc"} {\begin{array}{c}1\\{1234}\\{123}\\{12}\\\end{array}} ", "$$"]
Type: Void
fricas
T1 pretend SExpression
(3) (CONCAT "abc" (VCONCAT 1 1234 123 12))

\label{eq2}\left(\hbox{\axiomType{CONCAT}\ } \  \mbox{\tt "abc"}\ {\left(\hbox{\axiomType{VCONCAT}\ } \  1 \ {1234}\ {123}\ {12}\right)}\right)(2)
Type: SExpression?

In the following although the OutputForm? is apparently the same for each of "center", "right" and "left", the actual output generated by the "algebra" output is different. How can this be?

fricas
C1:=center(T1)
(4) "abc" 1 1234 123 12

\label{eq3}\mbox{\rm}{\mbox{\tt "abc"}{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(3)
Type: OutputForm?
fricas
output(C1::TEX)$OutputPackage
["$$", "\mbox{\rm } { \mbox{\tt "abc"} ", "{\begin{array}{c}1\\{1234}\\{123}\\{12}\\\end{array}}} ", "$$"]
Type: Void
fricas
C1 pretend SExpression
(6) (CONCAT (CONCAT "abc" (VCONCAT 1 1234 123 12)))

\label{eq4}\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \  \mbox{\rm}\ {\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \  \mbox{\tt "abc"}\  \cdot 
\
\
\displaystyle
{\left(\hbox{\axiomType{VCONCAT}\ } \  1 \ {1234}\ {123}\ {12}\right)}
(4)
Type: SExpression?
fricas
R1:=right(T1)
(7) "abc" 1 1234 123 12

\label{eq5}\mbox{\rm}{\mbox{\tt "abc"}{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(5)
Type: OutputForm?
fricas
output(R1::TEX)$OutputPackage
["$$", "\mbox{\rm } { \mbox{\tt "abc"} ", "{\begin{array}{c}1\\{1234}\\{123}\\{12}\\\end{array}}} ", "$$"]
Type: Void
fricas
R1 pretend SExpression
(9) (CONCAT (CONCAT "abc" (VCONCAT 1 1234 123 12)))

\label{eq6}\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \  \mbox{\rm}\ {\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \  \mbox{\tt "abc"}\  \cdot 
\
\
\displaystyle
{\left(\hbox{\axiomType{VCONCAT}\ } \  1 \ {1234}\ {123}\ {12}\right)}
(6)
Type: SExpression?
fricas
L1:=left(T1)
(10) "abc" 1 1234 123 12

\label{eq7}{\mbox{\tt "abc"}{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(7)
Type: OutputForm?
fricas
output(L1::TEX)$OutputPackage
["$$", "{ \mbox{\tt "abc"} {\begin{array}{c}1\\{1234}\\{123}\\{12}\\\end{array}}} " , "\mbox{\rm } ", "$$"]
Type: Void
fricas
L1 pretend SExpression
(12) (CONCAT (CONCAT "abc" (VCONCAT 1 1234 123 12)) )

\label{eq8}\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \ {\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \  \mbox{\tt "abc"}\  \cdot 
\
\
\displaystyle
{\left(\hbox{\axiomType{VCONCAT}\ } \  1 \ {1234}\ {123}\ {12}\right)}
(8)
Type: SExpression?

Note also how the SExpression? is formatted differently. So maybe there is something "hidden" in the SExpression?. Strange!

Ref.

fricas
)sh OutputForm
OutputForm is a domain constructor Abbreviation for OutputForm is OUTFORM This constructor is not exposed in this frame. ------------------------------- Operations -------------------------------- ?*? : (%,%) -> % ?+? : (%,%) -> % -? : % -> % ?-? : (%,%) -> % ?/? : (%,%) -> % ?<? : (%,%) -> % ?<=? : (%,%) -> % ?=? : (%,%) -> % ?=? : (%,%) -> Boolean ?>? : (%,%) -> % ?>=? : (%,%) -> % ?SEGMENT : % -> % ?..? : (%,%) -> % ?^? : (%,%) -> % ?and? : (%,%) -> % assign : (%,%) -> % binomial : (%,%) -> % blankSeparate : List(%) -> % box : % -> % brace : List(%) -> % brace : % -> % bracket : List(%) -> % bracket : % -> % center : % -> % center : (%,Integer) -> % coerce : % -> OutputForm commaSeparate : List(%) -> % dot : % -> % ?.? : (%,List(%)) -> % empty : () -> % exquo : (%,%) -> % hash : % -> SingleInteger hconcat : List(%) -> % hconcat : (%,%) -> % hspace : Integer -> % infix : (%,%,%) -> % infix : (%,List(%)) -> % infix? : % -> Boolean int : (%,%,%) -> % int : (%,%) -> % int : % -> % label : (%,%) -> % latex : % -> String left : % -> % left : (%,Integer) -> % matrix : List(List(%)) -> % message : String -> % messagePrint : String -> Void not? : % -> % ?or? : (%,%) -> % outputForm : String -> % outputForm : Symbol -> % outputForm : Integer -> % over : (%,%) -> % overbar : % -> % overlabel : (%,%) -> % paren : List(%) -> % paren : % -> % pile : List(%) -> % postfix : (%,%) -> % prefix : (%,List(%)) -> % presub : (%,%) -> % presuper : (%,%) -> % prime : % -> % print : % -> Void prod : (%,%,%) -> % prod : (%,%) -> % prod : % -> % ?quo? : (%,%) -> % quote : % -> % rarrow : (%,%) -> % ?rem? : (%,%) -> % right : % -> % right : (%,Integer) -> % root : (%,%) -> % root : % -> % rspace : (Integer,Integer) -> % scripts : (%,List(%)) -> % semicolonSeparate : List(%) -> % slash : (%,%) -> % string : % -> % sub : (%,%) -> % sum : (%,%,%) -> % sum : (%,%) -> % sum : % -> % super : (%,%) -> % supersub : (%,List(%)) -> % tensor : (%,%) -> % vconcat : List(%) -> % vconcat : (%,%) -> % vspace : Integer -> % zag : (%,%) -> % ?~=? : (%,%) -> % ?~=? : (%,%) -> Boolean differentiate : (%,NonNegativeInteger) -> % dot : (%,NonNegativeInteger) -> % hashUpdate! : (HashState,%) -> HashState prime : (%,NonNegativeInteger) -> %
fricas
)sh OutputPackage
OutputPackage is a package constructor Abbreviation for OutputPackage is OUT This constructor is exposed in this frame. ------------------------------- Operations -------------------------------- output : String -> Void output : OutputForm -> Void outputList : List(Any) -> Void output : (String,OutputForm) -> Void