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 class bigintmat;
13 class intvec;
14 
15 struct snumber; typedef struct snumber * number;
16 struct spolyrec; typedef struct spolyrec polyrec; typedef polyrec * poly;
17 struct ip_sring; typedef struct ip_sring * ring;
18 struct sip_sideal; typedef struct sip_sideal * ideal;
19 
20 class ip_smatrix; typedef ip_smatrix * matrix;
21 
22 struct n_Procs_s; typedef struct n_Procs_s *coeffs;
23 
24 //#include <polys/clapconv.h>
25 //#include <kernel/longtrans.h>
26 
27 /// destroys f and g
28 poly singclap_gcd ( poly f, poly g, const ring r );
29 
30 poly singclap_gcd_r ( poly f, poly g, const ring r );
31 
32 /// clears denominators of f and g, divides by gcd(f,g)
33 poly singclap_gcd_and_divide ( poly& f, poly& g, const ring r);
34 
35 // commented out!
36 // poly singclap_alglcm ( poly f, poly g, const ring r );
37 // void singclap_algdividecontent ( napoly f, napoly g, napoly &ff, napoly &gg );
38 
39 poly singclap_resultant ( poly f, poly g , poly x, const ring r);
40 
41 BOOLEAN singclap_extgcd ( poly f, poly g, poly &res, poly &pa, poly &pb , const ring r);
42 
43 poly singclap_pdivide ( poly f, poly g, const ring r );
44 
45 void singclap_divide_content ( poly f, const ring r);
46 
47 ideal singclap_factorize ( poly f, intvec ** v , int with_exps, const ring r);
48 
49 ideal singclap_sqrfree ( poly f, intvec ** v , int with_exps, const ring r );
50 
51 matrix singntl_HNF(matrix A, const ring r);
54 matrix singntl_LLL(matrix A, const ring r);
56 
57 ideal singclap_absFactorize ( poly f, ideal & mipos, intvec ** exps, int & n, const ring r);
58 
59  matrix singclap_irrCharSeries ( ideal I, const ring r);
60  char* singclap_neworder ( ideal I, const ring r);
61 
62 poly singclap_det( const matrix m, const ring r );
63 int singclap_det_i( intvec * m, const ring r );
64 number singclap_det_bi( bigintmat * m, const coeffs cf);
65 
66 number nChineseRemainder(number *x, number *q,int rl, const coeffs r);
67 
68 
69 #endif /* INCL_FACTORYSING_H */
70 
number nChineseRemainder(number *x, number *q, int rl, const coeffs r)
matrix singclap_irrCharSeries(ideal I, const ring r)
Definition: clapsing.cc:1398
ip_smatrix * matrix
Definition: clapsing.h:20
matrix singntl_LLL(matrix A, const ring r)
Definition: clapsing.cc:1737
int singclap_det_i(intvec *m, const ring r)
Definition: clapsing.cc:1602
&#39;SR_INT&#39; is the type of those integers small enough to fit into 29 bits.
Definition: longrat.h:49
Matrices of numbers.
Definition: bigintmat.h:51
Definition: ring.h:255
poly singclap_resultant(poly f, poly g, poly x, const ring r)
Definition: clapsing.cc:317
g
Definition: cfModGcd.cc:4031
void singclap_divide_content(poly f, const ring r)
Definition: clapsing.cc:599
poly singclap_pdivide(poly f, poly g, const ring r)
Definition: clapsing.cc:547
char * singclap_neworder(ideal I, const ring r)
Definition: clapsing.cc:1487
poly res
Definition: myNF.cc:322
const ring r
Definition: syzextra.cc:208
Definition: intvec.h:14
The main handler for Singular numbers which are suitable for Singular polynomials.
BOOLEAN singclap_extgcd(poly f, poly g, poly &res, poly &pa, poly &pb, const ring r)
Definition: clapsing.cc:460
number singclap_det_bi(bigintmat *m, const coeffs cf)
Definition: clapsing.cc:1620
#define A
Definition: sirandom.c:23
ideal singclap_sqrfree(poly f, intvec **v, int with_exps, const ring r)
Definition: clapsing.cc:1155
int m
Definition: cfEzgcd.cc:119
FILE * f
Definition: checklibs.c:7
poly singclap_gcd_r(poly f, poly g, const ring r)
Definition: clapsing.cc:52
ideal singclap_factorize(poly f, intvec **v, int with_exps, const ring r)
Definition: clapsing.cc:784
ideal singclap_absFactorize(poly f, ideal &mipos, intvec **exps, int &n, const ring r)
Definition: clapsing.cc:1793
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:150
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
CanonicalForm cf
Definition: cfModGcd.cc:4024
The following sip_sideal structure has many different uses thoughout Singular. Basic use-cases for it...
Definition: simpleideals.h:18
Variable x
Definition: cfModGcd.cc:4023
polyrec * poly
Definition: hilb.h:10
int BOOLEAN
Definition: auxiliary.h:86
poly singclap_gcd(poly f, poly g, const ring r)
destroys f and g
Definition: clapsing.cc:287
polyrec * poly
Definition: clapsing.h:16
poly singclap_det(const matrix m, const ring r)
Definition: clapsing.cc:1579
matrix singntl_HNF(matrix A, const ring r)
Definition: clapsing.cc:1639