fast-arithmetic

Fast functions for number theory and combinatorics with a high level of safety guaranteed by ATS.