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 Matthias Köppe

Milestone: sage-9.2sage-9.3

comment:2 Changed 2 years ago by Matthias Köppe

Milestone: sage-9.3sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:3 Changed 19 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:4 Changed 14 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:5 Changed 11 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:6 Changed 5 months ago by Matthias Köppe

Milestone: sage-9.7sage-9.8

comment:7 Changed 3 weeks ago by Matthias Köppe

Milestone: sage-9.8sage-9.9
Note: See TracTickets for help on using tickets.