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

fricas
)set output algebra on

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

\label{eq1}\verb#"abc"#{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(1)
Type: OutputForm?
fricas
output(T1::TEX)$OutputPackage
["$$", "\verb#"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}\ } \  \verb#""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}{\verb#"abc"#{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(3)
Type: OutputForm?
fricas
output(C1::TEX)$OutputPackage
["$$", "\mbox{\rm } ", "{\verb#"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}\ } \  \verb#" "# \  \cdot 
\
\
\displaystyle
{\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \  \verb#""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}{\verb#"abc"#{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(5)
Type: OutputForm?
fricas
output(R1::TEX)$OutputPackage
["$$", "\mbox{\rm } ", "{\verb#"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}\ } \  \verb#" "# \  \cdot 
\
\
\displaystyle
{\left({
\begin{array}{@{}l}
\displaystyle
\hbox{\axiomType{CONCAT}\ } \  \verb#""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}{\verb#"abc"#{
\begin{array}{c}
1 
\
{1234}
\
{123}
\
{12}
\
(7)
Type: OutputForm?
fricas
output(L1::TEX)$OutputPackage
["$$", "{\verb#"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}\ } \  \verb#""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. 74 Names for 98 Operations in this Domain. ------------------------------- Operations --------------------------------
?*? : (%, %) -> % ?+? : (%, %) -> % ?-? : (%, %) -> % -? : % -> % ?/? : (%, %) -> % ?<? : (%, %) -> % ?<=? : (%, %) -> % ?=? : (%, %) -> Boolean ?=? : (%, %) -> % ?>? : (%, %) -> % ?>=? : (%, %) -> % ?..? : (%, %) -> % ?SEGMENT : % -> % ?^? : (%, %) -> % ?and? : (%, %) -> % assign : (%, %) -> % binomial : (%, %) -> % blankSeparate : List(%) -> % box : % -> % brace : List(%) -> % brace : % -> % bracket : List(%) -> % bracket : % -> % center : (%, Integer) -> % center : % -> % coerce : % -> OutputForm commaSeparate : List(%) -> % convert : % -> InputForm dot : % -> % ?.? : (%, List(%)) -> % empty : () -> % exquo : (%, %) -> % hash : % -> SingleInteger hconcat : List(%) -> % hconcat : (%, %) -> % hspace : Integer -> % infix : (%, List(%)) -> % infix : (%, %, %) -> % infix? : % -> Boolean int : (%, %, %) -> % int : (%, %) -> % int : % -> % label : (%, %) -> % latex : % -> String left : (%, Integer) -> % left : % -> % matrix : List(List(%)) -> % message : String -> % messagePrint : String -> Void not? : % -> % ?or? : (%, %) -> % outputForm : Integer -> % outputForm : String -> % outputForm : Symbol -> % over : (%, %) -> % overbar : % -> % overlabel : (%, %) -> % paren : List(%) -> % paren : % -> % pile : List(%) -> % postfix : (%, %) -> % prefix : (%, List(%)) -> % presub : (%, %) -> % presuper : (%, %) -> % prime : % -> % print : % -> Void prod : (%, %, %) -> % prod : (%, %) -> % prod : % -> % ?quo? : (%, %) -> % quote : % -> % rarrow : (%, %) -> % ?rem? : (%, %) -> % right : (%, Integer) -> % right : % -> % root : (%, %) -> % root : % -> % rspace : (Integer, Integer) -> % scripts : (%, List(%)) -> % semicolonSeparate : List(%) -> % slash : (%, %) -> % 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




  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: