chiark / gitweb /
use recursive MMA as fallback in case of problems with dual solution