#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.13
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues:
Dependencies: #11224, #8327, | Commit:
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Thanks Darij for spotting this. I uploaded a new version of the patch that
fixes those and a couple others. Here is the patch diff:
{{{
@@ -2099,8 +2102,7 @@ diff --git a/sage/categories/bialgebras_
-class BialgebrasWithBasis(Category_over_base_ring):
+def BialgebrasWithBasis(base_ring):
"""
-- The category of bialgebras with a distinguished basis
-+ The category of finite dimensional coalgebras with a distinguished
basis
+ The category of bialgebras with a distinguished basis
EXAMPLES::
@@ -7273,8 +7275,7 @@ diff --git a/sage/categories/finite_dime
-class FiniteDimensionalBialgebrasWithBasis(Category_over_base_ring):
+def FiniteDimensionalBialgebrasWithBasis(base_ring):
"""
-- The category of finite dimensional bialgebras with a distinguished
basis
-+ The category of finite dimensional coalgebras with a distinguished
basis
+ The category of finite dimensional bialgebras with a distinguished
basis
EXAMPLES::
@@ -8366,7 +8367,7 @@ diff --git a/sage/categories/graded_bial
+def GradedBialgebras(base_ring):
"""
- The category of bialgebras with several bases
-+ The category of finite dimensional coalgebras with a distinguished
basis
++ The category of graded bialgebras
EXAMPLES::
...skipping...
+ The category of graded coalgebras
EXAMPLES::
@@ -8608,7 +8607,7 @@ diff --git a/sage/categories/graded_hopf
+def GradedHopfAlgebras(base_ring):
"""
- The category of GradedHopf algebras with several bases
-+ The category of graded coalgebras with a distinguished basis
++ The category of graded Hopf algebras
EXAMPLES::
@@ -15116,7 +15115,7 @@ diff --git a/sage/categories/with_realiz
diff --git a/sage/combinat/all.py b/sage/combinat/all.py
--- a/sage/combinat/all.py
+++ b/sage/combinat/all.py
-@@ -135,6 +135,8 @@ from cluster_algebra_quiver.all import *
+@@ -133,6 +133,8 @@ from cluster_algebra_quiver.all import *
#import lrcalc
@@ -15205,15 +15204,15 @@ diff --git a/sage/combinat/free_module.p
diff --git a/sage/combinat/integer_vector_weighted.py
b/sage/combinat/integer_vector_weighted.py
--- a/sage/combinat/integer_vector_weighted.py
+++ b/sage/combinat/integer_vector_weighted.py
-@@ -261,7 +261,7 @@ class WeightedIntegerVectors_all(Disjoin
-
- sage: C = WeightedIntegerVectors([2,1,3])
+@@ -120,7 +120,7 @@ class WeightedIntegerVectors_all(Disjoin
+ sage: C.__class__
+ <class
'sage.combinat.integer_vector_weighted.WeightedIntegerVectors_all_with_category'>
sage: C.category()
- Join of Category of infinite enumerated sets and Category of
sets with grading
+ Join of Category of sets with grading and Category of
infinite enumerated sets
sage: TestSuite(C).run()
"""
- self._weights = weight
+ self._weights = weights
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:133>
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/groups/opt_out.
