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__