Maybe fix 1509

[joschmitt]

My educated guess is that setprecision!(::CompletionMap, ...) should change the precision of the codomain (if any).

Related to #1509.

[simonbrandhorst]

Could you please add a test?

[simonbrandhorst]

Note that constructing stuff with unramified_extension the setprecision! method still errors ... but it is internal and maybe I am not using it correctly so I would say that is a different issue.

@testset "Issue 1509" begin
  F, _ = cyclotomic_field(3)
  OF = maximal_order(F);
  K, toK = Hecke.unramified_completion(F, 2*OF);
  setprecision!(toK, 200)
  @test precision(toK(F(1))) == 200
end

[joschmitt]

Note that constructing stuff with unramified_extension the setprecision! method still errors ... but it is internal and maybe I am not using it correctly so I would say that is a different issue.

@testset "Issue 1509" begin
  F, _ = cyclotomic_field(3)
  OF = maximal_order(F);
  K, toK = Hecke.unramified_completion(F, 2*OF);
  setprecision!(toK, 200)
  @test precision(toK(F(1))) == 200
end

I don't think you are using it wrong... I try to fix it.

[joschmitt]

All of this is just guess work from my side. Obviously these functions did not work for some time, maybe they never did.