Rev 5763 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2071 | zjchen | 1 | !set methtit=根据(不)等式分解成各种情况 |
| 2 | !set methenv=ZZ QQ RR |
||
| 3 | !set methparmtype=function, choice 6, function |
||
| 4 | !set methhelp=这个方法根据一个等式或不等式成立与否把目前情况分成两种情况.\ |
||
| 5 | 等式/不等式或其逆可以相应地加到两种情况的假设里. |
||
| 6 | |||
| 7 | !if $wims_read_parm iswordof form check |
||
| 8 | !goto $wims_read_parm |
||
| 9 | !endif |
||
| 10 | |||
| 11 | !exit |
||
| 12 | :form |
||
| 17234 | bpr | 13 | 把目前情况根据以下(不)等式成立与否分成两种情况 <br> |
| 14 | <input size=10 name=methparm1 value="$methparm1"> |
||
| 2071 | zjchen | 15 | !formselect methparm2 from 1 to 6 prompt =,!=,<,>,<=,>= |
| 17234 | bpr | 16 | <input size=10 name=methparm3 value="$methparm3"> |
| 2071 | zjchen | 17 | !exit |
| 18 | :check |
||
| 19 | sign1=!item $methparm2 of =,!=,<,>,<=,>= |
||
| 20 | sign2=!item $methparm2 of !=,=,>=,<=,>,< |
||
| 21 | |||
| 22 | casesplit=$methparm1 $sign1 $methparm3\ |
||
| 23 | $methparm1 $sign2 $methparm3 |
||
| 24 | methexp=分成情况 \($methparm1 $sign1 $methparm3) 与 \($methparm1 $sign2 $methparm3) |
||
| 25 | |||
| 26 | !exit |
||
| 27 |