char *aat_gtag = "ginv"; char *aat_gname = "g(x) = 1/x"; Float aat_g_flt (Float x) { ROUND_NEAR; if (x != Zero) return (One/x); else return (Zero); } Interval aat_g_ia (Interval x) { return (ia_inv(x)); } AAP aat_g_aa (AAP x) { return (aa_inv(x)); } Interval aat_gxd = {-Four, Four}; Interval aat_gyd = {-Four, Four}; int aat_gn = 31;