Subversion Repositories wimsdev

Rev

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

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