remove dynamic polynomials. fixes #176 (#177)

* remove dynamic polynomials

* allow failure on nightly

Author: lucaferranti

.travis.yml

@@ -13,9 +13,9 @@ julia:
   - 1.4
   - nightly
 
-# matrix:
-#   allow_failures:
-#     - julia: nightly
+matrix:
+  allow_failures:
+    - julia: nightly
 
 notifications:
   email: false

Project.toml

@@ -18,9 +18,8 @@ MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
 ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"
 
 [extras]
-DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
 ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [targets]
-test = ["Test", "DynamicPolynomials", "ModelingToolkit"]
+test = ["Test", "ModelingToolkit"]

appveyor.yml

@@ -9,9 +9,9 @@ platform:
 
 # # Uncomment the following lines to allow failures on nightly julia
 # # (tests will run but not make your overall status red)
-# matrix:
-#   allow_failures:
-#   - julia_version: nightly
+matrix:
+  allow_failures:
+    - julia_version: nightly
 
 branches:
   only:

test/runtests.jl

@@ -1,7 +1,6 @@
 using IntervalArithmetic
 using IntervalConstraintProgramming
 using ModelingToolkit
-using DynamicPolynomials
 
 using Test
 
@@ -81,13 +80,6 @@ end
 
 end
 
-@testset "Contractors for polynamial functions" begin
-    pvars = @polyvar x y
-    p(x,y) = x + y
-    C = Contractor(pvars, p)
-    @test C(-Inf..1, IntervalBox(0.5..1.5, 2)) == IntervalBox(0.5..0.5, 2)
-end
-
 @testset "Separators" begin
     II = -100..100
     X = IntervalBox(II, II)
@@ -133,14 +125,6 @@ end
 
 end
 
-@testset "Seperators for polynomial functions" begin
-  pvars = @polyvar x y
-  p(x,y) = x + y == 1
-  S = Separator(pvars, p)
-
-  @test S(IntervalBox(0.5..1.5, 2)) == (IntervalBox(0.5..0.5, 2), IntervalBox(0.5..1.5, 2))
-
-end
 @testset "pave" begin
     S1a = @constraint(x > 0 , [x, y])
     S1b = @constraint(y > 0 , [x, y])