Problem solved with ChatGPT

[mbaz]

@jlapeyre

use the built-in dot function

While dot is indeed built-in, a complete answer should point out that one must import itt from LinearAlgebra first.