Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

r""" 

Catalog of Algebras 

 

The ``algebras`` object may be used to access examples of various algebras 

currently implemented in Sage. Using tab-completion on this object is an 

easy way to discover and quickly create the algebras that are available 

(as listed here). 

 

Let ``<tab>`` indicate pressing the tab key. So begin by typing 

``algebras.<tab>`` to the see the currently implemented named algebras. 

 

- :class:`algebras.Brauer <sage.combinat.diagram_algebras.BrauerAlgebra>` 

- :class:`algebras.Clifford <sage.algebras.clifford_algebra.CliffordAlgebra>` 

- :class:`algebras.ClusterAlgebra <sage.algebras.cluster_algebra.ClusterAlgebra>` 

- :class:`algebras.Descent <sage.combinat.descent_algebra.DescentAlgebra>` 

- :class:`algebras.DifferentialWeyl 

<sage.algebras.weyl_algebra.DifferentialWeylAlgebra>` 

- :class:`algebras.Exterior <sage.algebras.clifford_algebra.ExteriorAlgebra>` 

- :class:`algebras.FiniteDimensional 

<sage.algebras.finite_dimensional_algebras.finite_dimensional_algebra.FiniteDimensionalAlgebra>` 

- :class:`algebras.FQSym <sage.combinat.fqsym.FreeQuasisymmetricFunctions>` 

- :class:`algebras.Free <sage.algebras.free_algebra.FreeAlgebraFactory>` 

- :class:`algebras.FreeZinbiel <sage.algebras.free_zinbiel_algebra.FreeZinbielAlgebra>` 

- :class:`algebras.FreePreLie <sage.combinat.free_prelie_algebra.FreePreLieAlgebra>` 

- :class:`algebras.FreeDendriform <sage.combinat.free_dendriform_algebra.FreeDendriformAlgebra>` 

- :func:`algebras.GradedCommutative 

<sage.algebras.commutative_dga.GradedCommutativeAlgebra>` 

- :class:`algebras.Group <sage.algebras.group_algebra.GroupAlgebra>` 

- :class:`algebras.GrossmanLarson <sage.combinat.grossman_larson_algebras.GrossmanLarsonAlgebra>` 

- :class:`algebras.Hall <sage.algebras.hall_algebra.HallAlgebra>` 

- :class:`algebras.Incidence <sage.combinat.posets.incidence_algebras.IncidenceAlgebra>` 

- :class:`algebras.IwahoriHecke 

<sage.algebras.iwahori_hecke_algebra.IwahoriHeckeAlgebra>` 

- :class:`algebras.Moebius <sage.combinat.posets.moebius_algebra.MoebiusAlgebra>` 

- :class:`algebras.Jordan 

<sage.algebras.jordan_algebra.JordanAlgebra>` 

- :class:`algebras.Lie <sage.algebras.lie_algebras.lie_algebra.LieAlgebra>` 

- :class:`algebras.MalvenutoReutenauer <sage.combinat.fqsym.FreeQuasisymmetricFunctions>` 

- :class:`algebras.NilCoxeter 

<sage.algebras.nil_coxeter_algebra.NilCoxeterAlgebra>` 

- :class:`algebras.OrlikSolomon 

<sage.algebras.orlik_solomon.OrlikSolomonAlgebra>` 

- :class:`algebras.QuantumMatrixCoordinate 

<sage.algebras.quantum_matrix_coordinate_algebra.QuantumMatrixCoordinateAlgebra>` 

- :class:`algebras.QuantumGL 

<sage.algebras.quantum_matrix_coordinate_algebra.QuantumGL>` 

- :class:`algebras.Partition <sage.combinat.diagram_algebras.PartitionAlgebra>` 

- :class:`algebras.PlanarPartition <sage.combinat.diagram_algebras.PlanarAlgebra>` 

- :func:`algebras.Quaternion 

<sage.algebras.quatalg.quaternion_algebra.QuaternionAlgebraFactory>` 

- :class:`algebras.RationalCherednik 

<sage.algebras.rational_cherednik_algebra.RationalCherednikAlgebra>` 

- :class:`algebras.Schur <sage.algebras.schur_algebra.SchurAlgebra>` 

- :class:`algebras.Shuffle <sage.algebras.shuffle_algebra.ShuffleAlgebra>` 

- :class:`algebras.Steenrod 

<sage.algebras.steenrod.steenrod_algebra.SteenrodAlgebra>` 

- :class:`algebras.TemperleyLieb <sage.combinat.diagram_algebras.TemperleyLiebAlgebra>` 

- :class:`algebras.Yangian <sage.algebras.yangian.Yangian>` 

- :class:`algebras.YokonumaHecke 

<sage.algebras.yokonuma_hecke_algebra.YokonumaHeckeAlgebra>` 

- :class:`algebras.Tensor <sage.algebras.tensor_algebra.TensorAlgebra>` 

""" 

 

