Subversion Repositories wimsdev

Rev

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