Declare FieldShapeSymbol and FieldStrideSymbol as strictly positive
We can assume that FieldShapeSymbol and FieldStrideSymbol are always positive.
TypedSymbol
should forward kwargs to sympy.Symbol
.
We can assume that FieldShapeSymbol and FieldStrideSymbol are always positive.
TypedSymbol
should forward kwargs to sympy.Symbol
.