| 1 | // emacs edit mode for this file is -*- C++ -*- |
|---|
| 2 | /**************************************** |
|---|
| 3 | * Computer Algebra System SINGULAR * |
|---|
| 4 | ****************************************/ |
|---|
| 5 | /* |
|---|
| 6 | * ABSTRACT: interface between Singular and factory |
|---|
| 7 | */ |
|---|
| 8 | |
|---|
| 9 | |
|---|
| 10 | #ifndef INCL_FACTORYSING_H |
|---|
| 11 | #define INCL_FACTORYSING_H |
|---|
| 12 | |
|---|
| 13 | |
|---|
| 14 | #ifdef HAVE_FACTORY |
|---|
| 15 | |
|---|
| 16 | #include <polys/monomials/p_polys.h> |
|---|
| 17 | #include <polys/monomials/ring.h> |
|---|
| 18 | #include <polys/simpleideals.h> |
|---|
| 19 | #include <misc/intvec.h> |
|---|
| 20 | #include <polys/matpol.h> |
|---|
| 21 | #include <coeffs/bigintmat.h> |
|---|
| 22 | //#include <polys/clapconv.h> |
|---|
| 23 | //#include <kernel/longtrans.h> |
|---|
| 24 | |
|---|
| 25 | /// destroys f and g |
|---|
| 26 | poly singclap_gcd ( poly f, poly g, const ring r ); |
|---|
| 27 | |
|---|
| 28 | /// clears denominators of f and g, divides by gcd(f,g) |
|---|
| 29 | void singclap_gcd_and_divide ( poly& f, poly& g, const ring r); |
|---|
| 30 | |
|---|
| 31 | // commented out! |
|---|
| 32 | // poly singclap_alglcm ( poly f, poly g, const ring r ); |
|---|
| 33 | // void singclap_algdividecontent ( napoly f, napoly g, napoly &ff, napoly &gg ); |
|---|
| 34 | |
|---|
| 35 | poly singclap_resultant ( poly f, poly g , poly x, const ring r); |
|---|
| 36 | |
|---|
| 37 | BOOLEAN singclap_extgcd ( poly f, poly g, poly &res, poly &pa, poly &pb , const ring r); |
|---|
| 38 | |
|---|
| 39 | poly singclap_pdivide ( poly f, poly g, const ring r ); |
|---|
| 40 | |
|---|
| 41 | void singclap_divide_content ( poly f, const ring r); |
|---|
| 42 | |
|---|
| 43 | ideal singclap_factorize ( poly f, intvec ** v , int with_exps, const ring r); |
|---|
| 44 | |
|---|
| 45 | ideal singclap_sqrfree ( poly f, intvec ** v , int with_exps, const ring r ); |
|---|
| 46 | |
|---|
| 47 | #ifdef HAVE_NTL |
|---|
| 48 | #if 1 |
|---|
| 49 | matrix singntl_HNF(matrix A, const ring r); |
|---|
| 50 | intvec* singntl_HNF(intvec* A, const ring r); |
|---|
| 51 | matrix singntl_LLL(matrix A, const ring r); |
|---|
| 52 | intvec* singntl_LLL(intvec* A, const ring r); |
|---|
| 53 | #endif |
|---|
| 54 | #endif |
|---|
| 55 | |
|---|
| 56 | BOOLEAN singclap_isSqrFree(poly f, const ring r); |
|---|
| 57 | |
|---|
| 58 | #ifdef HAVE_LIBFAC |
|---|
| 59 | matrix singclap_irrCharSeries ( ideal I, const ring r); |
|---|
| 60 | char* singclap_neworder ( ideal I, const ring r); |
|---|
| 61 | #endif |
|---|
| 62 | |
|---|
| 63 | poly singclap_det( const matrix m, const ring r ); |
|---|
| 64 | int singclap_det_i( intvec * m, const ring r ); |
|---|
| 65 | number singclap_det_bi( bigintmat * m, const coeffs cf); |
|---|
| 66 | |
|---|
| 67 | number nChineseRemainder(number *x, number *q,int rl, const coeffs r); |
|---|
| 68 | |
|---|
| 69 | |
|---|
| 70 | #endif /* HAVE_FACTORY */ |
|---|
| 71 | |
|---|
| 72 | |
|---|
| 73 | #endif /* INCL_FACTORYSING_H */ |
|---|
| 74 | |
|---|
