/****************************************************************************/ /* (C) Copyright 1993 Universidade Estadual de Campinas (UNICAMP) */ /* Campinas, SP, Brazil */ /* */ /* This file can be freely distributed, modified, and used for any */ /* non-commercial purpose, provided that this copyright and authorship */ /* notice be included in any copy or derived version of this file. */ /* */ /* DISCLAIMER: This software is offered ``as is'', without any guarantee */ /* as to fitness for any particular purpose. Neither the copyright */ /* holder nor the authors or their employers can be held responsible for */ /* any damages that may result from its use. */ /****************************************************************************/ 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;