Truncation()
Truncate the state preserving the norm, see truncate().
Referenced by syten::T3N::apply_op_itrunc().
This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.