algebra-4.3: Constructive abstract algebra

Numeric.Algebra.Complex

Synopsis

# Documentation

class Distinguished t where Source #

Minimal complete definition

e

Methods

e :: t Source #

Instances

 Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Rig r => Distinguished (Complex r) Source # Methods Rig r => Distinguished (Dual r) Source # Methodse :: Dual r Source # Rig r => Distinguished (Quaternion r) Source # Methods Rig r => Distinguished (Dual' r) Source # Methods Rig r => Distinguished (Quaternion' r) Source # Methods Rig r => Distinguished (Trig r) Source # Methodse :: Trig r Source # Rig r => Distinguished (ComplexBasis -> r) Source # Methodse :: ComplexBasis -> r Source # Rig r => Distinguished (DualBasis -> r) Source # Methodse :: DualBasis -> r Source # Rig r => Distinguished (QuaternionBasis -> r) Source # Methodse :: QuaternionBasis -> r Source # Rig r => Distinguished (DualBasis' -> r) Source # Methodse :: DualBasis' -> r Source # Rig r => Distinguished (QuaternionBasis' -> r) Source # Methodse :: QuaternionBasis' -> r Source # Rig r => Distinguished (TrigBasis -> r) Source # Methodse :: TrigBasis -> r Source # Distinguished a => Distinguished (Covector r a) Source # Methodse :: Covector r a Source #

class Distinguished r => Complicated r where Source #

Minimal complete definition

i

Methods

i :: r Source #

Instances

 Source # Methods Source # Methods Source # Methods Source # Methods Rig r => Complicated (Complex r) Source # Methods Rig r => Complicated (Quaternion r) Source # Methods Rig r => Complicated (Quaternion' r) Source # Methods Rig r => Complicated (Trig r) Source # Methodsi :: Trig r Source # Rig r => Complicated (ComplexBasis -> r) Source # Methodsi :: ComplexBasis -> r Source # Rig r => Complicated (QuaternionBasis -> r) Source # Methodsi :: QuaternionBasis -> r Source # Rig r => Complicated (QuaternionBasis' -> r) Source # Methodsi :: QuaternionBasis' -> r Source # Rig r => Complicated (TrigBasis -> r) Source # Methodsi :: TrigBasis -> r Source # Complicated a => Complicated (Covector r a) Source # Methodsi :: Covector r a Source #

Constructors

 E I

Instances

 Source # Methods Source # Methods Source # Methods Source # Methodsgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ComplexBasis -> c ComplexBasis #gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ComplexBasis #dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ComplexBasis) #dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ComplexBasis) #gmapT :: (forall b. Data b => b -> b) -> ComplexBasis -> ComplexBasis #gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ComplexBasis -> r #gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ComplexBasis -> r #gmapQ :: (forall d. Data d => d -> u) -> ComplexBasis -> [u] #gmapQi :: Int -> (forall d. Data d => d -> u) -> ComplexBasis -> u #gmapM :: Monad m => (forall d. Data d => d -> m d) -> ComplexBasis -> m ComplexBasis #gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ComplexBasis -> m ComplexBasis #gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ComplexBasis -> m ComplexBasis # Source # Methods Source # Methods Source # MethodsshowList :: [ComplexBasis] -> ShowS # Source # Methodsrange :: (ComplexBasis, ComplexBasis) -> [ComplexBasis] # Source # Methods Source # Methods Source # Methodslocal :: (ComplexBasis -> ComplexBasis) -> Complex a -> Complex a #reader :: (ComplexBasis -> a) -> Complex a # Source # Methodscomult :: (ComplexBasis -> k) -> ComplexBasis -> ComplexBasis -> k Source # Source # Methodsmult :: (ComplexBasis -> ComplexBasis -> k) -> ComplexBasis -> k Source # Source # Source # Methodscounit :: (ComplexBasis -> k) -> k Source # Source # Methodsunit :: k -> ComplexBasis -> k Source # Source # Methodsantipode :: (ComplexBasis -> k) -> ComplexBasis -> k Source # Source # Methodscoinv :: (ComplexBasis -> k) -> ComplexBasis -> k Source # Source # Methodsinv :: (ComplexBasis -> k) -> ComplexBasis -> k Source # Rig r => Distinguished (ComplexBasis -> r) Source # Methodse :: ComplexBasis -> r Source # Rig r => Complicated (ComplexBasis -> r) Source # Methodsi :: ComplexBasis -> r Source #

data Complex a Source #

Constructors

 Complex a a

Instances