#15375: Extended Affine Weyl Groups SD40
-------------------------------------+-------------------------------------
Reporter: bump | Owner: bump
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.8
Component: combinatorics | Resolution:
Keywords: days54, coxeter, | Merged in:
days64, days65 | Reviewers: Dan Bump, Anne
Authors: Daniel Bump, Dan | Schilling
Orr, Anne Schilling, Mark | Work issues:
Shimozono, Nicolas Thiery. | Commit:
Report Upstream: N/A | ee155e445baa2c406162df421ad8ad9b10d4292d
Branch: public/15375 | Stopgaps:
Dependencies: #10963, #14102 |
-------------------------------------+-------------------------------------
Comment (by jhpalmieri):
By default, a `.. MATH::` block is automatically enclosed in a math
environment, so you shouldn't use an environment like `align*` there: it
gets turned into something like
{{{
\begin{gather}
\begin{align*}
...
\end{align*}
\end{gather}
}}}
which is not valid LaTeX. To avoid the default, you can add `:nowrap:` at
the beginning of the math block, or you can use an environment like
`aligned` instead. This will fix it, but I would instead choose only one
of these two approaches (instead of switching between them, as I've done
here):
{{{
#!diff
diff --git a/src/sage/combinat/root_system/extended_affine_weyl_group.py
b/src/sage/combinat/root_system/extended_affine_weyl_group.py
index 7d35cac..56d9e6d 100644
--- a/src/sage/combinat/root_system/extended_affine_weyl_group.py
+++ b/src/sage/combinat/root_system/extended_affine_weyl_group.py
@@ -155,6 +155,7 @@ def ExtendedAffineWeylGroup(cartan_type,
general_linear=None, **print_options):
There are isomorphisms
.. MATH::
+ :nowrap:
\begin{align*}
W &\cong M \rtimes W_0 \cong W_0 \ltimes M \\
diff --git a/src/sage/groups/group_semidirect_product.py
b/src/sage/groups/group_semidirect_product.py
index 627056f..63b8769 100644
--- a/src/sage/groups/group_semidirect_product.py
+++ b/src/sage/groups/group_semidirect_product.py
@@ -152,11 +152,11 @@ class GroupSemidirectProduct(CartesianProduct):
.. MATH::
- \begin{align*}
+ \begin{aligned}
(g_1,h_1)(g_2,h_2) &= g_1 h_1 g_2 h_2 \\
&= g_1 g_2 g_2^{-1} h_1 g_2 h_2 \\
&= (g_1g_2, twist(g_2^{-1}, h_1) h_2)
- \end{align*}
+ \end{aligned}
If ``act_to_right`` is False, the group `G \rtimes H` is specified by
a homomorphism `\psi\in \mathrm{Hom}(H,\mathrm{Aut}(G))`
such that
@@ -175,11 +175,11 @@ class GroupSemidirectProduct(CartesianProduct):
.. MATH::
- \begin{align*}
+ \begin{aligned}
(g_1,h_1)(g_2,h_2) &= g_1 h_1 g_2 h_2 \\
&= g_1 h_1 g_2 h_1^{-1} h_1 h_2 \\
&= (g_1 twist(h_1,g_2), h_1 h_2)
- \end{align*}
+ \end{aligned}
If ``prefix0`` (resp. ``prefixl``) is not None then it is used as a
wrapper for
printing elements of ``G`` (resp. ``H``). If ``print_tuple`` is True
then elements are printed
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15375#comment:128>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
