Roadmap

[kalmarek]

General Tasks:

• Create text-file interface for kbmag (e.g. from https://github.com/bprzybylski/KBmag.jl/blob/master/src/BinWrapper.jl)
• fixed set of benchmarks (easy = <2s, medium = <30s, hard = Inf) to compare (Benchmarking #67)
• try running the same examples with KnuthBendix.jl and collect timing (Benchmarking #67)
• identify the bottlenecks (profiling etc.) (see create timing comparison with kbmag #66)
• collect some statistics live?
• can we multithread the main loop?
• can we multithread the reduction part (or just make it faster?)?

Functional changes

• Store isconfluent, isreduced in rewriting system for quick retrieval
• Implement PrefixAutomaton rewriting
• start using other options from `KnuthBendix.Settings
• different reduce algorithm ?
• KBS3Alg with different strategy finding shortest rules first e.g.

  min_overlap = 100
  while min_overlap > 0
      rws = knuthbendix_doubleloop!(rws, min_overlap = min_overlap)
      min_overlap -= 1
  end

  Start looking for long overlaps first, then allow shorter and shorter,
  maybe relative w.r.t length(lhs₁) + length(lhs₂).
• Add basic Monoid implementation based on normal forms & rewriting
• Rewrite and simplify IndexAutomaton
• bfs on the IndexAutomaton trie/PrefixAutomaton

Documentation missing

• Rules
• Automata
• Gap-docs examples
• Benchmarking (mostly for myself :)