Code

Require homomorphism to be unique#926

Code

Merged

epatters merged 6 commits intomainAlgebraicJulia/Catlab.jl:mainfrom unique_homAlgebraicJulia/Catlab.jl:unique_homCopy head branch name to clipboardJul 17, 2024

+158-92

Commits

Commits on Jul 15, 2024

• refactor backtracking_search interface, homomorphism must be unique

  

  Kris Brown

  committed
  fcd3de0

  Copy full SHA for fcd3de0

• make nothing the default value

  

  Kris Brown

  committed
  4e73929

  Copy full SHA for 4e73929

• any=true for docs example

  

  Kris Brown

  committed
  c2ff942

  Copy full SHA for c2ff942

Commits on Jul 17, 2024

• more robust check of function value in coerce_component

  

  Kris Brown

  committed
  da6b62c

  Copy full SHA for da6b62c

• coerce VarFuns to FinFuns for SubobjectHom as well

  

  Kris Brown

  committed
  66f1f40

  Copy full SHA for 66f1f40

• more verbose names + comments

  

  Kris Brown

  committed
  940ea04

  Copy full SHA for 940ea04