@@ -151,23 +151,23 @@ for (T, S) ∈ ((:Interval, :Interval), (:Interval, :Any), (:Any, :Interval))
151151 C .*= β
152152 end
153153 else
154- numtype = numtype (CoefType)
154+ T = numtype (CoefType)
155155 mC, rC = __mul (A, B)
156156 if isone (α)
157157 if iszero (β)
158- C .= interval .(numtype , mC, rC; format = :midpoint )
158+ C .= interval .(T , mC, rC; format = :midpoint )
159159 elseif isone (β)
160- C .+ = interval .(numtype , mC, rC; format = :midpoint )
160+ C .+ = interval .(T , mC, rC; format = :midpoint )
161161 else
162- C .= interval .(numtype , mC, rC; format = :midpoint ) .+ C .* β
162+ C .= interval .(T , mC, rC; format = :midpoint ) .+ C .* β
163163 end
164164 else
165165 if iszero (β)
166- C .= interval .(numtype , mC, rC; format = :midpoint ) .* α
166+ C .= interval .(T , mC, rC; format = :midpoint ) .* α
167167 elseif isone (β)
168- C .+ = interval .(numtype , mC, rC; format = :midpoint ) .* α
168+ C .+ = interval .(T , mC, rC; format = :midpoint ) .* α
169169 else
170- C .= interval .(numtype , mC, rC; format = :midpoint ) .* α .+ C .* β
170+ C .= interval .(T , mC, rC; format = :midpoint ) .* α .+ C .* β
171171 end
172172 end
173173 end
@@ -188,7 +188,7 @@ for (T, S) ∈ ((:(Complex{<:Interval}), :(Complex{<:Interval})),
188188 C .*= β
189189 end
190190 else
191- numtype = numtype (CoefType)
191+ T = numtype (CoefType)
192192 A_real, A_imag = reim (A)
193193 B_real, B_imag = reim (B)
194194 mC_1, rC_1 = __mul (A_real, B_real)
@@ -197,25 +197,25 @@ for (T, S) ∈ ((:(Complex{<:Interval}), :(Complex{<:Interval})),
197197 mC_4, rC_4 = __mul (A_imag, B_real)
198198 if isone (α)
199199 if iszero (β)
200- C .= complex .(interval .(numtype , mC_1, rC_1; format = :midpoint ) .- interval .(numtype , mC_2, rC_2; format = :midpoint ),
201- interval .(numtype , mC_3, rC_3; format = :midpoint ) .+ interval .(numtype , mC_4, rC_4; format = :midpoint ))
200+ C .= complex .(interval .(T , mC_1, rC_1; format = :midpoint ) .- interval .(T , mC_2, rC_2; format = :midpoint ),
201+ interval .(T , mC_3, rC_3; format = :midpoint ) .+ interval .(T , mC_4, rC_4; format = :midpoint ))
202202 elseif isone (β)
203- C .+ = complex .(interval .(numtype , mC_1, rC_1; format = :midpoint ) .- interval .(numtype , mC_2, rC_2; format = :midpoint ),
204- interval .(numtype , mC_3, rC_3; format = :midpoint ) .+ interval .(numtype , mC_4, rC_4; format = :midpoint ))
203+ C .+ = complex .(interval .(T , mC_1, rC_1; format = :midpoint ) .- interval .(T , mC_2, rC_2; format = :midpoint ),
204+ interval .(T , mC_3, rC_3; format = :midpoint ) .+ interval .(T , mC_4, rC_4; format = :midpoint ))
205205 else
206- C .= complex .(interval .(numtype , mC_1, rC_1; format = :midpoint ) .- interval .(numtype , mC_2, rC_2; format = :midpoint ),
207- interval .(numtype , mC_3, rC_3; format = :midpoint ) .+ interval .(numtype , mC_4, rC_4; format = :midpoint )) .+ C .* β
206+ C .= complex .(interval .(T , mC_1, rC_1; format = :midpoint ) .- interval .(T , mC_2, rC_2; format = :midpoint ),
207+ interval .(T , mC_3, rC_3; format = :midpoint ) .+ interval .(T , mC_4, rC_4; format = :midpoint )) .+ C .* β
208208 end
209209 else
210210 if iszero (β)
211- C .= complex .(interval .(numtype , mC_1, rC_1; format = :midpoint ) .- interval .(numtype , mC_2, rC_2; format = :midpoint ),
212- interval .(numtype , mC_3, rC_3; format = :midpoint ) .+ interval .(numtype , mC_4, rC_4; format = :midpoint )) .* α
211+ C .= complex .(interval .(T , mC_1, rC_1; format = :midpoint ) .- interval .(T , mC_2, rC_2; format = :midpoint ),
212+ interval .(T , mC_3, rC_3; format = :midpoint ) .+ interval .(T , mC_4, rC_4; format = :midpoint )) .* α
213213 elseif isone (β)
214- C .+ = complex .(interval .(numtype , mC_1, rC_1; format = :midpoint ) .- interval .(numtype , mC_2, rC_2; format = :midpoint ),
215- interval .(numtype , mC_3, rC_3; format = :midpoint ) .+ interval .(numtype , mC_4, rC_4; format = :midpoint )) .* α
214+ C .+ = complex .(interval .(T , mC_1, rC_1; format = :midpoint ) .- interval .(T , mC_2, rC_2; format = :midpoint ),
215+ interval .(T , mC_3, rC_3; format = :midpoint ) .+ interval .(T , mC_4, rC_4; format = :midpoint )) .* α
216216 else
217- C .= complex .(interval .(numtype , mC_1, rC_1; format = :midpoint ) .- interval .(numtype , mC_2, rC_2; format = :midpoint ),
218- interval .(numtype , mC_3, rC_3; format = :midpoint ) .+ interval .(numtype , mC_4, rC_4; format = :midpoint )) .* α .+ C .* β
217+ C .= complex .(interval .(T , mC_1, rC_1; format = :midpoint ) .- interval .(T , mC_2, rC_2; format = :midpoint ),
218+ interval .(T , mC_3, rC_3; format = :midpoint ) .+ interval .(T , mC_4, rC_4; format = :midpoint )) .* α .+ C .* β
219219 end
220220 end
221221 end
@@ -236,25 +236,25 @@ for (T, S) ∈ ((:(Complex{<:Interval}), :Interval), (:(Complex{<:Interval}), :A
236236 C .*= β
237237 end
238238 else
239- numtype = numtype (CoefType)
239+ T = numtype (CoefType)
240240 A_real, A_imag = reim (A)
241241 mC_real, rC_real = __mul (A_real, B)
242242 mC_imag, rC_imag = __mul (A_imag, B)
243243 if isone (α)
244244 if iszero (β)
245- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint ))
245+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint ))
246246 elseif isone (β)
247- C .+ = complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint ))
247+ C .+ = complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint ))
248248 else
249- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .+ C .* β
249+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .+ C .* β
250250 end
251251 else
252252 if iszero (β)
253- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .* α
253+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .* α
254254 elseif isone (β)
255- C .+ = complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .* α
255+ C .+ = complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .* α
256256 else
257- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .* α .+ C .* β
257+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .* α .+ C .* β
258258 end
259259 end
260260 end
@@ -272,25 +272,25 @@ for (T, S) ∈ ((:(Complex{<:Interval}), :Interval), (:(Complex{<:Interval}), :A
272272 C .*= β
273273 end
274274 else
275- numtype = numtype (CoefType)
275+ T = numtype (CoefType)
276276 B_real, B_imag = reim (B)
277277 mC_real, rC_real = __mul (A, B_real)
278278 mC_imag, rC_imag = __mul (A, B_imag)
279279 if isone (α)
280280 if iszero (β)
281- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint ))
281+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint ))
282282 elseif isone (β)
283- C .+ = complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint ))
283+ C .+ = complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint ))
284284 else
285- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .+ C .* β
285+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .+ C .* β
286286 end
287287 else
288288 if iszero (β)
289- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .* α
289+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .* α
290290 elseif isone (β)
291- C .+ = complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .* α
291+ C .+ = complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .* α
292292 else
293- C .= complex .(interval .(numtype , mC_real, rC_real; format = :midpoint ), interval .(numtype , mC_imag, rC_imag; format = :midpoint )) .* α .+ C .* β
293+ C .= complex .(interval .(T , mC_real, rC_real; format = :midpoint ), interval .(T , mC_imag, rC_imag; format = :midpoint )) .* α .+ C .* β
294294 end
295295 end
296296 end
0 commit comments