Skip to content

sage.categories: Update # needs #35945

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 43 commits into from
Aug 27, 2023
Merged

sage.categories: Update # needs #35945

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
af1e8a4
sage.categories: More # optional
mkoeppe Jun 15, 2023
6c6d836
sage.categories: More # optional
mkoeppe Jun 16, 2023
f2795fb
src/sage/categories/fields.py: Fix up doctests
mkoeppe Jun 17, 2023
f28fda4
More # optional
mkoeppe Jun 17, 2023
405579b
More # optional
mkoeppe Jun 19, 2023
c3ba8e1
sage.categories: ./sage -fixdoctests --long --distribution 'sagemath-…
mkoeppe Jun 28, 2023
ce896b5
./sage -fixdoctests --long --distribution 'sagemath-categories' --onl…
mkoeppe Jun 30, 2023
37a4024
./sage -fixdoctests --long --distribution 'sagemath-categories' --onl…
mkoeppe Jun 30, 2023
0ae11f4
src/sage/categories/highest_weight_crystals.py: Fix file-level annota…
mkoeppe Jun 30, 2023
68d9c22
./sage -fixdoctests --long --distribution 'sagemath-categories' --o…
mkoeppe Jun 30, 2023
1331bd0
Update # optional / # needs
mkoeppe Jul 1, 2023
7cd5571
sage.categories: Update # optional / # needs
mkoeppe Jul 2, 2023
bbf8120
Update # optional / # needs
mkoeppe Jul 3, 2023
3972bb0
src/sage/rings/polynomial/polynomial_ring.py: Use '# needs sage.libs.…
mkoeppe Jul 8, 2023
093e46f
./sage -fixdoctests --distribution 'sagemath-combinat' --probe all --…
mkoeppe Jul 12, 2023
e9727d2
sage.categories: Update from #35095
mkoeppe Jul 12, 2023
625a8ea
sage.categories: Fix up # needs
mkoeppe Jul 12, 2023
1da62b5
sage.categories: Fix up # needs
mkoeppe Jul 13, 2023
caaf7a4
sage.categories: Update # needs
mkoeppe Jul 14, 2023
69085ec
./sage -fixdoctests --distribution sagemath-modules --only-tags --pro…
mkoeppe Jul 14, 2023
3a841e7
sage.categories: Update # needs
mkoeppe Jul 16, 2023
a507a19
sage.categories: Update # needs
mkoeppe Jul 16, 2023
7b0b049
sage.categories: Update # needs
mkoeppe Jul 17, 2023
3f9612c
Update # needs
mkoeppe Jul 30, 2023
518a5df
sage.categories: Update # needs
mkoeppe Aug 7, 2023
3de250d
src/sage/categories: sage -fixdoctests --only-tags
mkoeppe Aug 8, 2023
c708e2c
src/sage/categories/category_with_axiom.py: Undo unintended change
mkoeppe Aug 9, 2023
d12e071
sage.categories: Use more block tags
mkoeppe Aug 9, 2023
a9a389e
sage.categories: Fix # needs
mkoeppe Aug 9, 2023
8e8c994
src/sage/categories/algebras.py: Use more block tags
mkoeppe Aug 16, 2023
954c316
src/sage/categories/category_types.py: Use more block tags
mkoeppe Aug 16, 2023
72b7217
src/sage/categories/homset.py: Use more block tags
mkoeppe Aug 16, 2023
74cb689
src/sage/categories/examples/filtered_algebras_with_basis.py: Remove …
mkoeppe Aug 16, 2023
1eff40e
sage.categories: Doctest cosmetics
mkoeppe Aug 16, 2023
ac03f2a
sage.categories: More block tags, doctest cosmetics
mkoeppe Aug 16, 2023
63de427
src/sage/categories/finite_monoids.py: Remove some outdated # needs s…
mkoeppe Aug 16, 2023
b2c84dd
sage -fixdoctests --only-tags --distribution 'sagemath_graphs[modules…
mkoeppe Aug 13, 2023
46a296f
src/sage/categories/filtered_algebras_with_basis.py: More block tags,…
mkoeppe Aug 17, 2023
cb7db9b
src/sage/categories/finite_dimensional_lie_algebras_with_basis.py: Us…
mkoeppe Aug 17, 2023
8b8164d
src/sage/categories/modules_with_basis.py: Use more block tags, fix s…
mkoeppe Aug 17, 2023
be7f6da
src/sage/categories/coxeter_groups.py: Use more block tags, fix some …
mkoeppe Aug 17, 2023
d6981e4
src/sage/categories/category_types.py: More block tags
mkoeppe Aug 17, 2023
f29be5a
src/sage/categories/coxeter_groups.py: Another block tag
mkoeppe Aug 17, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
67 changes: 36 additions & 31 deletions src/sage/categories/action.pyx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -333,28 +333,30 @@ cdef class InverseAction(Action):

