Subversion Repositories wimsdev

Rev

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

Rev 12130 Rev 12131
Line 1... Line 1...
1 
# only usable in chroot 29/11/2017
 1 
# only usable in chroot 29/11/2017
2 
# see H4/logic/locica-1.nl/exos/src
 2 
# see H4/logic/logica-1.nl/exos/src
3 
 
 3 
 
4 
goback=0
 4 
goback=0
5 
score=0
 5 
score=0
6 
extra=$empty
 6 
extra=$empty
7 
n=$counter
 7 
n=$counter
Line 13... Line 13...
13 
 !exit
 13 
 !exit
14 
!endif
 14 
!endif
15 
 
 15 
 
16 
AAA=!singlespace $(reply$n)
 16 
AAA=!singlespace $(reply$n)
17 
GGG=!singlespace $(answer$n)
 17 
GGG=!singlespace $(answer$n)
18 
maxima_string=$empty
 - 
 
19 
 
 18 
 
20 
AAA=!replace internal empty by $ nil $ in $AAA
 19 
AAA=!replace internal empty by $ nil $ in $AAA
21 
GGG=!replace internal empty by $ nil $ in $GGG
 20 
GGG=!replace internal empty by $ nil $ in $GGG
22 
 
 21 
 
23 
!for p in <->,<-->,<==>,<=>
 22 
!for p in <->,<-->,<==>,<=>
Line 58... Line 57...
58 
tex_res=!line 3 of $test
 57 
tex_res=!line 3 of $test
59 
tex_res=!replace internal " by $empty in $tex_res
 58 
tex_res=!replace internal " by $empty in $tex_res
60 
tex_res=!replace internal \\ by \ in $tex_res
 59 
tex_res=!replace internal \\ by \ in $tex_res
61 
tex_res=!replace internal nil by $ \varnothing $ in $tex_res
 60 
tex_res=!replace internal nil by $ \varnothing $ in $tex_res
62 
tex_res=!mathmlmath \Huge{$tex_res}
 61 
tex_res=!mathmlmath \Huge{$tex_res}
- 
 
 62 
 
63 
!if true isin $res
 63 
!if true isin $res
64 
 maxscore=1
 64 
 maxscore=1
65 
!else
 65 
!else
66 
 maxscore=0
 66 
 maxscore=0
67 
!endif
 67 
!endif