search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.23k stars 429 forks source link

(Combinatorial) Free modules: cleanup, abstraction into categories, and functorial constructions #6136

Closed nthiery closed 14 years ago

nthiery commented 15 years ago

Depends on the category patches. See http://trac.sagemath.org/sage_trac/wiki/CategoriesRoadMap.

CC: @sagetrac-sage-combinat

Component: algebra

Keywords: free modules, tensor, direct sum

Author: Nicolas M. Thiéry

Reviewer: Florent Hivert

Merged: sage-4.3.alpha0

Issue created by migration from https://trac.sagemath.org/ticket/6136

nthiery commented 15 years ago

Description changed:

--- 
+++ 
@@ -1,2 +1 @@
-
-See: http://combinat.sagemath.org/patches/file/tip/categories-freemodule-nt.patch
+See: http://combinat.sagemath.org/patches/file/tip/categories-freemodule-6136-nt.patch
nthiery commented 14 years ago

Attachment: categories-freemodule-6136-nt.patch.gz

nthiery commented 14 years ago

Reviewer: Florent Hivert

nthiery commented 14 years ago

Author: Nicolas M. Thiéry

nthiery commented 14 years ago

Description changed:

--- 
+++ 
@@ -1 +1,18 @@
-See: http://combinat.sagemath.org/patches/file/tip/categories-freemodule-6136-nt.patch
+- Deprecates CombinatorialAlgebra
+- Abstracts some of the generic code into ModulesWithBasis, Algebras, ...
+- Implements the functorial constructions: tensor and cartesian product
+- Stronger type checking, use UniqueRepresentation
+- Disabled dangerous conversions (see doc of _element_constructor), strict `__contains__`
+- Naming cleanup: _term -> term, `__repr__` -> `_repr_`, _element_class -> element_class
+  _combinatorial_class -> _basis_keys
+- New methods: monomial, sum_of_terms, sum_of_monomials, term_or_zero_if_none, from_vector,
+  _repr_term, _repr_option_bracket
+- More interesting an_element, using heuristics
+- Handle non sortable objects in repr
+- Implements sage.categories.poor_man_map.PoorManMap for maps between
+  sets which are not modelled by parents.
+- This is used to make term and sum_of_monomial into maps, with
+  codomain and composition.
+
+Depends on the category patches.
+See http://sagetrac.org/sage_trac/wiki/CategoriesRoadMap.
nthiery commented 14 years ago

Attachment: trac_6136-categories-freemodule-nt.patch.gz

Adds TestSuite.run call, and implements equality for PoorManMap's. Apply only this one.

hivert commented 14 years ago

Last version of the file from combinat patch server.

hivert commented 14 years ago
comment:3

Attachment: trac_6136-categories-freemodule-nt.2.patch.gz

hivert commented 14 years ago
comment:4

Apply only the last patch trac_6136-categories-freemodule-nt.2.patch

Note: it breaks some doctests which are corrected in #6137 (See http://sagetrac.org/sage_trac/wiki/CategoriesRoadMap)

Ready to go.

Cheers,

Florent

hivert commented 14 years ago

Attachment: trac_6136-categories-freemodule-nt.3.patch.gz

Correct version

mwhansen commented 14 years ago

Merged: sage-4.3.alpha0

3e348175-8b6a-4a61-a4ea-d4ccdaa8fd86 commented 13 years ago

Description changed:

--- 
+++ 
@@ -15,4 +15,4 @@
   codomain and composition.

 Depends on the category patches.
-See http://sagetrac.org/sage_trac/wiki/CategoriesRoadMap.
+See http://trac.sagemath.org/sage_trac/wiki/CategoriesRoadMap.