Timeline for Cancellative semigroup on a distributive lattice
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 27, 2014 at 14:11 | comment | added | Minimus Heximus | cpp.sh/4l2 | |
| Sep 27, 2014 at 13:02 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
added 3889 characters in body
|
| Sep 27, 2014 at 5:22 | comment | added | Victor | @EmilJeřábek: respect! | |
| Sep 26, 2014 at 23:39 | comment | added | Minimus Heximus | Which program did you use (gap, wolfram, etc)? Do I need to write a proram from scratch (eg with C++)? | |
| Sep 26, 2014 at 23:07 | comment | added | Emil Jeřábek | Yes, exactly. I first tried to do it by hand with various tricks, but it got way too messy, and it turns out that a dumb computer search works like a charm. | |
| Sep 26, 2014 at 22:59 | vote | accept | Minimus Heximus | ||
| Sep 26, 2014 at 22:57 | comment | added | Minimus Heximus | Do you mean that a computer program can check that it is really a counterexample? | |
| Sep 26, 2014 at 22:50 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |