Subversion Repositories wimsdev

!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