Ascent++
Search
root
aspect of
matrix
,
1
assertions
HasProperty
1
distinct
0.84