help links subscribe changes refresh edit

	SandBox
SandBoxExpr ←	↑	→ SandBoxExpressionExpression

SandBoxExpression

Edit detail for SandBoxExpression revision 1 of 2

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

changed:
-
\begin{axiom}
fm:=FreeMonoid(OVAR [e1,e2])
EM:=Expression(fm)
x1:=e1::Symbol::EM
x2:=e2::Symbol::EM
p:=operator('p)
p(x1)
x1*x2
\end{axiom}

axiom

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

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

(1)

Type: Type

axiom

EM:=Expression(fm)

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

(2)

Type: Type

axiom

x1:=e1::Symbol::EM

$\label{eq3}e 1$

(3)

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

axiom

x2:=e2::Symbol::EM

$\label{eq4}e 2$

(4)

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

axiom

p:=operator('p)

$\label{eq5}p$

(5)

Type: BasicOperator?

axiom

p(x1)

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

(6)

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

axiom

x1*x2

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