Rev 20 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 20 | Rev 16136 | ||
---|---|---|---|
Line 8... | Line 8... | ||
8 | !reset out,p__ |
8 | !reset out,p__ |
9 | !distribute item <,=,>,! into lt,eq,gt,nt |
9 | !distribute item <,=,>,! into lt,eq,gt,nt |
10 | !distribute item integerp,ratnump,constantp into p_ZZ,p_QQ,p_RR |
10 | !distribute item integerp,ratnump,constantp into p_ZZ,p_QQ,p_RR |
11 | ch__=$(p_$m_environ) |
11 | ch__=$(p_$m_environ) |
12 | !for i__=1 to $n__ |
12 | !for i__=1 to $n__ |
13 | l__=!line $i__ of $I__ |
13 | l__=!line $i__ of $I__ |
14 | !distribute items $l__ into L__,S__,R__ |
14 | !distribute items $l__ into L__,S__,R__ |
15 | L__=$maximasimp($L__) |
15 | L__=$maximasimp($L__) |
16 | R__=$maximasimp($R__) |
16 | R__=$maximasimp($R__) |
17 | !if $S__ isitemof $lt,$gt,$lt$eq,$gt$eq,$eq,$nt$eq |
17 | !if $S__ isitemof $lt,$gt,$lt$eq,$gt$eq,$eq,$nt$eq |
18 | !if $m_environ notwordof ZZ QQ RR |
18 | !if $m_environ notwordof ZZ QQ RR |
19 | p__=!append line "bad"; to $p__ |
19 | p__=!append line "bad"; to $p__ |
- | 20 | !else |
|
- | 21 | p__=!append line if $ch__($L__) and $ch__($R__) then is($L__ $S__ $R__) else "bad"; to $p__ |
|
- | 22 | !endif |
|
20 | !else |
23 | !else |
21 | p__=!append |
24 | p__=!append line "not_comparison"; to $p__ |
22 | !endif |
25 | !endif |
23 | !else |
- | |
24 | p__=!append line "not_comparison"; to $p__ |
- | |
25 | !endif |
- | |
26 | !next i__ |
26 | !next i__ |
27 | 27 | ||
28 | out__=!exec maxima $p__ |
28 | out__=!exec maxima $p__ |
29 | 29 | ||
30 | !for i__=1 to $n__ |
30 | !for i__=1 to $n__ |
31 | l__=!line $i__ of $out__ |
31 | l__=!line $i__ of $out__ |
32 | !if $l__ notwordof true false |
32 | !if $l__ notwordof true false |
33 | l__=bad |
33 | l__=bad |
34 | !endif |
34 | !endif |
35 | out=!append line $l__ to $out |
35 | out=!append line $l__ to $out |
36 | !next i__ |
36 | !next i__ |
37 | - |