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