help links subscribe changes refresh edit

	SandBox
SandBoxExpr ←	↑	→ SandBoxExpressionExpression

SandBoxExpression

Edit detail for SandBoxExpression revision 2 of 2

	1 2
Editor: Bill Page Time: 2011/03/18 07:49:10 GMT-7
Note: test

fricas

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

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

(1)

Type: Type

fricas

EM:=Expression(fm)

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

(2)

Type: Type

fricas

x1:=e1::Symbol::EM

$\label{eq3}e 1$

(3)

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

fricas

x2:=e2::Symbol::EM

$\label{eq4}e 2$

(4)

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

fricas

p:=operator('p)

$\label{eq5}p$

(5)

Type: BasicOperator?

fricas

p(x1)

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

(6)

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

fricas

x1*x2

   Internal Error
   The function * with signature (%, %) -> % is missing from domain 
      Expression(FreeMonoid (OrderedVariableList (e1 e2)))