kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-22 16:05:27 +01:00
Code Issues Releases Wiki Activity

PG.degree is not guaranteed to be constant

Browse Source
This commit is contained in:
Marek Kaluba 2024-02-19 18:42:42 +01:00
parent 3b9c75604c
commit 526def226e
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/actions/spn_conjugation.jl
View File

@ -5,7 +5,6 @@ function _conj(
σ::PG.AbstractPermutation, σ::PG.AbstractPermutation,
) where {N,T} ) where {N,T}
@assert iseven(N) @assert iseven(N)
@assert PG.degree(σ) ≤ N ÷ 2 "Got degree = $(PG.degree(σ)); N = $N"
n = N ÷ 2 n = N ÷ 2
@assert 1 ≤ s.i ≤ N @assert 1 ≤ s.i ≤ N
@assert 1 ≤ s.j ≤ N @assert 1 ≤ s.j ≤ N