Opened 13 months ago
Last modified 3 months ago
#31682 new enhancement
manifolds: Add _test_... methods that check invariants of subset relations
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | manifolds | Keywords: | |
Cc: | gh-mjungmath, egourgoulhon, tscrim | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Such as checking that self
is a subset of every one of each supersets.
_top_subsets
appears to be underspecified.
Code only adds to it but never removes anything, so it is not able to maintain the invariant of being the list of maximal proper subsets of self
.
Change History (3)
comment:1 Changed 10 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:2 Changed 5 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:3 Changed 3 months ago by
- Milestone changed from sage-9.6 to sage-9.7
Note: See
TracTickets for help on using
tickets.