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

Precedence of subscripts and superscripts #3198

Open
mahrud opened this issue May 4, 2024 · 1 comment
Open

Precedence of subscripts and superscripts #3198

mahrud opened this issue May 4, 2024 · 1 comment

Comments

@mahrud
Copy link
Member

mahrud commented May 4, 2024

There's a comment in HyperplaneArrangements which I think we should fix by changing the precedence of _ and ^:

Flat ^ Flat := Flat => meet  -- ooh, cool.  But note L_1^L_2 isn't L_1^(L_2) !

--
Initially this issue was the following, but I switched it because I think the above is much more important.

join for posets is called posetJoin, but would be more intuitive if join was available as a method. Similarly, flats in HyperplaneArrangements have meet (or ^) and vee (or |) rather than join.

@d-torrance
Copy link
Member

Yes, I think it would make sense if _ and friends had higher precedence than ^ and friends. Subscripting having higher precedence than exponentiation seems to be common in other languages -- I checked R, Python, and Javascript.

@mahrud mahrud changed the title join should be a method Precedence of subscripts and superscripts May 8, 2024
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