![]() |
#include "kernel/mod2.h"
#include "omalloc/omalloc.h"
#include "misc/intvec.h"
#include "coeffs/numbers.h"
#include "kernel/structs.h"
#include "kernel/ideals.h"
#include "kernel/polys.h"
#include "kernel/combinatorics/hutil.h"
#include "kernel/combinatorics/hilb.h"
#include "kernel/combinatorics/stairc.h"
Go to the source code of this file.
Functions | |
void | hDimSolve (scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar) |
int | scDimInt (ideal S, ideal Q) |
static void | hIndSolve (scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar) |
intvec * | scIndIntvec (ideal S, ideal Q) |
static BOOLEAN | hNotZero (scfmon rad, int Nrad, varset var, int Nvar) |
static void | hIndep (scmon pure) |
void | hIndMult (scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar) |
static BOOLEAN | hCheck1 (indset sm, scmon pure) |
static indset | hCheck2 (indset sm, scmon pure) |
static void | hCheckIndep (scmon pure) |
void | hIndAllMult (scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar) |
static int | hZeroMult (scmon pure, scfmon stc, int Nstc, varset var, int Nvar) |
static void | hProject (scmon pure, varset sel) |
static void | hDimMult (scmon pure, int Npure, scfmon rad, int Nrad, varset var, int Nvar) |
static void | hDegree (ideal S, ideal Q) |
int | scMultInt (ideal S, ideal Q) |
void | scPrintDegree (int co, int mu) |
void | scDegree (ideal S, intvec *modulweight, ideal Q) |
static void | hDegree0 (ideal S, ideal Q, const ring tailRing) |
int | scMult0Int (ideal S, ideal Q, const ring tailRing) |
static void | hHedge (poly hEdge) |
static void | hHedgeStep (scmon pure, scfmon stc, int Nstc, varset var, int Nvar, poly hEdge) |
void | scComputeHC (ideal S, ideal Q, int ak, poly &hEdge, ring tailRing) |
static void | scElKbase () |
static int | scMax (int i, scfmon stc, int Nvar) |
static int | scMin (int i, scfmon stc, int Nvar) |
static int | scRestrict (int &Nstc, scfmon stc, int Nvar) |
static void | scAll (int Nvar, int deg) |
static void | scAllKbase (int Nvar, int ideg, int deg) |
static void | scDegKbase (scfmon stc, int Nstc, int Nvar, int deg) |
static void | scInKbase (scfmon stc, int Nstc, int Nvar) |
static ideal | scIdKbase (poly q, const int rank) |
ideal | scKBase (int deg, ideal s, ideal Q, intvec *mv) |
Variables | |
int | hCo |
int | hMu |
int | hMu2 |
omBin | indlist_bin = omGetSpecBin(sizeof(indlist)) |
static scmon | hInd |
indset | ISet |
indset | JSet |
static poly | pWork |
static poly | last |
static scmon | act |
Definition at line 394 of file hdegree.cc.
Definition at line 420 of file hdegree.cc.
|
static |
Definition at line 472 of file hdegree.cc.
|
static |
Definition at line 698 of file hdegree.cc.
|
static |
Definition at line 845 of file hdegree.cc.
Definition at line 622 of file hdegree.cc.
Definition at line 29 of file hdegree.cc.
|
static |
Definition at line 933 of file hdegree.cc.
|
static |
Definition at line 945 of file hdegree.cc.
Definition at line 496 of file hdegree.cc.
|
static |
Definition at line 296 of file hdegree.cc.
Definition at line 313 of file hdegree.cc.
Definition at line 133 of file hdegree.cc.
Definition at line 281 of file hdegree.cc.
Definition at line 599 of file hdegree.cc.
Definition at line 553 of file hdegree.cc.
|
static |
Definition at line 1164 of file hdegree.cc.
|
static |
Definition at line 1188 of file hdegree.cc.
void scComputeHC | ( | ideal | S, |
ideal | Q, | ||
int | ak, | ||
poly & | hEdge, | ||
ring | tailRing | ||
) |
Definition at line 1005 of file hdegree.cc.
|
static |
Definition at line 1198 of file hdegree.cc.
void scDegree | ( | ideal | S, |
intvec * | modulweight, | ||
ideal | Q | ||
) |
Definition at line 822 of file hdegree.cc.
int scDimInt | ( | ideal | S, |
ideal | Q | ||
) |
Definition at line 72 of file hdegree.cc.
|
static |
Definition at line 1080 of file hdegree.cc.
|
static |
Definition at line 1335 of file hdegree.cc.
intvec* scIndIntvec | ( | ideal | S, |
ideal | Q | ||
) |
Definition at line 212 of file hdegree.cc.
|
static |
Definition at line 1279 of file hdegree.cc.
ideal scKBase | ( | int | deg, |
ideal | s, | ||
ideal | Q, | ||
intvec * | mv | ||
) |
Definition at line 1353 of file hdegree.cc.
|
static |
Definition at line 1089 of file hdegree.cc.
|
static |
Definition at line 1101 of file hdegree.cc.
int scMult0Int | ( | ideal | S, |
ideal | Q, | ||
const ring | tailRing | ||
) |
Definition at line 919 of file hdegree.cc.
int scMultInt | ( | ideal | S, |
ideal | Q | ||
) |
Definition at line 799 of file hdegree.cc.
void scPrintDegree | ( | int | co, |
int | mu | ||
) |
Definition at line 808 of file hdegree.cc.
|
static |
Definition at line 1113 of file hdegree.cc.
|
static |
Definition at line 1078 of file hdegree.cc.
int hCo |
Definition at line 22 of file hdegree.cc.
|
static |
Definition at line 131 of file hdegree.cc.
int hMu |
Definition at line 22 of file hdegree.cc.
int hMu2 |
Definition at line 22 of file hdegree.cc.
omBin indlist_bin = omGetSpecBin(sizeof(indlist)) |
Definition at line 23 of file hdegree.cc.
indset ISet |
Definition at line 279 of file hdegree.cc.
indset JSet |
Definition at line 279 of file hdegree.cc.
|
static |
Definition at line 1077 of file hdegree.cc.
|
static |
Definition at line 931 of file hdegree.cc.