Subversion Repositories wimsdev

!set methtit2=Algebraic rewriting of an expression

!set methtit=Rewrite an expression

!set methenv=ZZ QQ RR CC

!set methparmtype=parm algexp nocomma nonesting, function

!set methhelp=Deduction by algebraic rewriting. Only arithmetic equivalences\

 are acdepted in this rewriting.

!if $wims_read_parm iswordof form check

 !goto $wims_read_parm

!endif

!exit

:form

 Rewrite the expression

 !read deduc/methparm.phtml 1

 into

 !read deduc/methparm.phtml 2,20

 !set methremark=Only arithmetic equivalences are accepted in this\

  rewriting.

!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=Rewriting of \($exp)

 newobject1=$methparm2

 oldobject=1

!exit