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
An matrix indexing like M[0,0] should result in a scalar.
And it should be possible to insert scalars directly into a matrix.
For comparison like M[0,0] == 1 or assignment M[0,0] = 1
This would avoid further unnecessary typecasts like as.scalar(M[0,0])
The text was updated successfully, but these errors were encountered:
m-birke
changed the title
Return scalar if single field of matrix is accessed and vise versa
Return scalar if single field of matrix is accessed and vise versa in DaphneDSL
Nov 12, 2024
An matrix indexing like M[0,0] should result in a scalar.
And it should be possible to insert scalars directly into a matrix.
For comparison like M[0,0] == 1 or assignment M[0,0] = 1
This would avoid further unnecessary typecasts like as.scalar(M[0,0])
The text was updated successfully, but these errors were encountered: