Spectrum reduce

Draft of code to spectrum reduction via intgration
Nor do I (nor do I want to pay the computation cost of checking), but probably something we should document.