@@ -110,13 +110,13 @@ issubset(a::IntervalOrSegment, b::PeriodicSegment) = PeriodicSegment(endpoints(a
110110
111111
112112
113- boundary (d:: RectDomain{ <:Any,<: IntervalOrSegment,<:PeriodicSegment} ) =
113+ boundary (d:: VcatDomain{2, <:Any,(1,1),<:Tuple{<: IntervalOrSegment,<:PeriodicSegment} } ) =
114114 UnionDomain ((PeriodicSegment (Vec (rightendpoint (factor (d,1 )),leftendpoint (factor (d,2 ))),Vec (rightendpoint (factor (d,1 )),rightendpoint (factor (d,2 )))),
115115 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} } ) =
117117 UnionDomain ((PeriodicSegment (Vec (leftendpoint (factor (d,1 )),leftendpoint (factor (d,2 ))),Vec (rightendpoint (factor (d,1 )),leftendpoint (factor (d,2 )))),
118118 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 ()
120120
121121union_rule (A:: SumSpace{<:Any,<:PeriodicSegment} , B:: Space{<:IntervalOrSegment} ) =
122122 union (Space (Interval (domain (A))), B)
0 commit comments