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 1701 of file hdegree.cc.
|
static |
Definition at line 1610 of file hdegree.cc.
Definition at line 1674 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 1041 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 2085 of file hdegree.cc.
|
static |
Definition at line 1972 of file hdegree.cc.
|
static |
Definition at line 1760 of file hdegree.cc.
|
static |
Definition at line 1780 of file hdegree.cc.
int lp_gkDim | ( | const ideal | _G | ) |
Definition at line 1862 of file hdegree.cc.
int lp_kDim | ( | const ideal | _G | ) |
Definition at line 2112 of file hdegree.cc.
intvec * lp_ufnarovskiGraph | ( | ideal | G, |
ideal & | standardWords | ||
) |
Definition at line 1801 of file hdegree.cc.
|
static |
Definition at line 1260 of file hdegree.cc.
|
static |
Definition at line 1284 of file hdegree.cc.
void scComputeHC | ( | ideal | S, |
ideal | Q, | ||
int | ak, | ||
poly & | hEdge | ||
) |
Definition at line 1101 of file hdegree.cc.
|
static |
Definition at line 1294 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 1176 of file hdegree.cc.
|
static |
Definition at line 1431 of file hdegree.cc.
intvec * scIndIntvec | ( | ideal | S, |
ideal | Q | ||
) |
Definition at line 286 of file hdegree.cc.
|
static |
Definition at line 1375 of file hdegree.cc.
ideal scKBase | ( | int | deg, |
ideal | s, | ||
ideal | Q, | ||
intvec * | mv | ||
) |
Definition at line 1449 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 1209 of file hdegree.cc.
|
static |
|
static |
Definition at line 2015 of file hdegree.cc.
Definition at line 2048 of file hdegree.cc.
|
static |
Definition at line 2058 of file hdegree.cc.
|
static |
|
static |
Definition at line 2002 of file hdegree.cc.
STATIC_VAR scmon act |
Definition at line 1174 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 1173 of file hdegree.cc.
STATIC_VAR poly pWork |
Definition at line 1027 of file hdegree.cc.