Skip to content

Commit

Permalink
Prepare for release compatible with OSCAR 1.0 (#155)
Browse files Browse the repository at this point in the history
  • Loading branch information
@lgoettgens
lgoettgens authored Jun 12, 2024
1 parent c16b428 commit 71fc33e
Show file tree
Hide file tree
Showing 17 changed files with 80 additions and 97 deletions.
29 changes: 6 additions & 23 deletions .github/workflows/Documentation.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,29 +20,12 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4

- name: "Set up Julia"
uses: julia-actions/setup-julia@latest
- uses: julia-actions/setup-julia@v2
with:
version: '1.10'

- name: Restore cache
uses: julia-actions/cache@v1
with:
cache-name: 'docs-1.10'

- name: "Instantiate deps (including Oscar.jl master)"
shell: julia --project=docs/ --color=yes {0}
run: |
using Pkg
include(joinpath(pwd(), "etc", "add_oscar.jl"))
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()
env:
JULIA_PKG_PRECOMPILE_AUTO: no

- name: Build and deploy
- uses: julia-actions/cache@v1
- uses: julia-actions/julia-buildpkg@v1
- uses: julia-actions/julia-docdeploy@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
run: julia --project=docs/ --color=yes docs/make.jl
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
19 changes: 14 additions & 5 deletions .github/workflows/OscarTests.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,9 @@ jobs:
matrix:
julia-version:
- '1.6'
- '1.8'
- '1.9'
- '1.10'
- '1.11-nightly'
# - 'nightly'
- 'nightly'
julia-arch:
- x64
os:
Expand Down Expand Up @@ -66,10 +64,21 @@ jobs:
cache-name: julia-cache;workflow=${{ github.workflow }};julia=${{ matrix.julia-version }};arch=${{ runner.arch }}
include-matrix: false

- name: "Add deps (including Oscar.jl master)"
- name: "Remove Oscar.jl compat"
shell: julia --color=yes {0}
run: |
using TOML
project = TOML.parsefile("Project.toml")
project["compat"]["Oscar"] = "1"
open("Project.toml", "w") do io
TOML.print(io, project)
end
- name: "Dev Oscar.jl master"
shell: julia --project=. --color=yes {0}
run: |
include(joinpath(pwd(), "etc", "add_oscar.jl"))
using Pkg
Pkg.add(url="https://github.com/oscar-system/Oscar.jl", rev="master")
env:
JULIA_PKG_PRECOMPILE_AUTO: no

Expand Down
4 changes: 1 addition & 3 deletions .github/workflows/Tests.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,9 @@ jobs:
matrix:
julia-version:
- '1.6'
- '1.8'
- '1.9'
- '1.10'
- '1.11-nightly'
# - 'nightly'
- 'nightly'
julia-arch:
- x64
os:
Expand Down
1 change: 0 additions & 1 deletion OSCAR.rev
View file

This file was deleted.

6 changes: 2 additions & 4 deletions Project.toml
View file
Original file line number Diff line number Diff line change
@@ -1,13 +1,11 @@
name = "PBWDeformations"
uuid = "5e7992ee-18b2-4301-9ba0-4f17696dc75a"
authors = ["Lars Göttgens <[email protected]>", "Johannes Flake <[email protected]>"]
version = "0.3.0-DEV"
version = "0.3.0"

[deps]
AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"

[compat]
AbstractAlgebra = "0.40.0"
Oscar = "1.0"
Oscar = "~1.0.3"
julia = "1.6"
9 changes: 2 additions & 7 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,16 +8,11 @@

## Install

To install this package in Julia, clone it from github and then run the following command in the Julia REPL from the package directory:
To install this package in Julia:
```
using Pkg
Pkg.activate(".")
include(joinpath(pwd(), "etc", "add_oscar.jl"))
using PBWDeformations, Oscar
using Pkg; Pkg.add("PBWDeformations")
```

This package depends on a development version of the [Oscar](https://oscar.computeralgebra.de/) package. The `add_oscar.jl` script will add the Oscar package to the current environment. If you want to use the package in a different environment, you can run the `add_oscar.jl` script int the other environment to obtain the specific version of Oscar.

## Functionality

The package will provide both a general framework and specialized functions in order to
Expand Down
9 changes: 2 additions & 7 deletions docs/src/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,16 +17,11 @@ To solve classification problems efficiently, we use representation theoretic id
- For some modules of ``\mathfrak{so}_n``, give an explicit basis using arc diagrams or pseudographs (cf. [FM22](@cite)).

## Installation
o install this package in Julia, clone it from github and then run the following command in the Julia REPL from the package directory:
As this package heavily relies on [Oscar](https://oscar.computeralgebra.de/), it is recommended to install Oscar first ([installation instructions](https://oscar.computeralgebra.de/install/)). Then, install this package via the Julia package manager:
```
using Pkg
Pkg.activate(".")
include(joinpath(pwd(), "etc", "add_oscar.jl"))
using PBWDeformations, Oscar
] add PBWDeformations
```

This package depends on a development version of the [Oscar](https://oscar.computeralgebra.de/) package. The `add_oscar.jl` script will add the Oscar package to the current environment. If you want to use the package in a different environment, you can run the `add_oscar.jl` script int the other environment to obtain the specific version of Oscar.

## Outline
```@contents
Pages = [
Expand Down
3 changes: 0 additions & 3 deletions etc/add_oscar.jl
View file

This file was deleted.

3 changes: 3 additions & 0 deletions src/DeformationBases/ArcDiagDeformBasis.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
3 changes: 3 additions & 0 deletions src/DeformationBases/PseudographDeformBasis.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion src/LinearIndependence.jl
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
const _linear_independence_rref_cutoff = 0

function column_rref!(mat::MatElem{T}) where {T <: FieldElem}
rk = rref!(AbstractAlgebra.Solve.lazy_transpose(mat))
rk = rref!(Oscar.AbstractAlgebra.Solve.lazy_transpose(mat))
return view(mat, :, 1:rk)
end

Expand Down
14 changes: 7 additions & 7 deletions src/PBWDeformations.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module PBWDeformations

using Oscar

using AbstractAlgebra: ProductIterator
using Oscar.AbstractAlgebra: ProductIterator

using Oscar: IntegerUnion

Expand All @@ -20,12 +20,12 @@ using Oscar.LieAlgebras: permutations
using Oscar.LieAlgebras: permutations_with_sign


import AbstractAlgebra: coefficient_ring
import AbstractAlgebra: elem_type
import AbstractAlgebra: gen
import AbstractAlgebra: gens
import AbstractAlgebra: ngens
import AbstractAlgebra: parent_type
import Oscar.AbstractAlgebra: coefficient_ring
import Oscar.AbstractAlgebra: elem_type
import Oscar.AbstractAlgebra: gen
import Oscar.AbstractAlgebra: gens
import Oscar.AbstractAlgebra: ngens
import Oscar.AbstractAlgebra: parent_type

import Oscar: base_lie_algebra
import Oscar: comm
Expand Down
38 changes: 19 additions & 19 deletions test/DeformationBases-test.jl
View file
Original file line number Diff line number Diff line change
@@ -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)
Expand All @@ -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)

Expand All @@ -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)
Expand All @@ -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)

Expand All @@ -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)

Expand All @@ -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)

Expand All @@ -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)

Expand All @@ -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)

Expand All @@ -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)

Expand All @@ -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)

Expand All @@ -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)

Expand All @@ -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)
Expand All @@ -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)

Expand All @@ -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)
Expand Down
2 changes: 1 addition & 1 deletion test/ModuleSimpleStructure-test.jl
View file
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion test/SmashProductLie-test.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down
Loading

5 comments on commit 71fc33e

@lgoettgens
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register

@lgoettgens
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Error while trying to register: Changing package repo URL not allowed, please submit a pull request with the URL change to the target registry and retry.

@lgoettgens
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/108783

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
"Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the
release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.3.0 -m "<description of version>" 71fc33edfadd9914e31b802bc14a21d82a4c4c5d
git push origin v0.3.0

Please sign in to comment.