Loading...
Searching...
No Matches
hutil.h
Go to the documentation of this file.
#ifndef HUTIL_H
#define HUTIL_H
/****************************************
* Computer Algebra System SINGULAR *
****************************************/
/*
* ABSTRACT
*/
#include "polys/monomials/ring.h"
#include "kernel/polys.h"
#include "misc/intvec.h"
typedef int * scmon;
typedef scmon * scfmon;
typedef int * varset;
struct monrec;
typedef struct monrec monh;
typedef monh * monp;
typedef monp * monf;
struct monrec
{
scfmon mo;
int a;
};
typedef struct sindlist indlist;
typedef indlist * indset;
struct sindlist
{
indset nx;
intvec * set;
};
#define LEN_MON (sizeof(scfmon) + sizeof(int))
EXTERN_VAR omBin indlist_bin;
EXTERN_VAR scfmon hexist, hstc, hrad, hwork;
EXTERN_VAR scmon hpure, hpur0;
EXTERN_VAR varset hvar, hsel;
EXTERN_VAR int hNexist, hNstc, hNrad, hNvar, hNpure;
EXTERN_VAR monf stcmem, radmem;
EXTERN_VAR int hisModule;
EXTERN_VAR monf stcmem, radmem;
EXTERN_VAR indset ISet, JSet;
EXTERN_VAR int hCo, hMu2;
EXTERN_VAR long hMu;
void hDelete(scfmon ev, int ev_length);
void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int * Nstc);
void hSupp(scfmon stc, int Nstc, varset var, int * Nvar);
void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar);
void hStaircase(scfmon stc, int * Nstc, varset var, int Nvar);
void hRadical(scfmon rad, int * Nrad, int Nvar);
void hLexS(scfmon stc, int Nstc, varset var, int Nvar);
void hLexR(scfmon rad, int Nrad, varset var, int Nvar);
void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar,
scmon pure, int *Npure);
void hElimS(scfmon stc, int * e1, int a2, int e2,varset var, int Nvar);
void hElimR(scfmon rad, int * e1, int a2, int e2,varset var, int Nvar);
void hLex2S(scfmon stc, int e1, int a2, int e2,varset var,
int Nvar, scfmon w);
void hLex2R(scfmon rad, int e1, int a2, int e2,varset var,
int Nvar, scfmon w);
void hStepS(scfmon stc, int Nstc, varset var, int Nvar,int *a, int *x);
void hStepR(scfmon rad, int Nrad, varset var, int Nvar,int *a);
monf hCreate(int Nvar);
void hKill(monf xmem, int Nvar);
scfmon hGetmem(int lm, scfmon old, monp monmem);
scmon hGetpure(scmon p);
void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad,
varset var, int Nvar);
void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad,
varset var, int Nvar);
void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad,
varset var, int Nvar);
void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu);
scfmon hInit(ideal S, ideal Q, int * Nexist);
void HilbertSeries_OrbitData(ideal S, int lV, bool ig, bool mgrad, bool odp, int trunDegHs);
ideal RightColonOperation(ideal i, poly w, int lV);
#endif
i
int i
Definition cfEzgcd.cc:132
x
Variable x
Definition cfModGcd.cc:4090
p
int p
Definition cfModGcd.cc:4086
intvec
Definition intvec.h:24
w
const CanonicalForm & w
Definition facAbsFact.cc:51
EXTERN_VAR
#define EXTERN_VAR
Definition globaldefs.h:6
indlist_bin
VAR omBin indlist_bin
Definition hdegree.cc:29
hMu2
VAR int hMu2
Definition hdegree.cc:27
hCo
VAR int hCo
Definition hdegree.cc:27
ISet
VAR indset ISet
Definition hdegree.cc:351
hMu
VAR long hMu
Definition hdegree.cc:28
JSet
VAR indset JSet
Definition hdegree.cc:351
hstc
VAR scfmon hstc
Definition hutil.cc:16
hvar
VAR varset hvar
Definition hutil.cc:18
hNexist
VAR int hNexist
Definition hutil.cc:19
hpur0
VAR scmon hpur0
Definition hutil.cc:17
stcmem
VAR monf stcmem
Definition hutil.cc:21
hwork
VAR scfmon hwork
Definition hutil.cc:16
hpure
VAR scmon hpure
Definition hutil.cc:17
hrad
VAR scfmon hrad
Definition hutil.cc:16
hisModule
VAR int hisModule
Definition hutil.cc:20
radmem
VAR monf radmem
Definition hutil.cc:21
hsel
VAR varset hsel
Definition hutil.cc:18
hNpure
VAR int hNpure
Definition hutil.cc:19
hNrad
VAR int hNrad
Definition hutil.cc:19
hexist
VAR scfmon hexist
Definition hutil.cc:16
hNstc
VAR int hNstc
Definition hutil.cc:19
hNvar
VAR int hNvar
Definition hutil.cc:19
hCreate
monf hCreate(int Nvar)
Definition hutil.cc:996
hComp
void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int *Nstc)
Definition hutil.cc:154
HilbertSeries_OrbitData
void HilbertSeries_OrbitData(ideal S, int lV, bool ig, bool mgrad, bool odp, int trunDegHs)
Definition hilb.cc:770
sindlist::set
intvec * set
Definition hutil.h:32
hKill
void hKill(monf xmem, int Nvar)
Definition hutil.cc:1010
monrec::mo
scfmon mo
Definition hutil.h:23
hIndMult
void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition hdegree.cc:382
scfmon
scmon * scfmon
Definition hutil.h:15
hElimS
void hElimS(scfmon stc, int *e1, int a2, int e2, varset var, int Nvar)
Definition hutil.cc:672
hLexS
void hLexS(scfmon stc, int Nstc, varset var, int Nvar)
Definition hutil.cc:506
indset
indlist * indset
Definition hutil.h:28
monp
monh * monp
Definition hutil.h:19
hDelete
void hDelete(scfmon ev, int ev_length)
Definition hutil.cc:140
varset
int * varset
Definition hutil.h:16
hLex2S
void hLex2S(scfmon stc, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition hutil.cc:812
hGetmem
scfmon hGetmem(int lm, scfmon old, monp monmem)
Definition hutil.cc:1023
hPure
void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar, scmon pure, int *Npure)
Definition hutil.cc:621
hSupp
void hSupp(scfmon stc, int Nstc, varset var, int *Nvar)
Definition hutil.cc:174
RightColonOperation
ideal RightColonOperation(ideal i, poly w, int lV)
Definition hilb.cc:1117
hLexR
void hLexR(scfmon rad, int Nrad, varset var, int Nvar)
Definition hutil.cc:565
hStepR
void hStepR(scfmon rad, int Nrad, varset var, int Nvar, int *a)
Definition hutil.cc:974
hLex2R
void hLex2R(scfmon rad, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition hutil.cc:880
hDegreeSeries
void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu)
Definition hilb.cc:106
hStepS
void hStepS(scfmon stc, int Nstc, varset var, int Nvar, int *a, int *x)
Definition hutil.cc:949
hStaircase
void hStaircase(scfmon stc, int *Nstc, varset var, int Nvar)
Definition hutil.cc:313
scmon
int * scmon
Definition hutil.h:14
hElimR
void hElimR(scfmon rad, int *e1, int a2, int e2, varset var, int Nvar)
Definition hutil.cc:742
sindlist::nx
indset nx
Definition hutil.h:31
hOrdSupp
void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar)
Definition hutil.cc:202
monrec::a
int a
Definition hutil.h:24
hInit
scfmon hInit(ideal S, ideal Q, int *Nexist)
Definition hutil.cc:31
monf
monp * monf
Definition hutil.h:20
hRadical
void hRadical(scfmon rad, int *Nrad, int Nvar)
Definition hutil.cc:411
hGetpure
scmon hGetpure(scmon p)
Definition hutil.cc:1052
hDimSolve
void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition hdegree.cc:35
hIndAllMult
void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition hdegree.cc:562
monrec
Definition hutil.h:22
sindlist
Definition hutil.h:30
intvec.h
mu
static matrix mu(matrix A, const ring R)
Definition matpol.cc:2028
omBin
omBin_t * omBin
Definition omStructs.h:12
polys.h
Compatibility layer for legacy polynomial operations (over currRing).
ring.h
Q
#define Q
Definition sirandom.c:26