Code

New pushout complement for AttrVars#54

Code

Merged

kris-brown merged 2 commits intomainAlgebraicJulia/AlgebraicRewriting.jl:mainfrom attrvar_pushout_compAlgebraicJulia/AlgebraicRewriting.jl:attrvar_pushout_compCopy head branch name to clipboardApr 19, 2024

+214-149

Commits

Commits on Mar 19, 2024

• Revamped pushout complement for AttrVars

  

  Kris Brown

  committed
  6d9f7c8

• improve coverage

  

  Kris Brown

  committed
  79d9548