Simon Brandhorst

Some natural module operations are missing for modules over the maximal order of a number field. Namely, - Intersection in case both lattices do not have full rank. - Saturation...

Inconsistent behavior of `issquare(::fmpq)` and `issquare(::nf_elem)`

1

For number fields `issquare` returns a tuple consisting of a boolean and a square root (if it exists) For the rationals it just returns a boolean. ```julia> F, a =...

Single Parents for inexact rings independent of precision

6

The idea is to have a single parent for the elements of the same (inexact) field independent of their respective precisions. As far as I know the elements themselves know...

Widen the signature of invert_birational_map

1

Quoting @wdecker : "The Singular counterpart of the OSCAR function `invert_birational_map` does not only work for curves. As we now have also higher-dimensional varieties , it might make sense to...

**Describe the bug** Using the output of normalisation results in bugs. It looks to me like something is going wrong with wrapping the singular output. @wdecker @jankoboehm Edit: The pecularity...

Schemes Meta Issue

1

This is a todo list for the schemes part of OSCAR - [x] implement `defining_ideal(::AbsSpec)`. In case of a closed subscheme of AA^n it should return an ideal in the...

Precision loss in p-adic linear algebra

7

Maybe the following example is not a bug ... but the solution computed is suboptimal The following computations can be done modulo 29^2. They should be possible with padics? ```...

setprecision!(f::CompletionMap)

4

``` julia> K,toK = completion(F, 2*OF); julia> F,_ = cyclotomic_field(3) (Cyclotomic field of order 3, z_3) julia> OF = maximal_order(F); julia> K,toK = completion(F, 2*OF); julia> setprecision!(toK,5) ``` it seems...

Multiplication in local fields spends most of the time in multiplying ramification index with the valuation

2

might be worth investigating at some point @joschmitt ``` ╎ ╎ ╎ ╎ ╎ ╎ 118 @Hecke/src/LocalField/Elem.jl:648; mul!(c::Hecke.LocalFieldElem{QadicFieldElem, Hecke.EisensteinLocalField}, a::Hecke.LocalFieldElem{Qadi… ╎ ╎ ╎ ╎ ╎ ╎ 118 @AbstractAlgebra/src/Fraction.jl:337; *(a::Int64, b::QQFieldElem)...

``` julia> padic_field(3)(0) O(3^64) julia> qadic_field(3,4)[1](0) 0 ```