species-0.3.2.3: Computational combinatorial species

Stabilityexperimental
Maintainerbyorgey@cis.upenn.edu
Safe HaskellNone

Math.Combinatorics.Species.Simplify

Description

Functions to manipulate and simplify species expressions according to algebraic species isomorphisms.

Synopsis

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.