Category of ordered sets

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.31k stars 450 forks source link

Category of ordered sets #29991

Open mkoeppe opened 4 years ago

mkoeppe commented 4 years ago

We introduce the category of (totally) ordered sets.

See also:

19269: add category Posets to ZZ and QQ
18222: provide <=, <, >=, > for poset elements by the category - commented out method Posets.ElementMethods.__le__ ("TODO: implement x<y, x<=y, x>y, x>=y appropriately once #10130 is resolved")
https://docs.python.org/3/library/functools.html#functools.total_ordering
@richcmp_method
17601 Meta ticket: Asymptotic Expansions in SageMath
https://github.com/leanprover-community/mathlib/tree/master/src/order

CC: @tscrim @nthiery @videlec @jm58660 @dkrenn @dimpase

Component: categories

Branch/Commit: u/mkoeppe/ordered_sets @ 343f321

Issue created by migration from https://trac.sagemath.org/ticket/29991

mkoeppe commented 4 years ago

Description changed:

--- 
+++ 
@@ -1,2 +1,9 @@
 We introduce the category of (totally) ordered sets.

+
+
+See also:
+- https://docs.python.org/3/library/functools.html#functools.total_ordering
+- `@`richcmp_method
+
+

mkoeppe commented 4 years ago

Branch: u/mkoeppe/ordered_sets

mkoeppe commented 4 years ago

Description changed:

--- 
+++ 
@@ -3,7 +3,8 @@

 See also:
+- #19269: add category `Posets` to `ZZ` and `QQ`
+- commented out method `Posets.ElementMethods.__le__` ("TODO: implement x<y, x<=y, x>y, x>=y appropriately once #10130 is resolved")
 - https://docs.python.org/3/library/functools.html#functools.total_ordering
 - `@`richcmp_method

-

mkoeppe commented 4 years ago

New commits:

2077684 sage.categories.ordered_sets: New

mkoeppe commented 4 years ago

Commit: 2077684

mkoeppe commented 4 years ago

Description changed:

--- 
+++ 
@@ -4,7 +4,8 @@

 See also:
 - #19269: add category `Posets` to `ZZ` and `QQ`
-- commented out method `Posets.ElementMethods.__le__` ("TODO: implement x<y, x<=y, x>y, x>=y appropriately once #10130 is resolved")
+- #18222: provide <=, <, >=, > for poset elements by the category - commented out method `Posets.ElementMethods.__le__` ("TODO: implement x<y, x<=y, x>y, x>=y appropriately once #10130 is resolved")
 - https://docs.python.org/3/library/functools.html#functools.total_ordering
 - `@`richcmp_method
+- #17601 Meta ticket: Asymptotic Expansions in [SageMath](../wiki/SageMath)

mkoeppe commented 4 years ago

Description changed:

--- 
+++ 
@@ -8,4 +8,4 @@
 - https://docs.python.org/3/library/functools.html#functools.total_ordering
 - `@`richcmp_method
 - #17601 Meta ticket: Asymptotic Expansions in [SageMath](../wiki/SageMath)
-
+- https://github.com/leanprover-community/mathlib/tree/master/src/order

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

0b2dada sage.categories.ordered_sets: New

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 2077684 to 0b2dada

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 0b2dada to 343f321

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

343f321 sage/categories/ordered_sets.py: Implement meet, join

mkoeppe commented 3 years ago

comment:9

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

sagemath / sage

Category of ordered sets #29991

19269: add category Posets to ZZ and QQ

18222: provide <=, <, >=, > for poset elements by the category - commented out method Posets.ElementMethods.__le__ ("TODO: implement x<y, x<=y, x>y, x>=y appropriately once #10130 is resolved")

17601 Meta ticket: Asymptotic Expansions in SageMath

19269: add category `Posets` to `ZZ` and `QQ`

18222: provide <=, <, >=, > for poset elements by the category - commented out method `Posets.ElementMethods.le` ("TODO: implement x<y, x<=y, x>y, x>=y appropriately once #10130 is resolved")