New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Reverse/Dual/Opposite of an order #23

Open

hivert opened this issue Aug 26, 2018 · 0 comments

Member

hivert commented Aug 26, 2018

Note on what we discussed at Dagstuhl 18341:

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

hivert changed the title ~~Reversed/Dual/Opposite of an order~~ Reverse/Dual/Opposite of an order

CohenCyril mentioned this issue

Renaming converse to dual in order.v math-comp/math-comp#454

Merged

1 task

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment