algebra as discrete mathematics degree of regularity fglm geometry gröbner basis mosaic poseidon presentation rescue-prime term order change