The Mourrain algorithm is a strategy for computing the truncated dual space of an ideal I at degree d.
See: B. Mourrain. Isolated points, duality and residues. J. Pure Appl. Algebra, 117/118:469-493, 1997. Algorithms for algebra (Eindhoven, 1996).
The object BM is a symbol.