Numeric.Clifford.Blade

Documentation

data Blade p q f where

Constructors

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

Fields

_scale :: f

_indices :: [Natural]

Instances

(C f, Eq f) => Eq (Blade p q f)

(C f, Ord f) => Ord (Blade p q f)

Show f => Show (Blade p q f)

NFData f => NFData (Blade p q f)

scale :: Lens' (Blade p q f) f

indices :: Lens' (Blade p q f) [Natural]

dimension :: forall p q f. (SingI p, SingI q) => Blade p q f -> (Natural, Natural)

bScale :: Blade p q a -> a

bIndices :: Blade p q f -> [Natural]

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

zeroBlade :: (C f, SingI p, SingI q) => Blade p q f

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

bladeNegate :: C a => Blade p q a -> Blade p q a

bladeScaleLeft :: (SingI Nat p, SingI Nat q) => t2 -> Blade t t1 t2 -> Blade p q t2

bladeScaleRight :: (SingI Nat p, SingI Nat q) => t2 -> Blade t t1 t2 -> Blade p q t2

bladeNormalForm :: forall p q f. Blade p q f -> Blade p q f

grade :: Blade p q f -> Integer

bladeIsOfGrade :: Blade p q f -> Integer -> Bool

bladeGetGrade :: Integer -> Blade p q f -> Blade p q f

bladeMul :: Blade p q f -> Blade p q f -> Blade p q f

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

bWedge :: Blade p q f -> Blade p q f -> Blade p q f

bDot :: Blade p q f -> Blade p q f -> Blade p q f

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

makeArbitrary ''Blade)

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