Macaulay2
»
Documentation
Packages
»
WeylGroups
::
Index
next | previous | forward | backward | up |
index
|
toc
WeylGroups : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
- Weight
-- the negative of a weight
aboveBruhat
-- obtain Weyl group elements just greater than an element for the Bruhat order
aboveBruhat(BasicList)
-- The Weyl group elements just under the ones in the list for the Bruhat order
aboveBruhat(WeylGroupElement)
-- Weyl group elements just above a given one for the Bruhat order
addRoots
-- adding roots
addRoots(RootSystem,Root,Root)
-- the sum of two roots
cartanMatrix
-- the Cartan matrix of a root system
cartanMatrix(RootSystem)
-- the Cartan matrix of a root system
connectedComponents
-- get the connected components
connectedComponents(DynkinDiagram)
-- the connected components of a Dynkin diagram
coxeterLength
-- the length of a reduced decomposition of an element of a Weyl group
coxeterLength(WeylGroupElement)
-- the length of a reduced decomposition of an element of a Weyl group
DynkinDiagram
-- the class of Dynkin diagrams
dynkinDiagram
-- produce a Dynkin Diagram
dynkinDiagram(DynkinDiagram,Parabolic)
-- the Dynkin diagram of the Levy subgroup of a parabolic
dynkinDiagram(RootSystem)
-- the Dynkin diagram of a root system
dynkinExponents
-- the exponents associated to a type
dynkinExponents(DynkinType)
-- the exponents of the Dynkin type
DynkinType
-- the class of Dynkin Types
dynkinType
-- obtaining a Dynkin type
DynkinType ++ DynkinType
-- the disjoint union of Dynkin Types
DynkinType == DynkinType
-- the equality of Dynkin Types
dynkinType(BasicList)
-- constructing a Dynkin type
dynkinType(DynkinDiagram)
-- the Dynkin type of a Dynkin diagram
dynkinType(RootSystem)
-- the Dynkin type of a root system
endVertices
-- the vertices with at most one edge
endVertices(DynkinDiagram)
-- the vertices of a Dynkin diagram with at most one neighbor
eval
-- evaluate the dual of a root at something
eval(RootSystem,Weight,Root)
-- evaluate the dual of a root at a Weight
eval(RootSystem,Weight,ZZ)
-- evaluate the dual of a simple root at a Weight
eval(RootSystem,ZZ,Root)
-- evaluate the dual of a root at a fundamental weight
eval(RootSystem,ZZ,ZZ)
-- evaluate the dual of a simple root at another one
halfSumOfRoots
-- the half-sum of positive roots
halfSumOfRoots(RootSystem)
-- the half-sum of positive roots
HasseDiagram
-- the class of Hasse diagrams
hasseDiagramToGraph
-- turning a hasse diagram into a graph (intended for graphic representation)
hasseDiagramToGraph(HasseDiagram)
-- turning a hasse diagram into a graph (intended for graphic representation)
HasseGraph
-- the class of Hasse graphs
hasseGraphToPicture
-- construct the picture of a Hasse Graph
hasseGraphToPicture(HasseGraph)
-- Obtain a picture from a Hasse graph
intervalBruhat
-- obtaining an interval for the Bruhat order
intervalBruhat(WeylGroupElement,WeylGroupElement)
-- elements between two given ones for the Bruhat order on a Weyl group
intervalBruhat(WeylGroupLeftCoset,WeylGroupLeftCoset)
-- elements between two given ones for the Bruhat order on a quotient of a Weyl group
intervalBruhat(WeylGroupRightCoset,WeylGroupRightCoset)
-- elements between two given ones for the Bruhat order on a quotient of a Weyl group
inverse(WeylGroupElement)
-- the inverse to an element of a Weyl group
isLtBruhat
-- compare two Weyl group elements in the Bruhat order
isLtBruhat(WeylGroupElement,WeylGroupElement)
-- compare two Weyl group elements in the Bruhat order
isMinimalRepresentative
-- check whether an element of a Weyl group is the minimal representative of a coset
isMinimalRepresentative(Parabolic,WeylGroupElement)
-- check whether an element of a Weyl group is the minimal representative of a right coset
isMinimalRepresentative(Parabolic,WeylGroupElement,Parabolic)
-- check whether an element of a Weyl group is the minimal representative of a double coset
isMinimalRepresentative(WeylGroupElement,Parabolic)
-- check whether an element of a Weyl group is the minimal representative of a left coset
isPositiveRoot
-- check whether a weight is a positive root
isPositiveRoot(RootSystem,Weight)
-- check whether a weight is a positive root
isReduced
-- check whether a decomposition is of minimal length
isReduced(BasicList,WeylGroupElement)
-- whether an Weyl group element can be multiplied by some simple reflections with length increasing at each step
isReduced(RootSystem,BasicList)
-- whether a decomposition in simple reflections is reduced
isReflection
-- checks whether an element of a Weyl group is a reflection
isReflection(WeylGroupElement)
-- checks whether an element of a Weyl group is a reflection
isRoot
-- check whether a weight is a root or whether a root is in a parabolic sub root system
isRoot(RootSystem,Parabolic,Root)
-- check whether a root is in the sub root system of the parabolic
isRoot(RootSystem,Weight)
-- check whether a weight is a positive root
listWeylGroupElements
-- list all elements of a given length in a Weyl group
listWeylGroupElements(RootSystem,ZZ)
-- list all elements of a given length in a Weyl group
loadHasseGraph
-- load a Hasse graph from a file
loadHasseGraph(String)
-- load a Hasse graph from a file
longestWeylGroupElement
-- the longest element of a Weyl group
longestWeylGroupElement(RootSystem)
-- the longest element of the Weyl group of a root system
longestWeylGroupElement(RootSystem,Parabolic)
-- the longest element of a parabolic subgroup of the Weyl group of a root system
minimalRepresentative
-- the minimal representative of a coset
minimalRepresentative(WeylGroupDoubleCoset)
-- the minimal representative of a coset
minimalRepresentative(WeylGroupLeftCoset)
-- the minimal representative of a coset
minimalRepresentative(WeylGroupRightCoset)
-- the minimal representative of a coset
neutralWeylGroupElement
-- the neutral element of a Weyl group
neutralWeylGroupElement(RootSystem)
-- the neutral element of the Weyl group of a root system
norm(RootSystem,Root)
-- the squared norm of a root
numberOfPositiveRoots
-- the number of positive roots
numberOfPositiveRoots(DynkinType)
-- the number of positive roots
numberOfPositiveRoots(RootSystem)
-- the number of positive roots
Parabolic
-- the class of parabolic subgroups of Weyl groups
parabolic
-- construct a parabolic
Parabolic % WeylGroupElement
-- the right coset defined by an element of Weyl group
Parabolic % WeylGroupLeftCoset
-- the double coset defined by a left coset
Parabolic == Parabolic
-- equality of parabolics
parabolic(RootSystem,Set)
-- construct a parabolic from a set of simple roots
parabolic(WeylGroupDoubleCoset)
-- the parabolic associated to a double coset
poincareSeries
-- a generating series for number of elements in a Weyl group
poincareSeries(HasseDiagram,RingElement)
-- the generating series of a Hasse diagram
poincareSeries(RootSystem,Parabolic,RingElement)
-- the generating series of a quotient of the Weyl group by length
poincareSeries(RootSystem,RingElement)
-- the generating series of the Weyl group by length
positiveRoots
-- the set of all positive roots
positiveRoots(RootSystem)
-- the set of all positive roots
positiveRoots(RootSystem,Parabolic)
-- the set of all positive roots in a parabolic sugroups
rank(DynkinDiagram)
-- the rank of a Dynkin diagram
rank(RootSystem)
-- the rank of a root system
reduce
-- the product of several reflections
reduce(RootSystem,BasicList)
-- the product of several reflections with respect to simple roots
reducedDecomposition
-- the reduced decomposition of an element of a Weyl group
reducedDecomposition(WeylGroupElement)
-- the reduced decomposition of an element of a Weyl group
reflect
-- apply the reflection with respect to a root
reflect(RootSystem,BasicList,Root)
-- apply to a root several reflections with respect to simple roots
reflect(RootSystem,BasicList,Weight)
-- apply to a weight several reflections with respect to roots
reflect(RootSystem,ZZ,Root)
-- apply to a root the reflection with respect to a simple root
reflect(RootSystem,ZZ,Weight)
-- apply to a weight the reflection with respect to a root
reflection
-- the reflection with respect to a root
reflection(RootSystem,Root)
-- the reflection with respect to a root
Root
-- the class of roots (or, more generally, elements of the root lattice)
rootCoefficients
-- coefficients at the simple roots
rootCoefficients(RootSystem,Root)
-- the coefficients at the simple roots
rootCoefficients(RootSystem,Weight)
-- the coefficients at the simple roots
RootSystem
-- the class of all root systems
rootSystem
-- obtain a root system
RootSystem ++ RootSystem
-- the direct sum of root systems
RootSystem == RootSystem
-- equality of root systems
rootSystem(DynkinDiagram)
-- the root system corresponding to a Dynkin diagram
rootSystem(DynkinType)
-- the root system of a given type
rootSystem(RootSystem,Parabolic)
-- the root system of the Levy subgroup of a parabolic
rootSystemA
-- a root system of type A
rootSystemB
-- a root system of type B
rootSystemC
-- a root system of type C
rootSystemD
-- a root system of type D
rootSystemE
-- a root system of type E
rootSystemF4
-- the root system of type F4
rootSystemG2
-- the root system of type G2
scalarProduct
-- compute a scalar product (invariant by the Weyl group)
scalarProduct(RootSystem,Weight,Weight)
-- the scalar product of two weights
scalarProduct(RootSystem,ZZ,Weight)
-- the scalar product of a fundamental weight and a weight
scalarProduct(RootSystem,ZZ,ZZ)
-- the scalar product of two fundamental weights
simpleRoot
-- a simple root
simpleRoot(RootSystem,ZZ)
-- the n-th simple root
storeHasseGraph
-- store a Hasse graph in a file
storeHasseGraph(HasseGraph,String)
-- store a Hasse graph in a file
underBruhat
-- obtain Weyl group elements less than an element for the Bruhat order
underBruhat(BasicList)
-- Weyl group elements just under the ones in the list for the Bruhat order
underBruhat(WeylGroupElement)
-- Weyl group elements just under a given one for the Bruhat order
Weight
-- the class of weights
weight
-- construct a weight in the weight lattice of a root system
Weight + Weight
-- the sum of two weights
Weight - Weight
-- the difference of two weights
weight(RootSystem,BasicList)
-- construct a weight from a list
weight(RootSystem,Vector)
-- construct a weight from a vector
WeylGroupDoubleCoset
-- the class of double cosets of Weyl groups by pairs of parabolic subgroups
WeylGroupDoubleCoset == WeylGroupDoubleCoset
-- equality of double cosets
WeylGroupElement
-- the class of elements of Weyl groups
WeylGroupElement % Parabolic
-- the left coset defined by an element of Weyl group
WeylGroupElement * Root
-- apply an element of a Weyl group to a root
WeylGroupElement * Weight
-- apply an element of a Weyl group to a weight
WeylGroupElement * WeylGroupElement
-- the product of two elements of a Weyl group
WeylGroupElement * WeylGroupLeftCoset
-- apply an element of a Weyl group to a left coset
WeylGroupElement == WeylGroupElement
-- equality of elements of Weyl groups
WeylGroupElement ^ ZZ
-- the power of an element of a Weyl group
WeylGroupLeftCoset
-- the class of left cosets of Weyl groups by parabolic subgroup
WeylGroupLeftCoset == WeylGroupLeftCoset
-- equality of left cosets
WeylGroupRightCoset
-- the class of right cosets of Weyl groups by parabolic subgroups
WeylGroupRightCoset % Parabolic
-- the double coset defined by a right coset
WeylGroupRightCoset * WeylGroupElement
-- apply an element of a Weyl group to a left coset
WeylGroupRightCoset == WeylGroupRightCoset
-- equality of right cosets
WeylGroups
-- Weyl groups
whoseReflection
-- the positive root whose reflection is a given element of a Weyl group
whoseReflection(WeylGroupElement)
-- the positive root whose reflection is a given element of a Weyl group
ZZ * Root
-- multiplication of a root by an integer
ZZ * Weight
-- the multiple of a weight