Bug#948212: Found the source : better env.py proposition

[Julien Puydt]

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