Edit detail for SandBoxTroubleWithOperators revision 1 of 1

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}

Change or add a property.
\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

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