I've been looking back into thread #10, trying to summarize what VQC has been posting. I must admit, I struggle formalizing exactly what the problem is, as VQC is asking in >5941 and >5942
And one thing that kind of stumps me is the though behind Get_Remainder_2dnm1. This function takes a base (constructed from (f-2)/8), the d, suggested n0 and f2.
We're trying to find a base f2//8 where f2//8 (n-1)/8 and f2//8 < (x+n)/8. Yet, the function returns 0 for a base that's base > (x+n)/8. I think I either have misunderstood something, or there is some mixup between the terms we are using.
I'm using a=7, b=37 which has an even n and odd x and even d.
Here the values that return 0 for Get_Remainder_2dnm1 is:
base = 7,
d = 16
n = 6
f2 = 28.
This implies that the f2 triangular base is 7, which is f2/4 instead of f2/8. I'm a bit rusty and I'm still catching up to #11, but can anyone shine some light on my confusion?