#15801: Categories over a base ring category
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.3
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Travis Scrimshaw
Report Upstream: N/A | Work issues: doc-pdf
Branch: | Commit:
public/categories/over-a-base- | dcb11d850530d23e1d8867daa84ade0e04d7ce15
ring-category-15801 | Stopgaps:
Dependencies: #10963, #16275 |
-------------------------------------+-------------------------------------
Changes (by git):
* commit: 281f5392e81e98d835ddf249325e66c1c36a08cc =>
dcb11d850530d23e1d8867daa84ade0e04d7ce15
Comment:
Branch pushed to git repo; I updated commit sha1. New commits:
||[http://git.sagemath.org/sage.git/commit/?id=96c631f536a20733a80e74fba45fecd5d98f6fd5
96c631f]||{{{Merge branch 'develop' into categories/axioms-10963}}}||
||[http://git.sagemath.org/sage.git/commit/?id=b1a2aede666273d01405811aad2c6338a06c0330
b1a2aed]||{{{Trac 10963: two typo fixes to let the pdf documentation
compile}}}||
||[http://git.sagemath.org/sage.git/commit/?id=c16f18b56c2b5470088bbcf110ddbb15be6caf0c
c16f18b]||{{{Merge branch 'public/ticket/10963-doc-distributive' of
trac.sagemath.org:sage into categories/axioms-10963}}}||
||[http://git.sagemath.org/sage.git/commit/?id=dcb11d850530d23e1d8867daa84ade0e04d7ce15
dcb11d8]||{{{Merge branch 'categories/axioms-10963' into
categories/over_a_base_category-15801}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/15801#comment:56>
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.
