From 0d16f75080d02010f665bb531043cce3104b8c04 Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Tue, 23 Apr 2024 11:12:04 +0200 Subject: [PATCH] use SchreierExtensionHomomorphism instead of Cached one --- src/group_action_error.jl | 2 +- src/sa_basis.jl | 8 ++++---- src/wedderburn_decomposition.jl | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/group_action_error.jl b/src/group_action_error.jl index f9bc5db..29a4d22 100644 --- a/src/group_action_error.jl +++ b/src/group_action_error.jl @@ -177,6 +177,6 @@ function check_group_action( basis::StarAlgebras.ExplicitBasis; full_check = false, ) - ehom = CachedExtensionHomomorphism(G, act, basis; precompute = false) + ehom = SchreierExtensionHomomorphism(G, act, basis; memoize = false) return check_group_action(G, ehom; full_check = full_check) end diff --git a/src/sa_basis.jl b/src/sa_basis.jl index e14792a..0403425 100644 --- a/src/sa_basis.jl +++ b/src/sa_basis.jl @@ -137,11 +137,11 @@ function symmetry_adapted_basis( semisimple = false, ) tbl = CharacterTable(S, G) - ehom = CachedExtensionHomomorphism( + ehom = SchreierExtensionHomomorphism( parent(tbl), action, basis; - precompute = true, + memoize = true, ) check_group_action(G, ehom; full_check = false) return symmetry_adapted_basis( @@ -161,11 +161,11 @@ function symmetry_adapted_basis( semisimple = false, ) tbl = CharacterTable(S, G) - ehom = CachedExtensionHomomorphism( + ehom = SchreierExtensionHomomorphism( parent(tbl), action, basis; - precompute = true, + memoize = true, ) check_group_action(G, ehom; full_check = false) return symmetry_adapted_basis(T, tbl, ehom; semisimple = semisimple) diff --git a/src/wedderburn_decomposition.jl b/src/wedderburn_decomposition.jl index fc2c055..3c332ca 100644 --- a/src/wedderburn_decomposition.jl +++ b/src/wedderburn_decomposition.jl @@ -62,7 +62,7 @@ function WedderburnDecomposition( tbl = CharacterTable(S, G) invariants = Threads.@spawn invariant_vectors(tbl, action, basis_full) - ehom = CachedExtensionHomomorphism(G, action, basis_half; precompute = true) + ehom = SchreierExtensionHomomorphism(G, action, basis_half; memoize = true) check_group_action(G, ehom; full_check = false) Uπs = Threads.@spawn symmetry_adapted_basis(