Grace/Cumulus/Combinatorics.g17

Open in Workbench Download source

Imports

Basics · InclusionExclusion · Pigeonhole · Binomial · Functions · Injections · Permutations · Fibonacci · Partitions · Lucas · Vandermonde · Catalan · FallingBounds · Derangements · BinomialMore · Stirling · Multinomial · RamseyPigeonhole · RamseyChain · RamseyInfinite · NumberTheory.FibonacciGCD · IntegerSum · DivisorSums · Moebius · DivisorInterchange · MoebiusInversion · MoebiusMultiplicative · CoprimeDivisors · ErdosSzekeres · DerangementFormula · DerangementCount · Ballot · BallotProbability · ParityAlternative

Declarations

Source

1-- Finite combinatorics2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Combinatorics8import Basics9import InclusionExclusion10import Pigeonhole11import Binomial12import Functions13import Injections14import Permutations15import Fibonacci16import Partitions17import Lucas18import Vandermonde19import Catalan20import FallingBounds21import Derangements22import BinomialMore23import Stirling24import Multinomial25import RamseyPigeonhole26import RamseyChain27import RamseyInfinite28import NumberTheory.FibonacciGCD29import IntegerSum30import DivisorSums31import Moebius32import DivisorInterchange33import MoebiusInversion34import MoebiusMultiplicative35import CoprimeDivisors36import ErdosSzekeres37import DerangementFormula38import DerangementCount39import Ballot40import BallotProbability41import ParityAlternative42