Changes between Version 13 and Version 17 of Ticket #19123


Ignore:
Timestamp:
09/09/15 12:29:54 (4 years ago)
Author:
jmantysalo
Comment:

This code should now work.

I still don't know how to make the user interface... For posets we have boolean-valued is_connected() and subposets-valued connected_components(). But what should then be the function returning only "decomposing elements". I will ask in sage-devel.

Comments on documentation are welcome.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19123

    • Property Commit changed from ca909a0c05fee489a071ff672b9f3b5392ba8158 to 667173c9117e910378f3bc959821a7922a1f9c39
  • Ticket #19123 – Description

    v13 v17  
    99
    1010returns 7 as it should.
     11
     12There is a place for possible optimization: If there is, say, covering relations `bottom -> 5`, `3 -> 8` and `7 -> top`, is suffices to show that the lattice is not vertically decomposable. This might be faster on average. Now the complexity is linear to number of covering relations.