!set methtit2=Le carré d'un nombre réel est positif ou nul
!set methtit=Positivité d'un carré
!set methenv=ZZ QQ RR
!set methparmtype=function
!set methhelp=Cette méthode ajoute une condition du type \(U^2 >= 0) dans\
 les hypothèses, où \(U) est une expression algébrique de votre choix.

!if $wims_read_parm iswordof form check
 !goto $wims_read_parm
!endif

!exit
:form
 On applique \(U^2 >= 0), où \(U) =
 !read deduc/methparm.phtml 1

!exit
:check
 !if / isin $methparm1
  error=La division n'est pas autorisée dans cette méthode !
  !exit
 !endif
 !read deduc/sub/simplify ($methparm1)^2
 !if $out=$empty
  error=bad_data
  !exit
 !endif
 sqr=$out
 oldobject=0
 newobject0=$sqr >= 0
 methexp=Positivité du carré de \($methparm1)
 
 contextlist=$ct_Onlywhen $m_U représente un nombre réel,\
	$ct_Always,\
	$ct_Onlywhen $m_U est positif ou nul,\
	$ct_Onlywhen $m_U est un entier

 resultlist=$newobject0,\
  $sqr > 0

!exit

