Mupad simplify Invalid argument of type 2

Mupad

simplify((( x^3+a*x+b) -(y^3+a*y+b) )^2/(x-y)^4, OutputType="Proof")

Error: Invalid type of argument number 2.

Evaluating: simplify

what is wrong here???

Answer 1

[Walter Roberson]

OutputType is an option for the MuPAD function Simplify (capital-S) not for the MuPAD function simplify (lower-case S)

[Hao Sun]

okay with uppercase S Simplify still gives me the error

Simplify((( x^3+a*x+b) -(y^3+a*y+b) )^2/(x-y)^4, OutputType="proof")

Error: Invalid type of argument number 2.

Evaluating: Simplify

[Walter Roberson]

It has to be Proof not proof -- I ran into this myself last night.