Subversion Repositories wimsdev

Rev

Rev 16135 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16135 Rev 16207
Line 1... Line 1...
1 
!set methtit2=Algebraic rewriting of an expression
 1 
!set methtit2=Algebraic rewriting of an expression
2 
!set methtit=Rewrite an expression
 2 
!set methtit=Rewrite an expression
3 
!set methenv=ZZ QQ RR CC
 3 
!set methenv=ZZ QQ RR CC
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 accepted 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