Skip to content
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.

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

Antinone functions? #63

Open
kindaro opened this issue Feb 21, 2018 · 2 comments
Open

Antinone functions? #63

kindaro opened this issue Feb 21, 2018 · 2 comments

Comments

@kindaro
Copy link
Contributor

kindaro commented Feb 21, 2018

As I understand, you are implying that for us to find a greatest fixed point of a function, it must be antinone. Not that I contend the point; it's just that, unfortunately, I don't know what "antinone" is. A quick search doesn't help either. (In fact, this very haddock is the top link.) I looked through the index of Introduction to Lattices and Order, which is considered a standard intro to lattices and it does not seem to mention "antinone" at all. (While "monotone" is, of course, there.) So, I still don't know what it means and whether I could use gfpFrom with any of my functions.

I suggest adding some elaboration on the meaning of "antinone" to the relevant parts of the haddock.

@kindaro
Copy link
Contributor Author

kindaro commented Jul 16, 2019

Maybe what is meant is antitone, with t ?

A monotone function is also called isotone, or order-preserving. The dual notion is often called > antitone, anti-monotone, or order-reversing. Hence, an antitone function f satisfies the property

x ≤ y implies f(x) ≥ f(y),

for all x and y in its domain.

@emilypi
Copy link

emilypi commented Nov 11, 2022

Should be antitone, but the author wrote the wrong thing basically everywhere.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants