@@ -40,18 +40,18 @@ for V in spacelist
4040
4141 Q, R = @constinferred qr_compact (t)
4242 @test Q * R ≈ t
43- @test isisometry (Q)
43+ @test isisometric (Q)
4444
4545 Q, R = @constinferred left_orth (t; kind = :qr )
4646 @test Q * R ≈ t
47- @test isisometry (Q)
47+ @test isisometric (Q)
4848
4949 N = @constinferred qr_null (t)
50- @test isisometry (N)
50+ @test isisometric (N)
5151 @test norm (N' * t) ≈ 0 atol = 100 * eps (norm (t))
5252
5353 N = @constinferred left_null (t; kind = :qr )
54- @test isisometry (N)
54+ @test isisometric (N)
5555 @test norm (N' * t) ≈ 0 atol = 100 * eps (norm (t))
5656 end
5757
@@ -66,12 +66,12 @@ for V in spacelist
6666
6767 Q, R = @constinferred qr_compact (t)
6868 @test Q * R ≈ t
69- @test isisometry (Q)
69+ @test isisometric (Q)
7070 @test dim (Q) == dim (R) == dim (t)
7171
7272 Q, R = @constinferred left_orth (t; kind = :qr )
7373 @test Q * R ≈ t
74- @test isisometry (Q)
74+ @test isisometric (Q)
7575 @test dim (Q) == dim (R) == dim (t)
7676
7777 N = @constinferred qr_null (t)
@@ -93,14 +93,14 @@ for V in spacelist
9393
9494 L, Q = @constinferred lq_compact (t)
9595 @test L * Q ≈ t
96- @test isisometry (Q; side = :right )
96+ @test isisometric (Q; side = :right )
9797
9898 L, Q = @constinferred right_orth (t; kind = :lq )
9999 @test L * Q ≈ t
100- @test isisometry (Q; side = :right )
100+ @test isisometric (Q; side = :right )
101101
102102 Nᴴ = @constinferred lq_null (t)
103- @test isisometry (Nᴴ; side = :right )
103+ @test isisometric (Nᴴ; side = :right )
104104 @test norm (t * Nᴴ' ) ≈ 0 atol = 100 * eps (norm (t))
105105 end
106106
@@ -115,12 +115,12 @@ for V in spacelist
115115
116116 L, Q = @constinferred lq_compact (t)
117117 @test L * Q ≈ t
118- @test isisometry (Q; side = :right )
118+ @test isisometric (Q; side = :right )
119119 @test dim (Q) == dim (L) == dim (t)
120120
121121 L, Q = @constinferred right_orth (t; kind = :lq )
122122 @test L * Q ≈ t
123- @test isisometry (Q; side = :right )
123+ @test isisometric (Q; side = :right )
124124 @test dim (Q) == dim (L) == dim (t)
125125
126126 Nᴴ = @constinferred lq_null (t)
@@ -139,12 +139,12 @@ for V in spacelist
139139 @assert domain (t) ≾ codomain (t)
140140 w, p = @constinferred left_polar (t)
141141 @test w * p ≈ t
142- @test isisometry (w)
142+ @test isisometric (w)
143143 @test isposdef (p)
144144
145145 w, p = @constinferred left_orth (t; kind = :polar )
146146 @test w * p ≈ t
147- @test isisometry (w)
147+ @test isisometric (w)
148148 end
149149
150150 for T in eltypes,
@@ -153,12 +153,12 @@ for V in spacelist
153153 @assert codomain (t) ≾ domain (t)
154154 p, wᴴ = @constinferred right_polar (t)
155155 @test p * wᴴ ≈ t
156- @test isisometry (wᴴ; side = :right )
156+ @test isisometric (wᴴ; side = :right )
157157 @test isposdef (p)
158158
159159 p, wᴴ = @constinferred right_orth (t; kind = :polar )
160160 @test p * wᴴ ≈ t
161- @test isisometry (wᴴ; side = :right )
161+ @test isisometric (wᴴ; side = :right )
162162 end
163163 end
164164
@@ -178,9 +178,9 @@ for V in spacelist
178178
179179 u, s, vᴴ = @constinferred svd_compact (t)
180180 @test u * s * vᴴ ≈ t
181- @test isisometry (u)
181+ @test isisometric (u)
182182 @test isposdef (s)
183- @test isisometry (vᴴ; side = :right )
183+ @test isisometric (vᴴ; side = :right )
184184
185185 s′ = LinearAlgebra. diag (s)
186186 for (c, b) in LinearAlgebra. svdvals (t)
@@ -189,14 +189,14 @@ for V in spacelist
189189
190190 v, c = @constinferred left_orth (t; kind = :svd )
191191 @test v * c ≈ t
192- @test isisometry (v)
192+ @test isisometric (v)
193193
194194 N = @constinferred left_null (t; kind = :svd )
195- @test isisometry (N)
195+ @test isisometric (N)
196196 @test norm (N' * t) ≈ 0 atol = 100 * eps (norm (t))
197197
198198 Nᴴ = @constinferred right_null (t; kind = :svd )
199- @test isisometry (Nᴴ; side = :right )
199+ @test isisometric (Nᴴ; side = :right )
200200 @test norm (t * Nᴴ' ) ≈ 0 atol = 100 * eps (norm (t))
201201 end
202202
@@ -226,22 +226,22 @@ for V in spacelist
226226
227227 U, S, Vᴴ = @constinferred svd_trunc (t; trunc = notrunc ())
228228 @test U * S * Vᴴ ≈ t
229- @test isisometry (U)
230- @test isisometry (Vᴴ; side = :right )
229+ @test isisometric (U)
230+ @test isisometric (Vᴴ; side = :right )
231231
232232 trunc = truncrank (dim (domain (S)) ÷ 2 )
233233 U1, S1, Vᴴ1 = @constinferred svd_trunc (t; trunc)
234234 @test t * Vᴴ1' ≈ U1 * S1
235- @test isisometry (U1)
236- @test isisometry (Vᴴ1; side = :right )
235+ @test isisometric (U1)
236+ @test isisometric (Vᴴ1; side = :right )
237237 @test dim (domain (S1)) <= trunc. howmany
238238
239239 λ = minimum (minimum, values (LinearAlgebra. diag (S1)))
240240 trunc = trunctol (; atol = λ - 10 eps (λ))
241241 U2, S2, Vᴴ2 = @constinferred svd_trunc (t; trunc)
242242 @test t * Vᴴ2' ≈ U2 * S2
243- @test isisometry (U2)
244- @test isisometry (Vᴴ2; side = :right )
243+ @test isisometric (U2)
244+ @test isisometric (Vᴴ2; side = :right )
245245 @test minimum (minimum, values (LinearAlgebra. diag (S1))) >= λ
246246 @test U2 ≈ U1
247247 @test S2 ≈ S1
@@ -250,15 +250,15 @@ for V in spacelist
250250 trunc = truncspace (space (S2, 1 ))
251251 U3, S3, Vᴴ3 = @constinferred svd_trunc (t; trunc)
252252 @test t * Vᴴ3' ≈ U3 * S3
253- @test isisometry (U3)
254- @test isisometry (Vᴴ3; side = :right )
253+ @test isisometric (U3)
254+ @test isisometric (Vᴴ3; side = :right )
255255 @test space (S3, 1 ) ≾ space (S2, 1 )
256256
257257 trunc = truncerror (; atol = 0.5 )
258258 U4, S4, Vᴴ4 = @constinferred svd_trunc (t; trunc)
259259 @test t * Vᴴ4' ≈ U4 * S4
260- @test isisometry (U4)
261- @test isisometry (Vᴴ4; side = :right )
260+ @test isisometric (U4)
261+ @test isisometric (Vᴴ4; side = :right )
262262 @test norm (t - U4 * S4 * Vᴴ4) <= 0.5
263263 end
264264 end
@@ -289,7 +289,7 @@ for V in spacelist
289289
290290 t2 = (t + t' )
291291 D, V = eigen (t2)
292- @test isisometry (V)
292+ @test isisometric (V)
293293 D̃, Ṽ = @constinferred eigh_full (t2)
294294 @test D ≈ D̃
295295 @test V ≈ Ṽ
0 commit comments