From 9e09c2f9acb727a59dc4955ceb2864c2308f6b26 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Mon, 5 Sep 2022 14:59:39 -0700 Subject: [PATCH] src/sage/categories/pushout.py: Remove unfinished example --- src/sage/categories/pushout.py | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/src/sage/categories/pushout.py b/src/sage/categories/pushout.py index 1215c3417cf..c090df3b4f5 100644 --- a/src/sage/categories/pushout.py +++ b/src/sage/categories/pushout.py @@ -3703,18 +3703,7 @@ class EquivariantSubobjectConstructionFunctor(ConstructionFunctor): When ``other_action`` is trivial, `X^S` is called the `S`-invariant subobject. - EXAMPLES:: - - sage: G = SymmetricGroup(3); G.rename('S3') - sage: M = FreeModule(ZZ, [1,2,3], prefix='M'); M.rename('M') - sage: action = lambda g, x: M.term(g(x)) - sage: I = M.invariant_module(G, action_on_basis=action); I - (S3)-invariant submodule of M - sage: from sage.categories.pushout import pushout - sage: pushout(I, QQ) - Traceback (most recent call last): - ... - sage.structure.coerce_exceptions.CoercionException: No common base ("join") found for EquivariantSubobjectConstructionFunctor(Representation of S3 indexed by {1, 2, 3} over Integer Ring) and FractionField(Integer Ring). + EXAMPLES: Monoterm symmetries of a tensor, here only for matrices: row (index 0), column (index 1); the order of the extra element 2 in a permutation determines