License | MIT |
---|---|

Safe Haskell | None |

Language | Haskell2010 |

This module implements the normalization of polynomials. Normalization rules for particular mathematical functions (such as sqrt and sin/cos) are defined in Rewrite.hs.

License | MIT |
---|---|

Safe Haskell | None |

Language | Haskell2010 |

This module implements the normalization of polynomials. Normalization rules for particular mathematical functions (such as sqrt and sin/cos) are defined in Rewrite.hs.