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: sage-6.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 vbraun

  • Branch set to u/vbraun/axioms_and_categories

comment:2 Changed 6 years ago by ncohen

  • Cc ncohen added
  • Commit set to 560bb05796fd8f7d597649145b7cffec92528654

(being curious)

Last edited 6 years ago by ncohen (previous) (diff)

comment:3 Changed 6 years ago by SimonKing

  • Cc SimonKing added

comment:4 Changed 6 years ago by git

  • Commit changed from 560bb05796fd8f7d597649145b7cffec92528654 to b86994d57c27d7a389ac02b383181f854b8b4d1f

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

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

comment:5 Changed 6 years ago by git

  • Commit changed from b86994d57c27d7a389ac02b383181f854b8b4d1f to 7cc73235dcc0680e019a7f72aa5c2666c0a63f87

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

77936e4Extended documentation on axioms, step I (primer + module-level documentation)
517bdacAxiom primer: added label for cross references
42b8f24Extended documentation on axioms, step 2 (implementing an existing axiom in a new category + TODO)
61768ddExtended documentation on axioms: switching back gear; it's better after all to put the doc in the module than in CategoryWithAxiom class
89923e5Extended documentation on axioms: recovering the class of a category with axiom to add new code
111719bExtended documentation on axioms: step 3 (handling multiple axioms and tree structure of the classes)
c7ea9a1Axioms: standardized _base_category_class_and_axiom to always be a tuple
be52d1cAxioms: fixed typo in two doctests of the primer
770324bAxioms: improved DivisionRings.Finite_extra_super_categories + documentation
cd21929Extended documentation on axioms: step 3 (deduction rules)

comment:6 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:7 Changed 6 years ago by git

  • Commit changed from 7cc73235dcc0680e019a7f72aa5c2666c0a63f87 to c520eb0bddcf6543d037dad3c7f0b808ae29b160

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

c520eb0basic implementation of the CategoryMetaclass

comment:8 Changed 6 years ago by git

  • Commit changed from c520eb0bddcf6543d037dad3c7f0b808ae29b160 to 71ae17e34cc794a2be165bf315af55870ce6d41c

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

ba55cf8split off metaclass and category_axiom_model into separate files
4c0c9a4Specify that the CartesianProduct functor is about finite cartesian products
e19385eAxioms: various improvements + complete description of the algorithms for computing joins and adding axioms
b957acfAxioms: finished draft of documentation, implementation of `Distributive`, ...
4036968Fixed ReST typos
e5c68aaMerged with develop (trivial manual merge with #15380)
d86c4dcMerge branch 'ticket/15757-superseded-is_Integer' into ticket/10963
6b18661Implementation of 15759
251da76Merge branch 'ticket/15759' into ticket/10963
98a4407rename summand_* methods of Cartesian products

comment:9 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:10 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.