Opened 3 years ago
Last modified 3 weeks ago
#29992 new enhancement
Categories of linearly ordered semigroups and groups
| Reported by: | Matthias Köppe | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | sage-9.9 |
| Component: | categories | Keywords: | |
| Cc: | Travis Scrimshaw | Merged in: | |
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | #29991 | Stopgaps: |
Status badges
Description
These would be OrderedSets (#29991) with the additional axioms
AdditiveLeftPartiallyOrdered, AdditiveRightPartiallyOrdered that express the translation-invariance of the total order (https://en.wikipedia.org/wiki/Linearly_ordered_group)
Change History (7)
comment:1 Changed 2 years ago by
| Milestone: | sage-9.2 → sage-9.3 |
|---|
comment:2 Changed 2 years ago by
| Milestone: | sage-9.3 → sage-9.4 |
|---|
comment:3 Changed 19 months ago by
| Milestone: | sage-9.4 → sage-9.5 |
|---|
comment:4 Changed 14 months ago by
| Milestone: | sage-9.5 → sage-9.6 |
|---|
comment:5 Changed 11 months ago by
| Milestone: | sage-9.6 → sage-9.7 |
|---|
comment:6 Changed 5 months ago by
| Milestone: | sage-9.7 → sage-9.8 |
|---|
comment:7 Changed 3 weeks ago by
| Milestone: | sage-9.8 → sage-9.9 |
|---|
Note: See
TracTickets for help on using
tickets.
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.