Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data LaurentMonomial Source
Eq LaurentMonomial | |
Ord LaurentMonomial | |
Show LaurentMonomial | |
Mon LaurentMonomial | |
(Eq k, Num k) => Algebra k LaurentMonomial | |
(Eq k, Fractional k) => Fractional (LaurentPoly k) | |
HopfAlgebra (LaurentPoly Q) (SL2q String) | |
Bialgebra (LaurentPoly Q) (SL2q String) | |
Bialgebra (LaurentPoly Q) (M2q String) | |
Coalgebra (LaurentPoly Q) (SL2q String) | |
Coalgebra (LaurentPoly Q) (M2q String) | |
Algebra (LaurentPoly Q) (SL2q String) | |
Algebra (LaurentPoly Q) (M2q String) | |
Algebra (LaurentPoly Q) (Aq02 String) | |
Algebra (LaurentPoly Q) (Aq20 String) | |
Comodule (LaurentPoly Q) (M2q String) (Aq20 String) |
type LaurentPoly k = Vect k LaurentMonomial Source
lvar :: String -> LaurentPoly Q Source
q :: LaurentPoly Q Source
q' :: LaurentPoly Q Source