Which algorithm is used for matrix powering in PARI/GP and what is its computational complexity? Is it repeated squaring algorithm (binary powering) or something else? I cannot find these informations on the internet.
SOLVED
According to Bill Allombert (main PARI/GP developer) it is a binary powering which has O(log n) computational complexity.