Function law_circular_indices_inverse 

pub fn law_circular_indices_inverse(index: u64, offset: u64, n: u64) -> bool