FormalPolyhedraModule.__init__: Add test

Author: Matthias Koeppe

src/sage/geometry/polyhedron/modules/formal_polyhedra_module.py

@@ -95,6 +95,17 @@ def __classcall__(cls, base_ring, dimension, basis, category=None):
     def __init__(self, base_ring, dimension, basis, category):
         """
         Construct a free module generated by the polyhedra in ``basis``.
+
+        TESTS::
+
+            sage: from sage.geometry.polyhedron.modules.formal_polyhedra_module import FormalPolyhedraModule
+            sage: def closed_interval(a,b): return Polyhedron(vertices=[[a], [b]])
+            sage: I01 = closed_interval(0, 1); I01.rename("conv([0], [1])")
+            sage: I11 = closed_interval(1, 1); I11.rename("{[1]}")
+            sage: I12 = closed_interval(1, 2); I12.rename("conv([1], [2])")
+            sage: I02 = closed_interval(0, 2); I02.rename("conv([0], [2])")
+            sage: M = FormalPolyhedraModule(QQ, 1, basis=[I01, I11, I12, I02])
+            sage: TestSuite(M).run()
         """
         super(FormalPolyhedraModule, self).__init__(base_ring, basis, prefix="", category=category)