!set methtit=Sumar dos desigualdades
!set methenv=ZZ QQ RR
!set methparmtype=parm inequality >,parm inequality >
!set methhelp=Este método aplica la siguiente propiedad a dos\
desigualdades existentes, para deducir una tercera:\
 <div class="wimscenter">\
 Si \(a > b) et \(c > b), entonces \(a+c > b+d) .\
</div>\
 Esta última desigualdad se pondrá en las hipótesis.

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

!exit
:form
sumar las desigualdades
!read deduc/methparm.phtml 1
$ y
!read deduc/methparm.phtml 2

!exit
:check
!distribute items $methparmobj1 into data,left1,sign1,right1
!distribute items $methparmobj2 into data,left2,sign2,right2
methexp=Sumar \($left1 $sign1 $right1) y \($left2 $sign2 $right2)

gt=>
lt=<
!if ($gt isin $sign1 and $lt isin $sign2) or\
	($lt isin $sign1 and $gt isin $sign2)
  !exchange left2,right2
!endif
!read deduc/sub/simplify $left1 + ($left2)\
	$right1 + ($right2)
!distribute lines $out into newleft, newright
!if $newleft=$empty or $newright=$empty
  error=bad_data
  !exit
!endif

!if $gt isin $sign1
  s_=>
!else
  s_=<
!endif
eq=$empty=
!if $eq isin $sign1 and $eq isin $sign2
 s_=$s_=
!endif
newobject0=$newleft $s_ $newright
oldobject=0

contextlist=$ct_Always,\
	$ct_Onlywhen ambas desigualdades son positivas,\
	$ct_Onlywhen una de las dos desigualdades es positiva,\
	$ct_Onlywhen una de las dos desigualdades tiene el mismo signo
  
!exit