from sage.algebras.free_algebra import FreeAlgebra as Free 

from sage.algebras.quatalg.quaternion_algebra import QuaternionAlgebra as Quaternion 

from sage.algebras.steenrod.steenrod_algebra import SteenrodAlgebra as Steenrod 

from sage.algebras.finite_dimensional_algebras.finite_dimensional_algebra import FiniteDimensionalAlgebra as FiniteDimensional 

from sage.algebras.group_algebra import GroupAlgebra as Group 

from sage.algebras.clifford_algebra import CliffordAlgebra as Clifford 

from sage.algebras.clifford_algebra import ExteriorAlgebra as Exterior 

from sage.algebras.weyl_algebra import DifferentialWeylAlgebra as DifferentialWeyl 

from sage.algebras.lie_algebras.lie_algebra import LieAlgebra as Lie 

 

from sage.misc.lazy_import import lazy_import 

lazy_import('sage.algebras.iwahori_hecke_algebra', 'IwahoriHeckeAlgebra', 'IwahoriHecke') 

lazy_import('sage.algebras.nil_coxeter_algebra', 'NilCoxeterAlgebra', 'NilCoxeter') 

lazy_import('sage.algebras.free_zinbiel_algebra', 'FreeZinbielAlgebra', 'FreeZinbiel') 

lazy_import('sage.algebras.hall_algebra', 'HallAlgebra', 'Hall') 

lazy_import('sage.algebras.jordan_algebra', 'JordanAlgebra', 'Jordan') 

lazy_import('sage.algebras.orlik_solomon', 'OrlikSolomonAlgebra', 'OrlikSolomon') 

lazy_import('sage.algebras.shuffle_algebra', 'ShuffleAlgebra', 'Shuffle') 

lazy_import('sage.algebras.schur_algebra', 'SchurAlgebra', 'Schur') 

lazy_import('sage.algebras.commutative_dga', 'GradedCommutativeAlgebra', 'GradedCommutative') 

lazy_import('sage.algebras.rational_cherednik_algebra', 'RationalCherednikAlgebra', 'RationalCherednik') 

lazy_import('sage.algebras.yokonuma_hecke_algebra', 'YokonumaHeckeAlgebra', 'YokonumaHecke') 

lazy_import('sage.combinat.posets.incidence_algebras', 'IncidenceAlgebra', 'Incidence') 

lazy_import('sage.combinat.descent_algebra', 'DescentAlgebra', 'Descent') 

lazy_import('sage.combinat.diagram_algebras', 'BrauerAlgebra', 'Brauer') 

lazy_import('sage.combinat.diagram_algebras', 'PartitionAlgebra', 'Partition') 

lazy_import('sage.combinat.diagram_algebras', 'PlanarAlgebra', 'PlanarPartition') 

lazy_import('sage.combinat.diagram_algebras', 'TemperleyLiebAlgebra', 'TemperleyLieb') 

lazy_import('sage.combinat.posets.moebius_algebra', 'MoebiusAlgebra', 'Moebius') 

lazy_import('sage.combinat.free_prelie_algebra', 'FreePreLieAlgebra', 'FreePreLie') 

lazy_import('sage.combinat.free_dendriform_algebra', 'FreeDendriformAlgebra', 'FreeDendriform') 

lazy_import('sage.combinat.fqsym', 'FreeQuasisymmetricFunctions', 'FQSym') 

lazy_import('sage.combinat.fqsym', 'FreeQuasisymmetricFunctions', 'MalvenutoReutenauer') 

lazy_import('sage.combinat.grossman_larson_algebras', 'GrossmanLarsonAlgebra', 'GrossmanLarson') 

lazy_import('sage.algebras.quantum_matrix_coordinate_algebra', 

'QuantumMatrixCoordinateAlgebra', 'QuantumMatrixCoordinate') 

lazy_import('sage.algebras.quantum_matrix_coordinate_algebra', 'QuantumGL') 

lazy_import('sage.algebras.tensor_algebra', 'TensorAlgebra', 'Tensor') 

lazy_import('sage.algebras.yangian', 'Yangian') 

del lazy_import # We remove the object from here so it doesn't appear under tab completion