Subversion Repositories wimsdev

Rev

Rev 5763 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5763 Rev 16120
Line 3... Line 3...
3 
!set methenv=ZZ QQ RR CC
 3 
!set methenv=ZZ QQ RR CC
4 
!set methparmtype=parm algexp nocomma nonesting, parm equation >, choice 2
 4 
!set methparmtype=parm algexp nocomma nonesting, parm equation >, choice 2
5 
!set methhelp=Substitution in an expression according to an existing equation.
 5 
!set methhelp=Substitution in an expression according to an existing equation.
6 
 
 6 
 
7 
!if $wims_read_parm iswordof form check
 7 
!if $wims_read_parm iswordof form check
8 
 !goto $wims_read_parm
 8 
  !goto $wims_read_parm
9 
!endif
 9 
!endif
10 
 
 10 
 
11 
!exit
 11 
!exit
12 
:form
 12 
:form
13 
 Apply the
 13 
 Apply the
14 
 !formselect methparm3 list 1,2 prompt substitution, reverse substitution
 14 
!formselect methparm3 list 1,2 prompt substitution, reverse substitution
15 
 !read deduc/methparm.phtml 2
 15 
!read deduc/methparm.phtml 2
16 
 in the expression <br/>
 16 
$ in the expression <br/>
17 
 !read deduc/methparm.phtml 1
 17 
!read deduc/methparm.phtml 1
18 
!exit
 18 
!exit
19 
:check
 19 
:check
20 
 !distribute items $methparmobj2 into hd,left,eq,right
 20 
!distribute items $methparmobj2 into hd,left,eq,right
21 
 eqt==
 21 
eqt==
22 
 !if $eq!=$eqt
 22 
!if $eq!=$eqt
23 
  error=Bad justification of substitution.
 23 
  error=Bad justification of substitution.
24 
  !exit
 24 
  !exit
25 
 !endif
 25 
!endif
26 
 !if $methparm3=2
 26 
!if $methparm3=2
27 
  !exchange left,right
 27 
  !exchange left,right
28 
 !endif
 28 
!endif
29 
 !distribute items $methparmobj1 into hd2,exp2
 29 
!distribute items $methparmobj1 into hd2,exp2
30 
 !read deduc/sub/simplify ratsubst($right,$left,$exp2)
 30 
!read deduc/sub/simplify ratsubst($right,$left,$exp2)
31 
 !if $out=$empty
 31 
!if $out=$empty
32 
  error=Fail
 32 
  error=Fail
33 
  !exit
 33 
  !exit
34 
 !endif
 34 
!endif
35 
 
 35 
 
36 
 newobject1=$out
 36 
newobject1=$out
37 
 oldobject=1
 37 
oldobject=1
38 
 methexp=Substitution \($left = $right).
 38 
methexp=Substitution \($left = $right).
39 
!exit
 39 
!exit
40 
 
 -