Safe Haskell | None |
---|---|

Language | Haskell98 |

# Documentation

type Coefficient a = a Source

data PolynomialN a Source

Decode m a Integer => Decode m (PolynomialN a) (PolynomialN Integer) Source | |

Show a => Show (PolynomialN a) Source |

type NumPolynomialN = PolynomialN Number Source

:: MonadSAT m | |

=> Int | bit width of coefficients |

-> [(Coefficient Integer, Exponents)] | monomials |

-> m NumPolynomialN |

add :: MonadSAT m => NumPolynomialN -> NumPolynomialN -> m NumPolynomialN Source

equals :: MonadSAT m => NumPolynomialN -> NumPolynomialN -> m Boolean Source