The Mourrain algorithm is a strategy for computing the truncated dual space of an ideal I at degree d.
The object BM is a symbol.