From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 4 Mar 2026 13:03:21 +0000 (-0500)
Subject: mjo/clan/normal_decomposition.py: special case for rank zero
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=df848b3ad32389021c63bbd9aa3af37118f40baa;p=sage.d.git

mjo/clan/normal_decomposition.py: special case for rank zero
---

diff --git a/mjo/clan/normal_decomposition.py b/mjo/clan/normal_decomposition.py
index 89ca025..fb9d8bf 100644
--- a/mjo/clan/normal_decomposition.py
+++ b/mjo/clan/normal_decomposition.py
@@ -30,11 +30,14 @@ class NormalDecomposition(Clan):
 
         category = Clans(scalar_field).or_subcategory(category).Unital()
 
-        # The normal decomposition assumes that we already have a
-        # lower-triangular (Ishi) basis of the form (i,j,k).
-        self._rank = 1 + max( k[0]
-                              for k in vector_space.indices()
-                              if k[0] == k[1] )
+        if vector_space.dimension().is_zero():
+            self._rank = 0
+        else:
+            # The normal decomposition assumes that we already have a
+            # lower-triangular (Ishi) basis of the form (i,j,k).
+            self._rank = 1 + max( k[0]
+                                  for k in vector_space.indices()
+                                  if k[0] == k[1] )
 
         super().__init__(vector_space,
                          clan_product,