Merge branch 'u/soehms/cubic_braid_group_27302' of git://trac.sagemat…

…h.org/sage into cubic_braid_group_27302
sagemath · Mar 9, 2019 · b29a9fc · b29a9fc
2 parents ea70462 + 756a7bb
commit b29a9fc
Show file tree

Hide file tree

Showing 4 changed files with 1,877 additions and 0 deletions.
diff --git a/src/doc/en/reference/groups/index.rst b/src/doc/en/reference/groups/index.rst
@@ -17,6 +17,7 @@ Groups
    sage/groups/finitely_presented
    sage/groups/finitely_presented_named
    sage/groups/braid
+   sage/groups/cubic_braid
    sage/groups/indexed_free_group
    sage/groups/raag
    sage/groups/group_exp

diff --git a/src/doc/en/reference/references/index.rst b/src/doc/en/reference/references/index.rst
@@ -160,6 +160,9 @@ REFERENCES:
                multipartitions*. Osaka J. Math. **38** (2001), 827–837.
                :mathscinet:`MR1864465`
 
+.. [Ass1978] \J. Assion: *Einige endliche Faktorgruppen der Zopfgruppen*, Math. Z., 163
+             (1978), 291-302.
+
 .. [AS-Bessel] \F. W. J. Olver: 9. Bessel Functions of Integer Order,
                in Abramowitz and Stegun: Handbook of Mathematical
                Functions. http://people.math.sfu.ca/~cbm/aands/page_355.htm
@@ -890,6 +893,9 @@ REFERENCES:
 .. [Con2015] Keith Conrad: *Tensor products*,
              `http://www.math.uconn.edu/~kconrad/blurbs/ <http://www.math.uconn.edu/~kconrad/blurbs/>`_
 
+.. [Cox1957] \H. S. M. Coxeter: *Factor groups of the braid groups*, Proceedings of the Fourth Candian
+             Mathematical Congress (Vancover 1957), pp. 95-122.
+
 .. [CP2001] John Crisp and Luis Paris. *The solution to a conjecture
             of Tits on the subgroup generated by the squares of the
             generators of an Artin group*. Invent. Math. **145**

diff --git a/src/sage/groups/all.py b/src/sage/groups/all.py
@@ -27,6 +27,9 @@
 
 lazy_import('sage.groups.free_group', 'FreeGroup')
 lazy_import('sage.groups.braid', 'BraidGroup')
+lazy_import('sage.groups.cubic_braid', 'CubicBraidGroup')
+lazy_import('sage.groups.cubic_braid', 'AssionGroupU')
+lazy_import('sage.groups.cubic_braid', 'AssionGroupS')
 
 lazy_import('sage.groups.affine_gps.affine_group', 'AffineGroup')
 lazy_import('sage.groups.affine_gps.euclidean_group', 'EuclideanGroup')