81
81
@test @varname (A[1 ]. b[i]) == @varname (A[1 ]. b[1 : 10 ])
82
82
@test @varname (A[j]) == @varname (A[2 : 2 : 5 ])
83
83
84
- @test @varname (A[:, 1 ][1 + 1 ]) == @varname (A[:, 1 ][2 ])
84
+ @test @varname (A[:, 1 ][1 + 1 ]) == @varname (A[:, 1 ][2 ])
85
85
@test (@varname (A[:, 1 ][2 ]) == VarName {:A} (@o (_[:, 1 ]) ⨟ @o (_[2 ])))
86
86
87
87
# concretization
92
92
@test test_equal (@varname (y[:], true ), @varname (y[1 : 100 ]))
93
93
@test test_equal (@varname (y[:, begin ], true ), @varname (y[1 : 10 , 1 ]))
94
94
@test getoptic (AbstractPPL. concretize (@varname (y[:]), y)). indices[1 ] ===
95
- AbstractPPL. ConcretizedSlice (to_indices (y, (:,))[1 ])
95
+ AbstractPPL. ConcretizedSlice (to_indices (y, (:,))[1 ])
96
96
@test test_equal (@varname (x. a[1 : end , end ][:], true ), @varname (x. a[1 : 3 , 2 ][1 : 3 ]))
97
97
end
98
98
@@ -349,24 +349,24 @@ end
349
349
x = 1.0
350
350
@test Set (varname_leaves (@varname (x), x)) == Set ([@varname (x)])
351
351
@test Set (collect (varname_and_value_leaves (@varname (x), x))) ==
352
- Set ([(@varname (x), x)])
352
+ Set ([(@varname (x), x)])
353
353
x = 2
354
354
@test Set (varname_leaves (@varname (x), x)) == Set ([@varname (x)])
355
355
@test Set (collect (varname_and_value_leaves (@varname (x), x))) ==
356
- Set ([(@varname (x), x)])
356
+ Set ([(@varname (x), x)])
357
357
end
358
358
359
359
@testset " Vector" begin
360
360
x = randn (2 )
361
361
@test Set (varname_leaves (@varname (x), x)) ==
362
- Set ([@varname (x[1 ]), @varname (x[2 ])])
362
+ Set ([@varname (x[1 ]), @varname (x[2 ])])
363
363
@test Set (collect (varname_and_value_leaves (@varname (x), x))) ==
364
- Set ([(@varname (x[1 ]), x[1 ]), (@varname (x[2 ]), x[2 ])])
364
+ Set ([(@varname (x[1 ]), x[1 ]), (@varname (x[2 ]), x[2 ])])
365
365
x = [(; a= 1 ), (; b= 2 )]
366
366
@test Set (varname_leaves (@varname (x), x)) ==
367
- Set ([@varname (x[1 ]. a), @varname (x[2 ]. b)])
367
+ Set ([@varname (x[1 ]. a), @varname (x[2 ]. b)])
368
368
@test Set (collect (varname_and_value_leaves (@varname (x), x))) ==
369
- Set ([(@varname (x[1 ]. a), x[1 ]. a), (@varname (x[2 ]. b), x[2 ]. b)])
369
+ Set ([(@varname (x[1 ]. a), x[1 ]. a), (@varname (x[2 ]. b), x[2 ]. b)])
370
370
end
371
371
372
372
@testset " Matrix" begin
@@ -386,15 +386,15 @@ end
386
386
x = randn (2 , 2 )
387
387
xl = LowerTriangular (x)
388
388
@test Set (varname_leaves (@varname (x), xl)) ==
389
- Set ([@varname (x[1 , 1 ]), @varname (x[2 , 1 ]), @varname (x[2 , 2 ])])
389
+ Set ([@varname (x[1 , 1 ]), @varname (x[2 , 1 ]), @varname (x[2 , 2 ])])
390
390
@test Set (collect (varname_and_value_leaves (@varname (x), xl))) == Set ([
391
391
(@varname (x[1 , 1 ]), x[1 , 1 ]),
392
392
(@varname (x[2 , 1 ]), x[2 , 1 ]),
393
393
(@varname (x[2 , 2 ]), x[2 , 2 ]),
394
394
])
395
395
xu = UpperTriangular (x)
396
396
@test Set (varname_leaves (@varname (x), xu)) ==
397
- Set ([@varname (x[1 , 1 ]), @varname (x[1 , 2 ]), @varname (x[2 , 2 ])])
397
+ Set ([@varname (x[1 , 1 ]), @varname (x[1 , 2 ]), @varname (x[2 , 2 ])])
398
398
@test Set (collect (varname_and_value_leaves (@varname (x), xu))) == Set ([
399
399
(@varname (x[1 , 1 ]), x[1 , 1 ]),
400
400
(@varname (x[1 , 2 ]), x[1 , 2 ]),
@@ -404,15 +404,17 @@ end
404
404
405
405
@testset " NamedTuple" begin
406
406
x = (a= 1.0 , b= [2.0 , 3.0 ])
407
- @test Set (varname_leaves (@varname (x), x)) == Set ([@varname (x. a), @varname (x. b[1 ]), @varname (x. b[2 ])])
408
- @test Set (collect (varname_and_value_leaves (@varname (x), x))) ==
409
- Set ([(@varname (x. a), x. a), (@varname (x. b[1 ]), x. b[1 ]), (@varname (x. b[2 ]), x. b[2 ])])
407
+ @test Set (varname_leaves (@varname (x), x)) ==
408
+ Set ([@varname (x. a), @varname (x. b[1 ]), @varname (x. b[2 ])])
409
+ @test Set (collect (varname_and_value_leaves (@varname (x), x))) == Set ([
410
+ (@varname (x. a), x. a), (@varname (x. b[1 ]), x. b[1 ]), (@varname (x. b[2 ]), x. b[2 ])
411
+ ])
410
412
end
411
413
412
414
@testset " Cholesky" begin
413
415
x = cholesky ([1.0 0.5 ; 0.5 1.0 ])
414
416
@test Set (varname_leaves (@varname (x), x)) ==
415
- Set ([@varname (x. U[1 , 1 ]), @varname (x. U[1 , 2 ]), @varname (x. U[2 , 2 ])])
417
+ Set ([@varname (x. U[1 , 1 ]), @varname (x. U[1 , 2 ]), @varname (x. U[2 , 2 ])])
416
418
@test Set (collect (varname_and_value_leaves (@varname (x), x))) == Set ([
417
419
(@varname (x. U[1 , 1 ]), x. U[1 , 1 ]),
418
420
(@varname (x. U[1 , 2 ]), x. U[1 , 2 ]),
0 commit comments