MathAction SandBoxExpression

login home contents what's new discussion bug reports help links subscribe changes refresh edit

SandBox
SandBoxExpr ← ↑ → SandBoxExpressionExpression

SandBoxExpression
last edited 14 years ago by Bill Page

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)))




Subject: Be Bold !!
( 15 subscribers )
Please rate this page:

AltStyle によって変換されたページ (->オリジナル) /