File: [local] / OpenXM / src / ox_ntl / ntl.cpp (download)
Revision 1.5, Sun Jul 4 02:31:51 2004 UTC (20 years, 1 month ago) by iwane
Branch: MAIN
CVS Tags: RELEASE_1_2_3, KNOPPIX_2006, DEB_REL_1_2_3-9 Changes since 1.4: +4 -4
lines
fixed a bug in Makefile(build-ntl)
CPP ==> CXX in Makefile
|
/* $OpenXM: OpenXM/src/ox_ntl/ntl.cpp,v 1.5 2004/07/04 02:31:51 iwane Exp $ */
#include <NTL/ZZXFactoring.h>
#include <NTL/LLL.h>
#include "ox_toolkit.h"
#include "ntl.h"
#if __NTL_DEBUG
#define __NTL_PRINT (1)
#endif
#define DPRINTF(x) printf x; fflush(stdout)
/****************************************************************************
*
* Factorize polynomial over the integers.
*
* PARAM : I : arg : polynomial
* : I : argc :
* RETURN: [num,[[factor1,multiplicity1],[factor2,multiplicity2],...]]
*
* EX : ntl_fctr([2*x^11+4*x^8-2*x^6+2*x^5-4*x^3-2],1) ==>
: [2,[[x-1,1],[x^4+x^3+x^2+x+1,1],[x+1,2],[x^2-x+1,2]]]
*
****************************************************************************/
cmo *
ntl_fctr(cmo **arg, int argc)
{
cmo *poly = arg[0];
cmo_indeterminate *x;
ZZX f;
int ret;
if (argc != 1) {
return ((cmo *)new_cmo_error2((cmo *)new_cmo_string("Invalid Parameter(#)")));
}
ret = cmo_to_ZZX(f, poly, x);
if (ret != NTL_SUCCESS) {
/* format error */
return ((cmo *)new_cmo_error2((cmo *)new_cmo_string("Invalid Parameter(type)")));
}
#if __NTL_PRINT
cout << "input: " << f << endl;
#endif
cmon_factors_t *factors = new_cmon_factors();
factors->x = x;
factor(*factors->cont, *factors->f, f);
#if __NTL_PRINT
cout << "fctr : " << *factors->f << endl;
#endif
return ((cmo *)factors);
}
/****************************************************************************
*
* Factorize polynomial over the integers.
*
* PARAM : I : arg : polynomial
* : I : argc :
* RETURN: [num,[[factor1,multiplicity1],[factor2,multiplicity2],...]]
*
* EX : ntl_fctr([2*x^11+4*x^8-2*x^6+2*x^5-4*x^3-2],1) ==>
: [2,[[x-1,1],[x^4+x^3+x^2+x+1,1],[x+1,2],[x^2-x+1,2]]]
*
****************************************************************************/
cmo *
ntl_lll(cmo **arg, int argc)
{
ZZX f;
int ret;
cmon_mat_zz_t *mat;
if (argc != 1) {
return ((cmo *)new_cmo_error2((cmo *)new_cmo_string("Invalid Parameter(#)")));
}
mat = new_cmon_mat_zz();
ret = cmo_to_mat_zz(*mat->mat, arg[0]);
if (ret != NTL_SUCCESS) {
delete_cmon_mat_zz(mat);
/* format error */
return ((cmo *)new_cmo_error2((cmo *)new_cmo_string("Invalid Parameter(type)")));
}
#if __NTL_PRINT
cout << "input: " << (*mat->mat) << endl;
#endif
ZZ det2;
mat_ZZ U;
long rd = LLL(det2, *mat->mat, U);
#if __NTL_PRINT
cout << "output: " << (*mat->mat) << endl;
cout << U << endl;
#endif
return ((cmo *)mat);
}
#if __NTL_DEBUG /*@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*/
#include <unistd.h>
#include <gc/gc.h>
#include <strstream>
#include "gmp.h"
void ntl_free(void *ptr, size_t size) {}
void *ntl_realloc(void *org, size_t old, size_t size)
{
void *ptr = GC_realloc(org, size);
return (ptr);
}
int
main(int argc, char *argv[])
{
#if 0
{
ZZX f;
const char *str = "12345";
int num = 1;
char *var = "x";
cmo *c;
f = to_ZZ(str);;
cmo_indeterminate *x = new_cmo_indeterminate((cmo *)new_cmo_string(var));
cmo_recursive_polynomial *poly = ZZX_to_cmo(f, x);
cmo *arg[3];
arg[0] = (cmo *)poly;
c = ntl_fctr(arg, num);
}
#endif
{
cmo_zz *n;
istrstream istr("[3 -3 -6]");
ZZ cont;
ZZX fac;
vec_pair_ZZX_long facs;
cmo_indeterminate *x = new_cmo_indeterminate((cmo *)new_cmo_string("x"));
istr >> fac;
factor(cont, facs, fac);
// mpz_clear(ppp->mpz);
mp_set_memory_functions(GC_malloc, ntl_realloc, ntl_free);
for (int i = 0;; i++) {
cmon_factors_t *mat = new_cmon_factors(cont, facs, x);
cmo *aaa = convert_cmon((cmo *)mat);
delete_cmon((cmo *)mat);
if (i % 1000 == 0) {
printf("GC-counts: %d, size: %u\n", GC_gc_no, GC_get_heap_size());
GC_gcollect();
usleep(1);
}
}
}
return (0);
}
#endif /* __NTL_DEBUG @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*/