#10963: Axioms and more functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.2
Component: categories | Resolution:
Keywords: days54 | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues: merge with #15801
public/ticket/10963-doc- | once things stabilize
distributive | Commit:
Dependencies: #11224, #8327, | 18a4a74779e45d5ac8662affc40d46b773e3c495
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506, |
#15757, #15759, #15919 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Hi Simon!
Replying to [comment:638 SimonKing]:
> on sage-devel, you wrote that you could make a list of commits that need
a technical review for this ticket to be finished. Can you post this list,
please?
The following list should be correct (I took the log between develop
and my branch, and removed commits about documentation or merges)::
{{{
4580db1 Trac 10963: fixed trivial doctest failures
367d72e Trac 10963: fixed trivial doctest failure
7db4ef0 Trac 10963: Fixed repr for the symmetric group algebra by
improving a bit the generic repr methods in the categories
e1110da Trac 10963: added little note in Category._super_categories
d6a0e60 Axioms: Fixed some unused imports in categories
4cd76af repeat some #8389 edits to make a cleaner merge with 6.2.beta4
ece5c97 Axioms: fixed merge with #15873
acd58b3 Fix failing tests due to little conflict when merging with #12141
(finite dimensional algebra)
977a940 Axioms: minor improvements here and there, and reworked
explanations about the binding behavior of categories with axioms
b957acf Axioms: finished draft of documentation, implementation of
`Distributive`, ...
e19385e Axioms: various improvements + complete description of the
algorithms for computing joins and adding axioms
4c0c9a4 Specify that the CartesianProduct functor is about finite
cartesian products
08d863b Axioms: partial documentation of the join algorithm + small
simplification of its implementation
770324b Axioms: improved DivisionRings.Finite_extra_super_categories +
documentation
be52d1c Axioms: fixed typo in two doctests of the primer
c7ea9a1 Axioms: standardized _base_category_class_and_axiom to always be a
tuple
48dc0c06 Category with axioms: workaround limitation in lazy import to
avoid lazy reimporting over and over
478de48 Categories with axioms: improved names for the protocol to recover
how _base_category_class_and_axiom was set.
32b3c4e Improved the guessing logic for categories with axioms + typo
fixes
ec34036 Fixed failing doctest in integer_mod_ring.py from (my bad)
merging.
100e66f Trac 10963: Provide doctests for the changed behaviour of a lazy
class attribute
bdefe0d trac 10963: Avoid access to a lazy class attribute while it is
being computed
8eaf51a Trac 10963: Avoid infinite recursion in cached function
0c907cf Reverted cached_function to weak_cached_function.
588c276 Fixed ncsym/bases.py doctest.
a410d05 typos and unused imports
b21dde5 duplication introduced in my own merge removed
}}}
In practice, it might be easier to make a diff w.r.t. what you had
reviewed last fall (typically 80d55fe+develop), and ignore the
documentation pieces (which should be the largest piece).
Let me know if you need more details!
I still have to check Darij's and Peter's latest commits.
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:641>
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.
