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