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,19 +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
+ x = [(; a= 1 ), (; b= 2 )]
366
+ @test Set (varname_leaves (@varname (x), x)) ==
367
+ Set ([@varname (x[1 ]. a), @varname (x[2 ]. b)])
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)])
365
370
end
366
371
367
372
@testset " Matrix" begin
@@ -381,15 +386,15 @@ end
381
386
x = randn (2 , 2 )
382
387
xl = LowerTriangular (x)
383
388
@test Set (varname_leaves (@varname (x), xl)) ==
384
- 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 ])])
385
390
@test Set (collect (varname_and_value_leaves (@varname (x), xl))) == Set ([
386
391
(@varname (x[1 , 1 ]), x[1 , 1 ]),
387
392
(@varname (x[2 , 1 ]), x[2 , 1 ]),
388
393
(@varname (x[2 , 2 ]), x[2 , 2 ]),
389
394
])
390
395
xu = UpperTriangular (x)
391
396
@test Set (varname_leaves (@varname (x), xu)) ==
392
- 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 ])])
393
398
@test Set (collect (varname_and_value_leaves (@varname (x), xu))) == Set ([
394
399
(@varname (x[1 , 1 ]), x[1 , 1 ]),
395
400
(@varname (x[1 , 2 ]), x[1 , 2 ]),
@@ -398,16 +403,16 @@ end
398
403
end
399
404
400
405
@testset " NamedTuple" begin
401
- x = (a= 1.0 , b= 2.0 )
402
- @test Set (varname_leaves (@varname (x), x)) == Set ([@varname (x. a), @varname (x. b)])
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 ] )])
403
408
@test Set (collect (varname_and_value_leaves (@varname (x), x))) ==
404
- Set ([(@varname (x. a), x. a), (@varname (x. b), x. b)])
409
+ Set ([(@varname (x. a), x. a), (@varname (x. b[ 1 ] ), x. b[ 1 ]), ( @varname (x . b[ 2 ]), x . b[ 2 ] )])
405
410
end
406
411
407
412
@testset " Cholesky" begin
408
413
x = cholesky ([1.0 0.5 ; 0.5 1.0 ])
409
414
@test Set (varname_leaves (@varname (x), x)) ==
410
- Set ([@varname (x. U[1 , 1 ]), @varname (x. U[1 , 2 ]), @varname (x. U[2 , 2 ])])
415
+ Set ([@varname (x. U[1 , 1 ]), @varname (x. U[1 , 2 ]), @varname (x. U[2 , 2 ])])
411
416
@test Set (collect (varname_and_value_leaves (@varname (x), x))) == Set ([
412
417
(@varname (x. U[1 , 1 ]), x. U[1 , 1 ]),
413
418
(@varname (x. U[1 , 2 ]), x. U[1 , 2 ]),
0 commit comments