The Lisp

zhufei's blog

SCIP EX1.15. sin of an angle