HaskellForMaths-0.4.9: Combinatorics, group theory, commutative algebra, non-commutative algebra
Safe HaskellNone
LanguageHaskell98

Math.Algebra.NonCommutative.TensorAlgebra

Description

A module defining the tensor, symmetric, and exterior algebras. This module has been partially superceded by Math.Algebras.TensorAlgebra, which should be used in preference. This module is likely to be removed at some point.

Documentation

data Basis Source #

Constructors

E Int 

Instances

Instances details
Eq Basis Source # 
Instance details

Defined in Math.Algebra.NonCommutative.TensorAlgebra

Methods

(==) :: Basis -> Basis -> Bool

(/=) :: Basis -> Basis -> Bool

Ord Basis Source # 
Instance details

Defined in Math.Algebra.NonCommutative.TensorAlgebra

Methods

compare :: Basis -> Basis -> Ordering

(<) :: Basis -> Basis -> Bool

(<=) :: Basis -> Basis -> Bool

(>) :: Basis -> Basis -> Bool

(>=) :: Basis -> Basis -> Bool

max :: Basis -> Basis -> Basis

min :: Basis -> Basis -> Basis

Show Basis Source # 
Instance details

Defined in Math.Algebra.NonCommutative.TensorAlgebra

Methods

showsPrec :: Int -> Basis -> ShowS

show :: Basis -> String

showList :: [Basis] -> ShowS

e_ :: Int -> NPoly Q Basis Source #

dim :: NPoly r Basis -> Int Source #

data WeylGens Source #

Constructors

X Int 
D Int 

Instances

Instances details
Eq WeylGens Source # 
Instance details

Defined in Math.Algebra.NonCommutative.TensorAlgebra

Methods

(==) :: WeylGens -> WeylGens -> Bool

(/=) :: WeylGens -> WeylGens -> Bool

Ord WeylGens Source # 
Instance details

Defined in Math.Algebra.NonCommutative.TensorAlgebra

Methods

compare :: WeylGens -> WeylGens -> Ordering

(<) :: WeylGens -> WeylGens -> Bool

(<=) :: WeylGens -> WeylGens -> Bool

(>) :: WeylGens -> WeylGens -> Bool

(>=) :: WeylGens -> WeylGens -> Bool

max :: WeylGens -> WeylGens -> WeylGens

min :: WeylGens -> WeylGens -> WeylGens

Show WeylGens Source # 
Instance details

Defined in Math.Algebra.NonCommutative.TensorAlgebra

Methods

showsPrec :: Int -> WeylGens -> ShowS

show :: WeylGens -> String

showList :: [WeylGens] -> ShowS

comm :: Num a => a -> a -> a Source #

delta :: (Eq a, Num p) => a -> a -> p Source #