v0.1.0
KnuthBendix v0.1.0
Closed issues:
- Implement Words (#1)
- Implement KBS_1 (#2)
- Indexing into
Words andviews(#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)