<!-- #################################################################### -->
<!-- ##                                                                ## -->
<!-- ##  abstract.xml       FactInt documentation         Stefan Kohl  ## -->
<!-- ##                                                                ## -->
<!-- ##  $Id: abstract.xml,v 1.3 2007/09/19 09:35:21 stefan Exp $      ## -->
<!-- ##                                                                ## -->
<!-- #################################################################### -->

<Abstract>

This package for &GAP;&nbsp;4 provides a general-purpose integer
factorization routine, which makes use of a combination of factoring
methods. In particular it contains implementations of the following
algorithms:

<List>
  <Item>Pollard's <M>p-1</M></Item>
  <Item>Williams' <M>p+1</M></Item>
  <Item>Elliptic Curves Method (ECM)</Item>
  <Item>Continued Fraction Algorithm (CFRAC)</Item>
  <Item>Multiple Polynomial Quadratic Sieve (MPQS)</Item>
</List>

It also contains code by Frank Lübeck for making use of Richard P.
Brent's tables of factors of integers of the form <M>b^k \pm 1</M>.

&FactInt; is completely written in the &GAP; language and contains /
requires no external binaries. It needs <Package>GAPDoc</Package>&nbsp;1.0
<Cite Key="GAPDoc"/> or higher. &FactInt; must be installed in the
<File>pkg</File> subdirectory of the &GAP; distribution.

</Abstract>

<!-- #################################################################### -->
