some care in bliss.pyx

Author: dcoudert

src/sage/graphs/bliss.pyx

@@ -67,8 +67,8 @@ cdef extern from "bliss_cpp/bliss_find_automorphisms.h":
 
 cdef int encoding_numbits(int n):
     r"""
-    Return the number of bits needed to encode the ``n`` numbers from ``1`` to ``n``. In
-    other words, the last bit set in ``n``.
+    Return the number of bits needed to encode the `n` numbers from `1` to
+    `n`. In other words, the last bit set in `n`.
     """
     if n <= 0:
         return 0
@@ -480,9 +480,9 @@ cpdef canonical_form(G, partition=None, return_graph=False, use_edge_labels=True
         sage: # needs sage.modules
         sage: g1 = Graph([(0, 1, matrix(ZZ, 2)), (0, 2, RDF.pi()), (1, 2, 'a')])
         sage: g2 = Graph([(1, 2, matrix(ZZ, 2)), (2, 0, RDF.pi()), (0, 1, 'a')])
-        sage: g1can = canonical_form(g1, use_edge_labels=True)  # optional - bliss
-        sage: g2can = canonical_form(g2, use_edge_labels=True)  # optional - bliss
-        sage: g1can == g2can                    # optional - bliss
+        sage: g1can = canonical_form(g1, use_edge_labels=True)              # optional - bliss
+        sage: g2can = canonical_form(g2, use_edge_labels=True)              # optional - bliss
+        sage: g1can == g2can                                                # optional - bliss
         True
 
     Check that :trac:`32395` is fixed::
@@ -666,12 +666,12 @@ cpdef automorphism_group(G, partition=None, use_edge_labels=True):
 
     - ``G`` -- a Sage graph
 
-    - ``partition`` -- ``list``(default: ``None``); a partition of the vertices
+    - ``partition`` -- ``list`` (default: ``None``); a partition of the vertices
       of ``G`` into color classes. Defaults to ``None``, which is equivalent to
       a partition of size 1.
 
-    - ``use_edge_labels`` -- boolean (default: ``True``); whether to consider edge
-      labels
+    - ``use_edge_labels`` -- boolean (default: ``True``); whether to consider
+      edge labels
 
     EXAMPLES::
 
@@ -687,9 +687,9 @@ cpdef automorphism_group(G, partition=None, use_edge_labels=True):
         sage: automorphism_group(D).cardinality()
         2
 
-    Observe that the order 12 is given by permuting the first three vertices, or the last two
-    in the case of a graph, while only the latter two are possible in the case of a directed
-    graph.
+    Observe that the order 12 is given by permuting the first three vertices, or
+    the last two in the case of a graph, while only the latter two are possible
+    in the case of a directed graph.
 
     Partitioning the vertices into classes::
 
@@ -701,24 +701,23 @@ cpdef automorphism_group(G, partition=None, use_edge_labels=True):
         2
         sage: automorphism_group(G,partition=[[0],[1,2],[3,4]]).cardinality()
         4
-
-        sage: automorphism_group(G,partition=[[1,2],[0,3],[4]]).cardinality()   # optional - bliss
+        sage: automorphism_group(G,partition=[[1,2],[0,3],[4]]).cardinality()
         2
 
     Partitioning the edges into classes::
 
-        sage: G = Graph(graphs.CompleteMultipartiteGraph([8, 2]), sparse=True)  # optional - bliss
-        sage: for i,j in G.edges(labels=False, sort=False):                     # optional - bliss
+        sage: # optional - bliss
+        sage: G = Graph(graphs.CompleteMultipartiteGraph([8, 2]), sparse=True)
+        sage: for i,j in G.edges(labels=False, sort=False):
         ....:     if 0 <= i < 3:
         ....:         G.set_edge_label(i, j, "A")
         ....:     if 3 <= i < 6:
         ....:         G.set_edge_label(i, j, "B")
         ....:     if 6 <= i < 8:
         ....:         G.set_edge_label(i, j, "C")
-
-        sage: factor(automorphism_group(G).cardinality())                       # optional - bliss
+        sage: factor(automorphism_group(G).cardinality())
         2^4 * 3^2
-        sage: automorphism_group(G,[[0],[1],[2,3],[4,5],[6,7],[8],[9]]).cardinality()   # optional - bliss
+        sage: automorphism_group(G,[[0],[1],[2,3],[4,5],[6,7],[8],[9]]).cardinality()
         4
 
     TESTS::
@@ -735,9 +734,9 @@ cpdef automorphism_group(G, partition=None, use_edge_labels=True):
         sage: automorphism_group(G, partition=p).is_isomorphic(A)
         True
 
-        sage: G = graphs.CompleteMultipartiteGraph([5,7,11])
+        sage: G = graphs.CompleteMultipartiteGraph([5, 7, 11])
         sage: B = automorphism_group(G)                                         # optional - bliss
-        sage: B.cardinality() == prod(factorial(n) for n in [5,7,11])           # optional - bliss
+        sage: B.cardinality() == prod(factorial(n) for n in [5, 7, 11])         # optional - bliss
         True
 
         sage: # optional - bliss
@@ -749,11 +748,14 @@ cpdef automorphism_group(G, partition=None, use_edge_labels=True):
         ....:         G.set_edge_label(i, j, "B")
         ....:     if 6 <= i < 8:
         ....:         G.set_edge_label(i, j, "C")
-        sage: automorphism_group(G).cardinality() == prod( factorial(n) for n in [3,3,2,8,8,5,2] )
+        sage: card = automorphism_group(G).cardinality()
+        sage: card == prod(factorial(n) for n in [3, 3, 2, 8, 8, 5, 2])
         True
-        sage: automorphism_group(G, use_edge_labels=False).cardinality() == prod( factorial(n) for n in [8,8,8,5,3] )
+        sage: card = automorphism_group(G, use_edge_labels=False).cardinality()
+        sage: card == prod(factorial(n) for n in [8, 8, 8, 5, 3])
         True
-        sage: automorphism_group(G,[[0 .. 7],[8 .. 11],[12 .. 28]]).cardinality() == prod( factorial(n) for n in [3,3,2,4,4,8,5] )
+        sage: card = automorphism_group(G, [[0 .. 7], [8 .. 11] ,[12 .. 28]]).cardinality()
+        sage: card == prod(factorial(n) for n in [3, 3, 2, 4, 4, 8, 5])
         True
 
         sage: # optional - bliss
@@ -781,17 +783,17 @@ cpdef automorphism_group(G, partition=None, use_edge_labels=True):
         (('m','n'), ('l','m'), ('k','l'), ('j','k'), ('h','i'),
          ('g','h'), ('f','g'), ('d','e'), ('c','d'), ('s','t'),
          ('r','s'), ('q','r'), ('p','q'), ('o','p'), ('a','b'))
-        sage: A.cardinality() == prod(factorial(n) for n in [2,3,4,5,6])
+        sage: A.cardinality() == prod(factorial(n) for n in [2, 3, 4, 5, 6])
         True
 
         sage: # optional - bliss
         sage: gg = graphs.CompleteGraph(5)
         sage: gg.allow_loops(True)
-        sage: gg.add_edge(0,0)
-        sage: gg.add_edge(1,1)
+        sage: gg.add_edge(0, 0)
+        sage: gg.add_edge(1, 1)
         sage: automorphism_group(gg).cardinality()
         12
-        sage: automorphism_group(gg,[[0],[1,2,3,4]]).cardinality()
+        sage: automorphism_group(gg, [[0], [1, 2, 3, 4]]).cardinality()
         6
     """
     # We need this to convert the numbers from <unsigned int> to