use LeadingModule as a last choice

to compute
. HilbertPoincareSeries
. HilbertPolynomial
this makes them computable with MAGMA