brill.spad line 1 [edit on github]
This package implements Brillhart irreducibility test.
brillhartIrreducible?(p) returns true if p can be shown to be irreducible by a remark of Brillhart, false is inconclusive.
brillhartIrreducible?(p, noLinears) returns true if p can be shown to be irreducible by a remark of Brillhart, false else. If noLinears is true, we are being told p has no linear factors false does not mean that p is reducible.
brillhartTrials() returns the number of tests in brillhartIrreducible?.
brillhartTrials(n) sets to n the number of tests in brillhartIrreducible? and returns the previous value.
noLinearFactor?(p) returns true if p can be shown to have no linear factor by a theorem of Lehmer, false else. I insist on the fact that false does not mean that p has a linear factor.