help links subscribe changes refresh edit

	SandBox
SandBoxFisher ←	↑	→ SandBoxFormann

SandBoxFormalProduct

Edit detail for SandBoxFormalProduct revision 2 of 3

added:
smaller?(product(f(x),x),product(f(y),y))
smaller?(product(f(y),y),product(f(x),x))

fricas

f:=operator 'f

$\label{eq1}f$

Type: BasicOperator?

fricas

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

$\label{eq2}{\prod_{ \displaystyle x}{f \left({x}\right)}}={\prod_{ \displaystyle x}{f \left({x}\right)}}$

Type: Equation(Expression(Integer))

fricas

test %

$\label{eq3} \mbox{\rm true}$

Type: Boolean

fricas

smaller?(product(f(x),x),product(f(y),y))

$\label{eq4} \mbox{\rm false}$

Type: Boolean

fricas

smaller?(product(f(y),y),product(f(x),x))

$\label{eq5} \mbox{\rm false}$

Type: Boolean