Claus Fieker
Claus Fieker
you need to be thinking about what you want: you want the leading zeros? If the element has a valuation? @lgoettgens what do you need/ want? I think for polys...
On Wed, Oct 09, 2024 at 01:53:23AM -0700, Benjamin Lorenz wrote: > @benlorenz commented on this pull request. > > > > > @@ -74,6 +74,7 @@ using Pkg >...
On Thu, Jun 06, 2024 at 12:55:07AM -0700, Johannes Schmitt wrote: > This should be a bit better with https://github.com/Nemocas/Nemo.jl/pull/1776 . > We could probably improve it more depending on...
On Mon, Sep 09, 2024 at 10:25:13PM -0700, Rabqubit wrote: > It seems that groups are not cached when created. So if I create a same group twice, it will...
It should be 'x in N' On Sun, 8 Jun 2025, 17:10 Lars Göttgens, ***@***.***> wrote: > *lgoettgens* left a comment (oscar-system/Oscar.jl#4977) > > > I think @fieker and @thofma...
I am not sure I agree. flint has the floating model, numbers are p^n * u u a unit up to some precision. all operations in flint are returning the...
that would indicate LLL changes? Shouldn't all be reduced? I.e evalmod should be used on units that are small
On Mon, Oct 21, 2024 at 09:30:21AM -0700, Neven DREAN wrote: > julia version 1.11.1 > Hecke Version 0.24.3 ... via Oscar Version 0.14. > > ``` > julia> principal_subfields(L)...
On Wed, Oct 09, 2024 at 03:08:16AM -0700, Tommy Hofmann wrote: > @fieker do you have the condensed example? Its still the degree 96 over quad. Don't know if we...
I checked out the th/facccc and it terminates on my machine in 150sec - now twice