Compute (signature) Groebner bases using the fast datastructures from mathic.