Algebraic methods for the analysis and design of time-frequency signal processing algorithms