You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The name "reverse" order looks bad to me. Indeed the reverse lexicographic order is not the reverse of the lex order. My vote goes for "dual". "opposite" is also ok.
dual of finite (porder/order/lattice) should be canonically finite.
Cheers,
Florent
The text was updated successfully, but these errors were encountered:
hivert
changed the title
Reversed/Dual/Opposite of an order
Reverse/Dual/Opposite of an order
Aug 26, 2018
Note on what we discussed at Dagstuhl 18341:
Cheers,
Florent
The text was updated successfully, but these errors were encountered: