My Project
clapsing.h
Go to the documentation of this file.
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 #ifndef INCL_FACTORYSING_H
10 #define INCL_FACTORYSING_H
11 
12 #include "polys/monomials/ring.h"
13 #include "polys/matpol.h"
14 #include "misc/intvec.h"
15 #include "coeffs/bigintmat.h"
16 
17 poly singclap_gcd_r ( poly f, poly g, const ring r );
18 
19 /// clears denominators of f and g, divides by gcd(f,g)
20 poly singclap_gcd_and_divide ( poly& f, poly& g, const ring r);
21 
22 // commented out!
23 // poly singclap_alglcm ( poly f, poly g, const ring r );
24 // void singclap_algdividecontent ( napoly f, napoly g, napoly &ff, napoly &gg );
25 
26 poly singclap_resultant ( poly f, poly g , poly x, const ring r);
27 
28 BOOLEAN singclap_extgcd ( poly f, poly g, poly &res, poly &pa, poly &pb , const ring r);
29 
30 poly singclap_pmult ( poly f, poly g, const ring r );
31 poly singclap_pdivide ( poly f, poly g, const ring r );
32 poly singclap_pmod ( poly f, poly g, const ring r );
33 
34 //void singclap_divide_content ( poly f, const ring r);
35 
36 ideal singclap_factorize ( poly f, intvec ** v , int with_exps, const ring r);
37 
38 ideal singclap_sqrfree ( poly f, intvec ** v , int with_exps, const ring r );
39 
40 matrix singntl_HNF(matrix A, const ring r);
43 matrix singntl_LLL(matrix A, const ring r);
45 
46 #ifdef HAVE_NTL
47 ideal singntl_rref(ideal m, const ring R) /*assume smatrix m*/;
48 matrix singntl_rref(matrix m, const ring R);
49 #endif
50 
51 ideal singclap_absFactorize ( poly f, ideal & mipos, intvec ** exps, int & n, const ring r);
52 
53 matrix singclap_irrCharSeries ( ideal I, const ring r);
54 char* singclap_neworder ( ideal I, const ring r);
55 
56 poly singclap_det( const matrix m, const ring r );
57 int singclap_det_i( intvec * m, const ring r );
58 number singclap_det_bi( bigintmat * m, const coeffs cf);
59 
60 number nChineseRemainder(number *x, number *q,int rl, const coeffs r);
61 
62 int * Zp_roots(poly p, const ring r);
63 
64 #endif /* INCL_FACTORYSING_H */
65 
int BOOLEAN
Definition: auxiliary.h:87
int m
Definition: cfEzgcd.cc:128
Variable x
Definition: cfModGcd.cc:4082
int p
Definition: cfModGcd.cc:4078
g
Definition: cfModGcd.cc:4090
CanonicalForm cf
Definition: cfModGcd.cc:4083
FILE * f
Definition: checklibs.c:9
ideal singntl_rref(ideal m, const ring R)
Definition: clapsing.cc:2051
poly singclap_resultant(poly f, poly g, poly x, const ring r)
Definition: clapsing.cc:345
matrix singntl_LLL(matrix A, const ring r)
Definition: clapsing.cc:1915
char * singclap_neworder(ideal I, const ring r)
Definition: clapsing.cc:1664
number nChineseRemainder(number *x, number *q, int rl, const coeffs r)
poly singclap_pmod(poly f, poly g, const ring r)
Definition: clapsing.cc:702
ideal singclap_absFactorize(poly f, ideal &mipos, intvec **exps, int &n, const ring r)
Definition: clapsing.cc:2103
ideal singclap_factorize(poly f, intvec **v, int with_exps, const ring r)
Definition: clapsing.cc:948
matrix singclap_irrCharSeries(ideal I, const ring r)
Definition: clapsing.cc:1571
int singclap_det_i(intvec *m, const ring r)
Definition: clapsing.cc:1780
poly singclap_det(const matrix m, const ring r)
Definition: clapsing.cc:1757
poly singclap_pdivide(poly f, poly g, const ring r)
Definition: clapsing.cc:624
BOOLEAN singclap_extgcd(poly f, poly g, poly &res, poly &pa, poly &pb, const ring r)
Definition: clapsing.cc:489
int * Zp_roots(poly p, const ring r)
Definition: clapsing.cc:2188
poly singclap_gcd_and_divide(poly &f, poly &g, const ring r)
clears denominators of f and g, divides by gcd(f,g)
Definition: clapsing.cc:170
number singclap_det_bi(bigintmat *m, const coeffs cf)
Definition: clapsing.cc:1798
poly singclap_pmult(poly f, poly g, const ring r)
Definition: clapsing.cc:577
poly singclap_gcd_r(poly f, poly g, const ring r)
Definition: clapsing.cc:68
matrix singntl_HNF(matrix A, const ring r)
Definition: clapsing.cc:1817
ideal singclap_sqrfree(poly f, intvec **v, int with_exps, const ring r)
Definition: clapsing.cc:1338
Matrices of numbers.
Definition: bigintmat.h:51
Definition: intvec.h:23
static BOOLEAN pa(leftv res, leftv args)
Definition: cohomo.cc:3723
static BOOLEAN pb(leftv res, leftv args)
Definition: cohomo.cc:3747
CanonicalForm res
Definition: facAbsFact.cc:60
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:39
The main handler for Singular numbers which are suitable for Singular polynomials.
#define R
Definition: sirandom.c:27
#define A
Definition: sirandom.c:24