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=number, choice 4, number |
||
4 | !set methhelp=此方法引入一个(数值)恒不等式到假设中. |
||
5 | |||
6 | !if $wims_read_parm iswordof form check |
||
7 | !goto $wims_read_parm |
||
8 | !endif |
||
9 | |||
10 | !exit |
||
11 | :form |
||
12 | 引入恒不等式 |
||
17234 | bpr | 13 | <input size=12 name=methparm1 value="$methparm1"> |
2071 | zjchen | 14 | !formselect methparm2 from 1 to 4 prompt <,>,<=,>= |
17234 | bpr | 15 | <input size=12 name=methparm3 value="$methparm3"> |
2071 | zjchen | 16 | !exit |
17 | :check |
||
18 | sign=!item $methparm2 of <,>,<=,>= |
||
19 | !read deduc/sub/checkineq $methparm1,$sign,$methparm3 |
||
20 | !if $out!=true |
||
21 | !if $out=false |
||
22 | error=你的不等式不对! |
||
23 | !advance penalty |
||
24 | !else |
||
25 | error=unjustified |
||
26 | !endif |
||
27 | !exit |
||
28 | !endif |
||
29 | |||
30 | newobject0=$methparm1 $sign $methparm3 |
||
31 | oldobject=0 |
||
32 | methexp=恒不等式 |
||
33 | |||
34 | !exit |
||
35 |