Skip to content

New ambiguity on 1.3 #3

@KristofferC

Description

@KristofferC

While running the package tests for the upcoming 1.3, a new ambiguity in this package was detected:

Matúš: Error During Test at /root/.julia/packages/EntropicCone/it9ca/test/matus.jl:1
  Got exception outside of a @test
  MethodError: intersect(::DefaultPolyhedron{Float64,Polyhedra.Intersection{Float64,SparseArrays.SparseVector{Float64,Int64},Int64},Polyhedra.Hull{Float64,Array{Float64,1},Int64}}, ::MixedMatHRep{Float64,SparseArrays.SparseMatrixCSC{Float64,Int64}}) is ambiguous. Candidates:
    intersect(p::Union{HRepresentation{T}, Polyhedron{T}} where T...) in Polyhedra at /root/.julia/packages/Polyhedra/Su6Kf/src/repop.jl:19
    intersect(p1::Union{HRepresentation{T}, Polyhedron{T}, HRepElement{T,AT} where AT}, p2::Union{HRepresentation{T}, Polyhedron{T}, HRepElement{T,AT} where AT}, ps::Union{HRepresentation{T}, Polyhedron{T}, HRepElement{T,AT} where AT}...) where T in Polyhedra at /root/.julia/packages/Polyhedra/Su6Kf/src/repop.jl:29
  Possible fix, define
    intersect(::Vararg{Union{HRepresentation{T}, Polyhedron{T}} where T,N} where N)

We believe this is a real ambiguity that got detected due to improvements in the Julia type system and thus needs to be fixed in this package.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions