Skip to content

constraint "Total_Nonzeroes n" is off-by-one

das ist höchst irreführend

            Con.Total_Nonzeroes tp -> do
              EC.assert_atmost (fromIntegral tp - 1) ps

die Verschiebung darf nicht hier, sondern muß woanders geschehen