#20696: Add certificate option to the chordal functions
-------------------------+-------------------------------------------------
Reporter: tara | Owner:
Type: | Status: needs_work
enhancement | Milestone: sage-7.3
Priority: major | Resolution:
Component: | Merged in:
matroid theory | Reviewers:
Keywords: | Work issues:
Authors: | Commit:
Report Upstream: N/A | e5151995672638410e2da8b74b9f75a6c93628d9
Branch: | Stopgaps:
public/20696 |
Dependencies: |
-------------------------+-------------------------------------------------
Changes (by tscrim):
* status: needs_review => needs_work
Comment:
A few changes I'd like you to do. For the `is_circuit_chordal` (and with
underscore):
{{{#!diff
INPUT:
- ``C`` -- a circuit
- - ``certificate`` -- (optional) boolean, False if not given.
+ - ``certificate`` -- (default: ``False``) boolean
OUTPUT:
+
- - Boolean,
- and if certificate, ``(x, Ax, Bx)`` -- a cord ``x`` of ``C``, and
circuits ``Ax`` and ``Bx`` showing that ``x`` is a chord, or None if the
circuit is not chordal.
+ - boolean and if certificate is ``True``, also return a tuple
+ ``(x, Ax, Bx)``, where ``x`` is a chord and ``Ax`` and ``Bx``
+ are circuits whose union is ``C`` and ``x``, or ``None`` if
+ ``C`` is not chordal
}}}
For `is_chordal`:
{{{#!diff
- ``k1`` -- (optional) the integer `k_1`
- ``k2`` -- (optional) the integer `k_2`; if not specified,
then this method returns if ``self`` is `k_1`-chordal
- - ``certificate`` -- (optional) Boolean, False if not specified,
- if true, and matroid is not chordal, returns a circuit which is
not chordal.
+ - ``certificate`` -- (default: ``False``) boolean; if
+ ``True`` and ``self`` is not chordal, return a circuit
+ that is not chordal
}}}
Also you can specify to cython that `certificate` is a boolean by saying
it is a `bint`.
--
Ticket URL: <http://trac.sagemath.org/ticket/20696#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
