| Stability | experimental |
|---|---|
| Maintainer | byorgey@cis.upenn.edu |
| Safe Haskell | None |
Math.Combinatorics.Species.Simplify
Description
Functions to manipulate and simplify species expressions according to algebraic species isomorphisms.
- simplify :: SpeciesAST -> SpeciesAST
- sumOfProducts :: SpeciesAST -> [[SpeciesAST]]
Documentation
simplify :: SpeciesAST -> SpeciesASTSource
Given a species expression s, return a species expression
in normal form which represents a species isomorphic to s.
sumOfProducts :: SpeciesAST -> [[SpeciesAST]]Source
Simplify a species and decompose it into a sum of products.