Stability | experimental |
---|---|
Maintainer | byorgey@cis.upenn.edu |
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.