@@ -46,18 +46,18 @@ for V in spacelist
4646
4747 Q, R = @constinferred qr_compact (t)
4848 @test Q * R ≈ t
49- @test isisometry (Q)
49+ @test isisometric (Q)
5050
5151 Q, R = @constinferred left_orth (t; kind= :qr )
5252 @test Q * R ≈ t
53- @test isisometry (Q)
53+ @test isisometric (Q)
5454
5555 N = @constinferred qr_null (t)
56- @test isisometry (N)
56+ @test isisometric (N)
5757 @test norm (N' * t) ≈ 0 atol = 100 * eps (norm (t))
5858
5959 N = @constinferred left_null (t; kind= :qr )
60- @test isisometry (N)
60+ @test isisometric (N)
6161 @test norm (N' * t) ≈ 0 atol = 100 * eps (norm (t))
6262 end
6363
@@ -72,12 +72,12 @@ for V in spacelist
7272
7373 Q, R = @constinferred qr_compact (t)
7474 @test Q * R ≈ t
75- @test isisometry (Q)
75+ @test isisometric (Q)
7676 @test dim (Q) == dim (R) == dim (t)
7777
7878 Q, R = @constinferred left_orth (t; kind= :qr )
7979 @test Q * R ≈ t
80- @test isisometry (Q)
80+ @test isisometric (Q)
8181 @test dim (Q) == dim (R) == dim (t)
8282
8383 N = @constinferred qr_null (t)
@@ -96,14 +96,14 @@ for V in spacelist
9696
9797 L, Q = @constinferred lq_compact (t)
9898 @test L * Q ≈ t
99- @test isisometry (Q; side= :right )
99+ @test isisometric (Q; side= :right )
100100
101101 L, Q = @constinferred right_orth (t; kind= :lq )
102102 @test L * Q ≈ t
103- @test isisometry (Q; side= :right )
103+ @test isisometric (Q; side= :right )
104104
105105 Nᴴ = @constinferred lq_null (t)
106- @test isisometry (Nᴴ; side= :right )
106+ @test isisometric (Nᴴ; side= :right )
107107 @test norm (t * Nᴴ' ) ≈ 0 atol = 100 * eps (norm (t))
108108 end
109109
@@ -118,12 +118,12 @@ for V in spacelist
118118
119119 L, Q = @constinferred lq_compact (t)
120120 @test L * Q ≈ t
121- @test isisometry (Q; side= :right )
121+ @test isisometric (Q; side= :right )
122122 @test dim (Q) == dim (L) == dim (t)
123123
124124 L, Q = @constinferred right_orth (t; kind= :lq )
125125 @test L * Q ≈ t
126- @test isisometry (Q; side= :right )
126+ @test isisometric (Q; side= :right )
127127 @test dim (Q) == dim (L) == dim (t)
128128
129129 Nᴴ = @constinferred lq_null (t)
@@ -143,13 +143,13 @@ for V in spacelist
143143 @assert domain (t) ≾ codomain (t)
144144 w, p = @constinferred left_polar (t)
145145 @test w * p ≈ t
146- @test isisometry (w)
146+ @test isisometric (w)
147147 # broken for T <: Complex
148148 @test isposdef (p)
149149
150150 w, p = @constinferred left_orth (t; kind= :polar )
151151 @test w * p ≈ t
152- @test isisometry (w)
152+ @test isisometric (w)
153153 end
154154
155155 @testset for T in eltypes,
@@ -160,12 +160,12 @@ for V in spacelist
160160 @assert codomain (t) ≾ domain (t)
161161 p, wᴴ = @constinferred right_polar (t)
162162 @test p * wᴴ ≈ t
163- @test isisometry (wᴴ; side= :right )
163+ @test isisometric (wᴴ; side= :right )
164164 @test isposdef (p)
165165
166166 p, wᴴ = @constinferred right_orth (t; kind= :polar )
167167 @test p * wᴴ ≈ t
168- @test isisometry (wᴴ; side= :right )
168+ @test isisometric (wᴴ; side= :right )
169169 end
170170 end
171171 @testset " SVD" begin
@@ -183,9 +183,9 @@ for V in spacelist
183183
184184 u, s, vᴴ = @constinferred svd_compact (t)
185185 @test u * s * vᴴ ≈ t
186- @test isisometry (u)
186+ @test isisometric (u)
187187 @test isposdef (s)
188- @test isisometry (vᴴ; side= :right )
188+ @test isisometric (vᴴ; side= :right )
189189
190190 s′ = LinearAlgebra. diag (s)
191191 for (c, b) in LinearAlgebra. svdvals (t)
@@ -194,14 +194,14 @@ for V in spacelist
194194
195195 v, c = @constinferred left_orth (t; kind= :svd )
196196 @test v * c ≈ t
197- @test isisometry (v)
197+ @test isisometric (v)
198198
199199 N = @constinferred left_null (t; kind= :svd )
200- @test isisometry (N)
200+ @test isisometric (N)
201201 @test norm (N' * t) ≈ 0 atol = 100 * eps (norm (t))
202202
203203 Nᴴ = @constinferred right_null (t; kind= :svd )
204- @test isisometry (Nᴴ; side= :right )
204+ @test isisometric (Nᴴ; side= :right )
205205 @test norm (t * Nᴴ' ) ≈ 0 atol = 100 * eps (norm (t))
206206 end
207207
@@ -229,16 +229,16 @@ for V in spacelist
229229
230230 U, S, Vᴴ = @constinferred svd_trunc (t; trunc= notrunc ())
231231 @test U * S * Vᴴ ≈ t
232- @test isisometry (U)
233- @test isisometry (Vᴴ; side= :right )
232+ @test isisometric (U)
233+ @test isisometric (Vᴴ; side= :right )
234234
235235 trunc = truncrank (dim (domain (S)) ÷ 2 )
236236 CUDA. @allowscalar begin
237237 U1, S1, Vᴴ1 = @constinferred svd_trunc (t; trunc)
238238 end
239239 @test t * Vᴴ1' ≈ U1 * S1
240- @test isisometry (U1)
241- @test isisometry (Vᴴ1; side= :right )
240+ @test isisometric (U1)
241+ @test isisometric (Vᴴ1; side= :right )
242242 @test dim (domain (S1)) <= trunc. howmany
243243
244244 λ = minimum (minimum, values (LinearAlgebra. diag (S1)))
@@ -247,8 +247,8 @@ for V in spacelist
247247 U2, S2, Vᴴ2 = @constinferred svd_trunc (t; trunc)
248248 end
249249 @test t * Vᴴ2' ≈ U2 * S2
250- @test isisometry (U2)
251- @test isisometry (Vᴴ2; side= :right )
250+ @test isisometric (U2)
251+ @test isisometric (Vᴴ2; side= :right )
252252 @test minimum (minimum, values (LinearAlgebra. diag (S1))) >= λ
253253 @test U2 ≈ U1
254254 @test S2 ≈ S1
@@ -259,17 +259,17 @@ for V in spacelist
259259 U3, S3, Vᴴ3 = @constinferred svd_trunc (t; trunc)
260260 end
261261 @test t * Vᴴ3' ≈ U3 * S3
262- @test isisometry (U3)
263- @test isisometry (Vᴴ3; side= :right )
262+ @test isisometric (U3)
263+ @test isisometric (Vᴴ3; side= :right )
264264 @test space (S3, 1 ) ≾ space (S2, 1 )
265265
266266 trunc = truncerror (; atol= 0.5 )
267267 CUDA. @allowscalar begin
268268 U4, S4, Vᴴ4 = @constinferred svd_trunc (t; trunc)
269269 end
270270 @test t * Vᴴ4' ≈ U4 * S4
271- @test isisometry (U4)
272- @test isisometry (Vᴴ4; side= :right )
271+ @test isisometric (U4)
272+ @test isisometric (Vᴴ4; side= :right )
273273 @test norm (t - U4 * S4 * Vᴴ4) <= 0.5
274274 end
275275 end
@@ -303,7 +303,7 @@ for V in spacelist
303303
304304 t2 = (t + t' )
305305 D, V = eigen (t2)
306- @test isisometry (V)
306+ @test isisometric (V)
307307 D̃, Ṽ = @constinferred eigh_full (t2)
308308 @test D ≈ D̃
309309 @test V ≈ Ṽ
0 commit comments