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.

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

Move dim implementation from schemes to algebras #2771

Open
lgoettgens opened this issue Sep 5, 2023 · 1 comment
Open

Move dim implementation from schemes to algebras #2771

lgoettgens opened this issue Sep 5, 2023 · 1 comment
Labels
enhancement New feature or request topic: algebraic geometry

Comments

@lgoettgens
Copy link
Member

One comment beforehand: Most of this should not happen on the geometric side, but on the algebra side. We need all these fixes on the algebra side as well and should only have them in one spot. The geometric side should directly refer dim(X) to dim(OO(X)) in the local and affine cases.

Originally posted by @afkafkafk13 in #2766 (comment)
@lgoettgens lgoettgens added the enhancement New feature or request label Sep 5, 2023
@lgoettgens lgoettgens mentioned this issue Sep 5, 2023
Merged
@afkafkafk13
Copy link
Collaborator

afkafkafk13 commented Sep 27, 2023 •
edited
Loading

Just to avoid forgetting it:
#2860 had to work around this and the workaround needs to be removed, once this issue has been is solved.

@paemurru paemurru mentioned this issue Nov 6, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request topic: algebraic geometry
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@fingolfin @lgoettgens @afkafkafk13