The Lisp

zhufei's blog

SCIP EX1.16. Exponentiation process