Skip to content

Commit

Permalink
Update experimental/SetPartitions/src/LinearPartition.jl
Browse files Browse the repository at this point in the history
Co-authored-by: Lars Göttgens <[email protected]>
  • Loading branch information
sebvz777 and lgoettgens authored Jul 30, 2024
1 parent 78e8574 commit 25a827f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion experimental/SetPartitions/src/LinearPartition.jl
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ struct LinearPartition{S <: AbstractPartition, T <: RingElem}
function LinearPartition{S, T}(ring::Ring, coeffs::Dict{S, T}) where {S <: AbstractPartition, T <: RingElem}
@req isconcretetype(S) "Linear combinations are only defined for concrete subtypes of AbstractPartition"
@req ring isa parent_type(T) "Ring type is not the parent of the coefficient type"
for (_, c) in coeffs
for c in values(coeff)
@req (parent(c) == ring) "Coefficient does not belong to the base ring"
end
return new(ring, simplify_operation_zero(coeffs))
Expand Down

0 comments on commit 25a827f

Please sign in to comment.