garywelz/programming_framework

1graph TD2    DefFact("DefFact Factorial")3    DefSum("DefSum Sum principle")4    DefProd("DefProd Product principle")5    PermNoRep("PermNoRep Permutations no rep")6    PermRep("PermRep Permutations with rep")7    CombNoRep("CombNoRep Combinations")8    CombRep("CombRep Combinations with rep")9    BinomThm("BinomThm Binomial theorem")10    Pascal("Pascal Pascal identity")11    Pigeonhole("Pigeonhole Pigeonhole principle")12    InclExcl("InclExcl Inclusion-exclusion")13    InclExcl3("InclExcl3 Incl-excl 3 sets")14    Derange("Derange Derangements")15    Stirling2("Stirling2 Stirling numbers")16    DefFact --> PermNoRep17    DefProd --> PermNoRep18    DefProd --> PermRep19    PermNoRep --> CombNoRep20    DefFact --> CombNoRep21    CombNoRep --> CombRep22    CombNoRep --> BinomThm23    CombNoRep --> Pascal24    DefSum --> Pigeonhole25    DefSum --> InclExcl26    InclExcl --> InclExcl327    InclExcl --> Derange28    PermNoRep --> Derange29    DefSum --> Stirling230    DefProd --> Stirling231    classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b32    classDef definition fill:#3498db,color:#fff,stroke:#2980b933    classDef theorem fill:#1abc9c,color:#fff,stroke:#16a08534    class DefFact,DefSum,DefProd definition35    class PermNoRep,PermRep,CombNoRep,CombRep,BinomThm,Pascal,Pigeonhole,InclExcl,InclExcl3,Derange,Stirling2 theorem