Noether.Algebra.Actions.Compatible

Documentation

class CompatibleK lr op act a b s

A strategy-parameterized typeclass for a compatible action, where compatibility is defined in the group action sense.

A compatible action satisfies a act (a' act b) = (a op a') act b

Instances

(ActsK k2 lr act a b za, SemigroupK * k1 op a zs) => CompatibleK * * k2 k1 lr op act a b (Compatible_Acts_Semigroup a za zs)

data CompatibleE

Constructors

Compatible_Acts_Semigroup

Fields

• compatible_actor :: Type
• compatible_action :: ActsE
• compatible_actor_semigroup :: SemigroupE

type family CompatibleS (lr :: Side) (op :: k1) (act :: k2) (a :: Type) (b :: Type) = (r :: CompatibleE)

Instances

type CompatibleS BinaryNumeric BinaryNumeric lr op op Rational Rational

type CompatibleS BinaryNumeric BinaryNumeric lr op op Rational Rational = DeriveCompatible_Associativity BinaryNumeric lr op Rational

type CompatibleS BinaryNumeric BinaryNumeric lr op op Double Double

type CompatibleS BinaryNumeric BinaryNumeric lr op op Double Double = DeriveCompatible_Associativity BinaryNumeric lr op Double

type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (UVector n b)

type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (UVector n b) = DeriveCompatible_Acts_Semigroup BinaryNumeric BinaryNumeric lr Mul Mul a (UVector n b)

type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (BVector k n b)

type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (BVector k n b) = DeriveCompatible_Acts_Semigroup BinaryNumeric BinaryNumeric lr Mul Mul a (BVector k n b)

type CompatibleS BinaryNumeric BinaryNumeric lr op op (Complex Double) (Complex Double)

type CompatibleS BinaryNumeric BinaryNumeric lr op op (Complex Double) (Complex Double) = DeriveCompatible_Associativity BinaryNumeric lr op (Complex Double)