The auto correlation of a vector is its cross correlation with itself
(see Section 21.2.3).
The auto_correlation
command computes the auto correlation of a vector.
auto_correlation takes
v, a complex vector.
auto_correlation(v) returns the cross-correlation
of v with itself, v⋆ v.