#10963: Axioms and more functorial constructions -------------------------------------+------------------------------------- Reporter: nthiery | Owner: stumpc5 Type: enhancement | Status: needs_review 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: To be merged public/ticket/10963-doc- | simultaneously with #15801 distributive | Commit: Dependencies: #11224, #8327, | d2bc8b2d3523e3d5e295cd727286053ecc334534 #10193, #12895, #14516, #14722, | Stopgaps: #13589, #14471, #15069, #15094, | #11688, #13394, #15150, #15506, | #15757, #15759, #16244 | -------------------------------------+-------------------------------------
Comment (by nthiery): Replying to [comment:754 SimonKing]: > Replying to [comment:750 git]: > > Branch pushed to git repo; I updated commit sha1. Last 10 new commits: > > Is it really a good idea to add 10 long commits at this stage, that actually don't seem to be vital for the topic of this ticket? Yeah, if it was just for me, #14269 would have been implemented as a follow up to this ticket. But #14269 is positive review and almost certainly will be merged before this ticket. Since the two tickets are conflicting (syntactically and semantically), I had not choice than to merge #14269 here and do the resolution. Only the merge commit needs to be double checked; the others have been reviewed as part of #14269. Cheers, Nicolas -- Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:755> 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 sage-trac+unsubscr...@googlegroups.com. To post to this group, send email to sage-trac@googlegroups.com. Visit this group at http://groups.google.com/group/sage-trac. For more options, visit https://groups.google.com/d/optout.