brnoeth.lib: f_xz undefined in r_ext

[jakobkroeker.academic@…]

failing example

printlevel=-5;
LIB("brnoeth.lib");
ring rng = 2,(x,y,z),dp;
short = 0;
poly p = x^7 + y^7 + z^7;
Adj_div(p);

output

> Adj_div(p);
   ? f_xz undefined in r_ext
   ? error occurred in or before brnoeth.lib::inf_P line 376: `        poly f_origin=phi(f_xz);`
   ? expected poly-expression. type 'help poly;'
   ? leaving brnoeth.lib::inf_P
   skipping text from `;` error at token `)`
   ? leaving brnoeth.lib::Adj_div

this is caused by the fact that in the library variables are declared before minpoly is initialized (line 372,ff)

poly F=imap(r_auxz,F);
poly f_xz=subst(F,y,1);
poly aux=imap(base_r,aux);
minpoly=number(subst(aux,x,@a)

Solution: put variable declarations after minpoly definition

Pull request:

​https://github.com/Singular/Sources/pull/774

[hannes]

fixed with cd79608c61d713b22b8e9ae861168cbd02e4fab9