Lie.Dynkin

Description

This module defines data structures that implement Dynkin Diagrams as a way to represent Lie Algebras.

Synopsis

Documentation

A type that represents a Dynkin Diagram

Constructors

Instances

Eq Dynkin Source #
Instance details Defined in Lie.Dynkin Methods (==) :: Dynkin -> Dynkin -> Bool # (/=) :: Dynkin -> Dynkin -> Bool #
Show Dynkin Source #
Instance details Defined in Lie.Dynkin Methods showsPrec :: Int -> Dynkin -> ShowS # show :: Dynkin -> String # showList :: [Dynkin] -> ShowS #

Constructors

Instances

Eq DynkinNode Source #
Instance details Defined in Lie.Dynkin Methods (==) :: DynkinNode -> DynkinNode -> Bool # (/=) :: DynkinNode -> DynkinNode -> Bool #
Show DynkinNode Source #
Instance details Defined in Lie.Dynkin Methods showsPrec :: Int -> DynkinNode -> ShowS # show :: DynkinNode -> String # showList :: [DynkinNode] -> ShowS #

Constructors

DynkinVertex Int DynkinNode
DynkinVertexToShort Int DynkinNode
DynkinVertexToLong Int DynkinNode

Instances

Eq DynkinVertex Source #
Instance details Defined in Lie.Dynkin Methods (==) :: DynkinVertex -> DynkinVertex -> Bool # (/=) :: DynkinVertex -> DynkinVertex -> Bool #
Show DynkinVertex Source #
Instance details Defined in Lie.Dynkin Methods showsPrec :: Int -> DynkinVertex -> ShowS # show :: DynkinVertex -> String # showList :: [DynkinVertex] -> ShowS #

Return a list of all (simpler, ) equivalent Dynkin Diagrams.