Subversion Repositories wimsdev

!set methtit2=Réécriture algébrique d'une expression

!set methtit=Réécrire une expression

!set methenv=ZZ QQ RR CC

!set methparmtype=parm algexp nocomma nonesting, function

!set methhelp=Déduction par réecriture algébrique. Seules les équivalences\

 arithmétiques sont acceptées dans cette réécriture.

!if $wims_read_parm iswordof form check

  !goto $wims_read_parm

!endif

!exit

:form

Réécrire l'expression

!read deduc/methparm.phtml 1

en

!read deduc/methparm.phtml 2,20

!set methremark=Seules les équivalences arithmétiques sont acceptées dans\

  cette réécriture.

!exit

:check

!distribute items $methparmobj1 into data,exp

!read deduc/sub/checkzero ($exp)-($methparm2)

!if $out=$empty

  error=bad_data

  !exit

!endif

!if $out!=yes

  error=unjustified

  !exit

!endif

methexp=Réécriture de \($exp)

newobject1=$methparm2

oldobject=1

!exit