![]() |
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 1672 of file hdegree.cc.
|
static |
Definition at line 1581 of file hdegree.cc.
Definition at line 1645 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 2060 of file hdegree.cc.
|
static |
Definition at line 1943 of file hdegree.cc.
|
static |
Definition at line 1731 of file hdegree.cc.
|
static |
Definition at line 1751 of file hdegree.cc.
int lp_gkDim | ( | const ideal | _G | ) |
Definition at line 1833 of file hdegree.cc.
int lp_kDim | ( | const ideal | _G | ) |
Definition at line 2087 of file hdegree.cc.
intvec * lp_ufnarovskiGraph | ( | ideal | G, |
ideal & | standardWords ) |
Definition at line 1772 of file hdegree.cc.
|
static |
Definition at line 1231 of file hdegree.cc.
|
static |
Definition at line 1255 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 1265 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 1147 of file hdegree.cc.
|
static |
Definition at line 1402 of file hdegree.cc.
intvec * scIndIntvec | ( | ideal | S, |
ideal | Q ) |
Definition at line 284 of file hdegree.cc.
|
static |
Definition at line 1346 of file hdegree.cc.
ideal scKBase | ( | int | deg, |
ideal | s, | ||
ideal | Q, | ||
intvec * | mv ) |
Definition at line 1420 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 1180 of file hdegree.cc.
|
static |
|
static |
Definition at line 1990 of file hdegree.cc.
Definition at line 2023 of file hdegree.cc.
|
static |
Definition at line 2033 of file hdegree.cc.
STATIC_VAR scmon act |
Definition at line 1145 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 1144 of file hdegree.cc.
STATIC_VAR poly pWork |
Definition at line 1001 of file hdegree.cc.