Norm induced by the complex dot product by Ciro Santilli 34 Updated Created
Given:
the norm ends up being:
E.g. in :