Assertion list
determinant (aspect of matrix ) → ReceivesAction
Results from Ascent++: 2
determinant → ReceivesAction → associated with square matrix 0.25
determinant → ReceivesAction → computed 0.25