Spot operator: opReal
Spot Home Page
opReal
opReal
Real part of operator.
opReal
(OP) is the real part of operator OP.