/* Last edited on 2001-09-30 02:25:17 by stolfi */ char *aat_gtag = "gexp"; char *aat_gname = "g(x) = exp(x)"; Float aat_g_flt (Float x) { ROUND_NEAR; return (exp(x)); } Interval aat_g_ia (Interval x) { return (ia_exp(x)); } AAP aat_g_aa (AAP x) { Interval r; r = aa_range(x); return (aa_exp(x)); } Interval aat_gxd = {-One, One}; Interval aat_gyd = {-Half, Three+Half}; int aat_gn = 16;