berlekamp_massey
→
binomial_mod
→
cipolla
→
continued_fraction
→
crt
→
digit_sum
→
discrete_log_bsgs
→
divisor_sigma
→
euler_totient
→
extended_gcd
→
farey_sequence
→
fft
→
floor_sum
→
fwht
→
gauss
→
integer_log
→
integer_nth_root
→
integer_partition
→
jacobi_symbol
→
karatsuba
→
lagrange_interpolation
→
linear_diophantine
→
linear_recurrence
→
linear_sieve
→
lucas_lehmer
→
lucas_theorem
→
math
→
matrix_exp
→
miller_rabin
→
mobius
→
montgomery
→
multiplicative_sieve
→
pollard_kangaroo
→
pollard_rho
→
sieve_of_atkin
→
stern_brocot
→
subset_convolution
→
tonelli_shanks
→
wilson_primality
→
xor_basis
→

loop_invariants_math

Mathematical algorithms with loop-invariant explanations

algorithms

math

number-theory

linear-algebra

loop-invariants

moon add bobzhang/loop_invariants_math@0.16.0

Download zip

Author

bobzhang

Version

0.16.0

License

Apache-2.0

Repository

github.com/moonbit-community/loop_invariants

Last updated

2 months ago

Downloads

README

#Math Algorithms

This module contains number theory, transforms, recurrence, basis, polynomial, and linear-algebra oriented packages.

Packages are organized as one algorithm or closely related group per directory. Each package contains a README.mbt.md tutorial with examples that are checked by moon test.

Run from the workspace root:

moon check
moon test
moon info
moon fmt

Site source Report issue Packages Build queue Skills Statistics