Subversion Repositories wimsdev

!set methtit=Ajouter une équation à une inégalité

!set methenv=ZZ QQ RR

!set methparmtype=function, parm equation >,parm inequality

!set methhelp=Cette méthode applique la propriété suivante sur les\

inégalités, pour en déduire une nouvelle :\

<p class="wimscenter">\

 Si \(a = b), alors \(c > b <=> f*a+c > f*b+d) quelque soit \(f).\

</p>

!if $wims_read_parm iswordof form check

  !goto $wims_read_parm

!endif

!exit

:form

Ajouter

!default methparm1=1

!read deduc/methparm.phtml 1,10

$ fois l'équation

!read deduc/methparm.phtml 2

$ à l'inégalité

!read deduc/methparm.phtml 3

!exit

:check

!distribute items $methparmobj2 into data,left1,sign1,right1

!distribute items $methparmobj3 into data,left2,sign2,right2

methexp=Ajouter \(($methparm1)*($left1 $sign1 $right1)) à \($left2 $sign2 $right2)

!read deduc/sub/simplify ($methparm1)*($left1) + ($left2)\

	($methparm1)*($right1) + ($right2)

!distribute lines $out into newleft, newright

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

  error=bad_data

  !exit

!endif

newobject3=$newleft $sign2 $newright

oldobject=3

!exit