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