| Copyright | (C) 2012-2015 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Linear.Conjugate
Description
Involutive rings
- class Num a => Conjugate a where
- conjugate :: a -> a
- class Conjugate a => TrivialConjugate a
Documentation
class Num a => Conjugate a where Source
An involutive ring
Minimal complete definition
Nothing
Methods
Conjugate a value. This defaults to the trivial involution.
>>>conjugate (1 :+ 2)1.0 :+ (-2.0)
>>>conjugate 11
Instances
class Conjugate a => TrivialConjugate a Source
Instances