While updating the matrix in the staircase derivation, right multiplication of the matrix was not applied to all rows. This fixes the issue and also rewrites the functions in a more concise fashion.
Coverage increased (+0.4%) to 84.647% when pulling 4cdf0b876ad14962596f82938b9623905d495f7a on minreal_rework into dedd0eb07e9db7b58afd77f663eec9029b538f16 on master.
While updating the matrix in the staircase derivation, right multiplication of the matrix was not applied to all rows. This fixes the issue and also rewrites the functions in a more concise fashion.