push_Float_to_rat Function (ROM Call 0x30C)

AMS 1.01 or higher estack.h

void push_Float_to_rat (CESI ptr);

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