A floor sum adds values of a floor function, often in the form for integers , , , and . If , it counts lattice points with and . Splitting and into quotients and remainders isolates an arithmetic progression and a constant contribution; swapping the remaining counting axes leads to an Euclidean algorithm reduction.
New to topics? Read the docs here!