From 47cb5c59f3d97d90b16354e29d98a9ed92e19ae7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Thu, 13 Jan 2022 17:25:43 +0100 Subject: [PATCH 1/4] reformat imports --- src/PBWDeformations.jl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/PBWDeformations.jl b/src/PBWDeformations.jl index 80ae69de..381a7746 100644 --- a/src/PBWDeformations.jl +++ b/src/PBWDeformations.jl @@ -4,10 +4,16 @@ using Combinatorics using Oscar using SparseArrays -import AbstractAlgebra: NCRing, NCRingElem, Ring, RingElement, base_ring, change_base_ring, check_parent, coeff, elem_type, gen, gens, isgen, ismonomial, monomial, ngens, parent_type, quo, symbols, vars +import AbstractAlgebra: NCRing, NCRingElem, Ring, RingElement, + base_ring, change_base_ring, check_parent, coeff, + elem_type, gen, gens, isgen, ismonomial, + monomial, ngens, parent_type, quo, symbols, vars + import Oscar: comm, normal_form -import Base: Array, deepcopy, deepcopy_internal, hash, isequal, isone, iszero, length, one, parent, show, xor, zero, +, -, *, ^, == +import Base: Array, deepcopy, deepcopy_internal, + hash, isequal, isone, iszero, length, + one, parent, show, xor, zero, +, -, *, ^, == GAP = Oscar.GAP From e4e39aac09af902e7f45877a2aa026df54966c08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Thu, 13 Jan 2022 17:25:51 +0100 Subject: [PATCH 2/4] add exports --- src/PBWDeformations.jl | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/PBWDeformations.jl b/src/PBWDeformations.jl index 381a7746..1a40cd86 100644 --- a/src/PBWDeformations.jl +++ b/src/PBWDeformations.jl @@ -15,6 +15,15 @@ import Base: Array, deepcopy, deepcopy_internal, hash, isequal, isone, iszero, length, one, parent, show, xor, zero, +, -, *, ^, == +export FreeAlgebra, FreeAlgebraElem, + QuadraticQuoAlgebra, QuadraticQuoAlgebraElem, + SmashProductLie, SmashProductDeformLie + +export free_algebra, ispbwdeform, quadratic_quo_algebra, + pbwdeforms_all, pbwdeform_eqs, + smash_product_lie, smash_product_struct_const_from_gap, + smash_product_deform_lie, smash_product_symmdeform_lie + GAP = Oscar.GAP include("Util.jl") From 402ebd25f5a75ba236a3bcdebac1ab5c6a456361 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Thu, 13 Jan 2022 17:42:35 +0100 Subject: [PATCH 3/4] remove qualified uses where no longer needed --- examples/PBWDeformationsNotebook.ipynb | 46 ++++++++++----------- scripts/CreateDBEntry.jl | 6 +-- test/FreeAlgebra-test.jl | 22 +++++----- test/SmashProductDeformLie-test.jl | 56 +++++++++++++------------- test/SmashProductLie-test.jl | 8 ++-- 5 files changed, 69 insertions(+), 69 deletions(-) diff --git a/examples/PBWDeformationsNotebook.ipynb b/examples/PBWDeformationsNotebook.ipynb index f16a5ec8..276394b9 100644 --- a/examples/PBWDeformationsNotebook.ipynb +++ b/examples/PBWDeformationsNotebook.ipynb @@ -35,7 +35,7 @@ " ----- ----- ----- - - - - \n", "\n", "...combining (and extending) ANTIC, GAP, Polymake and Singular\n", - "Version\u001b[32m 0.7.0 \u001b[39m... \n", + "Version\u001b[32m 0.7.1 \u001b[39m... \n", " ... which comes with absolutely no warranty whatsoever\n", "Type: '?Oscar' for more information\n", "(c) 2019-2021 by The Oscar Development Team\n" @@ -58,9 +58,9 @@ "text": [ "\u001b[36m\u001b[1m Project\u001b[22m\u001b[39m PBWDeformations v0.0.0\n", "\u001b[32m\u001b[1m Status\u001b[22m\u001b[39m `~/code/pbwdeformations.jl/Project.toml`\n", - " \u001b[90m [c3fe647b] \u001b[39mAbstractAlgebra v0.22.2\n", - " \u001b[90m [861a8166] \u001b[39mCombinatorics v1.0.2\n", - " \u001b[90m [f1435218] \u001b[39mOscar v0.7.0\n", + " \u001b[90m [c3fe647b] \u001b[39mAbstractAlgebra\n", + " \u001b[90m [861a8166] \u001b[39mCombinatorics\n", + " \u001b[90m [f1435218] \u001b[39mOscar\n", " \u001b[90m [2f01184e] \u001b[39mSparseArrays\n" ] } @@ -103,7 +103,7 @@ { "data": { "text/plain": [ - "(Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" + "(Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" ] }, "execution_count": 3, @@ -112,7 +112,7 @@ } ], "source": [ - "sp, ((x_1, x_2, x_3), (v_1, v_2)) = PBWDeformations.smash_product_lie(QQ, 'A', 1, [1])" + "sp, ((x_1, x_2, x_3), (v_1, v_2)) = smash_product_lie(QQ, 'A', 1, [1])" ] }, { @@ -254,7 +254,7 @@ { "data": { "text/plain": [ - "(Symmetric Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" + "(Symmetric Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" ] }, "execution_count": 7, @@ -263,7 +263,7 @@ } ], "source": [ - "PBWDeformations.smash_product_symmdeform_lie(sp)" + "smash_product_symmdeform_lie(sp)" ] }, { @@ -283,7 +283,7 @@ { "data": { "text/plain": [ - "(Symmetric Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" + "(Symmetric Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" ] }, "execution_count": 8, @@ -293,7 +293,7 @@ ], "source": [ "kappa1 = fill(zero(sp.alg), sp.dimV, sp.dimV)\n", - "deform1, _ = PBWDeformations.smash_product_deform_lie(sp, kappa1)" + "deform1, _ = smash_product_deform_lie(sp, kappa1)" ] }, { @@ -313,7 +313,7 @@ { "data": { "text/plain": [ - "(Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" + "(Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" ] }, "execution_count": 9, @@ -325,7 +325,7 @@ "kappa2 = fill(zero(sp.alg), sp.dimV, sp.dimV)\n", "kappa2[1,2] = x_1^2 + 5*x_2*x_3 + 3\n", "kappa2[2,1] = -kappa2[1,2]\n", - "deform2, _ = PBWDeformations.smash_product_deform_lie(sp, kappa2)" + "deform2, _ = smash_product_deform_lie(sp, kappa2)" ] }, { @@ -337,7 +337,7 @@ { "data": { "text/plain": [ - "(Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], PBWDeformations.QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" + "(Deformation of Lie Algebra Smash Product with basis x_1, x_2, x_3, v_1, v_2 over Rational Field, (QuadraticQuoAlgebraElem{fmpq}[x_1, x_2, x_3], QuadraticQuoAlgebraElem{fmpq}[v_1, v_2]))" ] }, "execution_count": 10, @@ -349,7 +349,7 @@ "kappa3 = fill(zero(sp.alg), sp.dimV, sp.dimV)\n", "kappa3[1,2] = 4*x_1*x_2 + x_3^2 - 2*x_3 + 42\n", "kappa3[2,1] = -kappa3[1,2]\n", - "deform3, _ = PBWDeformations.smash_product_deform_lie(sp, kappa3)" + "deform3, _ = smash_product_deform_lie(sp, kappa3)" ] }, { @@ -374,7 +374,7 @@ "ArgumentError: kappa is not skew-symmetric.", "", "Stacktrace:", - " [1] smash_product_deform_lie(sp::PBWDeformations.SmashProductLie{fmpq}, kappa::Matrix{PBWDeformations.QuadraticQuoAlgebraElem{fmpq}})", + " [1] smash_product_deform_lie(sp::SmashProductLie{fmpq}, kappa::Matrix{QuadraticQuoAlgebraElem{fmpq}})", " @ PBWDeformations ~/code/pbwdeformations.jl/src/SmashProductDeformLie.jl:27", " [2] top-level scope", " @ In[11]:4", @@ -389,7 +389,7 @@ "kappa4 = fill(zero(sp.alg), sp.dimV, sp.dimV)\n", "kappa4[1,2] = x_2^2\n", "kappa4[2,1] = -x_1\n", - "deform4, _ = PBWDeformations.smash_product_deform_lie(sp, kappa4)" + "deform4, _ = smash_product_deform_lie(sp, kappa4)" ] }, { @@ -435,7 +435,7 @@ } ], "source": [ - "PBWDeformations.ispbwdeform(deform1)" + "ispbwdeform(deform1)" ] }, { @@ -464,7 +464,7 @@ } ], "source": [ - "PBWDeformations.ispbwdeform(deform2)" + "ispbwdeform(deform2)" ] }, { @@ -493,7 +493,7 @@ } ], "source": [ - "PBWDeformations.ispbwdeform(deform3)" + "ispbwdeform(deform3)" ] }, { @@ -553,7 +553,7 @@ { "data": { "text/plain": [ - "3-element Vector{Matrix{PBWDeformations.QuadraticQuoAlgebraElem{fmpq}}}:\n", + "3-element Vector{Matrix{QuadraticQuoAlgebraElem{fmpq}}}:\n", " [0 1; -1 0]\n", " [0 -2*x_3 + 4*x_1*x_2 + x_3^2; 2*x_3 + -4*x_1*x_2 + -1*x_3^2 0]\n", " [0 8*x_3 + 16*x_1*x_2 + -32*x_1*x_2*x_3 + -4*x_3^3 + 16*x_1^2*x_2^2 + 8*x_1*x_2*x_3^2 + x_3^4; -8*x_3 + -16*x_1*x_2 + 32*x_1*x_2*x_3 + 4*x_3^3 + -16*x_1^2*x_2^2 + -8*x_1*x_2*x_3^2 + -1*x_3^4 0]" @@ -565,7 +565,7 @@ } ], "source": [ - "kappas = PBWDeformations.pbwdeforms_all(sp, 4)" + "kappas = pbwdeforms_all(sp, 4)" ] }, { @@ -596,8 +596,8 @@ ], "source": [ "for kappa in kappas\n", - " d, _ = PBWDeformations.smash_product_deform_lie(sp, kappa)\n", - " println(PBWDeformations.ispbwdeform(d))\n", + " d, _ = smash_product_deform_lie(sp, kappa)\n", + " println(ispbwdeform(d))\n", "end" ] }, diff --git a/scripts/CreateDBEntry.jl b/scripts/CreateDBEntry.jl index 31880fed..0d231ba2 100644 --- a/scripts/CreateDBEntry.jl +++ b/scripts/CreateDBEntry.jl @@ -17,7 +17,7 @@ maxdeg = parse(Int, ARGS[4]) using Oscar using PBWDeformations -function kappa_to_string(kappa::Matrix{PBWDeformations.QuadraticQuoAlgebraElem{fmpq}}) +function kappa_to_string(kappa::Matrix{QuadraticQuoAlgebraElem{fmpq}}) dim = size(kappa, 1) string = "[" for i in 1:dim @@ -39,8 +39,8 @@ end for deg in 0:maxdeg @info "Computing PBWDeformations... (degree=$deg)" - sp, _ = PBWDeformations.smash_product_lie(QQ, dynkin, n, lambda) - kappas = PBWDeformations.pbwdeforms_all(sp, deg) + sp, _ = smash_product_lie(QQ, dynkin, n, lambda) + kappas = pbwdeforms_all(sp, deg) @info "Writing Output... (degree=$deg)" path = "db" diff --git a/test/FreeAlgebra-test.jl b/test/FreeAlgebra-test.jl index 2aa83b45..76cea9a8 100644 --- a/test/FreeAlgebra-test.jl +++ b/test/FreeAlgebra-test.jl @@ -1,6 +1,6 @@ @testset ExtendedTestSet "All FreeAlgebra.jl tests" begin @testset "deepcopy_internal" begin - F, (A,) = PD.free_algebra(QQ, ["a"]) + F, (A,) = free_algebra(QQ, ["a"]) B = deepcopy(A) @@ -12,15 +12,15 @@ end @testset "change_base_ring" begin - F_Q, = PD.free_algebra(QQ, ["a"]) - F_Z = PD.change_base_ring(ZZ, F_Q) + F_Q, = free_algebra(QQ, ["a"]) + F_Z = change_base_ring(ZZ, F_Q) @test base_ring(F_Q) != base_ring(F_Z) @test F_Q.S === F_Z.S end @testset "ismonomial" begin - F, (A,) = PD.free_algebra(QQ, ["a"]) + F, (A,) = free_algebra(QQ, ["a"]) @test ismonomial(A) @test ismonomial(A^2) @@ -30,21 +30,21 @@ end @testset "iszero" begin - F, (A,) = PD.free_algebra(QQ, ["a"]) + F, (A,) = free_algebra(QQ, ["a"]) @test iszero(0A) @test !iszero(A) end @testset "isone" begin - F, (A,) = PD.free_algebra(QQ, ["a"]) + F, (A,) = free_algebra(QQ, ["a"]) @test isone(0A + 1) @test !isone(A) end @testset "isgen" begin - F, (A,) = PD.free_algebra(QQ, ["a"]) + F, (A,) = free_algebra(QQ, ["a"]) @test isgen(A) @@ -54,7 +54,7 @@ end @testset "Base.:-" begin - F, (A, B) = PD.free_algebra(QQ, ["a", "b"]) + F, (A, B) = free_algebra(QQ, ["a", "b"]) @test -A !== -A && -A == -A @test A - A == zero(F) == -A + A @@ -62,8 +62,8 @@ end @testset "parent_type" begin - F, (A,) = PD.free_algebra(QQ, ["a"]) + F, (A,) = free_algebra(QQ, ["a"]) - # @test parent_type(A) == PD.FreeAlgebra{fmpq} + # @test parent_type(A) == FreeAlgebra{fmpq} end -end \ No newline at end of file +end diff --git a/test/SmashProductDeformLie-test.jl b/test/SmashProductDeformLie-test.jl index 06309417..fa7f0b59 100644 --- a/test/SmashProductDeformLie-test.jl +++ b/test/SmashProductDeformLie-test.jl @@ -2,13 +2,13 @@ @testset "smash_product_deform_lie constructor" begin @testset "$(dynkin)_$n with hw $lambda; R = $R" for (dynkin, n, lambda) in [('A', 2, [1,1]), ('B', 2, [1,0])], R in [QQ, PolynomialRing(QQ, ["x","y","z"])[1]] - sp, (sp_baseL, sp_baseV) = PD.smash_product_lie(R, dynkin, n, lambda) + sp, (sp_baseL, sp_baseV) = smash_product_lie(R, dynkin, n, lambda) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV) kappa[1,2] = sp_baseL[1] kappa[2,1] = -kappa[1,2] kappa[3,4] = sp_baseL[2] kappa[4,3] = -kappa[3,4] - deform, (baseL, baseV) = PD.smash_product_deform_lie(sp, kappa) + deform, (baseL, baseV) = smash_product_deform_lie(sp, kappa) @test deform.dimL == sp.dimL == length(deform.baseL) @test deform.dimV == sp.dimV == length(deform.baseV) @@ -49,8 +49,8 @@ @testset "smash_product_symmdeform_lie constructor" begin @testset "$(dynkin)_$n with hw $lambda; R = $R" for (dynkin, n, lambda) in [('A', 2, [1,1]), ('B', 2, [1,0])], R in [QQ, PolynomialRing(QQ, ["x","y","z"])[1]] - sp, _ = PD.smash_product_lie(R, dynkin, n, lambda) - deform, (baseL, baseV) = PD.smash_product_symmdeform_lie(sp) + sp, _ = smash_product_lie(R, dynkin, n, lambda) + deform, (baseL, baseV) = smash_product_symmdeform_lie(sp) @test deform.dimL == sp.dimL == length(deform.baseL) @test deform.dimV == sp.dimV == length(deform.baseV) @@ -77,54 +77,54 @@ @testset "smash_product_deform_lie sanitize checks; R = $R" for R in [QQ, PolynomialRing(QQ, ["x","y","z"])[1]] @testset "check dimensions of kappa" begin - sp, _ = PD.smash_product_lie(R, 'B', 2, [1,0]) + sp, _ = smash_product_lie(R, 'B', 2, [1,0]) for eps in [-1,1] kappa = fill(zero(sp.alg), sp.dimV+eps, sp.dimV) - @test_throws ArgumentError("kappa has wrong dimensions.") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa has wrong dimensions.") smash_product_deform_lie(sp, kappa) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV+eps) - @test_throws ArgumentError("kappa has wrong dimensions.") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa has wrong dimensions.") smash_product_deform_lie(sp, kappa) kappa = fill(zero(sp.alg), sp.dimV+eps, sp.dimV+eps) - @test_throws ArgumentError("kappa has wrong dimensions.") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa has wrong dimensions.") smash_product_deform_lie(sp, kappa) end end @testset "check entries of kappa contained in Hopf algebra of smash product" begin - sp, (baseL, baseV) = PD.smash_product_lie(R, 'B', 2, [1,0]) + sp, (baseL, baseV) = smash_product_lie(R, 'B', 2, [1,0]) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV) kappa[1,2] = baseV[1] kappa[2,1] = -kappa[1,2] - @test_throws ArgumentError("kappa does not only take values in the hopf algebra") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa does not only take values in the hopf algebra") smash_product_deform_lie(sp, kappa) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV) kappa[1,2] = baseV[1]*baseL[1] kappa[2,1] = -kappa[1,2] - @test_throws ArgumentError("kappa does not only take values in the hopf algebra") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa does not only take values in the hopf algebra") smash_product_deform_lie(sp, kappa) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV) kappa[1,2] = sp.alg(2) kappa[2,1] = -kappa[1,2] - @test_nowarn PD.smash_product_deform_lie(sp, kappa) + @test_nowarn smash_product_deform_lie(sp, kappa) end @testset "check kappa is skew symmetric" begin - sp, (baseL, baseV) = PD.smash_product_lie(R, 'B', 2, [1,0]) + sp, (baseL, baseV) = smash_product_lie(R, 'B', 2, [1,0]) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV) kappa[1,1] = baseL[1] - @test_throws ArgumentError("kappa is not skew-symmetric.") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa is not skew-symmetric.") smash_product_deform_lie(sp, kappa) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV) kappa[1,2] = baseL[1] - @test_throws ArgumentError("kappa is not skew-symmetric.") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa is not skew-symmetric.") smash_product_deform_lie(sp, kappa) kappa = fill(zero(sp.alg), sp.dimV, sp.dimV) kappa[1,2] = baseL[1] kappa[2,1] = -2*baseL[1] - @test_throws ArgumentError("kappa is not skew-symmetric.") PD.smash_product_deform_lie(sp, kappa) + @test_throws ArgumentError("kappa is not skew-symmetric.") smash_product_deform_lie(sp, kappa) end end @@ -132,19 +132,19 @@ @testset "ispbwdeform" begin @testset "symmetric deformation of $(dynkin)_$n with hw $lambda is PBW" for (dynkin, n, lambda) in [('A', 2, [1,1]), ('B', 2, [1,0])] - sp, _ = PD.smash_product_lie(QQ, dynkin, n, lambda) - d, _ = PD.smash_product_symmdeform_lie(sp) - @test PD.ispbwdeform(d) + sp, _ = smash_product_lie(QQ, dynkin, n, lambda) + d, _ = smash_product_symmdeform_lie(sp) + @test ispbwdeform(d) end @testset "non-PBW deformations" begin - sp, (baseL, baseV) = PD.smash_product_lie(QQ, 'A', 2, [1,0]) + sp, (baseL, baseV) = smash_product_lie(QQ, 'A', 2, [1,0]) kappa = fill(zero(sp.alg), 3, 3) # some made-up skew-symmetric entries kappa[1,2] = baseL[2] kappa[2,1] = -baseL[2] - d, _ = PD.smash_product_deform_lie(sp, kappa) - @test !PD.ispbwdeform(d) + d, _ = smash_product_deform_lie(sp, kappa) + @test !ispbwdeform(d) end end @@ -174,15 +174,15 @@ end @testset "coefficient_comparison tests" begin - A, (x,y,z) = PD.free_algebra(QQ, ["x", "y", "z"]) + A, (x,y,z) = free_algebra(QQ, ["x", "y", "z"]) eq = QQ(2//3)*x + 88*y*z - 12*x*z + 3*y + 0*z^4 - 2*y + 12*x*z @test issetequal(PD.coefficient_comparison(eq), elem_type(QQ)[2//3, 88, 1]) end @testset "pbwdeforms_all tests" begin - sp, _ = PD.smash_product_lie(QQ, 'A', 1, [1]) + sp, _ = smash_product_lie(QQ, 'A', 1, [1]) @testset "A_1 with hw [1], maxdeg = $maxdeg" for maxdeg in 0:8 - base = PD.pbwdeforms_all(sp, maxdeg) + base = pbwdeforms_all(sp, maxdeg) @test length(base) == 1 + div(maxdeg, 2) @@ -204,9 +204,9 @@ end end - sp, _ = PD.smash_product_lie(QQ, 'B', 2, [1,0]) + sp, _ = smash_product_lie(QQ, 'B', 2, [1,0]) @testset "B_2 with hw [1,0], maxdeg = $maxdeg" for maxdeg in 0:2 - base = PD.pbwdeforms_all(sp, maxdeg) + base = pbwdeforms_all(sp, maxdeg) @test length(base) == div(maxdeg+1, 2) @@ -218,7 +218,7 @@ if length(base) >= 1 @test repr("text/plain", base[1]) == """ - 5×5 Matrix{PBWDeformations.QuadraticQuoAlgebraElem{fmpq}}: + 5×5 Matrix{QuadraticQuoAlgebraElem{fmpq}}: 0 -1*x_4 x_3 -1*x_1 x_9 + 1//2*x_10 x_4 0 x_2 -1//2*x_10 x_5 -1*x_3 -1*x_2 0 -1*x_6 x_7 diff --git a/test/SmashProductLie-test.jl b/test/SmashProductLie-test.jl index 7ecd2516..ce9df02a 100644 --- a/test/SmashProductLie-test.jl +++ b/test/SmashProductLie-test.jl @@ -2,7 +2,7 @@ @testset "smash_product_lie constructor using GAP; R = $R" for R in [QQ, PolynomialRing(QQ, ["x","y","z"])[1]] @testset "consistency for $(dynkin)_$n with hw $lambda" for (dynkin, n, lambda) in [('A', 1, [1]), ('A', 2, [1,1]), ('B', 2, [1,0])] - sp, (baseL, baseV) = PD.smash_product_lie(R, dynkin, n, lambda) + sp, (baseL, baseV) = smash_product_lie(R, dynkin, n, lambda) @test sp.dimL == length(sp.baseL) @test sp.dimV == length(sp.baseV) @@ -21,7 +21,7 @@ end @testset "commutators for A_1 with hw [1]" begin - sp, (baseL, baseV) = PD.smash_product_lie(R, 'A', 1, [1]) + sp, (baseL, baseV) = smash_product_lie(R, 'A', 1, [1]) @test sp.dimL == 3 @test sp.dimV == 2 @@ -53,7 +53,7 @@ end @testset "commutators for A_2 with hw [1,1]" begin - sp, (baseL, baseV) = PD.smash_product_lie(R, 'A', 2, [1,0]) + sp, (baseL, baseV) = smash_product_lie(R, 'A', 2, [1,0]) @test sp.dimL == 8 @test sp.dimV == 3 @@ -141,7 +141,7 @@ [(1, 1)], [(-1, 2)], ], 2, 3), (2, 1)) - sp, (baseL, baseV) = PD.smash_product_lie(R, symbL, symbV, struct_const_L, struct_const_V) + sp, (baseL, baseV) = smash_product_lie(R, symbL, symbV, struct_const_L, struct_const_V) @test dimL == sp.dimL == length(sp.baseL) @test dimV == sp.dimV == length(sp.baseV) From 4e437bdf5114690ee53c4fda38ac531f7c028440 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Thu, 13 Jan 2022 17:53:15 +0100 Subject: [PATCH 4/4] bump to 0.1.0 --- Project.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Project.toml b/Project.toml index 9f681448..8a46b008 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "PBWDeformations" uuid = "5e7992ee-18b2-4301-9ba0-4f17696dc75a" -authors = ["Johannes Flake ", "Lars Göttgens ", "Phil Pützstück "] -version = "0.0.0" +authors = ["Johannes Flake ", "Lars Göttgens "] +version = "0.1.0" [deps] AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"