PoincareShifts(M: Module, ShiftsList: LIST):TAGGED("$hp.PSeries") PoincareShifts(M: TAGGED("Quotient"), ShiftsList: LIST) :TAGGED("$hp.PSeries")