Portability | non-portable (ScopedTypeVariables) |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
Gröbner basis
References:
- Monomial order http://en.wikipedia.org/wiki/Monomial_order
- Gröbner basis http://en.wikipedia.org/wiki/Gr%C3%B6bner_basis
- グレブナー基底 http://d.hatena.ne.jp/keyword/%A5%B0%A5%EC%A5%D6%A5%CA%A1%BC%B4%F0%C4%EC
- Gröbner Bases and Buchberger’s Algorithm http://math.rice.edu/~cbruun/vigre/vigreHW6.pdf
- Docon http://www.haskell.org/docon/
- data Options = Options {}
- data Strategy
- defaultOptions :: Options
- basis :: forall k v. (Eq k, Fractional k, Ord k, Ord v) => MonomialOrder v -> [Polynomial k v] -> [Polynomial k v]
- basis' :: forall k v. (Eq k, Fractional k, Ord k, Ord v) => Options -> MonomialOrder v -> [Polynomial k v] -> [Polynomial k v]
- spolynomial :: (Eq k, Fractional k, Ord v) => MonomialOrder v -> Polynomial k v -> Polynomial k v -> Polynomial k v
- reduceGBasis :: forall k v. (Eq k, Ord k, Fractional k, Ord v) => MonomialOrder v -> [Polynomial k v] -> [Polynomial k v]
Options
NormalStrategy | |
SugarStrategy | sugar strategy (not implemented yet) |
Gröbner basis computation
basis :: forall k v. (Eq k, Fractional k, Ord k, Ord v) => MonomialOrder v -> [Polynomial k v] -> [Polynomial k v]Source
basis' :: forall k v. (Eq k, Fractional k, Ord k, Ord v) => Options -> MonomialOrder v -> [Polynomial k v] -> [Polynomial k v]Source
spolynomial :: (Eq k, Fractional k, Ord v) => MonomialOrder v -> Polynomial k v -> Polynomial k v -> Polynomial k vSource
reduceGBasis :: forall k v. (Eq k, Ord k, Fractional k, Ord v) => MonomialOrder v -> [Polynomial k v] -> [Polynomial k v]Source