Elliptic fibration book example errors #3881
Comments
|
On Fri, Jun 21, 2024 at 08:24:05AM -0700, Johannes Schmitt wrote:
The book example in the file `specialized/brandhorst-zach-fibration-hopping/vinberg_3.jlcon` errors both on OSCAR 1.1 and current master:
From Simon:
Das ist der (eine) Befehl, der auf 1.1.0 nicht laeuft und den aktuellen
Oscar 1.2.0DEV braucht. Mein PR war leider 2h zu spät.
… ```
julia> K = QQ;
julia> Kt, t = polynomial_ring(K, :t);
julia> Ktf = fraction_field(Kt);
julia> E = elliptic_curve(Ktf, [0, -t^3, 0, t^3, 0]);
julia> P = E([t^3, t^3]);
julia> Y2 = elliptic_surface(E, 2, [P]);
julia> S = weierstrass_model(Y2)[1];
julia> basisNSY2, _, NSY2 = algebraic_lattice(Y2);
julia> fibers_in_Y2 = [QQ.(vec(collect(i))) for i in [
[4 2 0 0 0 0 0 0 0 -4 -4 -8 -7 -6 -5 -4 -3 -2 -1 0],
[1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0],
[5 2 -2 -3 -4 -3 -2 -1 -2 -5 -4 -8 -7 -6 -5 -4 -3 -2 -1 0],
[4 2 -2 -4 -6 -9//2 -3 -3//2 -7//2 -3 -5//2 -5 -9//2 -4 -7//2 -3 -5//2 -2 -3//2 0],
[2 1 -1 -2 -3 -2 -1 0 -2 -1 -1 -2 -2 -2 -2 -2 -2 -1 0 1],
[2 1 0 0 0 0 0 0 0 -2 -2 -4 -4 -4 -4 -3 -2 -1 0 1]
]];
julia> @Assert all(inner_product(ambient_space(NSY2), i,i) == 0 for i in fibers_in_Y2)
julia> [representative(elliptic_parameter(Y2, f)) for f in fibers_in_Y2[4:6]]
ERROR: AssertionError: found
Stacktrace:
[1] horizontal_decomposition(X::EllipticSurface{QQField, AbstractAlgebra.Generic.FracFieldElem{…}}, F::Vector{QQFieldElem})
@ Oscar ~/.julia/dev/Oscar/experimental/Schemes/src/elliptic_surface.jl:1349
[2] elliptic_parameter(X::EllipticSurface{QQField, AbstractAlgebra.Generic.FracFieldElem{…}}, F::Vector{QQFieldElem})
@ Oscar ~/.julia/dev/Oscar/experimental/Schemes/src/elliptic_surface.jl:1419
[3] (::var"#5#6")(f::Vector{QQFieldElem})
@ Main ./none:0
[4] iterate
@ ./generator.jl:47 [inlined]
[5] collect(itr::Base.Generator{Vector{Vector{QQFieldElem}}, var"#5#6"})
@ Base ./array.jl:834
[6] top-level scope
@ REPL[12]:1
Some type information was truncated. Use `show(err)` to see complete types.
```
Notice that this is one of the examples that is not run by CI. (The code above runs for a few minutes.)
--
Reply to this email directly or view it on GitHub:
#3881
You are receiving this because you are subscribed to this thread.
Message ID: ***@***.***>
|
|
I tested it with the current master including the latest pull request from @simonbrandhorst and it didn't work. I'm happy to be proven wrong. |
|
For me, the error exists with the following versions: |
|
Can confirm the findings of @joschmitt |
|
I can investigate. Though I am afraid the Book chapter wont keep running for long without CI. |
|
As far as I can tell, the order of the singular fibers changed. |
|
Btw: The code for our book-chapter was broken way before our recent changes in #3564 and #3877. Since it wasn't covered by CI we were unaware of various regressions caused by e.g. the lazyfication of ideal sheaves. If at the state now it's really only about the order of factorization, I think we're as good as we can possibly be again. |
|
Since there is no easy fix, let's just ignore it. |
This comment was marked as outdated.
This comment was marked as outdated.
|
I don't think we can completely ignore it. Let me be clear: I fully agree that this is not something to worry about before e.g. the Begehung. But for the OSCAR book we should have a working example. At the very least, the book website would have to point out if the example is broken. Ideal would be if the book example could get a small adjustment to make it work in OSCAR 1.0, 1.1 and master / 1.x -- if that's possible, let's do it, we still have some time to make minor edits to the book. If this is impossible or too hard, we need to make a decision: must the OSCAR book examples work in 1.0 (then leave it, and use the website to communicate that a change is needed for the code in 1.1 and above); or is it OK to have the example in that chapter require 1.1 (perhaps with a footnote stating that). But in any case, both are inferior to the solution with an adjust example that works everywhere. Anyway, I am reopening this to remind us to deal with the book before the final version is submitted to Springer. |
|
This is not doable in 1.0. In 1.1.1 it should be possible. Please let us know asap. |
Let who know what? |
|
The proofs for the Oscar book are coming up, probably during the next week. If we shall adjust the code for 1.1.1 or the snippets in the book chapter, please let us know which final behavior you are expecting. |
|
#3939 is an attempt at resolving this. |
|
Is there anything else to do with this issue after #3939 or can this get closed? |
|
From my side this can be closed. |
The book example in the file
specialized/brandhorst-zach-fibration-hopping/vinberg_3.jlconerrors both on OSCAR 1.1 and current master:Notice that this is one of the examples that is not run by CI. (The code above runs for a few minutes.)
The text was updated successfully, but these errors were encountered: