Subversion Repositories wimsdev

Rev

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

Rev Author Line No. Line
20 reyssat 1
!set methtit2=Algebraic rewriting of an expression
2
!set methtit=Rewrite an expression
3
!set methenv=ZZ QQ RR CC
4
!set methparmtype=parm algexp nocomma nonesting, function
5
!set methhelp=Deduction by algebraic rewriting. Only arithmetic equivalences\
16207 bpr 6
 are accepted in this rewriting.
20 reyssat 7
 
8
!if $wims_read_parm iswordof form check
16120 bpr 9
  !goto $wims_read_parm
20 reyssat 10
!endif
11
 
12
!exit
13
:form
16120 bpr 14
Rewrite the expression
15
!read deduc/methparm.phtml 1
16
$ into
16135 bpr 17
!read deduc/methparm.phtml 2,20
18
!set methremark=Only arithmetic equivalences are accepted in this\
20 reyssat 19
  rewriting.
20
!exit
21
:check
16120 bpr 22
!distribute items $methparmobj1 into data,exp
23
!read deduc/sub/checkzero ($exp)-($methparm2)
24
!if $out=$empty
20 reyssat 25
  error=bad_data
26
  !exit
16120 bpr 27
!endif
28
!if $out!=yes
20 reyssat 29
  error=unjustified
30
  !exit
16135 bpr 31
!endif
32
methexp=Rewriting of \($exp)
20 reyssat 33
 
16120 bpr 34
newobject1=$methparm2
35
oldobject=1
20 reyssat 36
 
37
!exit