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
Not all empty schemes are created equal #20511
Comments
comment:1
Projective scheme comparison should compare ideals saturated with respect to the irrelevant ideal:
Similarly, the
decomposing in irreducible components is a more expensive operation. |
comment:2
Replying to @nbruin:
Agreed. I guess we don't want to transform the generating set at creation, so we can recover the generators as specified, but maybe we want to cache the saturation?
Agreed again. |
comment:3
Also note that if we change equality we also have to change the hash, i.e., the hash should be the hash of the generators of the groebner basis of the saturation of the defining ideal. That'll probably shake out another few bugs out of the doctests. |
Commit: |
Author: Kiran Kedlaya |
comment:4
Speaking of shaking out bugs, here is a first attempt (minus the hash), which already runs into something further afield:
So it seems that there is something wrong with the definition of New commits:
|
comment:5
It might be that dealing with hashing will help with this. But hashing ideals itself need to be fixed; see #21297 (which itself has dependencies on hashing for polynomials). |
Dependencies: #21297 |
Branch pushed to git repo; I updated commit sha1. New commits:
|
In this example, both schemes are empty, so they should be equal as subschemes of P^2. However...
While I'm at it, an
is_empty
method would be nice. It could be defined as follows:Depends on #21297
Component: algebraic geometry
Keywords: schemes, empty
Author: Kiran Kedlaya
Branch/Commit: u/kedlaya/not_all_empty_schemes_are_created_equal @
8b00ed9
Issue created by migration from https://trac.sagemath.org/ticket/20511
The text was updated successfully, but these errors were encountered: