From acbeb9b67ee8e2b11d8ed05fcd851ab2643fa2d7 Mon Sep 17 00:00:00 2001
From: Zeno Rogue <zeno@attnam.com>
Date: Fri, 10 Oct 2025 09:48:18 +0200
Subject: [PATCH] is_highly_symmetric function

---
 geom-exp.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/geom-exp.cpp b/geom-exp.cpp
index 3067b0b0..58b65e28 100644
--- a/geom-exp.cpp
+++ b/geom-exp.cpp
@@ -459,6 +459,13 @@ EX string dim_name() {
   return " (" + its(WDIM) + "D)";
   }
 
+EX bool is_highly_symmetric(eGeometry g) {
+  if(among(g, gFieldQuotient, gBolza, gKleinQuartic, gBolza2, gMacbeath, gSeifertWeber, gHomologySphere, gSeifertCover)) return true;
+  if(quotient && among(g, gArnoldCat, gNil)) return true;
+  if(mhybrid) return PIU(is_highly_symmetric(g));
+  return false;
+  }
+
 #if CAP_THREAD && MAXMDIM >= 4
 EX void showQuotientConfig3() {