![]() |
#include <kernel/mod2.h>
#include <omalloc/omalloc.h>
#include <misc/auxiliary.h>
#include <misc/mylimits.h>
#include <misc/intvec.h>
#include <kernel/combinatorics/hilb.h>
#include <kernel/combinatorics/stairc.h>
#include <kernel/combinatorics/hutil.h>
#include <polys/monomials/ring.h>
#include <polys/monomials/p_polys.h>
#include <polys/simpleideals.h>
#include <kernel/ideals.h>
Go to the source code of this file.
Functions | |
static int | hMinModulweight (intvec *modulweight) |
static void | hHilbEst (scfmon stc, int Nstc, varset var, int Nvar) |
static int * | hAddHilb (int Nv, int x, int *pol, int *lp) |
static void | hLastHilb (scmon pure, int Nv, varset var, int *pol, int lp) |
static void | hHilbStep (scmon pure, scfmon stc, int Nstc, varset var, int Nvar, int *pol, int Lpol) |
static void | hWDegree (intvec *wdegree) |
static int | DegMon (poly p) |
!!!!!!!!!!!!!!!!!!!! Just for Monomial Ideals !!!!!!!!!!!!!!!!!!!!!!!!!!!! More... | |
static bool | idDegSortTest (ideal I) |
static ideal | SortByDeg_p (ideal I, poly p) |
static ideal | SortByDeg (ideal I) |
ideal | idQuotMon (ideal Iorig, ideal p) |
static ideal | idAddMon (ideal I, ideal p) |
static poly | ChoosePVar (ideal I) |
static poly | ChoosePXL (ideal I) |
static poly | ChoosePXF (ideal I) |
static poly | ChoosePOL (ideal I) |
static poly | ChoosePOF (ideal I) |
static poly | ChoosePVL (ideal I) |
static poly | ChoosePVF (ideal I) |
static poly | ChoosePJL (ideal I) |
static poly | ChoosePJF (ideal I) |
static poly | ChooseP (ideal I) |
static poly | SearchP (ideal I) |
searches for a monomial of degree d>=2 and divides it by a variable (result monomial of deg d-1) More... | |
static bool | JustVar (ideal I) |
static void | eulerchar (ideal I, int variables, mpz_ptr ec) |
static poly | SqFree (ideal I) |
static bool | IsIn (poly p, ideal I) |
static poly | LCMmon (ideal I) |
void | rouneslice (ideal I, ideal S, poly q, poly x, int &prune, int &moreprune, int &steps, int &NNN, mpz_ptr &hilbertcoef, int *&hilbpower) |
void | slicehilb (ideal I) |
static intvec * | hSeries (ideal S, intvec *modulweight, int, intvec *wdegree, ideal Q, ring tailRing) |
intvec * | hHstdSeries (ideal S, intvec *modulweight, intvec *wdegree, ideal Q, ring tailRing) |
intvec * | hFirstSeries (ideal S, intvec *modulweight, ideal Q, intvec *wdegree, ring tailRing) |
intvec * | hSecondSeries (intvec *hseries1) |
void | hDegreeSeries (intvec *s1, intvec *s2, int *co, int *mu) |
static void | hPrintHilb (intvec *hseries) |
void | hLookSeries (ideal S, intvec *modulweight, ideal Q, intvec *wdegree, ring tailRing) |
Variables | |
static int ** | Qpol |
static int * | Q0 |
static int * | Ql |
static int | hLength |
|
static |
Definition at line 704 of file hilb.cc.
|
static |
Definition at line 676 of file hilb.cc.
|
static |
Definition at line 590 of file hilb.cc.
|
static |
Definition at line 560 of file hilb.cc.
|
static |
Definition at line 462 of file hilb.cc.
|
static |
Definition at line 648 of file hilb.cc.
|
static |
Definition at line 620 of file hilb.cc.
|
static |
Definition at line 527 of file hilb.cc.
|
static |
Definition at line 494 of file hilb.cc.
|
static |
!!!!!!!!!!!!!!!!!!!! Just for Monomial Ideals !!!!!!!!!!!!!!!!!!!!!!!!!!!!
Definition at line 233 of file hilb.cc.
|
static |
Definition at line 805 of file hilb.cc.
|
static |
Definition at line 1299 of file hilb.cc.
|
static |
Definition at line 144 of file hilb.cc.
Definition at line 1292 of file hilb.cc.
Definition at line 1378 of file hilb.cc.
Definition at line 1307 of file hilb.cc.
|
static |
Definition at line 1136 of file hilb.cc.
|
static |
Definition at line 212 of file hilb.cc.
|
static |
Definition at line 450 of file hilb.cc.
|
static |
Definition at line 249 of file hilb.cc.
ideal idQuotMon | ( | ideal | Iorig, |
ideal | p | ||
) |
Definition at line 390 of file hilb.cc.
|
static |
Definition at line 876 of file hilb.cc.
|
static |
Definition at line 774 of file hilb.cc.
|
static |
Definition at line 915 of file hilb.cc.
void rouneslice | ( | ideal | I, |
ideal | S, | ||
poly | q, | ||
poly | x, | ||
int & | prune, | ||
int & | moreprune, | ||
int & | steps, | ||
int & | NNN, | ||
mpz_ptr & | hilbertcoef, | ||
int *& | hilbpower | ||
) |
Definition at line 941 of file hilb.cc.
|
static |
searches for a monomial of degree d>=2 and divides it by a variable (result monomial of deg d-1)
Definition at line 748 of file hilb.cc.
void slicehilb | ( | ideal | I | ) |
Definition at line 1095 of file hilb.cc.
|
static |
Definition at line 369 of file hilb.cc.
|
static |
Definition at line 269 of file hilb.cc.
|
static |
Definition at line 847 of file hilb.cc.