Problems with linsolve: quotient by polynomial of higher degree

I don't know much about linsolve or the code for GCD and so on. I tried
the code (linsolve_error.mac) and made a little progress.

(1) with algebraic = false, there is an error ("Quotient by a polynomial
of higher degree") in PQUOTIENT. (It is the first one of the two such
errors in that function.) The call which triggers the error is:

(PQUOTIENT '4 '(#:|3^(1/2)15991| 2 1))

Question: what is the second argument supposed to represent?


(2) with algebraic = true, it bumps into the same error by a different
path. This time the call which triggers it is:

(PQUOTIENT '-2985984 '(#:_BK16206 1 288))


Sorry I can't be more helpful. Hope someone else will chime in.

best

Robert Dodier