EXAMPLES::

sage: V = QQ^3 # optional - sage.modules
sage: v = V((1, 2, 3)) # optional - sage.modules
sage: V = QQ^3 # needs sage.modules
sage: v = V((1, 2, 3)) # needs sage.modules
sage: cm = get_coercion_model()

sage: a = cm.get_action(V, QQ, operator.mul) # optional - sage.modules
sage: a # optional - sage.modules
sage: # needs sage.modules
sage: a = cm.get_action(V, QQ, operator.mul)
sage: a
Right scalar multiplication by Rational Field
on Vector space of dimension 3 over Rational Field
sage: ~a # optional - sage.modules
sage: ~a
Right inverse action by Rational Field
on Vector space of dimension 3 over Rational Field
sage: (~a)(v, 1/3) # optional - sage.modules
sage: (~a)(v, 1/3)
(3, 6, 9)

sage: b = cm.get_action(QQ, V, operator.mul) # optional - sage.modules
sage: b # optional - sage.modules
sage: # needs sage.modules
sage: b = cm.get_action(QQ, V, operator.mul)
sage: b
Left scalar multiplication by Rational Field
on Vector space of dimension 3 over Rational Field
sage: ~b # optional - sage.modules
sage: ~b
Left inverse action by Rational Field
on Vector space of dimension 3 over Rational Field
sage: (~b)(1/3, v) # optional - sage.modules
sage: (~b)(1/3, v)
(3, 6, 9)

sage: c = cm.get_action(ZZ, list, operator.mul)
Expand Down Expand Up @@ -398,11 +400,12 @@ cdef class InverseAction(Action):

Check that this action can be pickled (:trac:`29031`)::

sage: V = QQ^3 # optional - sage.modules
sage: v = V((1, 2, 3)) # optional - sage.modules
sage: cm = get_coercion_model() # optional - sage.modules
sage: a = cm.get_action(V, QQ, operator.mul) # optional - sage.modules
sage: loads(dumps(~a)) is not None # optional - sage.modules
sage: # needs sage.modules
sage: V = QQ^3
sage: v = V((1, 2, 3))
sage: cm = get_coercion_model()
sage: a = cm.get_action(V, QQ, operator.mul)
sage: loads(dumps(~a)) is not None
True
"""
return (type(self), (self._action,))
Expand Down Expand Up @@ -432,16 +435,17 @@ cdef class PrecomposedAction(Action):
We demonstrate that an example discussed on :trac:`14711` did not become a
problem::

sage: E = ModularSymbols(11).2 # optional - sage.modular
sage: s = E.modular_symbol_rep() # optional - sage.modular
sage: del E,s # optional - sage.modular
sage: import gc # optional - sage.modular
sage: _ = gc.collect() # optional - sage.modular
sage: E = ModularSymbols(11).2 # optional - sage.modular
sage: v = E.manin_symbol_rep() # optional - sage.modular
sage: c,x = v[0] # optional - sage.modular
sage: y = x.modular_symbol_rep() # optional - sage.modular
sage: coercion_model.get_action(QQ, parent(y), op=operator.mul) # optional - sage.modular
sage: # needs sage.modular
sage: E = ModularSymbols(11).2
sage: s = E.modular_symbol_rep()
sage: del E,s
sage: import gc
sage: _ = gc.collect()
sage: E = ModularSymbols(11).2
sage: v = E.manin_symbol_rep()
sage: c,x = v[0]
sage: y = x.modular_symbol_rep()
sage: coercion_model.get_action(QQ, parent(y), op=operator.mul)
Left scalar multiplication by Rational Field
on Abelian Group of all Formal Finite Sums over Rational Field
with precomposition on right by Coercion map:
Expand Down Expand Up @@ -483,12 +487,13 @@ cdef class PrecomposedAction(Action):

Check that this action can be pickled (:trac:`29031`)::

sage: E = ModularSymbols(11).2 # optional - sage.modular
sage: v = E.manin_symbol_rep() # optional - sage.modular
sage: c,x = v[0] # optional - sage.modular
sage: y = x.modular_symbol_rep() # optional - sage.modular
sage: act = coercion_model.get_action(QQ, parent(y), op=operator.mul) # optional - sage.modular
sage: loads(dumps(act)) is not None # optional - sage.modular
sage: # needs sage.modular
sage: E = ModularSymbols(11).2
sage: v = E.manin_symbol_rep()
sage: c,x = v[0]
sage: y = x.modular_symbol_rep()
sage: act = coercion_model.get_action(QQ, parent(y), op=operator.mul)
sage: loads(dumps(act)) is not None
True
"""
return (type(self), (self._action, self.G_precomposition, self.S_precomposition))
Expand Down
Loading