Assumptions - element types of slices/blocks
element types of trace and determinant