My Project  UNKNOWN_GIT_VERSION
hutil.h
Go to the documentation of this file.
1 #ifndef HUTIL_H
2 #define HUTIL_H
3 /****************************************
4 * Computer Algebra System SINGULAR *
5 ****************************************/
6 /*
7 * ABSTRACT
8 */
9 
10 #include "polys/monomials/ring.h"
11 #include "kernel/polys.h"
12 #include "misc/intvec.h"
13 
14 typedef int * scmon;
15 typedef scmon * scfmon;
16 typedef int * varset;
17 struct monrec;
18 typedef struct monrec monh;
19 typedef monh * monp;
20 typedef monp * monf;
21 struct monrec
22 {
24  int a;
25 };
26 
27 typedef struct sindlist indlist;
28 typedef indlist * indset;
29 struct sindlist
30 {
32  intvec * set;
33 };
34 
35 #define LEN_MON (sizeof(scfmon) + sizeof(int))
36 
37 extern omBin indlist_bin;
38 
39 extern scfmon hexist, hstc, hrad, hwork;
40 extern scmon hpure, hpur0;
41 extern varset hvar, hsel;
42 extern int hNexist, hNstc, hNrad, hNvar, hNpure;
43 extern monf stcmem, radmem;
44 extern int hisModule;
45 extern monf stcmem, radmem;
46 extern indset ISet, JSet;
47 extern int hCo, hMu, hMu2;
48 
49 
50 void hDelete(scfmon ev, int ev_length);
51 void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int * Nstc);
52 void hSupp(scfmon stc, int Nstc, varset var, int * Nvar);
53 void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar);
54 void hStaircase(scfmon stc, int * Nstc, varset var, int Nvar);
55 void hRadical(scfmon rad, int * Nrad, int Nvar);
56 void hLexS(scfmon stc, int Nstc, varset var, int Nvar);
57 void hLexR(scfmon rad, int Nrad, varset var, int Nvar);
58 void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar,
59  scmon pure, int *Npure);
60 void hElimS(scfmon stc, int * e1, int a2, int e2,varset var, int Nvar);
61 void hElimR(scfmon rad, int * e1, int a2, int e2,varset var, int Nvar);
62 void hLex2S(scfmon stc, int e1, int a2, int e2,varset var,
63  int Nvar, scfmon w);
64 void hLex2R(scfmon rad, int e1, int a2, int e2,varset var,
65  int Nvar, scfmon w);
66 void hStepS(scfmon stc, int Nstc, varset var, int Nvar,int *a, int *x);
67 void hStepR(scfmon rad, int Nrad, varset var, int Nvar,int *a);
68 monf hCreate(int Nvar);
69 void hKill(monf xmem, int Nvar);
70 scfmon hGetmem(int lm, scfmon old, monp monmem);
72 void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad,
73  varset var, int Nvar);
74 void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad,
75  varset var, int Nvar);
76 void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad,
77  varset var, int Nvar);
78 void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu);
79 
80 
81 scfmon hInit(ideal S, ideal Q, int * Nexist, ring tailRing);
82 void slicehilb(ideal I);
83 void HilbertSeries_OrbitData(ideal S, int lV, bool ig, bool mgrad, bool odp, int trunDegHs);
84 ideal RightColonOperation(ideal i, poly w, int lV);
85 #endif
hLex2S
void hLex2S(scfmon stc, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition: hutil.cc:817
hexist
scfmon hexist
Definition: hutil.cc:18
sindlist::nx
indset nx
Definition: hutil.h:30
hGetpure
scmon hGetpure(scmon p)
Definition: hutil.cc:1057
stcmem
monf stcmem
Definition: hutil.h:44
hsel
varset hsel
Definition: hutil.cc:20
slicehilb
void slicehilb(ideal I)
Definition: hilb.cc:1131
hDegreeSeries
void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu)
Definition: hilb.cc:1381
hCo
int hCo
Definition: hdegree.cc:22
x
Variable x
Definition: cfModGcd.cc:4023
hLexR
void hLexR(scfmon rad, int Nrad, varset var, int Nvar)
Definition: hutil.cc:570
monp
monh * monp
Definition: hutil.h:18
hCreate
monf hCreate(int Nvar)
Definition: hutil.cc:1001
hRadical
void hRadical(scfmon rad, int *Nrad, int Nvar)
Definition: hutil.cc:416
hMu2
int hMu2
Definition: hdegree.cc:22
polys.h
indset
indlist * indset
Definition: hutil.h:27
scfmon
scmon * scfmon
Definition: hutil.h:14
w
const CanonicalForm & w
Definition: facAbsFact.cc:55
RightColonOperation
ideal RightColonOperation(ideal i, poly w, int lV)
Definition: hilb.cc:2308
hOrdSupp
void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar)
Definition: hutil.cc:207
hIndMult
void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:313
mu
void mu(int **points, int sizePoints)
Definition: cfNewtonPolygon.cc:467
hNstc
int hNstc
Definition: hutil.cc:21
monf
monp * monf
Definition: hutil.h:19
monrec::a
int a
Definition: hutil.h:23
hpur0
scmon hpur0
Definition: hutil.cc:19
i
int i
Definition: cfEzgcd.cc:125
indlist_bin
omBin indlist_bin
Definition: hdegree.cc:23
hComp
void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int *Nstc)
Definition: hutil.cc:159
hDimSolve
void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:29
hNpure
int hNpure
Definition: hutil.cc:21
hisModule
int hisModule
Definition: hutil.cc:22
hElimS
void hElimS(scfmon stc, int *e1, int a2, int e2, varset var, int Nvar)
Definition: hutil.cc:677
hpure
scmon hpure
Definition: hutil.cc:19
hStepR
void hStepR(scfmon rad, int Nrad, varset var, int Nvar, int *a)
Definition: hutil.cc:979
hStaircase
void hStaircase(scfmon stc, int *Nstc, varset var, int Nvar)
Definition: hutil.cc:318
hIndAllMult
void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:496
intvec
Definition: intvec.h:16
hDelete
void hDelete(scfmon ev, int ev_length)
Definition: hutil.cc:145
hrad
scfmon hrad
Definition: hutil.cc:18
intvec.h
hGetmem
scfmon hGetmem(int lm, scfmon old, monp monmem)
Definition: hutil.cc:1028
scmon
int * scmon
Definition: hutil.h:13
hstc
scfmon hstc
Definition: hutil.cc:18
hNexist
int hNexist
Definition: hutil.cc:21
JSet
indset JSet
Definition: hdegree.cc:279
hNvar
int hNvar
Definition: hutil.cc:21
ring.h
omBin
omBin_t * omBin
Definition: omStructs.h:11
varset
int * varset
Definition: hutil.h:15
ISet
indset ISet
Definition: hdegree.cc:279
HilbertSeries_OrbitData
void HilbertSeries_OrbitData(ideal S, int lV, bool ig, bool mgrad, bool odp, int trunDegHs)
Definition: hilb.cc:1968
hKill
void hKill(monf xmem, int Nvar)
Definition: hutil.cc:1015
hNrad
int hNrad
Definition: hutil.cc:21
hwork
scfmon hwork
Definition: hutil.cc:18
hLexS
void hLexS(scfmon stc, int Nstc, varset var, int Nvar)
Definition: hutil.cc:511
radmem
monf radmem
Definition: hutil.h:44
monrec::mo
scfmon mo
Definition: hutil.h:22
hMu
int hMu
Definition: hdegree.cc:22
hSupp
void hSupp(scfmon stc, int Nstc, varset var, int *Nvar)
Definition: hutil.cc:179
monrec
Definition: hutil.h:20
hInit
scfmon hInit(ideal S, ideal Q, int *Nexist, ring tailRing)
Definition: hutil.cc:33
p
int p
Definition: cfModGcd.cc:4019
hElimR
void hElimR(scfmon rad, int *e1, int a2, int e2, varset var, int Nvar)
Definition: hutil.cc:747
hvar
varset hvar
Definition: hutil.cc:20
sindlist
Definition: hutil.h:28
Q
#define Q
Definition: sirandom.c:25
hStepS
void hStepS(scfmon stc, int Nstc, varset var, int Nvar, int *a, int *x)
Definition: hutil.cc:954
hLex2R
void hLex2R(scfmon rad, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition: hutil.cc:885
sindlist::set
intvec * set
Definition: hutil.h:31
hPure
void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar, scmon pure, int *Npure)
Definition: hutil.cc:626