[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.5.6 Tests

39A006 ^metafraction? ( Meta → Meta flag )
Tests if meta is a fraction of integers.
3BC006 ^metapi? ( Meta → Meta# )
Tests presence of π in a meta. # is the last occurence of π or 0.
3BD006 ^metaCOMPARE ( Meta2 Meta1 → Meta2 Meta1 # )
Comparison of 2 meta.
# =0 if undef
# =1 if >
# =2 if <
# =3 if =
Assumes generic situation, e.g. X^2 > 0 in real mode. Look below STRICTmetaCOMPARE for a more careful comparison.
3BE006 ^STRICTmetaCOMPARE ( Meta2 Meta1 → Meta2 Meta1 # )
Comparison of 2 meta.
# =0 if undef
# =1 if >
# =2 if <
# =3 if =
Unlike <REF>metaCOMPARE it does not assume generic situation.
3C3006 ^metareal? ( meta → meta flag )
Tests if IM[meta]==0.



This document was generated by Carsten Dominik on May, 30 2005 using texi2html