James Mitchell
James Mitchell
@jukkakohonen what you suggest is an option, I agree, but not the option we chose (for reasons that I now don't recall). The Hasse graph is also available via `DigraphReflexiveTransitiveReduction`,...
Just to mention that as of today, `IsDistributiveLatticeDigraph` is implemented in a release version of Digraphs (I'd have to check which). `IsModularLatticeDigraph` appears not to be implemented. Also implemented are...
@wilfwilson any idea of where the dreadnaut format is defined?
@forktree
This is an example file in "dreadnaut" format: [nautest1.dre.txt](https://github.com/digraphs/Digraphs/files/7513698/nautest1.dre.txt)
We still aim to remove support for multidigraphs and to instead support what I'd call a word graph, i.e. support out-regular digraphs or equivalently deterministic finite state automata with no...
Would it maybe be a good idea to mention this in the Digraphs manual too? @wilfwilson ?
I'm happy for this to be investigated, and support anything sensible that preserves the performance of the homomorphism finding code and possibly reduces the memory requirement. I'm not personally all...
> I'll think about ways of reducing the Schreier-Sims memory usage without reducing performance. Obviously I'll need to be able to check that any changes don't affect performance: do you...