summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTara Fife <fi.tara@gmail.com>2016-05-31 11:47:35 -0500
committerTara Fife <fi.tara@gmail.com>2016-05-31 11:47:35 -0500
commit1a33e6340048cb10168d5e061be89e9bd558ac24 (patch)
tree3fdb86202ea49d20593d8bcdfab253ad854b749e
parentRemoved repeated doctest (diff)
Eddited documentation
-rw-r--r--src/sage/matroids/matroid.pyx22
1 files changed, 13 insertions, 9 deletions
diff --git a/src/sage/matroids/matroid.pyx b/src/sage/matroids/matroid.pyx
index 7a6ed7f..a0072f0 100644
--- a/src/sage/matroids/matroid.pyx
+++ b/src/sage/matroids/matroid.pyx
@@ -1103,17 +1103,19 @@ cdef class Matroid(SageObject):
cpdef _has_minor(self, N, certificate=False):
"""
- Test if matroid has the specified minor.
+ Test if matroid has the specified minor,
+ and optionally frozensets ``X`` and ``Y`` so that ``N`` is isomorphic to ``self.minor(X, Y)``.
INPUT:
- ``N`` -- An instance of a ``Matroid`` object.
- - optional parameter `certificate` -- a boolean.
+ - ``certificate`` -- (Defalt: ``False``) If true, returns frozensets
+ ``X`` and ``Y`` where ``N`` is `M/X\Y`.
OUTPUT:
Boolean,
- and `(X,Y)` -- frozen sets, where `N` is `M/X\Y`.
+ and (if ``certificate`` is ``True``,) frozensets ``X``, ``Y``, where ``N`` is ``self.minor(X, Y)``.
EXAMPLES::
@@ -1146,7 +1148,7 @@ cdef class Matroid(SageObject):
if X.isdisjoint(Y):
if N._is_isomorphic(self._minor(contractions=X, deletions=Y)):
if certificate:
- return True, (X,Y)
+ return True, X, Y
return True
if certificate:
return False, None
@@ -3898,17 +3900,19 @@ cdef class Matroid(SageObject):
cpdef has_minor(self, N, certificate=False):
"""
- Check if ``self`` has a minor isomorphic to ``N``.
+ Check if ``self`` has a minor isomorphic to ``N``,
+ and optionally frozensets ``X`` and ``Y`` so that ``N`` is isomorphic to ``self.minor(X, Y)``.
- INPUT:
+ INPUT:
- - ``N`` -- A matroid,
- - optional parameter `certificate` -- a boolean.
+ - ``N`` -- An instance of a ``Matroid`` object.
+ - ``certificate`` -- (Defalt: ``False``) If true, returns ``frozenset``s
+ ``X`` and ``Y`` where ``N`` is `M/X\Y`.
OUTPUT:
Boolean,
- and `(X,Y)` -- frozen sets, where `N` is `M/X\Y`.
+ and (if ``certificate`` is ``True``,) frozensets ``X``, ``Y``, where ``N`` is ``self.minor(X, Y)``.
.. SEEALSO::