Subversion Repositories wimsdev

!set methtit2=The square of a real number is positive or zero

!set methtit=Positivity of a square

!set methenv=ZZ QQ RR

!set methparmtype=function

!set methhelp=this method add a condition of the type \(U^2 >= 0) into\

  the hypotheses, where \(U) is an algebraic expression of your choice.

!if $wims_read_parm iswordof form check

  !goto $wims_read_parm

!endif

!exit

:form

One applies \(U^2 >= 0), where \(U) =

!read deduc/methparm.phtml 1

!exit

:check

!if / isin $methparm1

  error=Division is not allowed in this method!

  !exit

!endif

!read deduc/sub/simplify ($methparm1)^2

!if $out=$empty

  error=bad_data

  !exit

!endif

sqr=$out

oldobject=0

newobject0=$sqr >= 0

methexp=Positivity of the squre of \($methparm1)

contextlist=$ct_Onlywhen $m_U represents a real number,\

	$ct_Always,\

	$ct_Onlywhen $m_U is positive or zero,\

	$ct_Onlywhen $m_U is an integer

resultlist=$newobject0,\

  $sqr > 0

!exit