discrete.mac is a package for discrete mathematics and combinatorics for the computer algebra system Maxima. It includes functions for
- additional functions for graph theory and the GRAPHS package
- graph automorphism groups
- relations on finite sets
- permutations and permutation groups, random Schreier-Sims algorithm, cycle indices,
- Polya counting theory
- combinatorial species using the Species package
- number theory: solve_lde, chinese_remainder
- boolean logic
To use the package download it and extract it somewhere where Maxima can find it.