Skip to content

v0.3.4

Compare
Choose a tag to compare
@algebraicjuliabot algebraicjuliabot released this 02 Jun 00:53
· 23 commits to main since this release

AlgebraicRewriting v0.3.4

Diff since v0.3.3

Merged pull requests:

Closed issues:

  • Extend incremental hom search to include monic constraints, application conditions, gluing conditions (#59)
  • Codom error when using rule with attribute variables (#66)