Subversion Repositories wimsdev

Rev

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

Rev 20 Rev 16117
Line 4... Line 4...
4 
!set methparmtype=parm algexp nocomma nonesting, function
 4 
!set methparmtype=parm algexp nocomma nonesting, function
5 
!set methhelp=Déduction par réecriture algébrique. Seules les équivalences\
 5 
!set methhelp=Déduction par réecriture algébrique. Seules les équivalences\
6 
 arithmétiques sont acceptées dans cette réécriture.
 6 
 arithmétiques sont acceptées dans cette réécriture.
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 
 Réécrire l'expression
 14 
Réécrire l'expression
15 
 !read deduc/methparm.phtml 1
 15 
!read deduc/methparm.phtml 1
16 
 en
 16 
en
17 
 !read deduc/methparm.phtml 2,20
 17 
!read deduc/methparm.phtml 2,20
18 
 !set methremark=Seules les équivalences arithmétiques sont acceptées dans\
 18 
!set methremark=Seules les équivalences arithmétiques sont acceptées dans\
19 
  cette réécriture.
 19 
  cette réécriture.
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=Réécriture de \($exp)
 32 
methexp=Réécriture de \($exp)
33 
 
 - 
 
34 
 newobject1=$methparm2
 - 
 
35 
 oldobject=1
 - 
 
36 
 
 33 
 
- 
 
 34 
newobject1=$methparm2
37 
!exit
 35 
oldobject=1
38 
 
 36 
 
- 
 
 37 
!exit