#16340: Model full subcategories
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.3
Component: categories | Resolution:
Keywords: full | Merged in:
subcategories, homset | Reviewers:
Authors: Nicolas M. Thiéry | Work issues:
Report Upstream: N/A | Commit:
Branch: | 2f2d09bec3a2e77021670d996abe2dd399fc63ec
u/nthiery/categories/full- | Stopgaps:
subcategories-16340 |
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Replying to [comment:3 tscrim]:
> Is it possible to have a proper subcategory (within Sage) which has the
same number, but actually different set, of operators (i.e. is `len` a
sufficient check or do we need to compare sorted lists)? I'm pretty sure
this is mathematically wrong, but can someone confirm.
In the current implementation, we are comparing the set of all super
categories that define some structure. This set can only become larger for
inclusion when going down the category hierarchy. So technically we are
fine.
And this implementation seems to correctly models the mathematics, right?
--
Ticket URL: <http://trac.sagemath.org/ticket/16340#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
