Opened 9 years ago
Last modified 8 years ago
#15701 new enhancement
Alternative for Axioms and Categories
Reported by:  Volker Braun  Owned by:  

Priority:  major  Milestone:  sage6.4 
Component:  categories  Keywords:  
Cc:  Nathann Cohen, Simon King  Merged in:  
Authors:  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  u/vbraun/axioms_and_categories (Commits, GitHub, GitLab)  Commit:  71ae17e34cc794a2be165bf315af55870ce6d41c 
Dependencies:  Stopgaps: 
Description
Change History (10)
comment:1 Changed 9 years ago by
Branch:  → u/vbraun/axioms_and_categories 

comment:2 Changed 9 years ago by
Cc:  Nathann Cohen added 

Commit:  → 560bb05796fd8f7d597649145b7cffec92528654 
Version 0, edited 9 years ago
by
(next)
comment:3 Changed 9 years ago by
Cc:  Simon King added 

comment:4 Changed 9 years ago by
Commit:  560bb05796fd8f7d597649145b7cffec92528654 → b86994d57c27d7a389ac02b383181f854b8b4d1f 

Branch pushed to git repo; I updated commit sha1. New commits:
b86994d  Replace usage of axiomsasstrings with the Axiom instances

comment:5 Changed 9 years ago by
Commit:  b86994d57c27d7a389ac02b383181f854b8b4d1f → 7cc73235dcc0680e019a7f72aa5c2666c0a63f87 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
77936e4  Extended documentation on axioms, step I (primer + modulelevel 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)

comment:6 Changed 9 years ago by
Milestone:  sage6.1 → sage6.2 

comment:7 Changed 9 years ago by
Commit:  7cc73235dcc0680e019a7f72aa5c2666c0a63f87 → c520eb0bddcf6543d037dad3c7f0b808ae29b160 

Branch pushed to git repo; I updated commit sha1. New commits:
c520eb0  basic implementation of the CategoryMetaclass

comment:8 Changed 9 years ago by
Commit:  c520eb0bddcf6543d037dad3c7f0b808ae29b160 → 71ae17e34cc794a2be165bf315af55870ce6d41c 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
ba55cf8  split off metaclass and category_axiom_model into separate files

4c0c9a4  Specify that the CartesianProduct functor is about finite cartesian products

e19385e  Axioms: various improvements + complete description of the algorithms for computing joins and adding axioms

b957acf  Axioms: finished draft of documentation, implementation of `Distributive`, ...

4036968  Fixed ReST typos

e5c68aa  Merged with develop (trivial manual merge with #15380)

d86c4dc  Merge branch 'ticket/15757supersededis_Integer' into ticket/10963

6b18661  Implementation of 15759

251da76  Merge branch 'ticket/15759' into ticket/10963

98a4407  rename summand_* methods of Cartesian products

comment:9 Changed 8 years ago by
Milestone:  sage6.2 → sage6.3 

comment:10 Changed 8 years ago by
Milestone:  sage6.3 → sage6.4 

Note: See
TracTickets for help on using
tickets.
(being curious)
Last 10 new commits:
Merge branch 'public/ticket/10963' of trac.sagemath.org:sage into testing_10963
Merge branch 'public/ticket/10963' of trac.sagemath.org:sage into public/ticket/10963
Merge branch 'develop' into public/ticket/10963
Merge branch 'public/ticket/10963' of ssh://trac.sagemath.org:2222/sage into ticket/10963
Fixed failing doctest in integer_mod_ring.py from (my bad) merging.
Improved the guessing logic for categories with axioms + typo fixes
Categories with axioms: improved names for the protocol to recover how _base_category_class_and_axiom was set.
Fixed typo and improved documentation for Magmas.Unital.Inverse
Category with axioms: workaround limitation in lazy import to avoid lazy reimporting over and over
Trac 10963: Fix LazyImport as_name, and make stronger consistency tests