mersenneforum.org - View Single Post - trying to implement block lanczos on GF2...

paul0 · 2020-10-06, 07:10

I'd like to add a third question:
3. In Montgomery's paper p. 115, he writes: "Afterwards I check whether all nonzero columns of V_i+1 were chosen in S_i and/or S_i-1". This assertion is implemented in the c++ implementation I linked above. What would happen if I do not implement this assertion? Will my implementation silently fail for some inputs?

2020-10-06, 07:10	#7
paul0 Sep 2011 3·19 Posts	I'd like to add a third question: 3. In Montgomery's paper p. 115, he writes: "Afterwards I check whether all nonzero columns of V_i+1 were chosen in S_i and/or S_i-1". This assertion is implemented in the c++ implementation I linked above. What would happen if I do not implement this assertion? Will my implementation silently fail for some inputs?