Function id_Add

libpolys/polys/simpleideals.cc:905–913

h1 + h2

/// h1 + h2
ideal id_Add (ideal h1,ideal h2, const ring r)
{
  id_Test(h1, r);
  id_Test(h2, r);

  ideal result = id_SimpleAdd(h1,h2,r);
  id_Compactify(result,r);
  return result;
}

/// h1 * h2
/// one h_i must be an ideal (with at least one column)