Numeric.Clifford.Blade

Documentation

data Blade n f where

Constructors

Blade :: forall n f. (SingI n, C f) => f -> [Natural] -> Blade n f

Fields

_scale :: f

_indices :: [Natural]

Instances

(C f, Eq f) => Eq (Blade n f)

(C f, Ord f) => Ord (Blade n f)

Show f => Show (Blade n f)

NFData f => NFData (Blade n f)

scale :: Lens' (Blade n f) f

indices :: Lens' (Blade n f) [Natural]

dimension :: forall n f. SingI n => Blade n f -> Natural

bScale :: Blade n a -> a

bIndices :: Blade n f -> [Natural]

scalarBlade :: (C f, SingI n) => f -> Blade n f

zeroBlade :: (C f, SingI n) => Blade n f

bladeNonZero :: (Eq a, C a) => Blade n a -> Bool

bladeNegate :: C a => Blade n a -> Blade n a

bladeScaleLeft :: SingI Nat n => t1 -> Blade t t1 -> Blade n t1

bladeScaleRight :: SingI Nat n => t1 -> Blade t t1 -> Blade n t1

bladeNormalForm :: forall n f. Blade n f -> Blade n f

grade :: Blade n f -> Integer

bladeIsOfGrade :: Blade n f -> Integer -> Bool

bladeGetGrade :: Integer -> Blade n f -> Blade n f

bladeMul :: Blade n f -> Blade n f -> Blade n f

multiplyBladeList :: (SingI n, C f) => [Blade n f] -> Blade n f

bWedge :: Blade n f -> Blade n f -> Blade n f

bDot :: Blade n f -> Blade n f -> Blade n f

propBladeDotAssociative :: (Eq f, C f) => Blade n f -> Blade n f -> Blade n f -> Bool

makeArbitrary ''Blade)

propCommutativeAddition :: (Eq a, C a) => a -> a -> Bool