Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

# Documentation

class Simplify a where Source #

simplifyWith :: SimplifyConfig -> a -> a Source #

## Instances

Simplify Expr Source # | |

Defined in Domain.Math.Simplification | |

Simplify a => Simplify [a] Source # | |

Defined in Domain.Math.Simplification simplifyWith :: SimplifyConfig -> [a] -> [a] Source # | |

Simplify a => Simplify (Rule a) Source # | |

Defined in Domain.Math.Simplification | |

Simplify a => Simplify (Context a) Source # | |

Defined in Domain.Math.Simplification | |

Simplify a => Simplify (Relation a) Source # | |

Defined in Domain.Math.Simplification | |

Simplify a => Simplify (Equation a) Source # | |

Defined in Domain.Math.Simplification | |

Simplify a => Simplify (Matrix a) Source # | |

Defined in Domain.LinearAlgebra.Matrix |

data SimplifyConfig Source #

data Simplified a Source #

## Instances

simplified :: Simplify a => a -> Simplified a Source #

liftS :: Simplify a => (a -> a) -> Simplified a -> Simplified a Source #

liftS2 :: Simplify a => (a -> a -> a) -> Simplified a -> Simplified a -> Simplified a Source #

simplifyRule :: Simplify a => Rule a Source #

collectLikeTerms :: Expr -> Expr Source #

mergeAlike :: Expr -> Expr Source #

distribution :: Expr -> Expr Source #

constantFolding :: Expr -> Expr Source #

mergeAlikeSum :: [Expr] -> [Expr] Source #

mergeAlikeProduct :: [Expr] -> [Expr] Source #