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

# Edit detail for SandBoxTroubleWithOperators revision 1 of 1

 1 Editor: Bill Page Time: 2015/04/02 21:23:10 GMT+0 Note:

changed:
-
Operators are not immutable. Operator properties are dynamic and among other things affect equality!
\begin{axiom}
f:=operator 'f
g:=operator 'f
test(f=g)
test(kernels f(x) = kernels g(x))
test(f(x)=g(x))
name f
name g
\end{axiom}

\begin{axiom}
display(g,(x:List OutputForm):OutputForm+->prefix('G,x)$OutputForm) g(x) test(f=g) test(kernels f(x) = kernels g(x)) test(f(x)=g(x)) name f name g \end{axiom}  Operators are not immutable. Operator properties are dynamic and among other things affect equality! fricas f:=operator 'f  (1) Type: BasicOperator? fricas g:=operator 'f  (2) Type: BasicOperator? fricas test(f=g)  (3) Type: Boolean fricas test(kernels f(x) = kernels g(x))  (4) Type: Boolean fricas test(f(x)=g(x))  (5) Type: Boolean fricas name f  (6) Type: Symbol fricas name g  (7) Type: Symbol Change or add a property. fricas display(g,(x:List OutputForm):OutputForm+->prefix('G,x)$OutputForm)
 (8)
Type: BasicOperator?
fricas
g(x)
 (9)
Type: Expression(Integer)
fricas
test(f=g)
 (10)
Type: Boolean
fricas
test(kernels f(x) = kernels g(x))
 (11)
Type: Boolean
fricas
test(f(x)=g(x))
 (12)
Type: Boolean
fricas
name f
 (13)
Type: Symbol
fricas
name g
 (14)
Type: Symbol