wdecker
commented
1 month ago Please check whether the function Oscar._saturation2 behaves any better. It would also be interesting to try the first iteration, that is, to apply quotient.
Am 16.10.2024 um 20:54 schrieb Simon Brandhorst @.***>:
The saturation of an ideal in F(t)[x,y] for F = QQ(a) a simple number field could be faster.
The following computation terminates in Magma in Total time: 85.219 seconds, Total memory usage: 64.12MB See the attached text file for the magma code saturation_with_magma.txt https://github.com/user-attachments/files/17400772/saturation_with_magma.txt It does not terminate with Oscar at all. Here is the file: saturation_with_oscar.txt https://github.com/user-attachments/files/17400819/saturation_with_oscar.txt Here is the background where these computations came up. For our research @HechtiDerLachs https://github.com/HechtiDerLachs and I had to compute an F(t)-rational point of a curve of genus one over F(t). We knew that the point is contained in a zero dimensional ideal J. To do so we first needed to saturate J by some principal ideal D1 whose vanishing locus would not contain the point. Then we would like to compute the minimal primes of the resulting ideal J1. (But we never got to this point in Oscar.)
@ederc https://github.com/ederc @wdecker https://github.com/wdecker @hannes14 https://github.com/hannes14 @jankoboehm https://github.com/jankoboehm @afkafkafk13 https://github.com/afkafkafk13 @HechtiDerLachs https://github.com/HechtiDerLachs — Reply to this email directly, view it on GitHub https://github.com/oscar-system/Oscar.jl/issues/4213, or unsubscribe https://github.com/notifications/unsubscribe-auth/AASSXETDTEZFH5LNLDDLTDTZ32Y5NAVCNFSM6AAAAABQCDWJNSVHI2DSMVQWIX3LMV43ASLTON2WKOZSGU4TENZXGU4DSNI. You are receiving this because you were mentioned.
simonbrandhorst
lgoettgens
thofma
fingolfin
The saturation of an ideal in
F(t)[x,y]forF = QQ(a)a simple number field could be faster.The following computation terminates in Magma in Total time: 85.219 seconds, Total memory usage: 64.12MB See the attached text file for the magma code saturation_with_magma.txt
It does not terminate with Oscar at all. Here is the file: saturation_with_oscar.txt
Here is the background where these computations came up. For our research @HechtiDerLachs and I had to compute an F(t)-rational point of a curve of genus one over F(t). We knew that the point is contained in a zero dimensional ideal
J. To do so we first needed to saturateJby some principal idealD1whose vanishing locus would not contain the point. Then we would like to compute the minimal primes of the resulting idealJ1. (But we never got to this point in Oscar.)@ederc @wdecker @hannes14 @jankoboehm @afkafkafk13 @HechtiDerLachs