Alternative for Axioms and Categories

[vbraun]

CC: @nathanncohen @simon-king-jena

Component: categories

Branch/Commit: u/vbraun/axioms_and_categories @ 71ae17e

Issue created by migration from https://trac.sagemath.org/ticket/15701

[vbraun]

Branch: u/vbraun/axioms_and_categories

[nathanncohen]

comment:2

(being curious)

[nathanncohen]

Commit: 560bb05

[sagetrac-git]

Changed commit from 560bb05 to b86994d

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

b86994d

Replace usage of axioms-as-strings with the Axiom instances

[sagetrac-git]

Changed commit from b86994d to 7cc7323

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

77936e4	Extended documentation on axioms, step I (primer + module-level documentation)
517bdac	Axiom primer: added label for cross references
42b8f24	Extended documentation on axioms, step 2 (implementing an existing axiom in a new category + TODO)
61768dd	Extended documentation on axioms: switching back gear; it's better after all to put the doc in the module than in CategoryWithAxiom class
89923e5	Extended documentation on axioms: recovering the class of a category with axiom to add new code
111719b	Extended documentation on axioms: step 3 (handling multiple axioms and tree structure of the classes)
c7ea9a1	Axioms: standardized _base_category_class_and_axiom to always be a tuple
be52d1c	Axioms: fixed typo in two doctests of the primer
770324b	Axioms: improved DivisionRings.Finite_extra_super_categories + documentation
cd21929	Extended documentation on axioms: step 3 (deduction rules)

[sagetrac-git]

Changed commit from 7cc7323 to c520eb0

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

c520eb0

basic implementation of the CategoryMetaclass