Subversion Repositories wimsdev

# Standardized inequality checker, sensible to m_environ.
# For RR, there is a danger of rounding errors rending false comparisons!
# Input are lines, "$left,$sign,$right".
# Output are lines, in $out. `true' if true, `bad' if non-checkable.

I__=!nonempty lines $wims_read_parm
n__=!linecnt $I__
!reset out,p__
!distribute item <,=,>,! into lt,eq,gt,nt
!distribute item integerp,ratnump,constantp into p_ZZ,p_QQ,p_RR
ch__=$(p_$m_environ)
!for i__=1 to $n__
  l__=!line $i__ of $I__
  !distribute items $l__ into L__,S__,R__
  L__=$maximasimp($L__)
  R__=$maximasimp($R__)
  !if $S__ isitemof $lt,$gt,$lt$eq,$gt$eq,$eq,$nt$eq
    !if $m_environ notwordof ZZ QQ RR
      p__=!append line "bad"; to $p__
    !else
      p__=!append line if $ch__($L__) and $ch__($R__) then is($L__ $S__ $R__) else "bad"; to $p__
    !endif
  !else
    p__=!append line "not_comparison"; to $p__
  !endif
!next i__

out__=!exec maxima $p__

!for i__=1 to $n__
  l__=!line $i__ of $out__
  !if $l__ notwordof true false
    l__=bad
  !endif
  out=!append line $l__ to $out
!next i__