From a5e0eafc5bc75d77db0378cc853e6915697dd968 Mon Sep 17 00:00:00 2001 From: ThomasBreuer Date: Fri, 24 Oct 2025 11:22:03 +0200 Subject: [PATCH 1/2] describe a character abstractly not via its position --- .../decker-schmitt-invariant-theory/cox_ring.jlcon | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon b/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon index 666fe4098e48..92df1f3a6c51 100644 --- a/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon +++ b/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon @@ -9,7 +9,11 @@ julia> G = matrix_group(g1, g2) Matrix group of degree 3 over cyclotomic field of order 3 -julia> chi = character_table(G)[6]; +julia> tbl = character_table(G); F, _ = abelian_closure(QQ); + +julia> p = x -> order(kernel(x)[1]) == 8 && x(G(g2)) == F(z_3); + +julia> chi = iterate(x for x in tbl if p(x))[1]; julia> RG = invariant_ring(G) Invariant ring From b4436a1c7755558efaa0f092ad3cbbf267b6921d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Fri, 24 Oct 2025 11:33:56 +0200 Subject: [PATCH 2/2] Update test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon --- .../decker-schmitt-invariant-theory/cox_ring.jlcon | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon b/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon index 92df1f3a6c51..5b6a63eac415 100644 --- a/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon +++ b/test/book/specialized/decker-schmitt-invariant-theory/cox_ring.jlcon @@ -11,9 +11,7 @@ Matrix group of degree 3 julia> tbl = character_table(G); F, _ = abelian_closure(QQ); -julia> p = x -> order(kernel(x)[1]) == 8 && x(G(g2)) == F(z_3); - -julia> chi = iterate(x for x in tbl if p(x))[1]; +julia> chi = only(x for x in tbl if order(kernel(x)[1]) == 8 && x(G(g2)) == F(z_3)); julia> RG = invariant_ring(G) Invariant ring