MathAction SandBoxExpression

Topics

fricas

fm:=FreeMonoid(OVAR [e1,e2])

$\label{eq1}\hbox{\axiomType{FreeMonoid}\ } (\hbox{\axiomType{OrderedVariableList}\ } ([ e 1, e 2 ]))$

Type: Type

fricas

EM:=Expression(fm)

$\label{eq2}\hbox{\axiomType{Expression}\ } (\hbox{\axiomType{FreeMonoid}\ } (\hbox{\axiomType{OrderedVariableList}\ } ([ e 1, e 2 ])))$

Type: Type

fricas

x1:=e1::Symbol::EM

$\label{eq3}e 1$

Type: Expression(FreeMonoid(OrderedVariableList([e1,e2])))

fricas

x2:=e2::Symbol::EM

$\label{eq4}e 2$

Type: Expression(FreeMonoid(OrderedVariableList([e1,e2])))

fricas

p:=operator('p)

$\label{eq5}p$

Type: BasicOperator?

fricas

p(x1)

$\label{eq6}p \left({e 1}\right)$

Type: Expression(FreeMonoid(OrderedVariableList([e1,e2])))

fricas

x1*x2

   Internal Error
   The function * with signature hashcode is missing from domain 
      Expression(FreeMonoid (OrderedVariableList (e1 e2)))