![]() |
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 "misc/options.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 long | 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) |
long | scMult0Int (ideal S, ideal Q) |
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) |
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 | hMu2 |
VAR long | hMu |
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 1700 of file hdegree.cc.
|
static |
Definition at line 1609 of file hdegree.cc.
Definition at line 1673 of file hdegree.cc.
Definition at line 465 of file hdegree.cc.
Definition at line 491 of file hdegree.cc.
|
static |
Definition at line 543 of file hdegree.cc.
|
static |
Definition at line 802 of file hdegree.cc.
Definition at line 726 of file hdegree.cc.
Definition at line 35 of file hdegree.cc.
|
static |
Definition at line 1029 of file hdegree.cc.
|
static |
Definition at line 1040 of file hdegree.cc.
Definition at line 564 of file hdegree.cc.
|
static |
Definition at line 370 of file hdegree.cc.
Definition at line 384 of file hdegree.cc.
Definition at line 207 of file hdegree.cc.
Definition at line 703 of file hdegree.cc.
Definition at line 621 of file hdegree.cc.
Definition at line 2084 of file hdegree.cc.
|
static |
Definition at line 1971 of file hdegree.cc.
|
static |
Definition at line 1759 of file hdegree.cc.
|
static |
Definition at line 1779 of file hdegree.cc.
int lp_gkDim | ( | const ideal | _G | ) |
Definition at line 1861 of file hdegree.cc.
int lp_kDim | ( | const ideal | _G | ) |
Definition at line 2111 of file hdegree.cc.
intvec * lp_ufnarovskiGraph | ( | ideal | G, |
ideal & | standardWords | ||
) |
Definition at line 1800 of file hdegree.cc.
|
static |
Definition at line 1259 of file hdegree.cc.
|
static |
Definition at line 1283 of file hdegree.cc.
void scComputeHC | ( | ideal | S, |
ideal | Q, | ||
int | ak, | ||
poly & | hEdge | ||
) |
Definition at line 1100 of file hdegree.cc.
|
static |
Definition at line 1293 of file hdegree.cc.
void scDegree | ( | ideal | S, |
intvec * | modulweight, | ||
ideal | Q | ||
) |
Definition at line 926 of file hdegree.cc.
int scDimInt | ( | ideal | S, |
ideal | Q | ||
) |
ideal dimension
Definition at line 78 of file hdegree.cc.
int scDimIntRing | ( | ideal | vid, |
ideal | Q | ||
) |
scDimInt for ring-coefficients
Definition at line 136 of file hdegree.cc.
|
static |
Definition at line 1175 of file hdegree.cc.
|
static |
Definition at line 1430 of file hdegree.cc.
intvec * scIndIntvec | ( | ideal | S, |
ideal | Q | ||
) |
Definition at line 286 of file hdegree.cc.
|
static |
Definition at line 1374 of file hdegree.cc.
ideal scKBase | ( | int | deg, |
ideal | s, | ||
ideal | Q, | ||
intvec * | mv | ||
) |
Definition at line 1448 of file hdegree.cc.
|
static |
|
static |
long scMult0Int | ( | ideal | S, |
ideal | Q | ||
) |
Definition at line 950 of file hdegree.cc.
int scMultInt | ( | ideal | S, |
ideal | Q | ||
) |
void scPrintDegree | ( | int | co, |
int | mu | ||
) |
Definition at line 912 of file hdegree.cc.
|
static |
Definition at line 1208 of file hdegree.cc.
|
static |
|
static |
Definition at line 2014 of file hdegree.cc.
Definition at line 2047 of file hdegree.cc.
|
static |
Definition at line 2057 of file hdegree.cc.
|
static |
|
static |
Definition at line 2001 of file hdegree.cc.
STATIC_VAR scmon act |
Definition at line 1173 of file hdegree.cc.
VAR int hCo |
Definition at line 27 of file hdegree.cc.
STATIC_VAR scmon hInd |
Definition at line 205 of file hdegree.cc.
VAR long hMu |
Definition at line 28 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 29 of file hdegree.cc.
Definition at line 353 of file hdegree.cc.
Definition at line 353 of file hdegree.cc.
STATIC_VAR poly last |
Definition at line 1172 of file hdegree.cc.
STATIC_VAR poly pWork |
Definition at line 1027 of file hdegree.cc.