Subversion Repositories wimsdev

Rev

Rev 20 | Rev 16120 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 20 Rev 5976
Line 1... Line 1...
1 
!set methtit=Add an equation to an inequality
 1 
!set methtit=Add an equation to an inequality
2 
!set methenv=ZZ QQ RR
 2 
!set methenv=ZZ QQ RR
3 
!set methparmtype=function, parm equation >,parm inequality
 3 
!set methparmtype=function, parm equation >,parm inequality
4 
!set methhelp=This method applies the following property on inequalities,\
 4 
!set methhelp=This method applies the following property on inequalities,\
5 
 to deduce a new inequality:\
 5 
 to deduce a new inequality:\
6 
<p><center>\
 6 
<p class="wimscenter">\
7 
 If \(a = b), then \(c > b <=> f*a+c > f*b+d) for whatever \(f).\
 7 
 If \(a = b), then \(c > b <=> f*a+c > f*b+d) for whatever \(f).\
8 
</center>
 8 
</p>
9 
 
 9 
 
10 
!if $wims_read_parm iswordof form check
 10 
!if $wims_read_parm iswordof form check
11 
 !goto $wims_read_parm
 11 
 !goto $wims_read_parm
12 
!endif
 12 
!endif
13 
 
 13