test aug for Augmented basis

JuliaAlgebra · Apr 17, 2024 · 5c20325 · 5c20325
1 parent e60f27b
commit 5c20325
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/perm_grp_algebra.jl b/test/perm_grp_algebra.jl
@@ -47,6 +47,7 @@
 
         @test coeffs(ax * ay) == SA.coeffs(x * y, basis(IG))
         @test coeffs(ax * az) == SA.coeffs(x * z, basis(IG))
+        @test SA.aug(ax) == 0
     end
 
     @testset "Random elements" begin