Operation table generation

Stream: Equational

[Michael Bucko]

Do we have a script that can generate operation tables for all implications (up to say 10 for simpler implications)? I'd like to create a dataset out of those operation tables (to learn perturbation strategies).

(Also, if the idea does not make sense, please let me know)

[Michael Bucko]

@Vlad Tsyrklevich and do we have something like this? (generating optables, whenever possible, for all the known implications from extract_implications)

[Vlad Tsyrklevich]

I think FinSearch may be able to do this? But I'm not sure how well it handles large magmas

[Michael Bucko]

Will look into this. Didn't know about FinSearch neither.