Subversion Repositories wimsdev

Rev

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

Rev 16120 Rev 16135
Line 12... Line 12...
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)
Line 26... Line 26...
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