Opened 6 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.5
Component: manifolds Keywords:
Cc: gh-mjungmath, egourgoulhon, tscrim Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

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 (1)

comment:1 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.