The Lisp

zhufei's blog

SCIP EX1.25. A closer look at the expmod procedure using fast-expt