From f99c20d5bf9f417e927380da5cd66f26eb537a60 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Tue, 11 Jun 2024 21:54:19 +0200 Subject: [PATCH] Adapt to oscar-system/Oscar.jl#3391 --- src/DeformationBases/ArcDiagDeformBasis.jl | 3 ++ .../PseudographDeformBasis.jl | 3 ++ test/DeformationBases-test.jl | 38 +++++++++---------- test/ModuleSimpleStructure-test.jl | 2 +- test/SmashProductLie-test.jl | 2 +- test/SmashProductLieDeform-test.jl | 29 +++++++------- test/SmashProductPBWDeformLie-test.jl | 4 +- 7 files changed, 45 insertions(+), 36 deletions(-) diff --git a/src/DeformationBases/ArcDiagDeformBasis.jl b/src/DeformationBases/ArcDiagDeformBasis.jl index 16f06887..dc0aa40b 100644 --- a/src/DeformationBases/ArcDiagDeformBasis.jl +++ b/src/DeformationBases/ArcDiagDeformBasis.jl @@ -20,6 +20,9 @@ struct ArcDiagDeformBasis{C <: RingElem} <: DeformBasis{C} ) where {C <: RingElem} T = get_attribute(base_lie_algebra(sp), :type, nothing) @req T in [:special_orthogonal, :general_linear] "Only works for so_n and gl_n." + if T == :special_orthogonal && has_attribute(base_lie_algebra(sp), :form) + @req isone(get_attribute(base_lie_algebra(sp), :form)) "Only works for so_n represented as skew-symmetric matrices." + end return ArcDiagDeformBasis{C}(Val(T), sp, degs; no_normalize) end diff --git a/src/DeformationBases/PseudographDeformBasis.jl b/src/DeformationBases/PseudographDeformBasis.jl index 9d91bef7..9d9a3fa3 100644 --- a/src/DeformationBases/PseudographDeformBasis.jl +++ b/src/DeformationBases/PseudographDeformBasis.jl @@ -18,6 +18,9 @@ struct PseudographDeformBasis{C <: RingElem} <: DeformBasis{C} ) where {C <: RingElem} T = get_attribute(base_lie_algebra(sp), :type, nothing) @req T == :special_orthogonal "Only works for so_n." + if T == :special_orthogonal && has_attribute(base_lie_algebra(sp), :form) + @req isone(get_attribute(base_lie_algebra(sp), :form)) "Only works for so_n represented as skew-symmetric matrices." + end return PseudographDeformBasis{C}(Val(T), sp, degs; no_normalize) end diff --git a/test/DeformationBases-test.jl b/test/DeformationBases-test.jl index bb8edaea..cc4cc331 100644 --- a/test/DeformationBases-test.jl +++ b/test/DeformationBases-test.jl @@ -1,7 +1,7 @@ @testset "DeformationBases/*.jl tests" begin @testset "ArcDiagDeformBasis.jl" begin @testset "arcdiag_to_deformationmap(:special_orthogonal, :exterior)" begin - L = special_orthogonal_lie_algebra(QQ, 4) + L = special_orthogonal_lie_algebra(QQ, 4, identity_matrix(QQ, 4)) T = Val(:special_orthogonal) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -23,7 +23,7 @@ @testset "correctness regression" begin @testset "SO_4, ⋀²V" begin - L = special_orthogonal_lie_algebra(QQ, 4) + L = special_orthogonal_lie_algebra(QQ, 4, identity_matrix(QQ, 4)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -36,10 +36,10 @@ @test length(collect(b)) == 1 if VERSION <= v"1.7-" @test_broken repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 -x_1_3 -x_1_4 0; -x_2_3 0 x_3_4 x_1_2 0 -x_1_4; -x_2_4 -x_3_4 0 0 x_1_2 x_1_3; x_1_3 -x_1_2 0 0 x_3_4 -x_2_4; x_1_4 0 -x_1_2 -x_3_4 0 x_2_3; 0 x_1_4 -x_1_3 x_2_4 -x_2_3 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_4 x_5 -x_2 -x_3 0; -x_4 0 x_6 x_1 0 -x_3; -x_5 -x_6 0 0 x_1 x_2; x_2 -x_1 0 0 x_6 -x_5; x_3 0 -x_1 -x_6 0 x_4; 0 x_3 -x_2 x_5 -x_4 0]" else @test repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 -x_1_3 -x_1_4 0; -x_2_3 0 x_3_4 x_1_2 0 -x_1_4; -x_2_4 -x_3_4 0 0 x_1_2 x_1_3; x_1_3 -x_1_2 0 0 x_3_4 -x_2_4; x_1_4 0 -x_1_2 -x_3_4 0 x_2_3; 0 x_1_4 -x_1_3 x_2_4 -x_2_3 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_4 x_5 -x_2 -x_3 0; -x_4 0 x_6 x_1 0 -x_3; -x_5 -x_6 0 0 x_1 x_2; x_2 -x_1 0 0 x_6 -x_5; x_3 0 -x_1 -x_6 0 x_4; 0 x_3 -x_2 x_5 -x_4 0]" end @test all_pbwdeformations(sp, b; special_return=SMat)[1] == matrix(QQ, 1, 1, [1]) @test all_pbwdeformations(sp, b) == collect(b) @@ -54,7 +54,7 @@ end @testset "SO_5, ⋀²V" begin - L = special_orthogonal_lie_algebra(QQ, 5) + L = special_orthogonal_lie_algebra(QQ, 5, identity_matrix(QQ, 5)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -67,17 +67,17 @@ @test length(collect(b)) == 1 if VERSION <= v"1.7-" @test_broken repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 x_2_5 -x_1_3 -x_1_4 -x_1_5 0 0 0; -x_2_3 0 x_3_4 x_3_5 x_1_2 0 0 -x_1_4 -x_1_5 0; -x_2_4 -x_3_4 0 x_4_5 0 x_1_2 0 x_1_3 0 -x_1_5; -x_2_5 -x_3_5 -x_4_5 0 0 0 x_1_2 0 x_1_3 x_1_4; x_1_3 -x_1_2 0 0 0 x_3_4 x_3_5 -x_2_4 -x_2_5 0; x_1_4 0 -x_1_2 0 -x_3_4 0 x_4_5 x_2_3 0 -x_2_5; x_1_5 0 0 -x_1_2 -x_3_5 -x_4_5 0 0 x_2_3 x_2_4; 0 x_1_4 -x_1_3 0 x_2_4 -x_2_3 0 0 x_4_5 -x_3_5; 0 x_1_5 0 -x_1_3 x_2_5 0 -x_2_3 -x_4_5 0 x_3_4; 0 0 x_1_5 -x_1_4 0 x_2_5 -x_2_4 x_3_5 -x_3_4 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_5 x_6 x_7 -x_2 -x_3 -x_4 0 0 0; -x_5 0 x_8 x_9 x_1 0 0 -x_3 -x_4 0; -x_6 -x_8 0 x_10 0 x_1 0 x_2 0 -x_4; -x_7 -x_9 -x_10 0 0 0 x_1 0 x_2 x_3; x_2 -x_1 0 0 0 x_8 x_9 -x_6 -x_7 0; x_3 0 -x_1 0 -x_8 0 x_10 x_5 0 -x_7; x_4 0 0 -x_1 -x_9 -x_10 0 0 x_5 x_6; 0 x_3 -x_2 0 x_6 -x_5 0 0 x_10 -x_9; 0 x_4 0 -x_2 x_7 0 -x_5 -x_10 0 x_8; 0 0 x_4 -x_3 0 x_7 -x_6 x_9 -x_8 0]" else @test repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 x_2_5 -x_1_3 -x_1_4 -x_1_5 0 0 0; -x_2_3 0 x_3_4 x_3_5 x_1_2 0 0 -x_1_4 -x_1_5 0; -x_2_4 -x_3_4 0 x_4_5 0 x_1_2 0 x_1_3 0 -x_1_5; -x_2_5 -x_3_5 -x_4_5 0 0 0 x_1_2 0 x_1_3 x_1_4; x_1_3 -x_1_2 0 0 0 x_3_4 x_3_5 -x_2_4 -x_2_5 0; x_1_4 0 -x_1_2 0 -x_3_4 0 x_4_5 x_2_3 0 -x_2_5; x_1_5 0 0 -x_1_2 -x_3_5 -x_4_5 0 0 x_2_3 x_2_4; 0 x_1_4 -x_1_3 0 x_2_4 -x_2_3 0 0 x_4_5 -x_3_5; 0 x_1_5 0 -x_1_3 x_2_5 0 -x_2_3 -x_4_5 0 x_3_4; 0 0 x_1_5 -x_1_4 0 x_2_5 -x_2_4 x_3_5 -x_3_4 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_5 x_6 x_7 -x_2 -x_3 -x_4 0 0 0; -x_5 0 x_8 x_9 x_1 0 0 -x_3 -x_4 0; -x_6 -x_8 0 x_10 0 x_1 0 x_2 0 -x_4; -x_7 -x_9 -x_10 0 0 0 x_1 0 x_2 x_3; x_2 -x_1 0 0 0 x_8 x_9 -x_6 -x_7 0; x_3 0 -x_1 0 -x_8 0 x_10 x_5 0 -x_7; x_4 0 0 -x_1 -x_9 -x_10 0 0 x_5 x_6; 0 x_3 -x_2 0 x_6 -x_5 0 0 x_10 -x_9; 0 x_4 0 -x_2 x_7 0 -x_5 -x_10 0 x_8; 0 0 x_4 -x_3 0 x_7 -x_6 x_9 -x_8 0]" end @test all_pbwdeformations(sp, b; special_return=SMat)[1] == matrix(QQ, 1, 1, [1]) @test all_pbwdeformations(sp, b) == collect(b) end @testset "SO_4, S²V" begin - L = special_orthogonal_lie_algebra(QQ, 4) + L = special_orthogonal_lie_algebra(QQ, 4, identity_matrix(QQ, 4)) V = symmetric_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -93,7 +93,7 @@ end @testset "SO_5, S²V" begin - L = special_orthogonal_lie_algebra(QQ, 5) + L = special_orthogonal_lie_algebra(QQ, 5, identity_matrix(QQ, 5)) V = symmetric_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -109,7 +109,7 @@ end @testset "SO_2, T²V" begin - L = special_orthogonal_lie_algebra(QQ, 2) + L = special_orthogonal_lie_algebra(QQ, 2, identity_matrix(QQ, 2)) V = tensor_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -120,7 +120,7 @@ end @testset "SO_3, T²V" begin - L = special_orthogonal_lie_algebra(QQ, 3) + L = special_orthogonal_lie_algebra(QQ, 3, identity_matrix(QQ, 3)) V = tensor_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -135,7 +135,7 @@ PBWDeformations.arcdiag_to_deformationmap(PBWDeformations.SO(), arc_diagram(Undirected, diag), sp), ) - L = special_orthogonal_lie_algebra(QQ, 2) + L = special_orthogonal_lie_algebra(QQ, 2, identity_matrix(QQ, 2)) V = tensor_power_obj(standard_module(L), 3) sp = smash_product(L, V) @@ -156,7 +156,7 @@ PBWDeformations.arcdiag_to_deformationmap(PBWDeformations.SO(), arc_diagram(Undirected, diag), sp), ) - L = special_orthogonal_lie_algebra(QQ, 3) + L = special_orthogonal_lie_algebra(QQ, 3, identity_matrix(QQ, 3)) V = tensor_power_obj(standard_module(L), 3) sp = smash_product(L, V) @@ -181,7 +181,7 @@ @testset "PseudographDeformBasis.jl" begin @testset "correctness regression" begin @testset "SO_4, ⋀²V" begin - L = special_orthogonal_lie_algebra(QQ, 4) + L = special_orthogonal_lie_algebra(QQ, 4, identity_matrix(QQ, 4)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -194,10 +194,10 @@ @test length(collect(b)) == 1 if VERSION <= v"1.7-" @test_broken repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 -x_1_3 -x_1_4 0; -x_2_3 0 x_3_4 x_1_2 0 -x_1_4; -x_2_4 -x_3_4 0 0 x_1_2 x_1_3; x_1_3 -x_1_2 0 0 x_3_4 -x_2_4; x_1_4 0 -x_1_2 -x_3_4 0 x_2_3; 0 x_1_4 -x_1_3 x_2_4 -x_2_3 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_4 x_5 -x_2 -x_3 0; -x_4 0 x_6 x_1 0 -x_3; -x_5 -x_6 0 0 x_1 x_2; x_2 -x_1 0 0 x_6 -x_5; x_3 0 -x_1 -x_6 0 x_4; 0 x_3 -x_2 x_5 -x_4 0]" else @test repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 -x_1_3 -x_1_4 0; -x_2_3 0 x_3_4 x_1_2 0 -x_1_4; -x_2_4 -x_3_4 0 0 x_1_2 x_1_3; x_1_3 -x_1_2 0 0 x_3_4 -x_2_4; x_1_4 0 -x_1_2 -x_3_4 0 x_2_3; 0 x_1_4 -x_1_3 x_2_4 -x_2_3 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_4 x_5 -x_2 -x_3 0; -x_4 0 x_6 x_1 0 -x_3; -x_5 -x_6 0 0 x_1 x_2; x_2 -x_1 0 0 x_6 -x_5; x_3 0 -x_1 -x_6 0 x_4; 0 x_3 -x_2 x_5 -x_4 0]" end @test all_pbwdeformations(sp, b; special_return=SMat)[1] == matrix(QQ, 1, 1, [1]) @test all_pbwdeformations(sp, b) == collect(b) @@ -212,7 +212,7 @@ end @testset "SO_5, ⋀²V" begin - L = special_orthogonal_lie_algebra(QQ, 5) + L = special_orthogonal_lie_algebra(QQ, 5, identity_matrix(QQ, 5)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -225,10 +225,10 @@ @test length(collect(b)) == 1 if VERSION <= v"1.7-" @test_broken repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 x_2_5 -x_1_3 -x_1_4 -x_1_5 0 0 0; -x_2_3 0 x_3_4 x_3_5 x_1_2 0 0 -x_1_4 -x_1_5 0; -x_2_4 -x_3_4 0 x_4_5 0 x_1_2 0 x_1_3 0 -x_1_5; -x_2_5 -x_3_5 -x_4_5 0 0 0 x_1_2 0 x_1_3 x_1_4; x_1_3 -x_1_2 0 0 0 x_3_4 x_3_5 -x_2_4 -x_2_5 0; x_1_4 0 -x_1_2 0 -x_3_4 0 x_4_5 x_2_3 0 -x_2_5; x_1_5 0 0 -x_1_2 -x_3_5 -x_4_5 0 0 x_2_3 x_2_4; 0 x_1_4 -x_1_3 0 x_2_4 -x_2_3 0 0 x_4_5 -x_3_5; 0 x_1_5 0 -x_1_3 x_2_5 0 -x_2_3 -x_4_5 0 x_3_4; 0 0 x_1_5 -x_1_4 0 x_2_5 -x_2_4 x_3_5 -x_3_4 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_5 x_6 x_7 -x_2 -x_3 -x_4 0 0 0; -x_5 0 x_8 x_9 x_1 0 0 -x_3 -x_4 0; -x_6 -x_8 0 x_10 0 x_1 0 x_2 0 -x_4; -x_7 -x_9 -x_10 0 0 0 x_1 0 x_2 x_3; x_2 -x_1 0 0 0 x_8 x_9 -x_6 -x_7 0; x_3 0 -x_1 0 -x_8 0 x_10 x_5 0 -x_7; x_4 0 0 -x_1 -x_9 -x_10 0 0 x_5 x_6; 0 x_3 -x_2 0 x_6 -x_5 0 0 x_10 -x_9; 0 x_4 0 -x_2 x_7 0 -x_5 -x_10 0 x_8; 0 0 x_4 -x_3 0 x_7 -x_6 x_9 -x_8 0]" else @test repr("text/plain", collect(b)) == - "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_2_3 x_2_4 x_2_5 -x_1_3 -x_1_4 -x_1_5 0 0 0; -x_2_3 0 x_3_4 x_3_5 x_1_2 0 0 -x_1_4 -x_1_5 0; -x_2_4 -x_3_4 0 x_4_5 0 x_1_2 0 x_1_3 0 -x_1_5; -x_2_5 -x_3_5 -x_4_5 0 0 0 x_1_2 0 x_1_3 x_1_4; x_1_3 -x_1_2 0 0 0 x_3_4 x_3_5 -x_2_4 -x_2_5 0; x_1_4 0 -x_1_2 0 -x_3_4 0 x_4_5 x_2_3 0 -x_2_5; x_1_5 0 0 -x_1_2 -x_3_5 -x_4_5 0 0 x_2_3 x_2_4; 0 x_1_4 -x_1_3 0 x_2_4 -x_2_3 0 0 x_4_5 -x_3_5; 0 x_1_5 0 -x_1_3 x_2_5 0 -x_2_3 -x_4_5 0 x_3_4; 0 0 x_1_5 -x_1_4 0 x_2_5 -x_2_4 x_3_5 -x_3_4 0]" + "1-element Vector{MatElem{<:FreeAssAlgElem{QQFieldElem}}}:\n [0 x_5 x_6 x_7 -x_2 -x_3 -x_4 0 0 0; -x_5 0 x_8 x_9 x_1 0 0 -x_3 -x_4 0; -x_6 -x_8 0 x_10 0 x_1 0 x_2 0 -x_4; -x_7 -x_9 -x_10 0 0 0 x_1 0 x_2 x_3; x_2 -x_1 0 0 0 x_8 x_9 -x_6 -x_7 0; x_3 0 -x_1 0 -x_8 0 x_10 x_5 0 -x_7; x_4 0 0 -x_1 -x_9 -x_10 0 0 x_5 x_6; 0 x_3 -x_2 0 x_6 -x_5 0 0 x_10 -x_9; 0 x_4 0 -x_2 x_7 0 -x_5 -x_10 0 x_8; 0 0 x_4 -x_3 0 x_7 -x_6 x_9 -x_8 0]" end @test all_pbwdeformations(sp, b; special_return=SMat)[1] == matrix(QQ, 1, 1, [1]) @test all_pbwdeformations(sp, b) == collect(b) diff --git a/test/ModuleSimpleStructure-test.jl b/test/ModuleSimpleStructure-test.jl index 1569822e..81c64dc1 100644 --- a/test/ModuleSimpleStructure-test.jl +++ b/test/ModuleSimpleStructure-test.jl @@ -1,5 +1,5 @@ @testset "ModuleSimpleStructure.jl tests" begin - @testset for L in [general_linear_lie_algebra(QQ, 3), special_orthogonal_lie_algebra(QQ, 3)] + @testset for L in [general_linear_lie_algebra(QQ, 3), special_orthogonal_lie_algebra(QQ, 3, identity_matrix(QQ, 3))] stdV = standard_module(L) @testset "Duality, standard" begin diff --git a/test/SmashProductLie-test.jl b/test/SmashProductLie-test.jl index f1d6a39a..54fcb7e0 100644 --- a/test/SmashProductLie-test.jl +++ b/test/SmashProductLie-test.jl @@ -49,7 +49,7 @@ end @testset "so_4(QQ) ⋉ ⋀^2 V" begin - L = special_orthogonal_lie_algebra(QQ, 4) + L = special_orthogonal_lie_algebra(QQ, 4, identity_matrix(QQ, 4)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(R, L, V) diff --git a/test/SmashProductLieDeform-test.jl b/test/SmashProductLieDeform-test.jl index e4915eb0..492a01ad 100644 --- a/test/SmashProductLieDeform-test.jl +++ b/test/SmashProductLieDeform-test.jl @@ -2,7 +2,7 @@ @testset "SmashProductLieDeform constructor" begin @testset "R = $R" for R in [QQ, cyclotomic_field(4)[1]] - L = special_orthogonal_lie_algebra(R, 4) + L = special_orthogonal_lie_algebra(R, 4, identity_matrix(R, 4)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -57,17 +57,20 @@ @testset "symmetric_deformation constructor" begin @testset "R = $R" for R in [QQ, cyclotomic_field(4)[1]] - for (sp, dimL, dimV) in [begin - L = special_orthogonal_lie_algebra(R, 4) - V = exterior_power_obj(standard_module(L), 2) - sp = smash_product(L, V) - return (sp, 6, 6) - end, begin - L = general_linear_lie_algebra(R, 4) - V = symmetric_power_obj(standard_module(L), 2) - sp = smash_product(L, V) - return (sp, 16, 10) - end] + for (sp, dimL, dimV) in [ + begin + L = special_orthogonal_lie_algebra(R, 4, identity_matrix(R, 4)) + V = exterior_power_obj(standard_module(L), 2) + sp = smash_product(L, V) + return (sp, 6, 6) + end, + begin + L = general_linear_lie_algebra(R, 4) + V = symmetric_power_obj(standard_module(L), 2) + sp = smash_product(L, V) + return (sp, 16, 10) + end, + ] d = symmetric_deformation(sp) @@ -100,7 +103,7 @@ @testset "SmashProductLieDeform sanitize checks" begin @testset "R = $R" for R in [QQ, cyclotomic_field(4)[1]] - L = special_orthogonal_lie_algebra(R, 4) + L = special_orthogonal_lie_algebra(R, 4, identity_matrix(R, 4)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) diff --git a/test/SmashProductPBWDeformLie-test.jl b/test/SmashProductPBWDeformLie-test.jl index 389978eb..68d45e06 100644 --- a/test/SmashProductPBWDeformLie-test.jl +++ b/test/SmashProductPBWDeformLie-test.jl @@ -1,7 +1,7 @@ @testset "SmashProductPBWDeformLie.jl tests" begin @testset "is_pbwdeformation" begin @testset "symmetric deformation of so_4(QQ) ⋉ ⋀^2 V" begin - L = special_orthogonal_lie_algebra(QQ, 4) + L = special_orthogonal_lie_algebra(QQ, 4, identity_matrix(QQ, 4)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V) @@ -10,7 +10,7 @@ end @testset "non-PBW deformations" begin - L = special_orthogonal_lie_algebra(QQ, 4) + L = special_orthogonal_lie_algebra(QQ, 4, identity_matrix(QQ, 4)) V = exterior_power_obj(standard_module(L), 2) sp = smash_product(L, V)