| Copyright | (c) 2015-2018 Frederick Schneider |
|---|---|
| License | MIT |
| Maintainer | Frederick Schneider <frederick.schneider2011@gmail.com> |
| Stability | Provisional |
| Safe Haskell | None |
| Language | Haskell2010 |
Math.NumberTheory.Canon.Additive
Description
Mostly functions for the addition and subtraction of CRs (Canonical Representations of numbers)
- crAdd :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap)
- crSubtract :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap)
- crAddR :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap)
- crSubtractR :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap)
- crApplyAdtvOpt :: Bool -> CR_ -> CR_ -> CycloMap -> (CR_, CycloMap)
- crApplyAdtvOptConv :: Bool -> CR_ -> CR_ -> CycloMap -> (CR_, CycloMap)
- crApplyAdtvOptR :: Bool -> CR_ -> CR_ -> CycloMap -> (CR_, CycloMap)
- crQuotRem :: CR_ -> CR_ -> CycloMap -> ((CR_, CR_), CycloMap)
Documentation
crAdd :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap) Source #
Functions for computing sums and differences.
crSubtract :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap) Source #
Functions for computing sums and differences.
crAddR :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap) Source #
Functions for computing sums and differences.
crSubtractR :: CR_ -> CR_ -> CycloMap -> (CR_, CycloMap) Source #
Functions for computing sums and differences.
crApplyAdtvOpt :: Bool -> CR_ -> CR_ -> CycloMap -> (CR_, CycloMap) Source #
crApplyAdtvOpt: SimplifiesFactorizes expressions x +- y.
crApplyAdtvOptConv :: Bool -> CR_ -> CR_ -> CycloMap -> (CR_, CycloMap) Source #
crApplyAdtvOptConv is setup to convert different cases in a standard manner. All 8 combinations of signs and operators are covered here.