#15701: Alternative for Axioms and Categories
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.1
Component: categories | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/axioms_and_categories | 7cc73235dcc0680e019a7f72aa5c2666c0a63f87
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by git):
* commit: b86994d57c27d7a389ac02b383181f854b8b4d1f =>
7cc73235dcc0680e019a7f72aa5c2666c0a63f87
Comment:
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
||[http://git.sagemath.org/sage.git/commit/?id=77936e4907b8ca51dc09f8096c1f0e362be3ba99
77936e4]||{{{Extended documentation on axioms, step I (primer + module-
level documentation)}}}||
||[http://git.sagemath.org/sage.git/commit/?id=517bdac51b278b4ba6bf578d5503e46c00f6f5e6
517bdac]||{{{Axiom primer: added label for cross references}}}||
||[http://git.sagemath.org/sage.git/commit/?id=42b8f248818d2ec147c97eb8cb2e2378642bb3dc
42b8f24]||{{{Extended documentation on axioms, step 2 (implementing an
existing axiom in a new category + TODO)}}}||
||[http://git.sagemath.org/sage.git/commit/?id=61768ddbf8edd89592f989525efd7889bfc46fb9
61768dd]||{{{Extended documentation on axioms: switching back gear; it's
better after all to put the doc in the module than in CategoryWithAxiom
class}}}||
||[http://git.sagemath.org/sage.git/commit/?id=89923e5ee20ba3e1b9089556816535a5a70a5ed8
89923e5]||{{{Extended documentation on axioms: recovering the class of a
category with axiom to add new code}}}||
||[http://git.sagemath.org/sage.git/commit/?id=111719b0279889ecac2bde3e00cf3f030df02e41
111719b]||{{{Extended documentation on axioms: step 3 (handling multiple
axioms and tree structure of the classes)}}}||
||[http://git.sagemath.org/sage.git/commit/?id=c7ea9a1ee944e0be9817888a1a93b5d40df2cbf2
c7ea9a1]||{{{Axioms: standardized _base_category_class_and_axiom to always
be a tuple}}}||
||[http://git.sagemath.org/sage.git/commit/?id=be52d1cd5798b69a0929770b202c2a3f7c8eb03c
be52d1c]||{{{Axioms: fixed typo in two doctests of the primer}}}||
||[http://git.sagemath.org/sage.git/commit/?id=770324b2f91ac478edd0430504c4434e1469f954
770324b]||{{{Axioms: improved DivisionRings.Finite_extra_super_categories
+ documentation}}}||
||[http://git.sagemath.org/sage.git/commit/?id=cd21929e4eb86346facb211eb0d9bcda8c906d3a
cd21929]||{{{Extended documentation on axioms: step 3 (deduction
rules)}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/15701#comment:5>
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.
