5.23.2 Auto-correlation of a signal : auto_correlation
auto_correlation takes as argument a complex vector v of length n and returns its cross-correlation with itself as the vector v⋆v of length 2 n−1 (see the cross_correlation command, section 5.23.1). For example, input :