Hi, I investigated : the problem is that SAGE_SCRIPTS_DIR seems to be set to /usr/bin, so sage-maxima.lisp is searched as /usr/bin/sage- maxima.lisp.
I modified env.py so SAGE_SCRIPTS_DIR points to /usr/share/sagemath/bin, and things got further. The next error is a symbol not found: _ZN8polybori8groebner16GroebnerStrategy16faugereStepDenseERKSt6vectorIN S_15BoolePolynomialESaIS3_EE which c++filt says is: polybori::groebner::GroebnerStrategy::faugereStepDense(std::vector<poly bori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> > const&) but I found the following declaration in the following header: /usr/include/polybori/groebner/GroebnerStrategy.h std::vector<Polynomial> faugereStepDense(const std::vector<Polynomial>&); so I guess there's something wrong with polybori? Cheers, JP