algorithm in computer algebra
FGLM algorithm