mjo/clan: add tests for zero-dimensional clans

diff --git a/mjo/clan/jordan_spin_clan.py b/mjo/clan/jordan_spin_clan.py
index a90476c3eaf6f86692dd7a71fd9244639719f77a..710dcf4bf19d7a2249a587c9f8816b404f75f4b6 100644 (file)
--- 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 e688c12ba2e61762caecfc211447f057ac19cd56..6f475c4939aa34e1897cefaff54266932f6cfa3f 100644 (file)
--- 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):