#20972: Add certificate to is_relatively_complemented()
-------------------------------------+-------------------------------------
Reporter: jmantysalo | Owner:
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-7.3
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: Jori Mäntysalo | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jmantysalo/rel_complemented_cert | dcbdf00ffcb2f05292ba3f3d336aa07843b13106
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by jmantysalo):
* status: needs_review => needs_info
Comment:
Replying to [comment:3 tscrim]:
> I think the `INPUT:` block should just say:
> {{{
> - ``certificate`` -- (default: ``False``) whether to return a
certificate if
> ``self`` is not relatively complemented
> }}}
> and then put the description of the certificate/output in an `OUTPUT:`
block. Similar for #20940.
Can be done, of course, but I guess that then at least `is_dismantlable()`
should be changed too. What about `breadth()` of a lattice? See also
`is_chordal()` and `is_circulant()` in generic graphs.
Is it possible to accept this and #20940, and then later change docstrings
for those? Also we should think if `certify` at `canonical_label()` of
graphs should be changed to `certificate`.
--
Ticket URL: <https://trac.sagemath.org/ticket/20972#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.
