Skip to content

Commit

Permalink
Merge pull request #3498 from JuliaReach/schillic/test_warn
Browse files Browse the repository at this point in the history
Rename clashing variables in test
  • Loading branch information
schillic authored Apr 24, 2024
2 parents 1b38377 + adee73c commit ab6eaed
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions test/Sets/SparsePolynomialZonotope.jl
Original file line number Diff line number Diff line change
Expand Up @@ -106,13 +106,13 @@ for N in [Float64, Float32, Rational{Int}]
end

for N in [Float64]
SSPZ = SimpleSparsePolynomialZonotope(N[0.2, -0.6], N[1 0; 0 0.4], [1 0; 0 1])
SPZ = convert(SparsePolynomialZonotope, SSPZ)
@test center(SPZ) == center(SSPZ)
@test genmat_dep(SPZ) == genmat(SSPZ)
@test expmat(SPZ) == expmat(SSPZ)
@test isempty(genmat_indep(SPZ))
@test indexvector(SPZ) == 1:2
PZS = SimpleSparsePolynomialZonotope(N[0.2, -0.6], N[1 0; 0 0.4], [1 0; 0 1])
PZ = convert(SparsePolynomialZonotope, PZS)
@test center(PZ) == center(PZS)
@test genmat_dep(PZ) == genmat(PZS)
@test expmat(PZ) == expmat(PZS)
@test isempty(genmat_indep(PZ))
@test indexvector(PZ) == 1:2

# conversion from Taylor model
x₁, x₂, x₃ = set_variables(Float64, ["x₁", "x₂", "x₃"]; order=3)
Expand Down

0 comments on commit ab6eaed

Please sign in to comment.