MathAction StructuredTables

Topics

fricas

P:= [[1,0,0],[0,1,0],[0,0,0]]

$\label{eq1}\left[{\left[ 1, \: 0, \: 0 \right]}, \:{\left[ 0, \: 1, \: 0 \right]}, \:{\left[ 0, \: 0, \: 0 \right]}\right]$

Type: List(List(NonNegativeInteger?))

fricas

Q:= [[0,0,0],[0,0,0],[0,0,1]]

$\label{eq2}\left[{\left[ 0, \: 0, \: 0 \right]}, \:{\left[ 0, \: 0, \: 0 \right]}, \:{\left[ 0, \: 0, \: 1 \right]}\right]$

Type: List(List(NonNegativeInteger?))

fricas

CT := CARTEN(i0 := 1,3,Integer)

$\label{eq3}\hbox{\axiomType{CartesianTensor}\ } (1, 3, \hbox{\axiomType{Integer}\ })$

Type: Type

fricas

epsilon:CT:=leviCivitaSymbol()

$\label{eq4}\begin{array}{@{}l} \displaystyle \left[{\left[ \begin{array}{ccc} 0 & 0 & 0 \ 0 & 0 & 1 \ 0 & - 1 & 0$

Type: CartesianTensor?(1,3,Integer)

fricas

permi1:= matrix[[e0,0,0],[0,e0,0],[0,0,e0]]

$\label{eq5}\left[ \begin{array}{ccc} e 0 & 0 & 0 \ 0 & e 0 & 0 \ 0 & 0 & e 0$

Type: Matrix(Polynomial(Integer))

fricas

permi2:= matrix[[e11,e12,e13],[e12,e22,e23],[e13,e23,e33]]

$\label{eq6}\left[ \begin{array}{ccc} e 11 & e 12 & e 13 \ e 12 & e 22 & e 23 \ e 13 & e 23 & e 33$

Type: Matrix(Polynomial(Integer))