// -*- c++ -*-

we could work now on factoring over simple fields...

#include <factor.h>
using std::cout;
using std::endl;
int main () {
  factoryseed(123);
  Off( SW_RATIONAL );
  setCharacteristic(101);
  Variable x('x');
  Variable a1 = rootOf(x*x - 2);
  CanonicalForm g = x*x - 2;
  cout << "g = " << g << endl;
  cout << "factorize(g,a1) = " << factorize(g,a1) << endl;
  return 0;
}

// Local Variables:
// compile-command: "g++ -g -I$M2BUILDDIR/libraries/final/include -L$M2BUILDDIR/libraries/final/lib -x c++ 1-factor -lfac -lcf -lcfmem -lntl -lgmp -o 1-factor.exe && (ulimit -v 100000 -t 1 ; set -x ; time ./1-factor.exe)"
// End:
