]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
mjo/clan: complete the migration to three coordinates
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 23 Jan 2026 16:50:23 +0000 (11:50 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 23 Jan 2026 16:50:23 +0000 (11:50 -0500)
Three coordinates are needed to identify a basis element in general:
(i,j) to identify the component, and then "k" for the basis within
the (i,j)th component.

This should allow us to define HnClan, which has 2d off-diagonal
components.

mjo/clan/clan_element.py

index 4aba6d1fb437b50a61b5f9a1aeaeaa71b134f396..6383703007124409be82e930d1d850bfe52faa39 100644 (file)
@@ -50,8 +50,12 @@ class NormalDecompositionElement(ClanElement):
     An element of a :class:`NormalDecomposition`.
 
     These may have additional methods that require knowledge of the
-    coordinates in a normal decomposition.
+    coordinates in a normal decomposition. The basis should follow the
+    Ishi convention with the components (i,j) being ordered
+    lexicographically and then within each component the basis
+    elements (i,j,k) ordered arbitrarily.
     """
+
     def tr(self):
         r"""
         The clan trace of this element; the sum of its diagonal
@@ -243,7 +247,7 @@ class NormalDecompositionElement(ClanElement):
             8
 
         """
-        return self.seq(k)[k,k]
+        return self.seq(k)[k,k,1]
 
 
     def chi(self, k):