#16340: Infrastructure for modelling full subcategories
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: full | Merged in:
subcategories, homset | Reviewers: Darij Grinberg,
Authors: Nicolas M. Thiéry | Travis Scrimshaw
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/categories/full_subcategories-16340|
d4c7a88563a397291b6cd5ddadb8f574cc1eedb5
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by nthiery):
Hi Peter,
Sorry, still running behind. I'll just answer some easy points now.
Replying to [comment:40 pbruin]:
> I wish I had the time, but given that I don't, the best I can do is to
just add my perspective as a non-developer but potential user of the
category framework...
I know, and appreciate this. I guess I am just expressing the
frustration when some things appear clearly after having manipulated
the code for a while, yet are hard to convey convincingly.
> But to find them I assume one needs to traverse all supercategories and
pick out the ones that are structure supercategories, so the time would
still depend on the number of all supercategories, or am I mistaken?
Yes and no: this is obtained by taking the union of the structures of
the direct super categories, and cached. So yes, this can trigger a
calculation for all the super categories if such information has never
been computed before higher above in the category hierarchy. But
otherwise, the cost is just that of the union, and that's essentially
linear in the number of structure super categories.
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/16340#comment:44>
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.
