From a00029007498175621c55446fd77a662264b89d5 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Fri, 3 Nov 2017 16:41:12 +0100 Subject: [PATCH] remove rationalization functions --- src/CheckSolution.jl | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl index 7e1bf80..ac99838 100644 --- a/src/CheckSolution.jl +++ b/src/CheckSolution.jl @@ -14,14 +14,6 @@ end (±)(X::GroupRingElem, tol::Real) = GroupRingElem(X.coeffs ± tol, parent(X)) -function Base.rationalize{T<:Integer, S<:Real}(::Type{T}, - X::AbstractArray{S}; tol::Real=eps(eltype(X))) - r(x) = rationalize(T, x, tol=tol) - return r.(X) -end - -ℚ(x, tol::Real) = rationalize(BigInt, x, tol=tol) - EOI{T<:Number}(Δ::GroupRingElem{T}, λ::T) = Δ*Δ - λ*Δ function groupring_square(vect::AbstractVector, l, pm)