DilationHalmos[x]

Aliases: None

Description: $DilationHalmos[x]$ gives block $2\times 2$ matrix which is the Halmos dilation of $x$

Arguments: $x$ is a symbol

Comments / Limitations: $u=DilationHalmos[x]$ has the property $u$ is unitary, that is, $MatMult[u,tpMat[u]]==IdentityMatrix[2]$ and $MatMult[tpMat[u],u]==IdentityMatrix[2]$.