![]() |
My Project
|
#include "kernel/mod2.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"
#include "reporter/reporter.h"
#include <vector>
#include "Singular/libsingular.h"
#include "polys/shiftop.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) |
ideal dimension More... | |
int | scDimIntRing (ideal vid, ideal Q) |
scDimInt for ring-coefficients More... | |
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) |
static std::vector< int > | countCycles (const intvec *_G, int v, std::vector< int > path, std::vector< BOOLEAN > visited, std::vector< BOOLEAN > cyclic, std::vector< int > cache) |
static int | graphGrowth (const intvec *G) |
static void | _lp_computeNormalWords (ideal words, int &numberOfNormalWords, int length, ideal M, int minDeg, int &last) |
static ideal | lp_computeNormalWords (int length, ideal M) |
static int | lp_countNormalWords (int upToLength, ideal M) |
intvec * | lp_ufnarovskiGraph (ideal G, ideal &standardWords) |
int | lp_gkDim (const ideal _G) |
static std::vector< std::vector< int > > | iv2vv (intvec *M) |
static void | vvPrint (const std::vector< std::vector< int > > &mat) |
static void | vvTest (const std::vector< std::vector< int > > &mat) |
static void | vvDeleteRow (std::vector< std::vector< int > > &mat, int row) |
static void | vvDeleteColumn (std::vector< std::vector< int > > &mat, int col) |
static BOOLEAN | vvIsRowZero (const std::vector< std::vector< int > > &mat, int row) |
static BOOLEAN | vvIsColumnZero (const std::vector< std::vector< int > > &mat, int col) |
static BOOLEAN | vvIsZero (const std::vector< std::vector< int > > &mat) |
static std::vector< std::vector< int > > | vvMult (const std::vector< std::vector< int > > &a, const std::vector< std::vector< int > > &b) |
static BOOLEAN | isAcyclic (const intvec *G) |
int | lp_kDim (const ideal _G) |
Variables | |
VAR int | hCo |
VAR int | hMu |
VAR int | hMu2 |
VAR omBin | indlist_bin = omGetSpecBin(sizeof(indlist)) |
STATIC_VAR scmon | hInd |
VAR indset | ISet |
VAR indset | JSet |
STATIC_VAR poly | pWork |
STATIC_VAR poly | last |
STATIC_VAR scmon | act |
|
static |
Definition at line 1678 of file hdegree.cc.
|
static |
Definition at line 1587 of file hdegree.cc.
Definition at line 1651 of file hdegree.cc.
Definition at line 467 of file hdegree.cc.
Definition at line 493 of file hdegree.cc.
|
static |
Definition at line 545 of file hdegree.cc.
|
static |
Definition at line 771 of file hdegree.cc.
|
static |
Definition at line 918 of file hdegree.cc.
Definition at line 695 of file hdegree.cc.
Definition at line 34 of file hdegree.cc.
|
static |
Definition at line 1006 of file hdegree.cc.
|
static |
Definition at line 1018 of file hdegree.cc.
Definition at line 569 of file hdegree.cc.
|
static |
Definition at line 369 of file hdegree.cc.
Definition at line 386 of file hdegree.cc.
Definition at line 206 of file hdegree.cc.
Definition at line 672 of file hdegree.cc.
Definition at line 626 of file hdegree.cc.
Definition at line 2062 of file hdegree.cc.
|
static |
Definition at line 1949 of file hdegree.cc.
|
static |
Definition at line 1737 of file hdegree.cc.
|
static |
Definition at line 1757 of file hdegree.cc.
int lp_gkDim | ( | const ideal | _G | ) |
Definition at line 1839 of file hdegree.cc.
int lp_kDim | ( | const ideal | _G | ) |
Definition at line 2089 of file hdegree.cc.
intvec * lp_ufnarovskiGraph | ( | ideal | G, |
ideal & | standardWords | ||
) |
Definition at line 1778 of file hdegree.cc.
|
static |
Definition at line 1237 of file hdegree.cc.
|
static |
Definition at line 1261 of file hdegree.cc.
void scComputeHC | ( | ideal | S, |
ideal | Q, | ||
int | ak, | ||
poly & | hEdge, | ||
ring | tailRing | ||
) |
Definition at line 1078 of file hdegree.cc.
|
static |
Definition at line 1271 of file hdegree.cc.
void scDegree | ( | ideal | S, |
intvec * | modulweight, | ||
ideal | Q | ||
) |
Definition at line 895 of file hdegree.cc.
int scDimInt | ( | ideal | S, |
ideal | Q | ||
) |
int scDimIntRing | ( | ideal | vid, |
ideal | Q | ||
) |
scDimInt for ring-coefficients
Definition at line 135 of file hdegree.cc.
|
static |
Definition at line 1153 of file hdegree.cc.
|
static |
Definition at line 1408 of file hdegree.cc.
intvec * scIndIntvec | ( | ideal | S, |
ideal | Q | ||
) |
Definition at line 285 of file hdegree.cc.
|
static |
Definition at line 1352 of file hdegree.cc.
ideal scKBase | ( | int | deg, |
ideal | s, | ||
ideal | Q, | ||
intvec * | mv | ||
) |
Definition at line 1426 of file hdegree.cc.
|
static |
|
static |
int scMult0Int | ( | ideal | S, |
ideal | Q, | ||
const ring | tailRing | ||
) |
Definition at line 992 of file hdegree.cc.
int scMultInt | ( | ideal | S, |
ideal | Q | ||
) |
void scPrintDegree | ( | int | co, |
int | mu | ||
) |
Definition at line 881 of file hdegree.cc.
|
static |
Definition at line 1186 of file hdegree.cc.
|
static |
|
static |
Definition at line 1992 of file hdegree.cc.
Definition at line 2025 of file hdegree.cc.
|
static |
Definition at line 2035 of file hdegree.cc.
|
static |
|
static |
Definition at line 1979 of file hdegree.cc.
STATIC_VAR scmon act |
Definition at line 1151 of file hdegree.cc.
VAR int hCo |
Definition at line 27 of file hdegree.cc.
STATIC_VAR scmon hInd |
Definition at line 204 of file hdegree.cc.
VAR int hMu |
Definition at line 27 of file hdegree.cc.
VAR int hMu2 |
Definition at line 27 of file hdegree.cc.
VAR omBin indlist_bin = omGetSpecBin(sizeof(indlist)) |
Definition at line 28 of file hdegree.cc.
Definition at line 352 of file hdegree.cc.
Definition at line 352 of file hdegree.cc.
STATIC_VAR poly last |
Definition at line 1150 of file hdegree.cc.
STATIC_VAR poly pWork |
Definition at line 1004 of file hdegree.cc.