kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-19 07:20:28 +01:00
Code Issues Releases Wiki Activity

make EOI a one-liner

Browse Source
This commit is contained in:
kalmar 2017-07-21 17:11:25 +02:00
parent e74b4c49ef
commit 95bc1eaff5
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/CheckSolution.jl
View File

@ -23,9 +23,7 @@ end
ℚ(x, tol::Real) = rationalize(BigInt, x, tol=tol)
function EOI{T<:Number}(Δ::GroupRingElem{T}, λ::T)
return Δ*Δ - λ*Δ
end
EOI{T<:Number}(Δ::GroupRingElem{T}, λ::T) = Δ*Δ - λ*Δ
function groupring_square(vect::AbstractVector, elt::GroupRingElem)
zzz = zeros(eltype(vect), length(elt.coeffs))