Skip to content

Commit

Permalink
Merge pull request #24 from AlgebraicJulia/catlab_ver
Browse files Browse the repository at this point in the history
Adding support for Catlab 0.11
  • Loading branch information
bosonbaas authored Feb 23, 2021
2 parents 5453649 + fe8ecd4 commit a9afad1
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 5 deletions.
4 changes: 2 additions & 2 deletions Project.toml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name = "AlgebraicRelations"
uuid = "1c3ea84b-a956-4dfe-a2f4-485757f48f1d"
authors = ["bosonbaas <[email protected]>"]
version = "0.2.2"
version = "0.2.3"

[deps]
AlgebraicPetri = "4f99eebe-17bf-4e98-b6a1-2c4f205a959b"
Expand All @@ -13,7 +13,7 @@ LibPQ = "194296ae-ab2e-5f79-8cd4-7183a0a5a0d1"
[compat]
AlgebraicPetri = "0.6"
AutoHashEquals = "0.2.0"
Catlab = "0.9, 0.10"
Catlab = "0.11"
DataFrames = "0.21, 0.22"
LibPQ = "1.4.0"
julia = "1.0"
Expand Down
7 changes: 4 additions & 3 deletions src/functor.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@ module Functors

using Catlab
using Catlab.Theories
using Catlab.Theories: attr
using Catlab.Programs.RelationalPrograms
using Catlab.CategoricalAlgebra
using Catlab.CategoricalAlgebra.FinSets
Expand Down Expand Up @@ -157,9 +158,9 @@ reorder_part!(acs::ACSet, type::Symbol, order::Array{Int, 1}) =

function _reorder_part!(acs::ACSet{CD,AD,Ts,Idxed}, ::Val{ob},
order::Array{Int, 1}) where {CD,AD,Ts,Idxed,ob}
in_homs = filter(hom -> codom(CD, hom) == ob, CD.hom)
indexed_out_homs = filter(hom -> dom(CD, hom) == ob && hom Idxed, CD.hom)
indexed_attrs = filter(attr -> dom(AD, attr) == ob && attr Idxed, AD.attr)
in_homs = filter(c_hom -> codom(CD, c_hom) == ob, hom(CD))
indexed_out_homs = filter(c_hom -> dom(CD, c_hom) == ob && c_hom Idxed, hom(CD))
indexed_attrs = filter(c_attr -> dom(AD, c_attr) == ob && c_attr Idxed, attr(AD))
last_part = length(acs.tables[ob])


Expand Down

2 comments on commit a9afad1

@bosonbaas
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/30666

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.3 -m "<description of version>" a9afad11628823c3f3b3c1923ad9dca271e6304f
git push origin v0.2.3

Please sign in to comment.