From 6fec57861629da1e9ff137e1d4c49ebd470a1aad Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 4 Mar 2026 09:40:28 -0500
Subject: [PATCH] mjo/clan: add tests for zero-dimensional clans

---
 mjo/clan/jordan_spin_clan.py | 10 ++++++++++
 mjo/clan/t_algebra_clan.py   | 20 ++++++++++++++++++++
 2 files changed, 30 insertions(+)

diff --git a/mjo/clan/jordan_spin_clan.py b/mjo/clan/jordan_spin_clan.py
index a90476c..710dcf4 100644
--- a/mjo/clan/jordan_spin_clan.py
+++ b/mjo/clan/jordan_spin_clan.py
@@ -96,6 +96,16 @@ class JordanSpinClan(NormalDecomposition):
         sage: JordanSpinClan(3, scalar_field=AA)
         Jordan spin clan of dimension 3 over Algebraic Real Field
 
+    Trivial instances work, though you won't get back an instance of
+    the :class:`TrivialClan` class::
+
+        sage: C = JordanSpinClan(0); C
+        Jordan spin clan of dimension 0 over Rational Field
+        sage: C.dimension()
+        0
+        sage: C.one()
+        0
+
     """
     from sage.rings.rational_field import QQ
     def __init__(self, n, scalar_field=QQ, **kwargs):
diff --git a/mjo/clan/t_algebra_clan.py b/mjo/clan/t_algebra_clan.py
index e688c12..6f475c4 100644
--- a/mjo/clan/t_algebra_clan.py
+++ b/mjo/clan/t_algebra_clan.py
@@ -241,6 +241,16 @@ class RealSymmetricClan(TAlgebraClan):
         sage: RealSymmetricClan(2, scalar_field=AA)
         Clan S^2 over Algebraic Real Field
 
+    Trivial instances work, though you won't get back an instance of
+    the :class:`TrivialClan` class::
+
+        sage: C = RealSymmetricClan(0); C
+        Clan S^0 over Rational Field
+        sage: C.dimension()
+        0
+        sage: C.one()
+        0
+
     """
     from sage.rings.rational_field import QQ
     def __init__(self, n, scalar_field=QQ, **kwargs):
@@ -363,6 +373,16 @@ class ComplexHermitianClan(TAlgebraClan):
         sage: ComplexHermitianClan(2, scalar_field=AA)
         Clan H^2 over Algebraic Real Field
 
+    Trivial instances work, though you won't get back an instance of
+    the :class:`TrivialClan` class::
+
+        sage: C = ComplexHermitianClan(0); C
+        Clan H^0 over Rational Field
+        sage: C.dimension()
+        0
+        sage: C.one()
+        0
+
     """
     from sage.rings.rational_field import QQ
     def __init__(self, n, scalar_field=QQ, **kwargs):
-- 
2.51.0