From 6694bd5ac07d5ffab5647683669039796fa3bb94 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 20 May 2026 15:33:04 +0200 Subject: [PATCH] Replace PositionNot by PositionNonZero --- gap/pcpgrp/tensor.gi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gap/pcpgrp/tensor.gi b/gap/pcpgrp/tensor.gi index 7be22a8..7def60d 100644 --- a/gap/pcpgrp/tensor.gi +++ b/gap/pcpgrp/tensor.gi @@ -377,7 +377,7 @@ InstallGlobalFunction( QuotientBySystem, function(coll, sys, n) Q := D.coltrans; D := D.normal; d := [1..Length(M[1])] * 0; - d{List( D, r->PositionNot( r, 0 ) )} := + d{List( D, r->PositionNonZero( r ) )} := List( D, r->First( r, e->e<>0 ) ); fi;