Subversion Repositories wimsdev

Rev

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 line if $ch__($L__) and $ch__($R__) then is($L__ $S__ $R__) else "bad"; to $p__
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
 
-