Edit detail for SandBoxFormalProduct revision 1 of 3

1 2 3

Editor: Bill Page
Time: 2015年03月31日 21:48:35 GMT+0

Note:

changed:
-
\begin{axiom}
f:=operator 'f
-- y is replaced with x?
product(f(x),x) = product(f(y),y)
test %
\end{axiom}

fricas

f:=operator 'f

Type: BasicOperator?

fricas

-- y is replaced with x?
product(f(x),x) = product(f(y),y)

Type: Equation(Expression(Integer))

fricas

test %

Type: Boolean