You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If nrows becomes part of the required interface for matrix space, maybe it could become optional for matrices? The fallback definition could be nrows(matrix) = nrows(parent(matrix)), although it would be slow in some cases, in particular when the parent is not in the field of the matrix and is created on demand.
The text was updated successfully, but these errors were encountered:
@rfourquet suggested:
The text was updated successfully, but these errors were encountered: