BrillhartTests UP

brill.spad line 1 [edit on github]

• UP: UnivariatePolynomialCategory Integer

This package implements Brillhart irreducibility test.

brillhartIrreducible?: (UP, Boolean) -> Boolean

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.

brillhartIrreducible?: UP -> Boolean

brillhartIrreducible?(p) returns true if p can be shown to be irreducible by a remark of Brillhart, false is inconclusive.

brillhartTrials: () -> NonNegativeInteger

brillhartTrials() returns the number of tests in brillhartIrreducible?.

brillhartTrials: NonNegativeInteger -> NonNegativeInteger

brillhartTrials(n) sets to n the number of tests in brillhartIrreducible? and returns the previous value.

noLinearFactor?: UP -> Boolean

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.