Skip to content

Commit

Permalink
Adjust eigenvalues to Nemo changes
Browse files Browse the repository at this point in the history
Co-authored-by: Johannes Schmitt <jschmitt@posteo.eu>
  • Loading branch information
lgoettgens and joschmitt committed Jan 25, 2024
1 parent ed773ab commit d2c09e2
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions experimental/LinearQuotients/src/linear_quotients.jl
Original file line number Diff line number Diff line change
Expand Up @@ -116,8 +116,8 @@ function age(g::MatrixGroupElem{T}, zeta::Tuple{T, Int}) where T
@req fl "Order $(zeta[2]) of given root of unity $(zeta[1]) is not divisible by $(order(g))"

powers_of_zeta = _powers_of_root_of_unity(zeta[1]^q, order(Int, g))
sp = spectrum(g.elm)
return ZZRingElem(sum( m*powers_of_zeta[e] for (e, m) in sp ))//order(g)
eig = eigenvalues(g.elm)
return ZZRingElem(sum( powers_of_zeta[e] for e in eig ))//order(g)
end

@doc raw"""
Expand Down
2 changes: 1 addition & 1 deletion experimental/QuadFormAndIsom/src/lattices_with_isometry.jl
Original file line number Diff line number Diff line change
Expand Up @@ -1873,7 +1873,7 @@ function signatures(Lf::ZZLatWithIsom)
f = isometry(Lf)
n = order_of_isometry(Lf)
C = CalciumField()
eig = eigenvalues(f, QQBar)
eig = eigenvalues(QQBar, f)
j = findfirst(z -> findfirst(k -> isone(z^k), 1:n) == n, eig)
lambda = C(eig[j])
Sq = Int[i for i in 1:div(n,2) if gcd(i,n) == 1]
Expand Down
2 changes: 1 addition & 1 deletion experimental/SymmetricIntersections/test/runtests.jl
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ end
@test all(m -> size(m) == (n,n), mr)
mg = matrix_group(mr)
Z, _ = center(mg)
els = filter(m -> is_diagonal(matrix(m)) && (length(eigvals(matrix(m))) == 1), collect(Z))
els = filter(m -> is_diagonal(matrix(m)) && (length(eigenvalues(matrix(m))) == 1), collect(Z))
Q, _ = quo(mg, els)
@test is_isomorphic(G, Q)

Expand Down

0 comments on commit d2c09e2

Please sign in to comment.