Changes between Version 3 and Version 10 of Ticket #19161
 Timestamp:
 09/08/15 11:19:41 (6 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #19161

Property
Authors
changed from
Jori Mäntysalo
toNathann Cohen, Jori Mäntysalo
 Property Cc mlapointe added

Property
Commit
changed from
bf8fdd5dd0702a6158691183ac6a3351461a650e
tob8853ed85f14cb8b3d2a9046d31505bf81223c7d

Property
Authors
changed from

Ticket #19161 – Description
v3 v10 1 1 As playing with matrices is much faster than looping over elements, this patch makes `is_complemented()` much faster. 2 2 3 Let `L10` bet the list of all lattices of 10 elements and `B10` be the Boolean lattice with `2^10` elements. Then without the patch it takes 7,76 seconds to run `len([L for L in L10 if L.is_complemented()])` and 101,84 seconds to run `B10.is_complemented()`. With the patch the time reduces to 0,38 and 0,23 seconds.3 Let `L10` bet the list of all lattices of 10 elements and `B10` be the Boolean lattice with `2^10` elements. Then without the patch it takes 7,76 seconds to run `len([L for L in L10 if L.is_complemented()])` and 101,84 seconds to run `B10.is_complemented()`. With the patch the time for both of them reduces below one second.