clapsing.h

Go to the documentation of this file.

// emacs edit mode for this file is -*- C++ -*-
/****************************************
*  Computer Algebra System SINGULAR     *
****************************************/
/*
* ABSTRACT: interface between Singular and factory
*/
 
#ifndef INCL_FACTORYSING_H
#define INCL_FACTORYSING_H
 
#include "polys/monomials/ring.h"
#include "polys/matpol.h"
#include "misc/intvec.h"
#include "coeffs/bigintmat.h"
 
poly singclap_gcd_r ( poly f, poly g, const ring r );
 
/// clears denominators of f and g, divides by gcd(f,g)
poly singclap_gcd_and_divide ( poly& f, poly& g, const ring r);
 
// commented out!
// poly singclap_alglcm ( poly f, poly g, const ring r );
// void singclap_algdividecontent ( napoly f, napoly g, napoly &ff, napoly &gg );
 
poly singclap_resultant ( poly f, poly g , poly x, const ring r);
 
BOOLEAN singclap_extgcd ( poly f, poly g, poly &res, poly &pa, poly &pb , const ring r);
 
poly singclap_pmult ( poly f, poly g, const ring r );
poly singclap_pdivide ( poly f, poly g, const ring r );
poly singclap_pmod ( poly f, poly g, const ring r );
 
//void singclap_divide_content ( poly f, const ring r);
 
ideal singclap_factorize ( poly f, intvec ** v , int with_exps, const ring r);
 
ideal singclap_sqrfree ( poly f, intvec ** v , int with_exps, const ring r );
 
matrix  singntl_HNF(matrix A, const ring r);
intvec* singntl_HNF(intvec* A);
bigintmat* singntl_HNF(bigintmat* A);
matrix  singntl_LLL(matrix A, const ring r);
intvec* singntl_LLL(intvec* A);
 
#ifdef HAVE_NTL
ideal  singntl_rref(ideal  m, const ring R) /*assume smatrix m*/;
matrix singntl_rref(matrix  m, const ring R);
#endif
 
ideal singclap_absFactorize ( poly f, ideal & mipos, intvec ** exps, int & n, const ring r);
 
matrix singclap_irrCharSeries ( ideal I, const ring r);
char* singclap_neworder ( ideal I, const ring r);
 
poly singclap_det( const matrix m, const ring r );
int singclap_det_i( intvec * m, const ring r );
number singclap_det_bi( bigintmat * m, const coeffs cf);
 
number   nChineseRemainder(number *x, number *q,int rl, const coeffs r);
 
int * Zp_roots(poly p, const ring r);
 
#endif /* INCL_FACTORYSING_H */