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 16321
Line 1... Line 1...
1
!set methtit2=Réécriture algébrique d'une expression
1
!set methtit2:Reescritura algebraica de una expresión
2
!set methtit=Réécrire une expression
2
!set methtit:Reescribir una expresión
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 sin anidamiento, función
5
!set methhelp=Déduction par réecriture algébrique. Seules les équivalences\
5
!set methhelp:Deducción por reescritura algebraica. Sólo equivalencias\
6
 arithmétiques sont acceptées dans cette réécriture.
6
aritméticas se aceptan en esta reescritura.
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
Reescribe la expresión
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=Sólo se aceptan equivalencias aritméticas en \
19
  cette réécriture.
19
   esta reescritura.
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=Reescritura de \($exp)
33
 
-
 
34
 newobject1=$methparm2
-
 
35
 oldobject=1
-
 
36
 
33
 
-
 
34
newobject1=$methparm2
37
!exit
35
oldobject=1
38
 
36
 
-
 
37
!exit