|
static void | listprint (std::vector< int > vec) |
|
static void | listsprint (std::vector< std::vector< int > > posMat) |
|
static void | id_print (ideal h) |
|
static void | lpprint (std::vector< poly > pv) |
|
static void | lpsprint (std::vector< std::vector< poly > > pvs) |
|
static bool | IsinL (int a, std::vector< int > vec) |
|
static std::vector< int > | vecIntersection (std::vector< int > p, std::vector< int > q) |
|
static bool | vsubset (std::vector< int > vec1, std::vector< int > vec2) |
|
static bool | vEvl (std::vector< int > vec1, std::vector< int > vec2) |
|
static bool | vInvsl (std::vector< int > vec, std::vector< std::vector< int > > vecs) |
|
static std::vector< int > | vecUnion (std::vector< int > vec1, std::vector< int > vec2) |
|
static std::vector< int > | vecMinus (std::vector< int > vec1, std::vector< int > vec2) |
|
static std::vector< std::vector< int > > | vsMinusv (std::vector< std::vector< int > > vecs, std::vector< int > vec) |
|
static std::vector< std::vector< int > > | vsUnion (std::vector< std::vector< int > > vs1, std::vector< std::vector< int > > vs2) |
|
static std::vector< std::vector< int > > | vsIntersection (std::vector< std::vector< int > > vs1, std::vector< std::vector< int > > vs2) |
|
static std::vector< int > | support1 (poly p) |
|
static std::vector< std::vector< int > > | supports (ideal h) |
|
static std::vector< int > | support2 (poly p) |
|
static std::vector< std::vector< int > > | supports2 (ideal h) |
|
static poly | pMake (std::vector< int > vbase) |
|
static ideal | idMake (std::vector< std::vector< int > > vecs) |
|
static ideal | idmodulo (ideal h1, ideal h2) |
|
static int | pcoef (poly p, int m) |
|
static bool | vInp (int m, poly p) |
|
static std::vector< int > | vMake (poly p) |
|
static std::vector< std::vector< int > > | vsMake (ideal h) |
|
static std::vector< std::vector< int > > | vecqring (std::vector< std::vector< int > > vec1, std::vector< std::vector< int > > vec2) |
|
static poly | pMaken (std::vector< int > vbase) |
|
static ideal | idMaken (std::vector< std::vector< int > > vecs) |
|
static std::vector< std::vector< int > > | b_subsets (std::vector< int > vec) |
|
static int | idvert (ideal h) |
|
static int | pvert (poly p) |
|
static ideal | idMinus (ideal h1, ideal h2) |
|
static bool | p_Ifsfree (poly P) |
|
static ideal | sfreemon (ideal h, int deg) |
|
static ideal | id_sfmon (ideal h) |
|
static ideal | id_complement (ideal h) |
|
static bool | IsInX (poly p, ideal X) |
|
static ideal | qringadd (ideal h1, ideal h2, int deg) |
|
static int | id_maxdeg (ideal h) |
|
static ideal | idsrRing (ideal h) |
|
static ideal | SimFacset (poly p) |
|
static ideal | idadda (ideal h1, ideal h2) |
|
static ideal | IsSimplex (ideal h) |
|
static ideal | complementsimplex (ideal h) |
|
static int | dim_sim (ideal h) |
|
static int | num4dim (ideal h, int n) |
|
static ideal | findb (ideal h) |
|
static ideal | finda (ideal h, poly S, int ddeg) |
|
static bool | mabconditionv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > av, std::vector< int > bv) |
|
static std::vector< std::vector< int > > | Mabv (ideal h, poly a, poly b) |
|
static std::vector< int > | eli1 (std::vector< int > eq1, std::vector< int > eq2) |
|
static std::vector< int > | keeporder (std::vector< int > vec) |
|
static std::vector< std::vector< int > > | soleli1 (std::vector< std::vector< int > > eqs) |
|
static std::vector< int > | freevars (int n, std::vector< int > bset, std::vector< std::vector< int > > gset) |
|
static std::vector< int > | fvarsvalue (int vnum, std::vector< int > fvars) |
|
static std::vector< std::vector< int > > | vAbsorb (std::vector< int > bset, std::vector< std::vector< int > > gset) |
|
static std::vector< int > | vecbase1 (int num, std::vector< int > oset) |
|
static std::vector< int > | make0 (int n) |
|
static std::vector< int > | make1 (int n) |
|
static std::vector< int > | ofindbases1 (int num, int vnum, std::vector< int > bset, std::vector< std::vector< int > > gset) |
|
static std::vector< std::vector< int > > | ofindbases (int num, std::vector< int > bset, std::vector< std::vector< int > > gset) |
|
static std::vector< std::vector< int > > | eli2 (int num, std::vector< int > bset, std::vector< std::vector< int > > gset) |
|
static std::vector< std::vector< int > > | links (poly a, ideal h) |
|
static int | redefinedeg (poly p, int num) |
|
static ideal | p_a (ideal h) |
|
static std::vector< int > | vertset (std::vector< std::vector< int > > vecs) |
|
static ideal | p_b (ideal h, poly a) |
|
static ideal | psubset (poly p) |
|
static std::vector< std::vector< int > > | listsinsertlist (std::vector< std::vector< int > > gset, int a, int b) |
|
static std::vector< int > | makeequation (int i, int j, int t) |
|
static poly | pMake3 (std::vector< int > vbase) |
|
static ideal | idMake3 (std::vector< std::vector< int > > vecs) |
|
static void | equmab (int num) |
|
static std::vector< int > | subspace1 (std::vector< std::vector< int > > mv, std::vector< int > bv) |
|
static std::vector< poly > | pMakei (std::vector< std::vector< int > > mv, std::vector< int > vbase) |
|
static std::vector< std::vector< poly > > | idMakei (std::vector< std::vector< int > > mv, std::vector< std::vector< int > > vecs) |
|
static void | gradedpiece1 (ideal h, poly a, poly b) |
|
static bool | condition1for2 (std::vector< int > pv, std::vector< int > qv, std::vector< int > bv) |
|
static 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) |
|
static bool | condition3for2 (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > av, std::vector< int > bv) |
|
static ideal | getpresolve (ideal h) |
|
static std::vector< int > | numfree (ideal h) |
|
static std::vector< std::vector< int > > | canonicalbase (int n) |
|
static std::vector< std::vector< int > > | getvector (ideal h, int n) |
|
static std::vector< int > | findalpha (std::vector< std::vector< int > > mv, std::vector< int > bv) |
|
static std::vector< int > | subspacet1 (int num, std::vector< std::vector< int > > ntvs) |
|
static std::vector< std::vector< int > > | subspacet (std::vector< std::vector< int > > mv, std::vector< int > bv, std::vector< std::vector< int > > ntvs) |
|
static 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) |
|
static void | gradedpiece2 (ideal h, poly a, poly b) |
|
static bool | nabconditionv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > av, std::vector< int > bv) |
|
static std::vector< std::vector< int > > | Nabv (std::vector< std::vector< int > > hvs, std::vector< int > av, std::vector< int > bv) |
|
static bool | nabtconditionv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv) |
|
static 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) |
|
static bool | tNab (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< std::vector< int > > bvs) |
|
static std::vector< int > | tnab (std::vector< std::vector< int > > hvs, std::vector< std::vector< int > > nvs, std::vector< std::vector< int > > bvs) |
|
static std::vector< int > | phimage (std::vector< int > pv, std::vector< int > av, std::vector< int > bv) |
|
static 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) |
|
static intvec * | Tmat (std::vector< std::vector< int > > vecs) |
|
static std::vector< int > | gensindex (ideal M, ideal ids) |
|
static ideal | mingens (ideal h, poly a, poly b) |
|
static std::vector< std::vector< int > > | minisolve (std::vector< std::vector< int > > solve, std::vector< int > index) |
|
static intvec * | gradedpiece1n (ideal h, poly a, poly b) |
|
static void | T1 (ideal h) |
|
static bool | condition2for2nv (std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > fv) |
|
static std::vector< int > | findalphan (std::vector< std::vector< int > > N, std::vector< int > tN) |
|
static std::vector< std::vector< int > > | subspacetn (std::vector< std::vector< int > > N, std::vector< int > tN, std::vector< std::vector< int > > ntvs) |
|
static 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) |
|
static ideal | genst (ideal h, poly a, poly b) |
|
static intvec * | gradedpiece2n (ideal h, poly a, poly b) |
|
static void | T2 (ideal h) |
|
static std::vector< int > | phimagel (std::vector< int > fv, std::vector< int > av, std::vector< int > bv) |
|
static 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) |
|
static std::vector< std::vector< int > > | gpl (ideal h, poly a, poly b) |
|
static intvec * | gradedpiece1nl (ideal h, poly a, poly b, int set) |
|
static 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) |
|
static std::vector< std::vector< int > > | gpl2 (ideal h, poly a, poly b) |
|
static intvec * | gradedpiece2nl (ideal h, poly a, poly b) |
|
static ideal | trisets (ideal h) |
|
static std::vector< std::vector< int > > | triface (poly p, int vert) |
|
static ideal | triangulations1 (ideal h, poly p, int vert) |
|
static std::vector< int > | commonedge (poly p, poly q) |
|
static intvec * | edgemat (poly p, poly q) |
|
static std::vector< std::vector< int > > | tetraface (poly p, poly q, int vert) |
|
static ideal | triangulations2 (ideal h, poly p, poly q, int vert) |
|
static std::vector< std::vector< int > > | penface (poly p, poly q, poly g, int vert) |
|
static ideal | triangulations3 (ideal h, poly p, poly q, poly g, int vert) |
|
static int | valency (ideal h, poly p) |
|
static std::vector< std::vector< int > > | vsMinusvs (std::vector< std::vector< int > > vs1, std::vector< std::vector< int > > vs2) |
|
static std::vector< std::vector< int > > | vs_subsets (std::vector< std::vector< int > > vs) |
|
static std::vector< std::vector< int > > | p_constant (ideal Xo, ideal Sigma) |
|
static std::vector< std::vector< int > > | p_change (ideal Sigma) |
|
static std::vector< std::vector< int > > | p_new (ideal Xo, ideal Sigma) |
|
static ideal | c_New (ideal Io, ideal sig) |
|
static std::vector< std::vector< int > > | phi1 (poly a, ideal Sigma) |
|
static std::vector< std::vector< int > > | phi2 (poly a, ideal Xo, ideal Sigma) |
|
static std::vector< std::vector< int > > | links_new (poly a, ideal Xo, ideal Sigma, int vert, int ord) |
|
static int | existIn (poly b, ideal Xs) |
|
static int | isoNum (poly p, ideal I, poly a, poly b) |
|
static int | ifIso (poly p, poly q, poly f, poly g, poly a, poly b) |
|
static ideal | idMinusp (ideal I, poly p) |
|
static std::vector< int > | v_minus (std::vector< int > v1, std::vector< int > v2) |
|
static std::vector< int > | gdegree (poly a, poly b) |
|
static std::vector< std::vector< int > > | star (poly a, ideal h) |
|
static std::vector< std::vector< int > > | boundary (poly a) |
|
static std::vector< std::vector< int > > | stellarsub (poly a, ideal h) |
|
static std::vector< std::vector< int > > | bsubsets_1 (poly b) |
|
static ideal | T_1h (ideal h) |
|
static BOOLEAN | SRideal (leftv res, leftv args) |
|
static BOOLEAN | idcomplement (leftv res, leftv args) |
|
static BOOLEAN | t1h (leftv res, leftv args) |
|
static BOOLEAN | idsr (leftv res, leftv args) |
|
static intvec * | dmat (poly a, poly b) |
|
static BOOLEAN | gd (leftv res, leftv args) |
|
static BOOLEAN | comedg (leftv res, leftv args) |
|
static BOOLEAN | fb (leftv res, leftv args) |
|
static BOOLEAN | pa (leftv res, leftv args) |
|
static BOOLEAN | makeSimplex (leftv res, leftv args) |
|
static BOOLEAN | pb (leftv res, leftv args) |
|
static BOOLEAN | fa (leftv res, leftv args) |
|
static BOOLEAN | fgp (leftv res, leftv args) |
|
static BOOLEAN | fgpl (leftv res, leftv args) |
|
static BOOLEAN | genstt (leftv res, leftv args) |
|
static BOOLEAN | sgp (leftv res, leftv args) |
|
static BOOLEAN | sgpl (leftv res, leftv args) |
|
static BOOLEAN | Links (leftv res, leftv args) |
|
static BOOLEAN | isSim (leftv res, leftv args) |
|
BOOLEAN | nfaces1 (leftv res, leftv args) |
|
static BOOLEAN | nfaces2 (leftv res, leftv args) |
|
static BOOLEAN | nfaces3 (leftv res, leftv args) |
|
static BOOLEAN | eqsolve1 (leftv res, leftv args) |
|
static BOOLEAN | tsets (leftv res, leftv args) |
|
static BOOLEAN | Valency (leftv res, leftv args) |
|
static BOOLEAN | nabvl (leftv res, leftv args) |
|
static BOOLEAN | tnabvl (leftv res, leftv args) |
|
static BOOLEAN | vsIntersec (leftv res, leftv args) |
|
static BOOLEAN | mabvl (leftv res, leftv args) |
|
static BOOLEAN | nabtvl (leftv res, leftv args) |
|
static BOOLEAN | linkn (leftv res, leftv args) |
|
static BOOLEAN | existsub (leftv res, leftv args) |
|
static BOOLEAN | pConstant (leftv res, leftv args) |
|
static BOOLEAN | pChange (leftv res, leftv args) |
|
static BOOLEAN | p_New (leftv res, leftv args) |
|
static BOOLEAN | support (leftv res, leftv args) |
|
static BOOLEAN | bprime (leftv res, leftv args) |
|
static BOOLEAN | psMinusp (leftv res, leftv args) |
|
static BOOLEAN | stellarremain (leftv res, leftv args) |
|
static BOOLEAN | cNew (leftv res, leftv args) |
|
static BOOLEAN | stars (leftv res, leftv args) |
|
static BOOLEAN | stellarsubdivision (leftv res, leftv args) |
|
static BOOLEAN | idModulo (leftv res, leftv args) |
|
static BOOLEAN | idminus (leftv res, leftv args) |
|
static BOOLEAN | isoNumber (leftv res, leftv args) |
|
static BOOLEAN | ifIsomorphism (leftv res, leftv args) |
|
static BOOLEAN | newDegree (leftv res, leftv args) |
|
static BOOLEAN | nonf2f (leftv res, leftv args) |
|
static BOOLEAN | dimsim (leftv res, leftv args) |
|
static BOOLEAN | numdim (leftv res, leftv args) |
|
static void | firstorderdef_setup (SModulFunctions *p) |
|
int SI_MOD_INIT() | cohomo (SModulFunctions *p) |
|