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