char *aat_gtag = "g11";
char *aat_gname = "g(x) = (1 + x)*(1 - x)";

Float aat_g_flt (Float x)
  {
    ROUND_NEAR;
    {
      Float u = One + x;
      Float v = One - x;
      Float res = u*v;
      return (res);
    }
  }

Interval aat_g_ia (Interval x)
  {
    Interval u = ia_shift(x, One);
    Interval v = ia_shift(ia_neg(x), One);
    Interval res = ia_mul(u, v);
    return (res);
  }

AAP aat_g_aa (AAP x)
  {
    MemP frame = aa_top();
    AAP u = aa_shift(x, One);
    AAP v = aa_shift(aa_neg(x), One);
    AAP res = aa_mul(u, v);
    return (aa_return(frame, res));
  }

Interval aat_gxd = {-Two, Two};
Interval aat_gyd = {-Two, Two};

int aat_gn = 7;