oalg-base-1.1.4.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.

Copyright	(c) Erich Gut
License	BSD3
Maintainer	zerich.gut@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

OAlg.Structure.Vectorial.Proposition

Contents

Proposition
X
- Direction

Description

propositions on Vectorial structures.

Synopsis

prpVec :: Vectorial v => XVec v -> Statement
prpVec1 :: Vectorial v => X (Scalar v) -> X v -> Statement
prpVec2 :: Vectorial v => X v -> Statement
prpVec3 :: Vectorial v => p v -> X (Scalar v) -> X (Root v) -> Statement
prpVec4 :: Vectorial v => X (Scalar v) -> X v -> Statement
prpVec5 :: Vectorial v => X (Scalar v) -> X (Adbl2 v) -> Statement
prpVec6 :: Vectorial v => X v -> Statement
prpVec7 :: Vectorial v => X (Scalar v) -> X v -> Statement
data XVec v = XVec (X (Scalar v)) (X (Root v)) (X v) (X (Adbl2 v))
xoVec :: FibredOriented v => X (Scalar v) -> XOrtOrientation v -> XVec v

Proposition

prpVec :: Vectorial v => XVec v -> Statement Source #

validity of the Vectorial structure of v.

prpVec1 :: Vectorial v => X (Scalar v) -> X v -> Statement Source #

validity according to OAlg.Structure.Vectorial.Definition.

prpVec2 :: Vectorial v => X v -> Statement Source #

validity according to OAlg.Structure.Vectorial.Definition.

prpVec3 :: Vectorial v => p v -> X (Scalar v) -> X (Root v) -> Statement Source #

validity according to OAlg.Structure.Vectorial.Definition.

prpVec4 :: Vectorial v => X (Scalar v) -> X v -> Statement Source #

validity according to OAlg.Structure.Vectorial.Definition.

prpVec5 :: Vectorial v => X (Scalar v) -> X (Adbl2 v) -> Statement Source #

validity according to OAlg.Structure.Vectorial.Definition.

prpVec6 :: Vectorial v => X v -> Statement Source #

validity according to OAlg.Structure.Vectorial.Definition.

prpVec7 :: Vectorial v => X (Scalar v) -> X v -> Statement Source #

validity according to OAlg.Structure.Vectorial.Definition.

X

data XVec v Source #

random variable to validate Vectorial structures.

Constructors

XVec (X (Scalar v)) (X (Root v)) (X v) (X (Adbl2 v))

Instances

Instances details

Vectorial v => Validable (XVec v) Source #
Instance details Defined in OAlg.Structure.Vectorial.Proposition Methods valid :: XVec v -> Statement Source #

Direction

xoVec :: FibredOriented v => X (Scalar v) -> XOrtOrientation v -> XVec v Source #

the induced random variable.