Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve the documentation of the implementation of axioms. #15643

Open
nthiery opened this issue Jan 7, 2014 · 3 comments
Open

Improve the documentation of the implementation of axioms. #15643

nthiery opened this issue Jan 7, 2014 · 3 comments
Labels
c: categories p: major / 3 t: enhancement

Comments

@nthiery
Copy link
Contributor

nthiery commented Jan 7, 2014

Current documentation: http://sage.math.washington.edu/home/nthiery/sage-6.0/src/doc/output/html/en/reference/categories/sage/categories/category_with_axiom.html

CC: @darijgr @simon-king-jena

Component: categories

Issue created by migration from https://trac.sagemath.org/ticket/15643
@nthiery nthiery added this to the sage-6.1 milestone Jan 7, 2014
@nathanncohen
Copy link
Mannequin

nathanncohen mannequin commented Jan 7, 2014

comment:1

(looks fun)

@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.1, sage-6.2 Jan 30, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.2, sage-6.3 May 6, 2014
@nthiery
Copy link
Contributor Author

nthiery commented May 7, 2014

comment:4

Darij: if you have opinions on what should be done in the long run to improve the documentation of axioms, please throw them here!

@nthiery

This comment has been minimized.

Sign in to view
@nthiery nthiery changed the title Document the implementation of axioms. Improve the documentation of the implementation of axioms. May 7, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.3, sage-6.4 Aug 10, 2014
@mkoeppe mkoeppe removed this from the sage-6.4 milestone Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: categories p: major / 3 t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nthiery @mkoeppe