Safe Haskell | None |
---|---|
Language | Haskell98 |
Numeric.Algebra.Dual
- class Distinguished t where
- class Distinguished t => Infinitesimal t where
- data DualBasis
- data Dual a = Dual a a
Documentation
class Distinguished t where Source #
Minimal complete definition
Instances
Distinguished TrigBasis Source # | |
Distinguished QuaternionBasis' Source # | |
Distinguished DualBasis' Source # | |
Distinguished QuaternionBasis Source # | |
Distinguished DualBasis Source # | |
Distinguished ComplexBasis Source # | |
Rig r => Distinguished (Trig r) Source # | |
Rig r => Distinguished (Quaternion' r) Source # | |
Rig r => Distinguished (Dual' r) Source # | |
Rig r => Distinguished (Quaternion r) Source # | |
Rig r => Distinguished (Dual r) Source # | |
Rig r => Distinguished (Complex r) Source # | |
Rig r => Distinguished (TrigBasis -> r) Source # | |
Rig r => Distinguished (QuaternionBasis' -> r) Source # | |
Rig r => Distinguished (DualBasis' -> r) Source # | |
Rig r => Distinguished (QuaternionBasis -> r) Source # | |
Rig r => Distinguished (DualBasis -> r) Source # | |
Rig r => Distinguished (ComplexBasis -> r) Source # | |
Distinguished a => Distinguished (Covector r a) Source # | |
class Distinguished t => Infinitesimal t where Source #
Minimal complete definition
Instances
Infinitesimal DualBasis' Source # | |
Infinitesimal DualBasis Source # | |
Rig r => Infinitesimal (Dual' r) Source # | |
Rig r => Infinitesimal (Dual r) Source # | |
Rig r => Infinitesimal (DualBasis' -> r) Source # | |
Rig r => Infinitesimal (DualBasis -> r) Source # | |
Infinitesimal a => Infinitesimal (Covector r a) Source # | |
dual number basis, D^2 = 0. D /= 0.
Instances
Bounded DualBasis Source # | |
Enum DualBasis Source # | |
Eq DualBasis Source # | |
Data DualBasis Source # | |
Ord DualBasis Source # | |
Read DualBasis Source # | |
Show DualBasis Source # | |
Ix DualBasis Source # | |
Distinguished DualBasis Source # | |
Infinitesimal DualBasis Source # | |
MonadReader DualBasis Dual Source # | |
Rng k => Coalgebra k DualBasis Source # | |
Rng k => Algebra k DualBasis Source # | |
Rng k => Bialgebra k DualBasis Source # | |
Rng k => CounitalCoalgebra k DualBasis Source # | |
Rng k => UnitalAlgebra k DualBasis Source # | |
(InvolutiveSemiring k, Rng k) => HopfAlgebra k DualBasis Source # | |
(InvolutiveSemiring k, Rng k) => InvolutiveCoalgebra k DualBasis Source # | |
(InvolutiveSemiring k, Rng k) => InvolutiveAlgebra k DualBasis Source # | |
Rig r => Distinguished (DualBasis -> r) Source # | |
Rig r => Infinitesimal (DualBasis -> r) Source # | |
Constructors
Dual a a |
Instances