#15701: Alternative for Axioms and Categories
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.2
Component: categories | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/axioms_and_categories | 71ae17e34cc794a2be165bf315af55870ce6d41c
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by git):
* commit: c520eb0bddcf6543d037dad3c7f0b808ae29b160 =>
71ae17e34cc794a2be165bf315af55870ce6d41c
Comment:
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
||[http://git.sagemath.org/sage.git/commit/?id=ba55cf8842144b888a996ed096883504321f7838
ba55cf8]||{{{split off metaclass and category_axiom_model into separate
files}}}||
||[http://git.sagemath.org/sage.git/commit/?id=4c0c9a41836a4b7ef69e14d983e8c8e28db42954
4c0c9a4]||{{{Specify that the CartesianProduct functor is about finite
cartesian products}}}||
||[http://git.sagemath.org/sage.git/commit/?id=e19385eb5e91db423f801d2af83fc71ee76fab3c
e19385e]||{{{Axioms: various improvements + complete description of the
algorithms for computing joins and adding axioms}}}||
||[http://git.sagemath.org/sage.git/commit/?id=b957acf4309b29449333540ea59a031e02cfb583
b957acf]||{{{Axioms: finished draft of documentation, implementation of
`Distributive`, ...}}}||
||[http://git.sagemath.org/sage.git/commit/?id=40369681634f672838a9f6ba8523c8c983219260
4036968]||{{{Fixed ReST typos}}}||
||[http://git.sagemath.org/sage.git/commit/?id=e5c68aadce9e4efa50854c069cd985c36d892b30
e5c68aa]||{{{Merged with develop (trivial manual merge with #15380)}}}||
||[http://git.sagemath.org/sage.git/commit/?id=d86c4dc52f847ac12aff6a017df82f9473c27ccd
d86c4dc]||{{{Merge branch 'ticket/15757-superseded-is_Integer' into
ticket/10963}}}||
||[http://git.sagemath.org/sage.git/commit/?id=6b18661787e2d518fca76d0a22c4eb5a6ab49a08
6b18661]||{{{Implementation of 15759}}}||
||[http://git.sagemath.org/sage.git/commit/?id=251da76284f87aaca63c88de1319ff2b29148c3f
251da76]||{{{Merge branch 'ticket/15759' into ticket/10963}}}||
||[http://git.sagemath.org/sage.git/commit/?id=98a4407b8b66de7f63920de28376e46bb927517b
98a4407]||{{{rename summand_* methods of Cartesian products}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/15701#comment:8>
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.
