mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-14 14:15:28 +01:00
use the given precision as rationalisation precision
This commit is contained in:
parent
709f030cb5
commit
fd32ddbe82
@ -126,7 +126,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, Q, wlen;
|
||||
|
||||
info(logger, "")
|
||||
info(logger, "Projecting columns of rationalized Q to the augmentation ideal...")
|
||||
δ = eps(λ)
|
||||
δ = tol
|
||||
Q_ℚ = ℚ(Q, δ)
|
||||
t = @timed Q_ℚω = correct_to_augmentation_ideal(Q_ℚ)
|
||||
info(logger, timed_msg(t))
|
||||
|
Loading…
Reference in New Issue
Block a user