DomainSets 0.3 (#15)

* DomainSets 0.3

* remove Manifest

Author: dlfivefifty

.gitignore

@@ -4,3 +4,4 @@
 deps/deps.jl
 src/.DS_Store
 .DS_Store
+Manifest.toml

Project.toml

@@ -1,6 +1,6 @@
 name = "ApproxFunFourier"
 uuid = "59844689-9c9d-51bf-9583-5b794ec66d30"
-version = "0.2.3"
+version = "0.2.4"
 
 [deps]
 AbstractFFTs = "621f4979-c628-5d54-868e-fcf4e3e8185c"
@@ -15,12 +15,12 @@ Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
 
 [compat]
 AbstractFFTs = "0.5"
-ApproxFunBase = "0.2, 0.3"
-DomainSets = "0.1, 0.2"
+ApproxFunBase = "0.3.4"
+DomainSets = "0.3"
 FFTW = "1.1"
 FastTransforms = "0.8"
 InfiniteArrays = "0.5, 0.6, 0.7"
-IntervalSets = "0.3.1, 0.4"
+IntervalSets = "0.5"
 Reexport = "0.2"
 SpecialFunctions = "0.8, 0.9, 0.10"
 julia = "1.3"

src/ApproxFunFourier.jl

@@ -27,7 +27,7 @@ import ApproxFunBase: normalize!, flipsign, FiniteRange, Fun, MatrixFun, UnsetSp
                 plan_transform, plan_itransform, plan_transform!, plan_itransform!, transform, itransform, hasfasttransform, 
                 CanonicalTransformPlan, ICanonicalTransformPlan,
                 Integral, 
-                domainspace, rangespace, boundary, 
+                domainspace, rangespace, 
                 union_rule, conversion_rule, maxspace_rule, conversion_type, maxspace, hasconversion, points, 
                 rdirichlet, ldirichlet, lneumann, rneumann, ivp, bvp, 
                 linesum, differentiate, integrate, linebilinearform, bilinearform, 
@@ -47,7 +47,7 @@ import ApproxFunBase: normalize!, flipsign, FiniteRange, Fun, MatrixFun, UnsetSp
                 block, blockstart, blockstop, blocklengths, isblockbanded, pointscompatible,
                 AbstractProductSpace, MultivariateFun, BivariateSpace, 
                 @wrapperstructure, @wrapperspaces, @wrapper, @calculus_operator, resizedata!, slnorm, affine_setdiff,
-                complexroots
+                complexroots, EmptyDomain, RectDomain
 
 
 import DomainSets: Domain, indomain, UnionDomain, ProductDomain, FullSpace, Point, elements, DifferenceDomain,

src/Domains/PeriodicSegment.jl

@@ -110,13 +110,13 @@ issubset(a::IntervalOrSegment, b::PeriodicSegment) = PeriodicSegment(endpoints(a
 
 
 
-boundary(d::ProductDomain{Tuple{A,B}}) where {A<:IntervalOrSegment,B<:PeriodicSegment} =
+boundary(d::RectDomain{<:Any,<:IntervalOrSegment,<:PeriodicSegment}) =
     UnionDomain((PeriodicSegment(Vec(rightendpoint(factor(d,1)),leftendpoint(factor(d,2))),Vec(rightendpoint(factor(d,1)),rightendpoint(factor(d,2)))),
         PeriodicSegment(Vec(leftendpoint(factor(d,1)),rightendpoint(factor(d,2))),Vec(leftendpoint(factor(d,1)),leftendpoint(factor(d,2))))))
-boundary(d::ProductDomain{Tuple{A,B}}) where {A<:PeriodicSegment,B<:IntervalOrSegment} =
+boundary(d::RectDomain{<:Any,<:PeriodicSegment,<:IntervalOrSegment}) =
     UnionDomain((PeriodicSegment(Vec(leftendpoint(factor(d,1)),leftendpoint(factor(d,2))),Vec(rightendpoint(factor(d,1)),leftendpoint(factor(d,2)))),
         PeriodicSegment(Vec(rightendpoint(factor(d,1)),rightendpoint(factor(d,2))),Vec(leftendpoint(factor(d,1)),rightendpoint(factor(d,2))))))
-boundary(d::ProductDomain{Tuple{A,B}}) where {A<:PeriodicSegment,B<:PeriodicSegment} = EmptyDomain()
+boundary(d::RectDomain{<:Any,<:PeriodicSegment,<:PeriodicSegment}) = EmptyDomain()
 
 union_rule(A::SumSpace{<:Any,<:PeriodicSegment}, B::Space{<:IntervalOrSegment}) =
     union(Space(Interval(domain(A))), B)

test/runtests.jl

@@ -1,7 +1,8 @@
 using ApproxFunFourier, ApproxFunBase, Test, SpecialFunctions, LinearAlgebra
-    import ApproxFunBase: testspace, testtransforms, testmultiplication, testraggedbelowoperator,
-                      testbandedoperator, testblockbandedoperator, testbandedblockbandedoperator, testcalculus, Block, Vec, testfunctional
-    import SpecialFunctions: factorial
+import ApproxFunBase: testspace, testtransforms, testmultiplication, testraggedbelowoperator,
+                    testbandedoperator, testblockbandedoperator, testbandedblockbandedoperator, 
+                    testcalculus, Block, Vec, testfunctional, EmptyDomain, UnionDomain
+import SpecialFunctions: factorial
 
 @testset "Periodic Domains" begin    
     @test 0.1 ∈ PeriodicSegment(2π,0)
@@ -15,6 +16,10 @@ using ApproxFunFourier, ApproxFunBase, Test, SpecialFunctions, LinearAlgebra
     @test ApproxFunBase.Vec(0,0.5) ∈ PeriodicSegment(ApproxFunBase.Vec(0.0,0), ApproxFunBase.Vec(0,1))
 
     @test ApproxFunBase.Vec(1,0) ∈ Circle((0.,0.),1.)
+
+    @test ∂(PeriodicSegment() × ChebyshevInterval()) isa UnionDomain
+    @test ∂(ChebyshevInterval() × PeriodicSegment()) isa UnionDomain
+    @test ∂(PeriodicSegment() × PeriodicSegment()) isa EmptyDomain
 end
 
 @testset "Cos/SinSpace" begin