m è la funzione che ad una lista p associa il valore della funzione M calcolata in p .

Abbiamo definito prima la funzione M e successivamente m perché Macaulay 2 richiede di fare calcoli all'interno dell'anello S .