Opened 20 months ago

Last modified 3 months ago

## #31682 new enhancement

# manifolds: Add _test_... methods that check invariants of subset relations

Reported by: | Matthias Köppe | Owned by: | |
---|---|---|---|

Priority: | major | Milestone: | sage-9.8 |

Component: | manifolds | Keywords: | |

Cc: | Michael Jung, Eric Gourgoulhon, Travis Scrimshaw | 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 (4)

### comment:1 Changed 17 months ago by

Milestone: | sage-9.4 → sage-9.5 |
---|

### comment:2 Changed 12 months ago by

Milestone: | sage-9.5 → sage-9.6 |
---|

### comment:3 Changed 9 months ago by

Milestone: | sage-9.6 → sage-9.7 |
---|

### comment:4 Changed 3 months ago by

Milestone: | sage-9.7 → sage-9.8 |
---|

**Note:**See TracTickets for help on using tickets.