 |
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. The relative error can be specified using the AMS global variable RAtionalize_tol.
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