alexander_dual()

MonomialIdeal * MonomialIdeal::alexander_dual

(

const M2_arrayint

a

)

const

Definition at line 834 of file monideal.cpp.

{
  MonomialIdeal *result = new MonomialIdeal(get_ring());
  Bag *b = new Bag();
  varpower::one(b->monom());
  result->insert(b);
  for (Bag& b : *this)
    {
      MonomialIdeal *I1 =
          varpower_monideal(get_ring(), a, b.monom().data());
      MonomialIdeal *next_result = result->intersect(*I1);
      delete I1;
      delete result;
      result = next_result;
    }
  return result;
}

References get_ring(), int_bag::monom(), MonomialIdeal(), ExponentList< int, true >::one(), result(), and varpower_monideal().

Referenced by alexDual().