char *aat_gtag = "gsqrt"; char *aat_gname = "g(x) = sqrt(x)"; Float aat_g_flt (Float x) { ROUND_NEAR; if (x >= 0) return (sqrt(x)); else return (Zero); } Interval aat_g_ia (Interval x) { if (x.hi >= 0) return (ia_sqrt(x)); else return (ia_const(Zero, Zero)); } AAP aat_g_aa (AAP x) { Interval r = aa_range(x); if (r.hi >= 0) return (aa_sqrt(x)); else return (aa_zero()); } Interval aat_gxd = {-One, Three}; Interval aat_gyd = {-Half, Two}; int aat_gn = 16;