kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-01 10:15:28 +01:00
Code Issues Releases Wiki Activity

small fix: alphabet permutations

Browse Source
This commit is contained in:
Marek Kaluba 2024-02-06 13:32:00 +01:00
parent 589b30812f
commit 826de34807
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/actions/alphabet_permutation.jl
View File

@ -37,7 +37,15 @@ end
function SymbolicWedderburn.action(
act::AlphabetPermutation,
γ::Groups.GroupElement,
γ::PermutationGroups.Perms.AbstractPermutation,
w::Groups.AbstractWord,
)
return w^(act.perms[γ])
end
function SymbolicWedderburn.action(
act::AlphabetPermutation,
γ::GroupsCore.GroupElement,
w::Groups.AbstractWord,
)
return w^(act.perms[γ])