Skip to content

Commit

Permalink
clean up
Browse files Browse the repository at this point in the history
  • Loading branch information
felix-roehrich committed Apr 15, 2024
1 parent 02adfb2 commit 9e19fd0
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 14 deletions.
21 changes: 9 additions & 12 deletions experimental/Posets/src/Poset.jl
Original file line number Diff line number Diff line change
Expand Up @@ -66,32 +66,29 @@ end

# PosetElem constructors

function poset_elem(P::Poset, i::Int)
function (P::Poset)(i::Int)
@req 1 <= i <= length(P.elems) "index out of range"
return PosetElem(i, P)
end

function poset_elem(P::Poset, elem::VarName)
function (P::Poset)(elem::VarName)
i = findfirst(==(Symbol(elem)), P.elems)
if isnothing(i)
error("unknown element")
end

return poset_elem(P, i)
end

function (P::Poset)(i::Int)
return poset_elem(P, i)
end

function (P::Poset)(elem::VarName)
return poset_elem(P, elem)
return Poset(i, P)
end

# MaximalChainsIterator constructors

@doc raw"""
maximal_chains(P::Poset) -> MaximalChainsIterator
Returns an iterator over the maximal chains of `P`.
"""
function maximal_chains(P::Poset)
return MaximalChainsIterator(P, false)
return MaximalChainsIterator(P)
end

# PosetElem functions
Expand Down
4 changes: 2 additions & 2 deletions experimental/Posets/src/Posets.jl
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@ import Oscar: index
export MaximalChainsIterator
export Poset, PosetElem

export poset, poset_elem
export maximal_chains
export poset

include("Poset.jl")

Expand All @@ -20,5 +20,5 @@ using .Posets
export MaximalChainsIterator
export Poset, PosetElem

export poset, poset_elem
export maximal_chains
export poset

0 comments on commit 9e19fd0

Please sign in to comment.