Subversion Repositories wimsdev

Rev

Rev 20 | Rev 16135 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

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