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