![]() |
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 | |
int | scDimIntRing (ideal vid, ideal Q) |
scDimInt for ring-coefficients | |
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) |
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 | 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 1665 of file hdegree.cc.
|
static |
Definition at line 1574 of file hdegree.cc.
Definition at line 1638 of file hdegree.cc.
Definition at line 463 of file hdegree.cc.
Definition at line 489 of file hdegree.cc.
|
static |
Definition at line 541 of file hdegree.cc.
|
static |
Definition at line 800 of file hdegree.cc.
Definition at line 724 of file hdegree.cc.
Definition at line 35 of file hdegree.cc.
|
static |
Definition at line 1003 of file hdegree.cc.
|
static |
Definition at line 1014 of file hdegree.cc.
Definition at line 562 of file hdegree.cc.
|
static |
Definition at line 368 of file hdegree.cc.
Definition at line 382 of file hdegree.cc.
Definition at line 205 of file hdegree.cc.
Definition at line 701 of file hdegree.cc.
Definition at line 619 of file hdegree.cc.
Definition at line 2053 of file hdegree.cc.
|
static |
Definition at line 1936 of file hdegree.cc.
|
static |
Definition at line 1724 of file hdegree.cc.
|
static |
Definition at line 1744 of file hdegree.cc.
int lp_gkDim | ( | const ideal | _G | ) |
Definition at line 1826 of file hdegree.cc.
int lp_kDim | ( | const ideal | _G | ) |
Definition at line 2080 of file hdegree.cc.
intvec * lp_ufnarovskiGraph | ( | ideal | G, |
ideal & | standardWords ) |
Definition at line 1765 of file hdegree.cc.
|
static |
Definition at line 1224 of file hdegree.cc.
|
static |
Definition at line 1248 of file hdegree.cc.
void scComputeHC | ( | ideal | S, |
ideal | Q, | ||
int | ak, | ||
poly & | hEdge ) |
Definition at line 1074 of file hdegree.cc.
|
static |
Definition at line 1258 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 1140 of file hdegree.cc.
|
static |
Definition at line 1395 of file hdegree.cc.
intvec * scIndIntvec | ( | ideal | S, |
ideal | Q ) |
Definition at line 284 of file hdegree.cc.
|
static |
Definition at line 1339 of file hdegree.cc.
ideal scKBase | ( | int | deg, |
ideal | s, | ||
ideal | Q, | ||
intvec * | mv ) |
Definition at line 1413 of file hdegree.cc.
|
static |
|
static |
long scMult0Int | ( | ideal | S, |
ideal | Q ) |
Definition at line 924 of file hdegree.cc.
int scMultInt | ( | ideal | S, |
ideal | Q ) |
void scPrintDegree | ( | int | co, |
int | mu ) |
Definition at line 910 of file hdegree.cc.
|
static |
Definition at line 1173 of file hdegree.cc.
|
static |
|
static |
Definition at line 1983 of file hdegree.cc.
Definition at line 2016 of file hdegree.cc.
|
static |
Definition at line 2026 of file hdegree.cc.
STATIC_VAR scmon act |
Definition at line 1138 of file hdegree.cc.
VAR int hCo |
Definition at line 27 of file hdegree.cc.
STATIC_VAR scmon hInd |
Definition at line 203 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 351 of file hdegree.cc.
Definition at line 351 of file hdegree.cc.
STATIC_VAR poly last |
Definition at line 1137 of file hdegree.cc.
STATIC_VAR poly pWork |
Definition at line 1001 of file hdegree.cc.