My Project
Loading...
Searching...
No Matches
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
11#include "kernel/polys.h"
12#include "misc/intvec.h"
13
14typedef int * scmon;
15typedef scmon * scfmon;
16typedef int * varset;
17struct monrec;
18typedef struct monrec monh;
19typedef monh * monp;
20typedef monp * monf;
21struct monrec
22{
24 int a;
25};
26
27typedef struct sindlist indlist;
28typedef indlist * indset;
30{
33};
34
35#define LEN_MON (sizeof(scfmon) + sizeof(int))
36
38
49
50
51void hDelete(scfmon ev, int ev_length);
52void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int * Nstc);
53void hSupp(scfmon stc, int Nstc, varset var, int * Nvar);
54void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar);
55void hStaircase(scfmon stc, int * Nstc, varset var, int Nvar);
56void hRadical(scfmon rad, int * Nrad, int Nvar);
57void hLexS(scfmon stc, int Nstc, varset var, int Nvar);
58void hLexR(scfmon rad, int Nrad, varset var, int Nvar);
59void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar,
60 scmon pure, int *Npure);
61void hElimS(scfmon stc, int * e1, int a2, int e2,varset var, int Nvar);
62void hElimR(scfmon rad, int * e1, int a2, int e2,varset var, int Nvar);
63void hLex2S(scfmon stc, int e1, int a2, int e2,varset var,
64 int Nvar, scfmon w);
65void hLex2R(scfmon rad, int e1, int a2, int e2,varset var,
66 int Nvar, scfmon w);
67void hStepS(scfmon stc, int Nstc, varset var, int Nvar,int *a, int *x);
68void hStepR(scfmon rad, int Nrad, varset var, int Nvar,int *a);
69monf hCreate(int Nvar);
70void hKill(monf xmem, int Nvar);
71scfmon hGetmem(int lm, scfmon old, monp monmem);
73void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad,
74 varset var, int Nvar);
75void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad,
76 varset var, int Nvar);
77void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad,
78 varset var, int Nvar);
79void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu);
80
81
82scfmon hInit(ideal S, ideal Q, int * Nexist);
83void slicehilb(ideal I);
84void HilbertSeries_OrbitData(ideal S, int lV, bool ig, bool mgrad, bool odp, int trunDegHs);
85ideal RightColonOperation(ideal i, poly w, int lV);
86#endif
int i
Definition: cfEzgcd.cc:132
Variable x
Definition: cfModGcd.cc:4082
int p
Definition: cfModGcd.cc:4078
Definition: intvec.h:23
const CanonicalForm & w
Definition: facAbsFact.cc:51
#define EXTERN_VAR
Definition: globaldefs.h:6
EXTERN_VAR scmon hpur0
Definition: hutil.h:40
EXTERN_VAR int hNstc
Definition: hutil.h:42
monf hCreate(int Nvar)
Definition: hutil.cc:996
void hComp(scfmon exist, int Nexist, int ak, scfmon stc, int *Nstc)
Definition: hutil.cc:154
void HilbertSeries_OrbitData(ideal S, int lV, bool ig, bool mgrad, bool odp, int trunDegHs)
Definition: hilb.cc:1326
EXTERN_VAR indset ISet
Definition: hutil.h:46
intvec * set
Definition: hutil.h:32
void hKill(monf xmem, int Nvar)
Definition: hutil.cc:1010
scfmon mo
Definition: hutil.h:23
void hIndMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:384
scmon * scfmon
Definition: hutil.h:15
void hElimS(scfmon stc, int *e1, int a2, int e2, varset var, int Nvar)
Definition: hutil.cc:672
void hLexS(scfmon stc, int Nstc, varset var, int Nvar)
Definition: hutil.cc:506
indlist * indset
Definition: hutil.h:28
monh * monp
Definition: hutil.h:19
void hDelete(scfmon ev, int ev_length)
Definition: hutil.cc:140
int * varset
Definition: hutil.h:16
EXTERN_VAR scfmon hwork
Definition: hutil.h:39
void hLex2S(scfmon stc, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition: hutil.cc:812
EXTERN_VAR monf stcmem
Definition: hutil.h:43
EXTERN_VAR int hNvar
Definition: hutil.h:42
scfmon hGetmem(int lm, scfmon old, monp monmem)
Definition: hutil.cc:1023
void hPure(scfmon stc, int a, int *Nstc, varset var, int Nvar, scmon pure, int *Npure)
Definition: hutil.cc:621
EXTERN_VAR scfmon hstc
Definition: hutil.h:39
EXTERN_VAR int hMu2
Definition: hutil.h:47
void hSupp(scfmon stc, int Nstc, varset var, int *Nvar)
Definition: hutil.cc:174
ideal RightColonOperation(ideal i, poly w, int lV)
Definition: hilb.cc:1673
void hLexR(scfmon rad, int Nrad, varset var, int Nvar)
Definition: hutil.cc:565
EXTERN_VAR int hNexist
Definition: hutil.h:42
void hStepR(scfmon rad, int Nrad, varset var, int Nvar, int *a)
Definition: hutil.cc:974
EXTERN_VAR int hisModule
Definition: hutil.h:44
void hLex2R(scfmon rad, int e1, int a2, int e2, varset var, int Nvar, scfmon w)
Definition: hutil.cc:880
EXTERN_VAR scfmon hrad
Definition: hutil.h:39
EXTERN_VAR long hMu
Definition: hutil.h:48
void hDegreeSeries(intvec *s1, intvec *s2, int *co, int *mu)
Definition: hilb.cc:732
void hStepS(scfmon stc, int Nstc, varset var, int Nvar, int *a, int *x)
Definition: hutil.cc:949
EXTERN_VAR int hNrad
Definition: hutil.h:42
void hStaircase(scfmon stc, int *Nstc, varset var, int Nvar)
Definition: hutil.cc:313
int * scmon
Definition: hutil.h:14
void hElimR(scfmon rad, int *e1, int a2, int e2, varset var, int Nvar)
Definition: hutil.cc:742
EXTERN_VAR indset JSet
Definition: hutil.h:46
EXTERN_VAR varset hsel
Definition: hutil.h:41
EXTERN_VAR monf radmem
Definition: hutil.h:43
EXTERN_VAR int hNpure
Definition: hutil.h:42
indset nx
Definition: hutil.h:31
void hOrdSupp(scfmon stc, int Nstc, varset var, int Nvar)
Definition: hutil.cc:202
EXTERN_VAR scfmon hexist
Definition: hutil.h:39
int a
Definition: hutil.h:24
EXTERN_VAR varset hvar
Definition: hutil.h:41
scfmon hInit(ideal S, ideal Q, int *Nexist)
Definition: hutil.cc:31
EXTERN_VAR omBin indlist_bin
Definition: hutil.h:37
void slicehilb(ideal I)
Definition: hilb.cc:656
monp * monf
Definition: hutil.h:20
void hRadical(scfmon rad, int *Nrad, int Nvar)
Definition: hutil.cc:411
EXTERN_VAR scmon hpure
Definition: hutil.h:40
EXTERN_VAR int hCo
Definition: hutil.h:47
scmon hGetpure(scmon p)
Definition: hutil.cc:1052
void hDimSolve(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:35
void hIndAllMult(scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar)
Definition: hdegree.cc:564
Definition: hutil.h:22
Definition: hutil.h:30
static matrix mu(matrix A, const ring R)
Definition: matpol.cc:2025
omBin_t * omBin
Definition: omStructs.h:12
Compatibility layer for legacy polynomial operations (over currRing)
#define Q
Definition: sirandom.c:26