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