From 061a06295742e25ea61fe5a500fdc1c1c5f1532f Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Mon, 8 Jul 2024 15:16:30 +0200 Subject: [PATCH] fix --- .github/workflows/examples.yml | 16 ++++++++-------- examples/ex_C2_linear.jl | 2 +- examples/ex_robinson_form.jl | 6 +++--- examples/sos_problem.jl | 4 ++-- 4 files changed, 14 insertions(+), 14 deletions(-) diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml index 199f64e..d47d127 100644 --- a/.github/workflows/examples.yml +++ b/.github/workflows/examples.yml @@ -44,21 +44,21 @@ jobs: - name: Example C₂ linear action shell: julia --project=examples {0} run: | - include("examples/preamble.jl"); - include("examples/ex_C2.linear.jl") + include(joinpath(pwd(), "examples/preamble.jl")) + include(joinpath(pwd(), "examples/ex_C2_linear.jl")) - name: Example a polynomial with Sym(4)-symmetry shell: julia --project=examples {0} run: | - include("examples/preamble.jl"); - include("examples/ex_S4.jl") + include(joinpath(pwd(), "examples/preamble.jl")) + include(joinpath(pwd(), "examples/ex_S4.jl")) - name: Example Motzkin polynomial shell: julia --project=examples {0} run: | - include("examples/preamble.jl"); - include("examples/ex_motzkin.jl") + include(joinpath(pwd(), "examples/preamble.jl")) + include(joinpath(pwd(), "examples/ex_motzkin.jl")) - name: Example Robinson Form shell: julia --project=examples {0} run: | - include("examples/preamble.jl"); - include("examples/ex_robinson_form.jl") + include(joinpath(pwd(), "examples/preamble.jl")) + include(joinpath(pwd(), "examples/ex_robinson_form.jl")) diff --git a/examples/ex_C2_linear.jl b/examples/ex_C2_linear.jl index e715ed0..4fdae93 100644 --- a/examples/ex_C2_linear.jl +++ b/examples/ex_C2_linear.jl @@ -60,7 +60,7 @@ end ssimple_basis = SW.symmetry_adapted_basis(Float64, G, By90Rotation(), monomial_basis) degs = SW.degree.(ssimple_basis) - mlts = multiplicity.(ssimple_basis) + mlts = SW.multiplicity.(ssimple_basis) @test sum(d * m for (d, m) in zip(degs, mlts)) == length(monomial_basis) @test sum(first ∘ size, ssimple_basis) == length(monomial_basis) end diff --git a/examples/ex_robinson_form.jl b/examples/ex_robinson_form.jl index 0114241..5a87848 100644 --- a/examples/ex_robinson_form.jl +++ b/examples/ex_robinson_form.jl @@ -26,8 +26,8 @@ include(joinpath(@__DIR__, "dihedral.jl")) struct DihedralAction <: OnMonomials end -SymbolicWedderburn.coeff_type(::DihedralAction) = Int -function SymbolicWedderburn.action( +SW.coeff_type(::DihedralAction) = Int +function SW.action( ::DihedralAction, el::DihedralElement, mono::AbstractMonomial, @@ -45,7 +45,7 @@ end G = DihedralGroup(4) for g in G - @assert SymbolicWedderburn.action(DihedralAction(), g, robinson_form) == + @assert SW.action(DihedralAction(), g, robinson_form) == robinson_form end diff --git a/examples/sos_problem.jl b/examples/sos_problem.jl index 9c7cd24..9836827 100644 --- a/examples/sos_problem.jl +++ b/examples/sos_problem.jl @@ -103,7 +103,7 @@ function sos_problem( C = DP.coefficients(poly - t, SW.basis(wedderburn)) - for iv in invariant_vectors(wedderburn) + for iv in SW.invariant_vectors(wedderburn) c = dot(C, iv) M_orb = invariant_constraint!(M_orb, M, iv) # Mπs = SW.diagonalize!(Mπs, M_orb, wedderburn) @@ -147,7 +147,7 @@ function sos_problem( basis = SA.FixedBasis(basis_constraints, SA.DiracMStructure(*)) tblG = SW.Characters.CharacterTable(Rational{Int}, G) - iv = invariant_vectors(tblG, action, basis) + iv = SW.invariant_vectors(tblG, action, basis) iv, basis end