provablyIrreducible?

Next: someFactors Up: DecomposableRing Previous: DecomposableRing Contents Index

provablyIrreducible?

$\begin{usage} provablyIrreducible?~x \end{usage}$

Signature

provablyIrreducible?: % $\to$ Boolean

$\begin{params} {\em x} & \% & A ring element\\ \end{params}$

$\begin{retval} Returns {\it true}\xspace if $x$\ can be proven to be irreducibl... ... or the proof of irreducibility cannot be obtained quickly enough. \end{retval}$

$\begin{remarks} This function is not meant to use factorization or catch all ir... ...nctionalities are available. It is however meant to be efficient. \end{remarks}$

Manuel Bronstein 2000-12-13