Function count_up_to_degree 

pub const fn count_up_to_degree(n: u32) -> u32

The number of Zernike modes with radial degree at most n, i.e. (n+1)(n+2)/2.

This is the length of a full ANSI-indexed coefficient vector truncated at degree n, and one past the largest valid ANSI index.