gmssing.lib
list l=A0,A1,T,M; matrix A0,A1; t=A0+s*A1+s^2*(d/ds) on H'' w.r.t. C[[s]]-basis M*T module T; C-basis of C^mu ideal M; monomial C-basis of H''/sH''