Changes between Initial Version and Version 1 of Ticket #25080, comment 3


Ignore:
Timestamp:
04/02/18 18:01:45 (4 years ago)
Author:
jmantysalo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #25080, comment 3

    initial v1  
    44
    55I think that a factor of a lattice is always a lattice. Or is it? Got to think about this later.
     6
     7E: Also, a test where the underlying undirected graph can be factorized, but the poset can not, would be nice.