!set methtit=Substitution dans une expression
!set methtit2=Substitution dans une expression globale
!set methenv=ZZ QQ RR CC
!set methparmtype=parm algexp nocomma nopart, parm equation >, choice 2
!set methhelp=Substitution dans une expression selon une équation existante.

!if $wims_read_parm iswordof form check
 !goto $wims_read_parm
!endif

!exit
:form
 Appliquer la
 !formselect methparm3 list 1,2 prompt substitution, substitution inverse
 !read deduc/methparm.phtml 2
 dans l'expression 
 !read deduc/methparm.phtml 1
!exit
:check
 !distribute items $methparmobj2 into hd,left,eq,right
 eqt==
 !if $eq!=$eqt
  error=Mauvaise justification de substitution.
  !exit
 !endif
 !if $methparm3=2
  !exchange left,right
 !endif
 lvar=!varlist $left
 !if $lvar=$left
  subst=subst
 !else
  subst=ratsubst
 !endif
 !distribute items $methparmobj1 into hd2,exp2
 !read deduc/sub/simplify $subst($right,$left,$exp2)
 !if $out=$empty
  error=Fail
  !exit
 !endif

 newobject1=$out
 oldobject=1
 methexp=Substitution \($left = $right).
!exit

