![]() |
#include "kernel/mod2.h"
#include "omalloc/omalloc.h"
#include "misc/mylimits.h"
#include "libpolys/misc/intvec.h"
#include <assert.h>
#include <unistd.h>
#include "kernel/combinatorics/hilb.h"
#include "kernel/combinatorics/stairc.h"
#include "kernel/combinatorics/hutil.h"
#include "cohomo.h"
#include "kernel/GBEngine/tgb.h"
#include "Singular/ipid.h"
#include "polys/monomials/ring.h"
#include "polys/monomials/p_polys.h"
#include "polys/simpleideals.h"
#include "Singular/lists.h"
#include "kernel/linear_algebra/linearAlgebra.h"
#include "kernel/GBEngine/kstd1.h"
#include <kernel/ideals.h>
#include <libpolys/polys/ext_fields/transext.h>
#include <libpolys/coeffs/coeffs.h>
#include <coeffs/numbers.h>
#include <vector>
#include <Singular/ipshell.h>
#include <Singular/libsingular.h>
#include <time.h>
Go to the source code of this file.
Functions | |
void | listprint (std::vector< int > vec) |
void | listsprint (std::vector< std::vector< int > > posMat) |
void | id_print (ideal h) |
void | lpprint (std::vector< poly > pv) |
void | lpsprint (std::vector< std::vector< poly > > pvs) |
bool | IsinL (int a, std::vector< int > vec) |
std::vector< int > | vecIntersection (std::vector< int > p, std::vector< int > q) |
bool | vEv (std::vector< int > vec1, std::vector< int > vec2) |
bool | vsubset (std::vector< int > vec1, std::vector< int > vec2) |
bool | vEvl (std::vector< int > vec1, std::vector< int > vec2) |
bool | vInvsl (std::vector< int > vec, std::vector< std::vector< int > > vecs) |
int | vInvs (std::vector< int > vec, std::vector< std::vector< int > > vecs) |
std::vector< int > | vecUnion (std::vector< int > vec1, std::vector< int > vec2) |
std::vector< int > | vecMinus (std::vector< int > vec1, std::vector< int > vec2) |
std::vector< std::vector< int > > | vsMinusv (std::vector< std::vector< int > > vecs, std::vector< int > vec) |
std::vector< std::vector< int > > | vsUnion (std::vector< std::vector< int > > vs1, std::vector< std::vector< int > > vs2) |
std::vector< std::vector< int > > | vsIntersection (std::vector< std::vector< int > > vs1, std::vector< std::vector< int > > vs2) |
std::vector< int > | support1 (poly p) |
std::vector< std::vector< int > > | supports (ideal h) |
std::vector< int > | support2 (poly p) |
std::vector< std::vector< int > > | supports2 (ideal h) |
poly | pMake (std::vector< int > vbase) |
ideal | idMake (std::vector< std::vector< int > > vecs) |
ideal | idmodulo (ideal h1, ideal h2) |
int | pcoef (poly p, int m) |
bool | vInp (int m, poly p) |
std::vector< int > | vMake (poly p) |
std::vector< std::vector< int > > | vsMake (ideal h) |
std::vector< std::vector< int > > | vecqring (std::vector< std::vector< int > > vec1, std::vector< std::vector< int > > vec2) |
poly | pMaken (std::vector< int > vbase) |
ideal | idMaken (std::vector< std::vector< int > > vecs) |
std::vector< std::vector< int > > | b_subsets (std::vector< int > vec) |
int | idvert (ideal h) |
int | pvert (poly p) |
ideal | idMinus (ideal h1, ideal h2) |
bool | p_Ifsfree (poly P) |
ideal | sfreemon (ideal h, int deg) |
ideal | id_sfmon (ideal h) |
ideal | id_complement (ideal h) |
bool | IsInX (poly p, ideal X) |
ideal | qringadd (ideal h1, ideal h2, int deg) |
int | id_maxdeg (ideal h) |
ideal | idsrRing (ideal h) |
ideal | SimFacset (poly p) |
ideal | idadda (ideal h1, ideal h2) |
ideal | IsSimplex (ideal h) |
ideal | complementsimplex (ideal h) |
int | dim_sim (ideal h) |
int | num4dim (ideal h, int n) |
ideal | findb (ideal h) |
ideal | finda (ideal h, poly S, int ddeg) |
bool | mabconditionv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > av, std::vector< int > bv) |
std::vector< std::vector< int > > | Mabv (ideal h, poly a, poly b) |
std::vector< int > | eli1 (std::vector< int > eq1, std::vector< int > eq2) |
std::vector< int > | keeporder (std::vector< int > vec) |
std::vector< std::vector< int > > | soleli1 (std::vector< std::vector< int > > eqs) |
std::vector< int > | freevars (int n, std::vector< int > bset, std::vector< std::vector< int > > gset) |
std::vector< int > | fvarsvalue (int vnum, std::vector< int > fvars) |
std::vector< std::vector< int > > | vAbsorb (std::vector< int > bset, std::vector< std::vector< int > > gset) |
std::vector< int > | vecbase1 (int num, std::vector< int > oset) |
std::vector< int > | make0 (int n) |
std::vector< int > | make1 (int n) |
std::vector< int > | ofindbases1 (int num, int vnum, std::vector< int > bset, std::vector< std::vector< int > > gset) |
std::vector< std::vector< int > > | ofindbases (int num, std::vector< int > bset, std::vector< std::vector< int > > gset) |
std::vector< std::vector< int > > | eli2 (int num, std::vector< int > bset, std::vector< std::vector< int > > gset) |
std::vector< std::vector< int > > | links (poly a, ideal h) |
int | redefinedeg (poly p, int num) |
ideal | p_a (ideal h) |
std::vector< std::vector< int > > | id_subsets (std::vector< std::vector< int > > vecs) |
std::vector< int > | vertset (std::vector< std::vector< int > > vecs) |
ideal | p_b (ideal h, poly a) |
ideal | psubset (poly p) |
std::vector< std::vector< int > > | listsinsertlist (std::vector< std::vector< int > > gset, int a, int b) |
std::vector< int > | makeequation (int i, int j, int t) |
poly | pMake3 (std::vector< int > vbase) |
ideal | idMake3 (std::vector< std::vector< int > > vecs) |
void | equmab (int num) |
std::vector< int > | subspace1 (std::vector< std::vector< int > > mv, std::vector< int > bv) |
std::vector< poly > | pMakei (std::vector< std::vector< int > > mv, std::vector< int > vbase) |
std::vector< std::vector< poly > > | idMakei (std::vector< std::vector< int > > mv, std::vector< std::vector< int > > vecs) |
void | gradedpiece1 (ideal h, poly a, poly b) |
bool | condition1for2 (std::vector< int > pv, std::vector< int > qv, std::vector< int > bv) |
bool | condition2for2 (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > sv, std::vector< int > av, std::vector< int > bv) |
bool | condition3for2 (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > av, std::vector< int > bv) |
ideal | getpresolve (ideal h) |
std::vector< int > | numfree (ideal h) |
std::vector< std::vector< int > > | canonicalbase (int n) |
std::vector< std::vector< int > > | getvector (ideal h, int n) |
std::vector< int > | findalpha (std::vector< std::vector< int > > mv, std::vector< int > bv) |
std::vector< int > | subspacet1 (int num, std::vector< std::vector< int > > ntvs) |
std::vector< std::vector< int > > | subspacet (std::vector< std::vector< int > > mv, std::vector< int > bv, std::vector< std::vector< int > > ntvs) |
std::vector< std::vector< int > > | mabtv (std::vector< std::vector< int > > hvs, std::vector< std::vector< int > > Mv, std::vector< int > av, std::vector< int > bv) |
void | gradedpiece2 (ideal h, poly a, poly b) |
bool | nabconditionv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > av, std::vector< int > bv) |
std::vector< std::vector< int > > | Nabv (std::vector< std::vector< int > > hvs, std::vector< int > av, std::vector< int > bv) |
bool | nabtconditionv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > av, std::vector< int > bv) |
std::vector< std::vector< int > > | nabtv (std::vector< std::vector< int > > hvs, std::vector< std::vector< int > > Nv, std::vector< int > av, std::vector< int > bv) |
bool | tNab (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< std::vector< int > > bvs) |
std::vector< int > | tnab (std::vector< std::vector< int > > hvs, std::vector< std::vector< int > > nvs, std::vector< std::vector< int > > bvs) |
std::vector< int > | phimage (std::vector< int > pv, std::vector< int > av, std::vector< int > bv) |
std::vector< std::vector< int > > | value1 (std::vector< std::vector< int > > mvs, std::vector< std::vector< int > > nvs, std::vector< std::vector< int > > vecs, std::vector< int > av, std::vector< int > bv) |
intvec * | Tmat (std::vector< std::vector< int > > vecs) |
std::vector< int > | gensindex (ideal M, ideal ids) |
ideal | mingens (ideal h, poly a, poly b) |
std::vector< std::vector< int > > | minisolve (std::vector< std::vector< int > > solve, std::vector< int > index) |
intvec * | gradedpiece1n (ideal h, poly a, poly b) |
void | T1 (ideal h) |
bool | condition2for2nv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > fv) |
std::vector< int > | findalphan (std::vector< std::vector< int > > N, std::vector< int > tN) |
std::vector< std::vector< int > > | subspacetn (std::vector< std::vector< int > > N, std::vector< int > tN, std::vector< std::vector< int > > ntvs) |
std::vector< std::vector< int > > | value2 (std::vector< std::vector< int > > mvs, std::vector< std::vector< int > > nvs, std::vector< std::vector< int > > mts, std::vector< std::vector< int > > nts, std::vector< std::vector< int > > vecs, std::vector< int > av, std::vector< int > bv) |
ideal | genst (ideal h, poly a, poly b) |
intvec * | gradedpiece2n (ideal h, poly a, poly b) |
void | T2 (ideal h) |
std::vector< int > | phimagel (std::vector< int > fv, std::vector< int > av, std::vector< int > bv) |
std::vector< std::vector< int > > | value1l (std::vector< std::vector< int > > mvs, std::vector< std::vector< int > > lks, std::vector< std::vector< int > > vecs, std::vector< int > av, std::vector< int > bv) |
static void | TimeShow (clock_t t_construct, clock_t t_solve, clock_t t_value, clock_t t_total) |
std::vector< std::vector< int > > | gpl (ideal h, poly a, poly b) |
intvec * | gradedpiece1nl (ideal h, poly a, poly b, int set) |
std::vector< std::vector< int > > | value2l (std::vector< std::vector< int > > mvs, std::vector< std::vector< int > > lks, std::vector< std::vector< int > > mts, std::vector< std::vector< int > > lkts, std::vector< std::vector< int > > vecs, std::vector< int > av, std::vector< int > bv) |
std::vector< std::vector< int > > | gpl2 (ideal h, poly a, poly b) |
intvec * | gradedpiece2nl (ideal h, poly a, poly b) |
ideal | trisets (ideal h) |
std::vector< std::vector< int > > | triface (poly p, int vert) |
ideal | triangulations1 (ideal h, poly p, int vert) |
std::vector< int > | commonedge (poly p, poly q) |
intvec * | edgemat (poly p, poly q) |
std::vector< std::vector< int > > | tetraface (poly p, poly q, int vert) |
ideal | triangulations2 (ideal h, poly p, poly q, int vert) |
std::vector< std::vector< int > > | penface (poly p, poly q, poly g, int vert) |
ideal | triangulations3 (ideal h, poly p, poly q, poly g, int vert) |
int | valency (ideal h, poly p) |
std::vector< std::vector< int > > | vsMinusvs (std::vector< std::vector< int > > vs1, std::vector< std::vector< int > > vs2) |
std::vector< std::vector< int > > | vs_subsets (std::vector< std::vector< int > > vs) |
std::vector< std::vector< int > > | p_constant (ideal Xo, ideal Sigma) |
std::vector< std::vector< int > > | p_change (ideal Sigma) |
std::vector< std::vector< int > > | p_new (ideal Xo, ideal Sigma) |
ideal | c_New (ideal Io, ideal sig) |
std::vector< std::vector< int > > | phi1 (poly a, ideal Sigma) |
std::vector< std::vector< int > > | phi2 (poly a, ideal Xo, ideal Sigma, int vert) |
std::vector< std::vector< int > > | links_new (poly a, ideal Xo, ideal Sigma, int vert, int ord) |
int | existIn (poly b, ideal Xs) |
int | isoNum (poly p, ideal I, poly a, poly b) |
int | ifIso (poly p, poly q, poly f, poly g, poly a, poly b) |
ideal | idMinusp (ideal I, poly p) |
ideal | makemab (ideal h, poly a, poly b) |
std::vector< int > | v_minus (std::vector< int > v1, std::vector< int > v2) |
std::vector< int > | gdegree (poly a, poly b) |
std::vector< std::vector< int > > | star (poly a, ideal h) |
std::vector< std::vector< int > > | boundary (poly a) |
std::vector< std::vector< int > > | stellarsub (poly a, ideal h) |
std::vector< std::vector< int > > | bsubsets_1 (poly b) |
ideal | T_1h (ideal h) |
BOOLEAN | SRideal (leftv res, leftv args) |
BOOLEAN | idcomplement (leftv res, leftv args) |
BOOLEAN | t1h (leftv res, leftv args) |
BOOLEAN | idsr (leftv res, leftv args) |
intvec * | dmat (poly a, poly b) |
BOOLEAN | gd (leftv res, leftv args) |
BOOLEAN | comedg (leftv res, leftv args) |
BOOLEAN | fb (leftv res, leftv args) |
BOOLEAN | pa (leftv res, leftv args) |
BOOLEAN | makeSimplex (leftv res, leftv args) |
BOOLEAN | pb (leftv res, leftv args) |
BOOLEAN | fa (leftv res, leftv args) |
BOOLEAN | fgp (leftv res, leftv args) |
BOOLEAN | fgpl (leftv res, leftv args) |
BOOLEAN | genstt (leftv res, leftv args) |
BOOLEAN | sgp (leftv res, leftv args) |
BOOLEAN | sgpl (leftv res, leftv args) |
BOOLEAN | Links (leftv res, leftv args) |
BOOLEAN | isSim (leftv res, leftv args) |
BOOLEAN | nfaces1 (leftv res, leftv args) |
BOOLEAN | nfaces2 (leftv res, leftv args) |
BOOLEAN | nfaces3 (leftv res, leftv args) |
BOOLEAN | eqsolve1 (leftv res, leftv args) |
BOOLEAN | tsets (leftv res, leftv args) |
BOOLEAN | Valency (leftv res, leftv args) |
BOOLEAN | nabvl (leftv res, leftv args) |
BOOLEAN | tnabvl (leftv res, leftv args) |
BOOLEAN | vsIntersec (leftv res, leftv args) |
BOOLEAN | mabvl (leftv res, leftv args) |
BOOLEAN | nabtvl (leftv res, leftv args) |
BOOLEAN | linkn (leftv res, leftv args) |
BOOLEAN | existsub (leftv res, leftv args) |
BOOLEAN | pConstant (leftv res, leftv args) |
BOOLEAN | pChange (leftv res, leftv args) |
BOOLEAN | p_New (leftv res, leftv args) |
BOOLEAN | support (leftv res, leftv args) |
BOOLEAN | bprime (leftv res, leftv args) |
BOOLEAN | psMinusp (leftv res, leftv args) |
BOOLEAN | stellarremain (leftv res, leftv args) |
BOOLEAN | cNew (leftv res, leftv args) |
BOOLEAN | stars (leftv res, leftv args) |
BOOLEAN | stellarsubdivision (leftv res, leftv args) |
BOOLEAN | idModulo (leftv res, leftv args) |
BOOLEAN | idminus (leftv res, leftv args) |
BOOLEAN | isoNumber (leftv res, leftv args) |
BOOLEAN | ifIsomorphism (leftv res, leftv args) |
BOOLEAN | newDegree (leftv res, leftv args) |
BOOLEAN | nonf2f (leftv res, leftv args) |
BOOLEAN | dimsim (leftv res, leftv args) |
BOOLEAN | numdim (leftv res, leftv args) |
void | firstorderdef_setup (SModulFunctions *p) |
int SI_MOD_INIT0() | cohomo (SModulFunctions *p) |
Variables | |
VAR clock_t | t_begin |
VAR clock_t | t_mark |
VAR clock_t | t_start |
VAR clock_t | t_construct =0 |
VAR clock_t | t_solve =0 |
VAR clock_t | t_value =0 |
VAR clock_t | t_total =0 |
std::vector<std::vector<int> > b_subsets | ( | std::vector< int > | vec | ) |
Definition at line 610 of file cohomo.cc.
std::vector<std::vector<int> > boundary | ( | poly | a | ) |
Definition at line 4082 of file cohomo.cc.
Definition at line 4989 of file cohomo.cc.
ideal c_New | ( | ideal | Io, |
ideal | sig | ||
) |
Definition at line 3851 of file cohomo.cc.
Definition at line 5043 of file cohomo.cc.
int SI_MOD_INIT0() cohomo | ( | SModulFunctions * | p | ) |
Definition at line 4313 of file cohomo.cc.
ideal complementsimplex | ( | ideal | h | ) |
Definition at line 1015 of file cohomo.cc.
bool condition1for2 | ( | std::vector< int > | pv, |
std::vector< int > | qv, | ||
std::vector< int > | bv | ||
) |
Definition at line 2064 of file cohomo.cc.
bool condition2for2 | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | pv, | ||
std::vector< int > | qv, | ||
std::vector< int > | sv, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2079 of file cohomo.cc.
bool condition2for2nv | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | pv, | ||
std::vector< int > | qv, | ||
std::vector< int > | fv | ||
) |
Definition at line 2875 of file cohomo.cc.
bool condition3for2 | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | pv, | ||
std::vector< int > | qv, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2097 of file cohomo.cc.
Definition at line 5239 of file cohomo.cc.
intvec* dmat | ( | poly | a, |
poly | b | ||
) |
Definition at line 4274 of file cohomo.cc.
intvec* edgemat | ( | poly | p, |
poly | q | ||
) |
Definition at line 3589 of file cohomo.cc.
std::vector<int> eli1 | ( | std::vector< int > | eq1, |
std::vector< int > | eq2 | ||
) |
std::vector<std::vector<int> > eli2 | ( | int | num, |
std::vector< int > | bset, | ||
std::vector< std::vector< int > > | gset | ||
) |
Definition at line 1480 of file cohomo.cc.
Definition at line 4654 of file cohomo.cc.
void equmab | ( | int | num | ) |
Definition at line 1896 of file cohomo.cc.
int existIn | ( | poly | b, |
ideal | Xs | ||
) |
Definition at line 3954 of file cohomo.cc.
Definition at line 4903 of file cohomo.cc.
Definition at line 4392 of file cohomo.cc.
Definition at line 4333 of file cohomo.cc.
ideal finda | ( | ideal | h, |
poly | S, | ||
int | ddeg | ||
) |
Definition at line 1108 of file cohomo.cc.
std::vector<int> findalpha | ( | std::vector< std::vector< int > > | mv, |
std::vector< int > | bv | ||
) |
std::vector<int> findalphan | ( | std::vector< std::vector< int > > | N, |
std::vector< int > | tN | ||
) |
ideal findb | ( | ideal | h | ) |
Definition at line 1079 of file cohomo.cc.
void firstorderdef_setup | ( | SModulFunctions * | p | ) |
std::vector<int> freevars | ( | int | n, |
std::vector< int > | bset, | ||
std::vector< std::vector< int > > | gset | ||
) |
std::vector<int> fvarsvalue | ( | int | vnum, |
std::vector< int > | fvars | ||
) |
Definition at line 4294 of file cohomo.cc.
std::vector<int> gdegree | ( | poly | a, |
poly | b | ||
) |
Definition at line 4042 of file cohomo.cc.
std::vector<int> gensindex | ( | ideal | M, |
ideal | ids | ||
) |
Definition at line 2707 of file cohomo.cc.
ideal genst | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 2988 of file cohomo.cc.
Definition at line 4467 of file cohomo.cc.
ideal getpresolve | ( | ideal | h | ) |
std::vector<std::vector<int> > getvector | ( | ideal | h, |
int | n | ||
) |
Definition at line 2202 of file cohomo.cc.
std::vector<std::vector<int> > gpl | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 3204 of file cohomo.cc.
std::vector<std::vector<int> > gpl2 | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 3351 of file cohomo.cc.
void gradedpiece1 | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 1988 of file cohomo.cc.
intvec* gradedpiece1n | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 2766 of file cohomo.cc.
intvec* gradedpiece1nl | ( | ideal | h, |
poly | a, | ||
poly | b, | ||
int | set | ||
) |
Definition at line 3269 of file cohomo.cc.
void gradedpiece2 | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 2373 of file cohomo.cc.
intvec* gradedpiece2n | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 3013 of file cohomo.cc.
intvec* gradedpiece2nl | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 3424 of file cohomo.cc.
ideal id_complement | ( | ideal | h | ) |
Definition at line 835 of file cohomo.cc.
ideal id_sfmon | ( | ideal | h | ) |
Definition at line 811 of file cohomo.cc.
std::vector<std::vector<int> > id_subsets | ( | std::vector< std::vector< int > > | vecs | ) |
Definition at line 1647 of file cohomo.cc.
ideal idadda | ( | ideal | h1, |
ideal | h2 | ||
) |
Definition at line 968 of file cohomo.cc.
Definition at line 4222 of file cohomo.cc.
ideal idMake | ( | std::vector< std::vector< int > > | vecs | ) |
Definition at line 458 of file cohomo.cc.
ideal idMake3 | ( | std::vector< std::vector< int > > | vecs | ) |
Definition at line 1879 of file cohomo.cc.
std::vector<std::vector<poly> > idMakei | ( | std::vector< std::vector< int > > | mv, |
std::vector< std::vector< int > > | vecs | ||
) |
Definition at line 1961 of file cohomo.cc.
ideal idMaken | ( | std::vector< std::vector< int > > | vecs | ) |
Definition at line 590 of file cohomo.cc.
ideal idMinus | ( | ideal | h1, |
ideal | h2 | ||
) |
Definition at line 739 of file cohomo.cc.
Definition at line 5120 of file cohomo.cc.
ideal idMinusp | ( | ideal | I, |
poly | p | ||
) |
Definition at line 4005 of file cohomo.cc.
ideal idmodulo | ( | ideal | h1, |
ideal | h2 | ||
) |
Definition at line 477 of file cohomo.cc.
Definition at line 5102 of file cohomo.cc.
Definition at line 4252 of file cohomo.cc.
ideal idsrRing | ( | ideal | h | ) |
Definition at line 913 of file cohomo.cc.
int idvert | ( | ideal | h | ) |
Definition at line 637 of file cohomo.cc.
int ifIso | ( | poly | p, |
poly | q, | ||
poly | f, | ||
poly | g, | ||
poly | a, | ||
poly | b | ||
) |
Definition at line 3990 of file cohomo.cc.
Definition at line 5168 of file cohomo.cc.
int isoNum | ( | poly | p, |
ideal | I, | ||
poly | a, | ||
poly | b | ||
) |
Definition at line 3970 of file cohomo.cc.
Definition at line 5139 of file cohomo.cc.
Definition at line 4554 of file cohomo.cc.
ideal IsSimplex | ( | ideal | h | ) |
Definition at line 993 of file cohomo.cc.
Definition at line 4869 of file cohomo.cc.
std::vector<std::vector<int> > links | ( | poly | a, |
ideal | h | ||
) |
Definition at line 1529 of file cohomo.cc.
Definition at line 4536 of file cohomo.cc.
std::vector<std::vector<int> > links_new | ( | poly | a, |
ideal | Xo, | ||
ideal | Sigma, | ||
int | vert, | ||
int | ord | ||
) |
Definition at line 3926 of file cohomo.cc.
std::vector<std::vector<int> > listsinsertlist | ( | std::vector< std::vector< int > > | gset, |
int | a, | ||
int | b | ||
) |
void listsprint | ( | std::vector< std::vector< int > > | posMat | ) |
bool mabconditionv | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | pv, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 1144 of file cohomo.cc.
std::vector<std::vector<int> > mabtv | ( | std::vector< std::vector< int > > | hvs, |
std::vector< std::vector< int > > | Mv, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2347 of file cohomo.cc.
std::vector<std::vector<int> > Mabv | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 1157 of file cohomo.cc.
Definition at line 4810 of file cohomo.cc.
Definition at line 4360 of file cohomo.cc.
ideal mingens | ( | ideal | h, |
poly | a, | ||
poly | b | ||
) |
Definition at line 2726 of file cohomo.cc.
std::vector<std::vector<int> > minisolve | ( | std::vector< std::vector< int > > | solve, |
std::vector< int > | index | ||
) |
bool nabconditionv | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | pv, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2487 of file cohomo.cc.
bool nabtconditionv | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | pv, | ||
std::vector< int > | qv, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2528 of file cohomo.cc.
std::vector<std::vector<int> > nabtv | ( | std::vector< std::vector< int > > | hvs, |
std::vector< std::vector< int > > | Nv, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2541 of file cohomo.cc.
Definition at line 4834 of file cohomo.cc.
std::vector<std::vector<int> > Nabv | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2506 of file cohomo.cc.
Definition at line 4732 of file cohomo.cc.
Definition at line 5206 of file cohomo.cc.
Definition at line 4567 of file cohomo.cc.
Definition at line 4590 of file cohomo.cc.
Definition at line 4618 of file cohomo.cc.
Definition at line 5225 of file cohomo.cc.
Definition at line 5253 of file cohomo.cc.
std::vector<int> numfree | ( | ideal | h | ) |
Definition at line 2155 of file cohomo.cc.
std::vector<std::vector<int> > ofindbases | ( | int | num, |
std::vector< int > | bset, | ||
std::vector< std::vector< int > > | gset | ||
) |
Definition at line 1446 of file cohomo.cc.
std::vector<int> ofindbases1 | ( | int | num, |
int | vnum, | ||
std::vector< int > | bset, | ||
std::vector< std::vector< int > > | gset | ||
) |
Definition at line 1422 of file cohomo.cc.
ideal p_a | ( | ideal | h | ) |
Definition at line 1574 of file cohomo.cc.
ideal p_b | ( | ideal | h, |
poly | a | ||
) |
Definition at line 1691 of file cohomo.cc.
std::vector<std::vector<int> > p_change | ( | ideal | Sigma | ) |
Definition at line 3808 of file cohomo.cc.
std::vector<std::vector<int> > p_constant | ( | ideal | Xo, |
ideal | Sigma | ||
) |
Definition at line 3799 of file cohomo.cc.
bool p_Ifsfree | ( | poly | P | ) |
Definition at line 767 of file cohomo.cc.
std::vector<std::vector<int> > p_new | ( | ideal | Xo, |
ideal | Sigma | ||
) |
Definition at line 3817 of file cohomo.cc.
Definition at line 4952 of file cohomo.cc.
Definition at line 4346 of file cohomo.cc.
Definition at line 4373 of file cohomo.cc.
Definition at line 4938 of file cohomo.cc.
int pcoef | ( | poly | p, |
int | m | ||
) |
Definition at line 489 of file cohomo.cc.
Definition at line 4921 of file cohomo.cc.
std::vector<std::vector<int> > penface | ( | poly | p, |
poly | q, | ||
poly | g, | ||
int | vert | ||
) |
Definition at line 3651 of file cohomo.cc.
std::vector<std::vector<int> > phi1 | ( | poly | a, |
ideal | Sigma | ||
) |
Definition at line 3890 of file cohomo.cc.
std::vector<std::vector<int> > phi2 | ( | poly | a, |
ideal | Xo, | ||
ideal | Sigma, | ||
int | vert | ||
) |
Definition at line 3908 of file cohomo.cc.
std::vector<int> phimage | ( | std::vector< int > | pv, |
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2615 of file cohomo.cc.
std::vector<int> phimagel | ( | std::vector< int > | fv, |
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
std::vector<poly> pMakei | ( | std::vector< std::vector< int > > | mv, |
std::vector< int > | vbase | ||
) |
poly pMaken | ( | std::vector< int > | vbase | ) |
Definition at line 576 of file cohomo.cc.
Definition at line 5003 of file cohomo.cc.
ideal psubset | ( | poly | p | ) |
Definition at line 1806 of file cohomo.cc.
int pvert | ( | poly | p | ) |
Definition at line 659 of file cohomo.cc.
int redefinedeg | ( | poly | p, |
int | num | ||
) |
Definition at line 1553 of file cohomo.cc.
ideal sfreemon | ( | ideal | h, |
int | deg | ||
) |
Definition at line 784 of file cohomo.cc.
ideal SimFacset | ( | poly | p | ) |
Definition at line 944 of file cohomo.cc.
std::vector<std::vector<int> > soleli1 | ( | std::vector< std::vector< int > > | eqs | ) |
Definition at line 1247 of file cohomo.cc.
Definition at line 4205 of file cohomo.cc.
std::vector<std::vector<int> > star | ( | poly | a, |
ideal | h | ||
) |
Definition at line 4065 of file cohomo.cc.
Definition at line 5063 of file cohomo.cc.
Definition at line 5022 of file cohomo.cc.
std::vector<std::vector<int> > stellarsub | ( | poly | a, |
ideal | h | ||
) |
Definition at line 4097 of file cohomo.cc.
Definition at line 5083 of file cohomo.cc.
std::vector<int> subspace1 | ( | std::vector< std::vector< int > > | mv, |
std::vector< int > | bv | ||
) |
std::vector<std::vector<int> > subspacet | ( | std::vector< std::vector< int > > | mv, |
std::vector< int > | bv, | ||
std::vector< std::vector< int > > | ntvs | ||
) |
Definition at line 2328 of file cohomo.cc.
std::vector<int> subspacet1 | ( | int | num, |
std::vector< std::vector< int > > | ntvs | ||
) |
std::vector<std::vector<int> > subspacetn | ( | std::vector< std::vector< int > > | N, |
std::vector< int > | tN, | ||
std::vector< std::vector< int > > | ntvs | ||
) |
Definition at line 2912 of file cohomo.cc.
Definition at line 4972 of file cohomo.cc.
std::vector<int> support1 | ( | poly | p | ) |
Definition at line 358 of file cohomo.cc.
std::vector<int> support2 | ( | poly | p | ) |
Definition at line 399 of file cohomo.cc.
void T1 | ( | ideal | h | ) |
Definition at line 2838 of file cohomo.cc.
Definition at line 4239 of file cohomo.cc.
void T2 | ( | ideal | h | ) |
Definition at line 3097 of file cohomo.cc.
ideal T_1h | ( | ideal | h | ) |
Definition at line 4150 of file cohomo.cc.
std::vector<std::vector<int> > tetraface | ( | poly | p, |
poly | q, | ||
int | vert | ||
) |
Definition at line 3608 of file cohomo.cc.
|
static |
Definition at line 3193 of file cohomo.cc.
intvec* Tmat | ( | std::vector< std::vector< int > > | vecs | ) |
Definition at line 2672 of file cohomo.cc.
bool tNab | ( | std::vector< std::vector< int > > | hvs, |
std::vector< int > | pv, | ||
std::vector< std::vector< int > > | bvs | ||
) |
Definition at line 2572 of file cohomo.cc.
std::vector<int> tnab | ( | std::vector< std::vector< int > > | hvs, |
std::vector< std::vector< int > > | nvs, | ||
std::vector< std::vector< int > > | bvs | ||
) |
Definition at line 2593 of file cohomo.cc.
Definition at line 4758 of file cohomo.cc.
ideal triangulations1 | ( | ideal | h, |
poly | p, | ||
int | vert | ||
) |
Definition at line 3532 of file cohomo.cc.
ideal triangulations2 | ( | ideal | h, |
poly | p, | ||
poly | q, | ||
int | vert | ||
) |
Definition at line 3632 of file cohomo.cc.
ideal triangulations3 | ( | ideal | h, |
poly | p, | ||
poly | q, | ||
poly | g, | ||
int | vert | ||
) |
Definition at line 3697 of file cohomo.cc.
std::vector<std::vector<int> > triface | ( | poly | p, |
int | vert | ||
) |
Definition at line 3506 of file cohomo.cc.
ideal trisets | ( | ideal | h | ) |
Definition at line 3487 of file cohomo.cc.
Definition at line 4696 of file cohomo.cc.
std::vector<int> v_minus | ( | std::vector< int > | v1, |
std::vector< int > | v2 | ||
) |
std::vector<std::vector<int> > vAbsorb | ( | std::vector< int > | bset, |
std::vector< std::vector< int > > | gset | ||
) |
int valency | ( | ideal | h, |
poly | p | ||
) |
Definition at line 3724 of file cohomo.cc.
Definition at line 4712 of file cohomo.cc.
std::vector<std::vector<int> > value1 | ( | std::vector< std::vector< int > > | mvs, |
std::vector< std::vector< int > > | nvs, | ||
std::vector< std::vector< int > > | vecs, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2626 of file cohomo.cc.
std::vector<std::vector<int> > value1l | ( | std::vector< std::vector< int > > | mvs, |
std::vector< std::vector< int > > | lks, | ||
std::vector< std::vector< int > > | vecs, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 3154 of file cohomo.cc.
std::vector<std::vector<int> > value2 | ( | std::vector< std::vector< int > > | mvs, |
std::vector< std::vector< int > > | nvs, | ||
std::vector< std::vector< int > > | mts, | ||
std::vector< std::vector< int > > | nts, | ||
std::vector< std::vector< int > > | vecs, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 2933 of file cohomo.cc.
std::vector<std::vector<int> > value2l | ( | std::vector< std::vector< int > > | mvs, |
std::vector< std::vector< int > > | lks, | ||
std::vector< std::vector< int > > | mts, | ||
std::vector< std::vector< int > > | lkts, | ||
std::vector< std::vector< int > > | vecs, | ||
std::vector< int > | av, | ||
std::vector< int > | bv | ||
) |
Definition at line 3297 of file cohomo.cc.
std::vector<int> vecbase1 | ( | int | num, |
std::vector< int > | oset | ||
) |
std::vector<int> vecIntersection | ( | std::vector< int > | p, |
std::vector< int > | q | ||
) |
std::vector<int> vecMinus | ( | std::vector< int > | vec1, |
std::vector< int > | vec2 | ||
) |
std::vector<std::vector<int> > vecqring | ( | std::vector< std::vector< int > > | vec1, |
std::vector< std::vector< int > > | vec2 | ||
) |
std::vector<int> vecUnion | ( | std::vector< int > | vec1, |
std::vector< int > | vec2 | ||
) |
std::vector<int> vertset | ( | std::vector< std::vector< int > > | vecs | ) |
Definition at line 1668 of file cohomo.cc.
bool vEv | ( | std::vector< int > | vec1, |
std::vector< int > | vec2 | ||
) |
bool vEvl | ( | std::vector< int > | vec1, |
std::vector< int > | vec2 | ||
) |
bool vInp | ( | int | m, |
poly | p | ||
) |
Definition at line 508 of file cohomo.cc.
int vInvs | ( | std::vector< int > | vec, |
std::vector< std::vector< int > > | vecs | ||
) |
bool vInvsl | ( | std::vector< int > | vec, |
std::vector< std::vector< int > > | vecs | ||
) |
std::vector<int> vMake | ( | poly | p | ) |
Definition at line 526 of file cohomo.cc.
std::vector<std::vector<int> > vs_subsets | ( | std::vector< std::vector< int > > | vs | ) |
Definition at line 3786 of file cohomo.cc.
Definition at line 4791 of file cohomo.cc.
std::vector<std::vector<int> > vsIntersection | ( | std::vector< std::vector< int > > | vs1, |
std::vector< std::vector< int > > | vs2 | ||
) |
Definition at line 336 of file cohomo.cc.
std::vector<std::vector<int> > vsMinusv | ( | std::vector< std::vector< int > > | vecs, |
std::vector< int > | vec | ||
) |
Definition at line 302 of file cohomo.cc.
std::vector<std::vector<int> > vsMinusvs | ( | std::vector< std::vector< int > > | vs1, |
std::vector< std::vector< int > > | vs2 | ||
) |
Definition at line 3774 of file cohomo.cc.
bool vsubset | ( | std::vector< int > | vec1, |
std::vector< int > | vec2 | ||
) |
std::vector<std::vector<int> > vsUnion | ( | std::vector< std::vector< int > > | vs1, |
std::vector< std::vector< int > > | vs2 | ||
) |
Definition at line 317 of file cohomo.cc.