Hilbert_Basis.Formal_Power_Series_Ring