@@ -110,13 +110,13 @@ issubset(a::IntervalOrSegment, b::PeriodicSegment) = PeriodicSegment(endpoints(a
110
110
111
111
112
112
113
- boundary (d:: RectDomain{ <:Any,<: IntervalOrSegment,<:PeriodicSegment} ) =
113
+ boundary (d:: VcatDomain{2, <:Any,(1,1),<:Tuple{<: IntervalOrSegment,<:PeriodicSegment} } ) =
114
114
UnionDomain ((PeriodicSegment (Vec (rightendpoint (factor (d,1 )),leftendpoint (factor (d,2 ))),Vec (rightendpoint (factor (d,1 )),rightendpoint (factor (d,2 )))),
115
115
PeriodicSegment (Vec (leftendpoint (factor (d,1 )),rightendpoint (factor (d,2 ))),Vec (leftendpoint (factor (d,1 )),leftendpoint (factor (d,2 ))))))
116
- boundary (d:: RectDomain{ <:Any,<: PeriodicSegment,<:IntervalOrSegment} ) =
116
+ boundary (d:: VcatDomain{2, <:Any,(1,1),<:Tuple{<: PeriodicSegment,<:IntervalOrSegment} } ) =
117
117
UnionDomain ((PeriodicSegment (Vec (leftendpoint (factor (d,1 )),leftendpoint (factor (d,2 ))),Vec (rightendpoint (factor (d,1 )),leftendpoint (factor (d,2 )))),
118
118
PeriodicSegment (Vec (rightendpoint (factor (d,1 )),rightendpoint (factor (d,2 ))),Vec (leftendpoint (factor (d,1 )),rightendpoint (factor (d,2 ))))))
119
- boundary (d:: RectDomain{ <:Any,<: PeriodicSegment,<:PeriodicSegment} ) = EmptyDomain ()
119
+ boundary (d:: VcatDomain{2, <:Any,(1,1),<:Tuple{<: PeriodicSegment,<:PeriodicSegment} } ) = EmptyDomain ()
120
120
121
121
union_rule (A:: SumSpace{<:Any,<:PeriodicSegment} , B:: Space{<:IntervalOrSegment} ) =
122
122
union (Space (Interval (domain (A))), B)
0 commit comments