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 class intvec;
11 
12 struct omBin_s ; typedef struct omBin_s omBin_t ; typedef omBin_t * omBin;
13 
14 struct ip_sring ; typedef struct ip_sring * ring;
15 struct sip_sideal; typedef struct sip_sideal * ideal;
16 struct spolyrec ; typedef struct spolyrec polyrec; typedef polyrec * poly;
17 typedef poly * polyset;
18 
19 extern ring currRing;
20 
21 typedef int * scmon;
22 typedef scmon * scfmon;
23 typedef int * varset;
24 struct monrec;
25 typedef struct monrec monh;
26 typedef monh * monp;
27 typedef monp * monf;
28 struct monrec
29 {
31  int a;
32 };
33 
34 typedef struct sindlist indlist;
35 typedef indlist * indset;
36 struct sindlist
37 {
40 };
41 
42 #define LEN_MON (sizeof(scfmon) + sizeof(int))
43 
44 extern omBin indlist_bin;
45 
46 extern scfmon hexist, hstc, hrad, hwork;
47 extern scmon hpure, hpur0;
48 extern varset hvar, hsel;
49 extern int hNexist, hNstc, hNrad, hNvar, hNpure;
50 extern monf stcmem, radmem;
51 extern int hisModule;
52 extern monf stcmem, radmem;
53 extern indset ISet, JSet;
54 extern int hCo, hMu, hMu2;
55 
56 
57 void hDelete(scfmon ev, int ev_length);
58 void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int * Nstc);
59 void hSupp(scfmon stc, int Nstc, varset var, int * Nvar);
60 void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar);
61 void hStaircase(scfmon stc, int * Nstc, varset var, int Nvar);
62 void hRadical(scfmon rad, int * Nrad, int Nvar);
63 void hLexS(scfmon stc, int Nstc, varset var, int Nvar);
64 void hLexR(scfmon rad, int Nrad, varset var, int Nvar);
65 void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar,
66  scmon pure, int *Npure);
67 void hElimS(scfmon stc, int * e1, int a2, int e2,varset var, int Nvar);
68 void hElimR(scfmon rad, int * e1, int a2, int e2,varset var, int Nvar);
69 void hLex2S(scfmon stc, int e1, int a2, int e2,varset var,
70  int Nvar, scfmon w);
71 void hLex2R(scfmon rad, int e1, int a2, int e2,varset var,
72  int Nvar, scfmon w);
73 void hStepS(scfmon stc, int Nstc, varset var, int Nvar,int *a, int *x);
74 void hStepR(scfmon rad, int Nrad, varset var, int Nvar,int *a);
75 monf hCreate(int Nvar);
76 void hKill(monf xmem, int Nvar);
77 scfmon hGetmem(int lm, scfmon old, monp monmem);
79 void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad,
80  varset var, int Nvar);
81 void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad,
82  varset var, int Nvar);
83 void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad,
84  varset var, int Nvar);
85 void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu);
86 
87 
88 scfmon hInit(ideal S, ideal Q, int * Nexist, ring tailRing);
89 void slicehilb(ideal I);
90 #endif
void hDelete(scfmon ev, int ev_length)
Definition: hutil.cc:146
void hKill(monf xmem, int Nvar)
Definition: hutil.cc:1016
void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu)
Definition: hilb.cc:1341
const poly a
Definition: syzextra.cc:212
omBin_t * omBin
Definition: omStructs.h:12
void mu(int **points, int sizePoints)
int * varset
Definition: hutil.h:23
void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:496
return P p
Definition: myNF.cc:203
scmon * scfmon
Definition: hutil.h:22
scfmon hInit(ideal S, ideal Q, int *Nexist, ring tailRing)
Definition: hutil.cc:34
BEGIN_NAMESPACE_SINGULARXX const ring const ring tailRing
Definition: DebugPrint.h:30
void hLexS(scfmon stc, int Nstc, varset var, int Nvar)
Definition: hutil.cc:512
scfmon mo
Definition: hutil.h:30
omBin indlist_bin
Definition: hdegree.cc:23
Definition: ring.h:209
void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int *Nstc)
Definition: hutil.cc:160
#define Q
Definition: sirandom.c:25
monp * monf
Definition: hutil.h:27
indset ISet
Definition: hdegree.cc:279
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:12
int hCo
Definition: hdegree.cc:22
int hNrad
Definition: hutil.cc:22
void hRadical(scfmon rad, int *Nrad, int Nvar)
Definition: hutil.cc:417
int hNvar
Definition: hutil.cc:22
indset nx
Definition: hutil.h:38
void hElimR(scfmon rad, int *e1, int a2, int e2, varset var, int Nvar)
Definition: hutil.cc:748
int hNpure
Definition: hutil.cc:22
indset JSet
Definition: hdegree.cc:279
void hStepS(scfmon stc, int Nstc, varset var, int Nvar, int *a, int *x)
Definition: hutil.cc:955
scfmon hexist
Definition: hutil.cc:19
Definition: intvec.h:16
int hMu2
Definition: hdegree.cc:22
int hisModule
Definition: hutil.cc:23
scmon hGetpure(scmon p)
Definition: hutil.cc:1058
void hLex2R(scfmon rad, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition: hutil.cc:886
scfmon hwork
Definition: hutil.cc:19
omBin_t * omBin
Definition: hutil.h:12
void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar, scmon pure, int *Npure)
Definition: hutil.cc:627
scfmon hrad
Definition: hutil.cc:19
indlist * indset
Definition: hutil.h:35
monh * monp
Definition: hutil.h:26
int * scmon
Definition: hutil.h:21
int a
Definition: hutil.h:31
void hLexR(scfmon rad, int Nrad, varset var, int Nvar)
Definition: hutil.cc:571
scmon hpur0
Definition: hutil.cc:20
intvec * set
Definition: hutil.h:39
monf hCreate(int Nvar)
Definition: hutil.cc:1002
void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:313
scmon hpure
Definition: hutil.cc:20
Definition: hutil.h:36
int hNstc
Definition: hutil.cc:22
monf stcmem
Definition: hutil.h:52
The following sip_sideal structure has many different uses thoughout Singular. Basic use-cases for it...
Definition: simpleideals.h:18
poly * polyset
Definition: hutil.h:17
int hMu
Definition: hdegree.cc:22
void hSupp(scfmon stc, int Nstc, varset var, int *Nvar)
Definition: hutil.cc:180
void hStaircase(scfmon stc, int *Nstc, varset var, int Nvar)
Definition: hutil.cc:319
const CanonicalForm & w
Definition: facAbsFact.cc:55
strat ak
Definition: myNF.cc:321
Variable x
Definition: cfModGcd.cc:4023
varset hsel
Definition: hutil.cc:21
void slicehilb(ideal I)
Definition: hilb.cc:1095
scfmon hstc
Definition: hutil.cc:19
monf radmem
Definition: hutil.h:52
void hStepR(scfmon rad, int Nrad, varset var, int Nvar, int *a)
Definition: hutil.cc:980
polyrec * poly
Definition: hutil.h:16
void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:29
polyrec * poly
Definition: hilb.h:10
Definition: hutil.h:28
void hElimS(scfmon stc, int *e1, int a2, int e2, varset var, int Nvar)
Definition: hutil.cc:678
scfmon hGetmem(int lm, scfmon old, monp monmem)
Definition: hutil.cc:1029
void hLex2S(scfmon stc, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition: hutil.cc:818
void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar)
Definition: hutil.cc:208
varset hvar
Definition: hutil.cc:21
int hNexist
Definition: hutil.cc:22