From 36800d2c8c159f08271e41fbf8ee1d3574fb1589 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Tue, 7 Apr 2026 14:21:19 +0200 Subject: [PATCH] Add test for inferrability of algebra element --- test/monomial.jl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/test/monomial.jl b/test/monomial.jl index 3f75aa1..7cee46b 100644 --- a/test/monomial.jl +++ b/test/monomial.jl @@ -33,6 +33,13 @@ function test_monomial(x, y) @test sprint(print, basis) == "SubBasis{Monomial}([y, x])" end + @testset "FullBasis type stability" begin + fb = @inferred MB.FullBasis{MB.Monomial}(x * y) + @test isconcretetype(typeof(fb)) + a = @inferred MB.algebra_element(x + y) + @test isconcretetype(typeof(a)) + end + @testset "FullBasis printing" begin fb = MB.FullBasis{MB.Monomial}(x * y) @test sprint(show, fb) == "FullBasis{Monomial}([x, y])"