From fa3c59dd1283391e9a21306b02f2a286244f1a8f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Felix=20R=C3=B6hrich?= Date: Tue, 26 Nov 2024 14:00:36 +0100 Subject: [PATCH] format files --- experimental/LieAlgebras/src/CartanMatrix.jl | 8 ++++---- experimental/LieAlgebras/test/CartanMatrix-test.jl | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/experimental/LieAlgebras/src/CartanMatrix.jl b/experimental/LieAlgebras/src/CartanMatrix.jl index bdda88b1b85..46f26c2594c 100644 --- a/experimental/LieAlgebras/src/CartanMatrix.jl +++ b/experimental/LieAlgebras/src/CartanMatrix.jl @@ -182,7 +182,7 @@ julia> cartan_symmetrizer(cartan_matrix(:B, 2)) """ function cartan_symmetrizer(gcm::ZZMatrix; check::Bool=true) ct, ord = cartan_type_with_ordering(gcm; check=check) - + i = 1 d = ones(ZZRingElem, length(ord)) for (fam, rk) in ct @@ -195,13 +195,13 @@ function cartan_symmetrizer(gcm::ZZMatrix; check::Bool=true) i += rk elseif fam == :C i += rk - d[i-1] = 2 + d[i - 1] = 2 elseif fam == :D i += rk elseif fam == :E i += rk elseif fam == :F - d[i] = d[i+1] = 2 + d[i] = d[i + 1] = 2 i += rk elseif fam == :G d[i] = 3 @@ -210,7 +210,7 @@ function cartan_symmetrizer(gcm::ZZMatrix; check::Bool=true) error("unreachable") end end - + return invpermute!(d, ord) end diff --git a/experimental/LieAlgebras/test/CartanMatrix-test.jl b/experimental/LieAlgebras/test/CartanMatrix-test.jl index 99fc7888562..37b2d520725 100644 --- a/experimental/LieAlgebras/test/CartanMatrix-test.jl +++ b/experimental/LieAlgebras/test/CartanMatrix-test.jl @@ -126,7 +126,7 @@ swap_cols!(cm, i, j) end end - + bil = cartan_bilinear_form(cm) if !is_symmetric(bil) println(cm)