| 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 |
| Language | Haskell98 |
Linear.Conjugate
Description
Involutive rings
- class Num a => Conjugate a where
- class Conjugate a => TrivialConjugate a
Documentation
class Num a => Conjugate a where Source #
An involutive ring
Methods
Conjugate a value. This defaults to the trivial involution.
>>>conjugate (1 :+ 2)1.0 :+ (-2.0)
>>>conjugate 11
conjugate :: TrivialConjugate a => a -> a Source #
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