#19141: Poset documentation polishing: Boolean-valued properties
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  minor              |    Milestone:  sage-6.9
      Component:  combinatorics      |   Resolution:
       Keywords:  poset              |    Merged in:
        Authors:  Jori Mäntysalo     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jmantysalo/poset_documentation_polishing__boolean_valued_properties|  
d99ab5f27d400709e8108c41e3eb62623ac4f83a
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by jmantysalo):

 Replying to [comment:5 kdilks]:

 > Would we want to have separate functions for returning just a boolean
 versus possibly returning a certificate like in that graph example, or
 would we just want to add an optional parameter {{{certificate}}} to the
 existing function?

 I think that it depends on what mathematicians think. There is no
 mathematical definition for "mathematically interesting".

 For a graph we have the chromatic number. We might also want to see an
 example of some coloring. Or maybe we want to count how many different
 coloring the graph has. Or make a list of them. Or maybe just check that
 the graph is not 4-colorable.

 --

 But for now this ticket is ready for review. Certificates can be think
 later.

--
Ticket URL: <http://trac.sagemath.org/ticket/19141#comment:6>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to