 |
push_Float_to_rat |
Function (ROM Call 0x30C) |
Pushes a rational approximation of a floating point entry.
push_Float_to_rat finds a rational approximation of the floating point entry pointed to by
ptr (of course, ptr points to the tag), and pushes it on the top of the
expression stack. At the moment, I am not sure how you can set a tolerance for the
approximation (I know that it can be done). This routine works well even with transfinite
floats (e.g. POSITIVE_INF will be pushed as
INFINITY_TAG).
Uses: top_estack, float_class, estack_to_float
Used by: push_round_Float, did_push_anti_deriv, push_1st_derivative, push_coldim, push_csolve, push_czeros, push_def_int, push_desolve, push_dimension, push_floor, push_lim, push_max, push_min, push_mod, push_nsolve, push_nth_derivative, push_rand, push_randmat, push_randpoly, push_round, push_rowdim, push_sin2, push_solve, push_zeros, push_dot_exponentiate, push_equals, push_exponentiate, push_greater_than, push_greater_than_or_equals, push_less_than, push_less_than_or_equals, push_not_equals, are_units_consistent, get_ub, ROM Call 0x4C7