Subversion Repositories wimsdev

!set methtit2=Diviser une inégalité par un nombre non-nul

!set methtit=Diviser une inégalité par un nombre

!set methenv=ZZ QQ RR

!set methparmtype=number,parm inequality

!set methhelp=Cette méthode transforme une inégalité du style \(A > B)\

 en l'inégalité équivalente \(A/n > B/n) (ou \(A/n < B/n)), où \(n) est un nombre\

 non-nul.

!if $wims_read_parm iswordof form check

 !goto $wims_read_parm

!endif

!exit

:form

 Diviser l'inégalité

 !read deduc/methparm.phtml 2

 par un nombre

 !read deduc/methparm.phtml 1,10

!exit

:check

 !distribute items $methparmobj2 into data,left,sign,right

 !ifval $methparm1=0

  error=Division par zéro !

  !advance penalty

  !exit

 !endif

 methexp=Diviser \($left $sign $right) par \($methparm1)

 !read deduc/sub/simplify ($left) / ($methparm1)\

	($right) / ($methparm1)

 !distribute lines $out into newleft, newright

 !if $newleft=$empty or $newright=$empty

  error=bad_data

  !exit

 !endif

 !if $methparm1<0

  newsign=!translate internal <> to >< in $sign

 !else

  newsign=$sign

 !endif

 newobject2=$newleft $newsign $newright

 oldobject=2

 contextlist=$ct_Onlywhen le diviseur est non-nul,\

	$ct_Onlywhen le diviseur est positif,\

	$ct_Always,\

	$ct_Onlywhen les deux côtés sont positifs,\

	$ct_Onlywhen les deux côtés sont de même signe,\

	$ct_Onlywhen l'inégalité est stricte

 badsign=!translate internal <> to >< in $newsign

 resultlist=$newobject2,\

	$newright $newsign $newleft,\

	$newleft $badsign $newright

!exit