Opened 6 years ago
Last modified 6 years ago
#15701 new enhancement
Alternative for Axioms and Categories
Reported by:  vbraun  Owned by:  

Priority:  major  Milestone:  sage6.4 
Component:  categories  Keywords:  
Cc:  ncohen, SimonKing  Merged in:  
Authors:  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  u/vbraun/axioms_and_categories (Commits)  Commit:  71ae17e34cc794a2be165bf315af55870ce6d41c 
Dependencies:  Stopgaps: 
Description
Change History (10)
comment:1 Changed 6 years ago by
 Branch set to u/vbraun/axioms_and_categories
comment:2 Changed 6 years ago by
 Cc ncohen added
 Commit set to 560bb05796fd8f7d597649145b7cffec92528654
comment:3 Changed 6 years ago by
 Cc SimonKing added
comment:4 Changed 6 years ago by
 Commit changed from 560bb05796fd8f7d597649145b7cffec92528654 to b86994d57c27d7a389ac02b383181f854b8b4d1f
Branch pushed to git repo; I updated commit sha1. New commits:
b86994d  Replace usage of axiomsasstrings with the Axiom instances

comment:5 Changed 6 years ago by
 Commit changed from b86994d57c27d7a389ac02b383181f854b8b4d1f to 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 6 years ago by
 Milestone changed from sage6.1 to sage6.2
comment:7 Changed 6 years ago by
 Commit changed from 7cc73235dcc0680e019a7f72aa5c2666c0a63f87 to c520eb0bddcf6543d037dad3c7f0b808ae29b160
Branch pushed to git repo; I updated commit sha1. New commits:
c520eb0  basic implementation of the CategoryMetaclass

comment:8 Changed 6 years ago by
 Commit changed from c520eb0bddcf6543d037dad3c7f0b808ae29b160 to 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 6 years ago by
 Milestone changed from sage6.2 to sage6.3
comment:10 Changed 6 years ago by
 Milestone changed from sage6.3 to sage6.4
Note: See
TracTickets for help on using
tickets.
(being curious)