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