MathAction SandBoxScriptedSymbol

Topics

fricas

L ==> List OutputForm;

Type: Void

fricas

rsl: List L := [[x1::OutputForm],[x2::OutputForm],[],[]];

Type: List(List(OutputForm?))

fricas

sl: L := [commaSeparate(z)$OutputForm for z in rsl];

Type: List(OutputForm?)

fricas

of: OutputForm := scripts(v::OutputForm, sl)$OutputForm;

Type: OutputForm?

fricas

tex(of)

$\label{eq1}\left[ \verb#"v \sb {{x1}} \sp {{x2}}"# \right]$

Type: List(String)

fricas

sy: Symbol := script('v,[[x1::OutputForm],[x2::OutputForm],[],[]]);

Type: Symbol

fricas

tex(sy::OutputForm)

$\label{eq2}\left[ \verb#"v \sb {x1} \sp {x2}"# \right]$

Type: List(String)

fricas

t := OrderedVariableList([script(a, [[],[1],[],[]])])

$\label{eq3}\hbox{\axiomType{OrderedVariableList}\ } ([ a [ ; 1 ] ])$

Type: Type

fricas

sy2: Symbol := script(a, [[],[1],[],[]])

$\label{eq4}a^{1}$

Type: Symbol

fricas

of2 := sy2 :: OutputForm

$\label{eq5}a^{1}$

Type: OutputForm?

fricas

tex(of2)

$\label{eq6}\left[ \verb#"a \sp {1}"# \right]$

Type: List(String)