1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
==========================================
erewrite in PRINT-TEST : <> < me : User | term: upTerm(1/2), flags: mixfix >
createInterpreter(interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | none > printedTerm(me, interpreter(0),
's '0 '/ 's_^2 '`( '0 '`))
==========================================
erewrite in PRINT-TEST : <> < me : User | term: upTerm(1/2), flags: number >
createInterpreter(interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | none > printedTerm(me, interpreter(0),
'_/_ '`( '1 '`, '2 '`))
==========================================
erewrite in PRINT-TEST : <> < me : User | term: upTerm(1/2), flags: rat >
createInterpreter(interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | none > printedTerm(me, interpreter(0),
'1/2)
==========================================
erewrite in PRINT-TEST : <> < me : User | term: upTerm(X:Rat + 1/2), flags: rat
> createInterpreter(interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | none > printedTerm(me, interpreter(0),
'_+_ '`( 'X '`, '1/2 '`))
==========================================
erewrite in PRINT-TEST : <> < me : User | term: upTerm(X:Rat + 1/2), flags: (
mixfix rat) > createInterpreter(interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | none > printedTerm(me, interpreter(0),
'X '+ '1/2)
==========================================
erewrite in PRINT-TEST : <> < me : User | term: upTerm(X:Rat + 1/2), flags: (
mixfix number) > createInterpreter(interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | none > printedTerm(me, interpreter(0),
'X '+ '1 '/ '2)
==========================================
erewrite in PRINT-TEST : <> < me : User | term: upTerm(X:Rat + 1/2), flags:
mixfix > createInterpreter(interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | none > printedTerm(me, interpreter(0),
'X '+ 's '0 '/ 's_^2 '`( '0 '`))
Bye.
|
