#17042: Improvement to subsets_with_hereditary_property
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_review
Type: | Milestone: sage-6.4
enhancement | Resolution:
Priority: major | Merged in:
Component: | Reviewers:
combinatorics | Work issues:
Keywords: | Commit:
Authors: | 381cfeff4c3661aa71d46514f231f6926d0b7d40
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
u/ncohen/17042 |
Dependencies: |
#16994 |
-------------------------+-------------------------------------------------
Comment (by ncohen):
Yo !
> In the same vein, don't you want to have `min_obstruction_size`, too?
I.e. if you know that your function returns true on any set of size at
most that, you shouldn't even call it.
Well, it is true but in this case you can change the function itself to
always return True on <min_size input. While if you do the same with the
max_size, your function is not monotone anymore.
Well, it cannot hurt. Add a commit if you like.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/17042#comment:4>
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.
