 verify/evalc - Maple Programming Help

Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/evalc

verify/evalc

verify the equality of two complex expressions

 Calling Sequence verify(expr1, expr2, evalc)

Parameters

 expr1, expr2 - anything, assumed to be of type algebraic

Description

 • The verify(expr1, expr2, evalc) calling sequence returns true if the difference between the arguments is zero after applying evalc.
 • This verification is symmetric.
 • If either expr1 or expr2 is not of type algebraic then false is returned.

Examples

 > $a≔{\left(-{\left(-{2}^{\frac{1}{2}}\right)}^{\frac{1}{2}}\right)}^{\frac{1}{2}}+{\left(-{2}^{\frac{1}{2}}\right)}^{\frac{1}{4}}$
 ${a}{≔}\sqrt{{-}\sqrt{{-}\sqrt{{2}}}}{+}{\left({-}\sqrt{{2}}\right)}^{{1}}{{4}}}$ (1)
 > $b≔{\left(-I{2}^{\frac{1}{4}}\right)}^{\frac{1}{2}}+{\left(I{2}^{\frac{1}{4}}\right)}^{\frac{1}{2}}$
 ${b}{≔}\sqrt{{-I}{}{{2}}^{{1}}{{4}}}}{+}\sqrt{{I}{}{{2}}^{{1}}{{4}}}}$ (2)
 > $\mathrm{verify}\left(a,b,\mathrm{evalc}\right)$
 ${\mathrm{true}}$ (3)