On Sat, 30 Jul 2016, Volker Braun wrote:
That just illustrates my point that its a bad api choice; Without
consulting the docs its impossible to know if and what a certificate is
going to mean. And if one has to look into the docs anyways then we
could just point users at a better-named other method that computes said
quantity.
What they would be for is_dismantlable() and breadth() of lattice(poset)s?
"dismantling_order" returning sometimes None, and then the user would use
"find_crown_subposet"? And for breadth loop over subposets isomorphic to
boolean lattices?
On Sat, 30 Jul 2016, John Cremona wrote:
- And for example is_prime can have only "yes"-certificate, i.e. two
integers.
? A "no" certificate could be a single integer, a nontrivial
divisor. A "yes" certificate is also possible though more complicated:
see the Wikipedia entry for 'primality certificate '.
yes/no was a stupid error. I hope the point is clear anyway: we can have
yes or no or both certificates.
For primality certificate I just learnt something new. Thanks!
--
Jori Mäntysalo
