Index of /Lucas/math Lucas/dimension checks