From 7907137fb5b6ca3c3ca5ff572f16331102baf6f2 Mon Sep 17 00:00:00 2001
From: Marek Kaluba <kalmar@amu.edu.pl>
Date: Mon, 7 Nov 2022 18:44:42 +0100
Subject: [PATCH] define group_algebra

---
 src/PropertyT.jl | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 838f40f..c9adba4 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -25,7 +25,19 @@ include("gradings.jl")
 
 include("actions/actions.jl")
 
-include("1712.07167.jl")
-include("1812.03456.jl")
+function group_algebra(G::Groups.Group, S=gens(G); halfradius::Integer, twisted::Bool)
+    S = union!(S, inv.(S))
+    @info "generating wl-metric ball of radius $(2halfradius)"
+    @time E, sizes = Groups.wlmetric_ball_serial(S, radius=2halfradius)
+    @info "sizes = $(sizes)"
+    @info "computing the *-algebra structure for G"
+    @time RG = StarAlgebras.StarAlgebra{twisted}(
+        G,
+        StarAlgebras.Basis{UInt32}(E),
+        (sizes[halfradius], sizes[halfradius]),
+        precompute=false,
+    )
+    return RG, S, sizes
+end
 
 end # module Property(T)