Subversion Repositories wimsdev

!set methtit=Separate the cases according to an (in)equation
!set methenv=ZZ QQ RR
!set methparmtype=function, choice 6, function
!set methhelp=This method separates the situation into two cases, according \
 to the truth of an equation or inequality. The equation/inequality and \
 its inverse will be added to the hypotheses in the two respective\
 cases.

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

!exit
:form
 Separate the cases according to the truth of the (in)équation <br/>
 <input size=10 name=methparm1 value="$methparm1"/>
 !formselect methparm2 from 1 to 6 prompt =,!=,<,>,<=,>=
 <input size=10 name=methparm3 value="$methparm3"/>
!exit
:check
 sign1=!item $methparm2 of =,!=,<,>,<=,>=
 sign2=!item $methparm2 of !=,=,>=,<=,>,<

 casesplit=$methparm1 $sign1 $methparm3\
$methparm1 $sign2 $methparm3
 methexp=Separate the cases \($methparm1 $sign1 $methparm3) and \($methparm1 $sign2 $methparm3)

!exit