Subversion Repositories wimsdev

Rev

Rev 16209 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
20 reyssat 1
!set methtit=Separate cases according to an inequality
2
!set methenv=ZZ QQ RR
3
!set methparmtype=function, choice 4, function
4
!set methhelp=This method separates the situation into two cases, according \
5
 to the truth of an inequality. The inequality and its inverse will be added\
6
 to the hypotheses of the two cases respectively.
7
 
8
!if $wims_read_parm iswordof form check
16209 bpr 9
  !goto $wims_read_parm
20 reyssat 10
!endif
11
 
12
!exit
13
:form
17187 bpr 14
 Separate the cases according to the truth of the inequality <br>
16120 bpr 15
!read deduc/methparm.phtml 1,10
16
!formselect methparm2 from 1 to 4 prompt <,>,<=,>=
17
!read deduc/methparm.phtml 3,10
20 reyssat 18
!exit
19
:check
16120 bpr 20
sign1=!item $methparm2 of <,>,<=,>=
21
sign2=!item $methparm2 of >=,<=,>,<
20 reyssat 22
 
23
 casesplit=$methparm1 $sign1 $methparm3\
16135 bpr 24
  $methparm1 $sign2 $methparm3
25
mt1=$methparm1 $sign1 $methparm3
26
mt2=$methparm1 $sign2 $methparm3
27
methexp=Separate the cases \($mt1) and \($mt2)
20 reyssat 28
 
29
!exit