v0.5.0

KnuthBendix v0.5.0

Diff since v0.4.0

Merged pull requests:

• Benchmarking (#67) (@kalmarek)
• docs docs docs (#68) (@kalmarek)
• rewrite rewrite docs (#69) (@kalmarek)
• more on backtracking (#70) (@kalmarek)
• rename completion algs (#71) (@kalmarek)
• general cleanup (#72) (@kalmarek)
• rename index automaton terminals (#73) (@kalmarek)
• Enable filtering of added rules via knobs in Settings (#74) (@kalmarek)
• Add PrefixAutomaton (#76) (@kalmarek)
• add benchmarks (#77) (@kalmarek)
• add precompile workload (#79) (@kalmarek)
• add example implementation of Monoids (#80) (@kalmarek)
• Bump julia-actions/cache from 1 to 2 (#81) (@dependabot[bot])
• Bump peter-evans/find-comment from 2 to 3 (#82) (@dependabot[bot])
• Bump julia-actions/setup-julia from 1 to 2 (#83) (@dependabot[bot])
• Bump actions/checkout from 2 to 4 (#84) (@dependabot[bot])
• Bump codecov/codecov-action from 4 to 5 (#85) (@dependabot[bot])
• Bump peter-evans/create-or-update-comment from 3 to 4 (#86) (@dependabot[bot])

Closed issues:

• design for multithreading [updated: kbWork] (#26)
• incorporate example Monoid implementation? (#45)

v0.4.0

KnuthBendix v0.4.0

Diff since v0.3.1

Closed issues:

• Possible improvements (#19)
• taking rewriting rules seriously (#24)
• major refactor of IndexAutomaton?? (#43)
• automaton corruption during knuthbendix!? (#46)

Merged pull requests:

• Enh/word iter perf (#53) (@kalmarek)
• A brand new implementation of the index automaton (#54) (@kalmarek)
• Mk/completion automaton (#55) (@kalmarek)
• Mk/remake alphabet (#56) (@kalmarek)
• Mk/rebuild idx a (#57) (@kalmarek)
• move Words and Automata to their own modules (#58) (@kalmarek)
• Make IndexAutomaton deterministic (#59) (@kalmarek)
• backtrack (#60) (@kalmarek)
• Mk/orderings anew (#61) (@kalmarek)
• Fixes for Groups.jl next release (#62) (@kalmarek)
• Revert "bump version to 0.5.0" (#64) (@kalmarek)

v0.3.1

KnuthBendix v0.3.1

Diff since v0.3.0

Merged pull requests:

• add weighted lex ordering (#52) (@kalmarek)

v0.3.0

KnuthBendix v0.3.0

Diff since v0.2.1

Closed issues:

• Shaving off even more allocations (#25)
• integrate IndexAutomaton with Knuth Bendix (#29)

Merged pull requests:

• Taking Rules seriously (#51) (@kalmarek)

v0.2.1

KnuthBendix v0.2.1

Diff since v0.2.0

Merged pull requests:

• fix printing when symbols involve utf8 wide chars (#50) (@kalmarek)

v0.2.0

KnuthBendix v0.2.0

Diff since v0.1.1

Closed issues:

• Zipping reversed BufferWords yields error (#40)

Merged pull requests:

• Doc fixes (#48) (@mikolajpabiszczak)
• Enh/free rewrite (#49) (@kalmarek)

v0.1.1

KnuthBendix v0.1.1

Diff since v0.1.0

Merged pull requests:

• Enh/kbmag parsing (#47) (@kalmarek)

v0.1.0

KnuthBendix v0.1.0

Closed issues:

• Implement Words (#1)
• Implement KBS_1 (#2)
• Indexing into Words and views (#14)
• Naming of functions (#15)
• is getirrsubsystem correct? (#18)
• Wreath product ordering (#21)
• New examples (#32)
• Example 5.5 - Sims does not replicate (#33)

Merged pull requests:

• Alphabet --- First attempt (#4) (@bprzybylski)
• Argument list correction + Alphabets of integers (#5) (@bprzybylski)
• Words (#6) (@kalmarek)
• Alphabet initialization + Tests (#7) (@bprzybylski)
• Increase codecov for alphabets.jl (#8) (@bprzybylski)
• Alphabet constructors (#9) (@bprzybylski)
• make inversions field concrete (#11) (@kalmarek)
• unique representations for words (#12) (@kalmarek)
• Working kbs1, lenlexordering and minor updates (#13) (@mikolajpabiszczak)
• indexing into Words and SubWord (#16) (@kalmarek)
• Working kbs2 (#17) (@mikolajpabiszczak)
• More efficient getirrsubys (#20) (@mikolajpabiszczak)
• Enh/usability (#22) (@kalmarek)
• Enh/bufferwords (#23) (@kalmarek)
• Index automata (#27) (@mikolajpabiszczak)
• Update ci.yml (#28) (@bprzybylski)
• Enh/rewrite interface (#30) (@kalmarek)
• Basic wreath-product ordering implemented (#31) (@mikolajpabiszczak)
• Recursive path ordering (#34) (@mikolajpabiszczak)
• Kbs automata integration (#36) (@mikolajpabiszczak)
• Kbs2 updates (#38) (@mikolajpabiszczak)
• Doc added and project updated (#39) (@mikolajpabiszczak)
• Fix/simplifyrule! (#41) (@kalmarek)
• Enh/deprecate word() (#42) (@kalmarek)