Merge pull request #843 from kris-brown/split_homsearch

Move acset homomorphism search into own submodule

Author: epatters

src/categorical_algebra/CSets.jl

@@ -4,7 +4,7 @@ export SchElements, AbstractElements, Elements, elements, inverse_elements
 using DataStructures: OrderedDict
 
 using ...GATs, ...Theories
-using ..CSets, ..FinSets
+using ..CSets, ..FinSets, ..HomSearch
 
 @present SchElements(FreeSchema) begin
   (El, Arr, Ob, Hom)::Ob

src/categorical_algebra/CatElements.jl

@@ -14,6 +14,7 @@ include("Matrices.jl")
 include("FinRelations.jl")
 include("Diagrams.jl")
 include("CSets.jl")
+include("HomSearch.jl")
 include("GraphCategories.jl")
 include("CommutativeDiagrams.jl")
 include("CatElements.jl")
@@ -32,6 +33,7 @@ include("Slices.jl")
 @reexport using .FinSets
 @reexport using .Permutations
 @reexport using .CSets
+@reexport using .HomSearch
 @reexport using .CatElements
 
 @reexport using .Diagrams

src/categorical_algebra/CategoricalAlgebra.jl

@@ -19,7 +19,7 @@ export chase
 
 using ACSets.DenseACSets: datatypes
 using ...GATs, ...Theories
-using ..CSets, ..FinSets, ..FinCats, ..Limits, ..FreeDiagrams
+using ..CSets, ..HomSearch, ..FinSets, ..FinCats, ..Limits, ..FreeDiagrams
 using ..FinCats: FinCatPresentation
 import ..Limits: universal
 import ..Categories: ob_map

src/categorical_algebra/Chase.jl

@@ -10,7 +10,7 @@ using ACSets
 using ACSets.DenseACSets: constructor, datatypes
 using ...GATs
 using ...Theories: ob, hom, dom, codom, attr, AttrTypeExpr, ⋅
-using ..Categories, ..FinCats, ..Limits, ..Diagrams, ..FinSets, ..CSets
+using ..Categories, ..FinCats, ..Limits, ..Diagrams, ..FinSets, ..CSets, ..HomSearch
 using ...Graphs, ..FreeDiagrams
 import ..Categories: ob_map, hom_map
 import ...GATs: functor