Generates a Pauli-based rotation matrix for an arbitrary angle.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax static member GenRot :
theta : float *
mParent : CSMat -> CSMat
Parameters
- theta
- Type: SystemDouble
The rotation angle. - mParent
- Type: Microsoft.Research.LiquidCSMat
The base matrix for the rotation.
This must be an idempotent Hermitian matrix.
Return Value
Type:
CSMatA rotation matrix, exp(i*theta/2*mParent).
See Also