| Copyright | (c) Brent Yorgey 2010 |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | byorgey@cis.upenn.edu |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
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 -> SpeciesAST Source #
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.