![]() |
#include <kernel/mod2.h>#include <misc/intvec.h>#include <Singular/cntrlc.h>#include <misc/options.h>#include <omalloc/omalloc.h>#include <Singular/ipshell.h>#include <Singular/ipconv.h>#include <coeffs/coeffs.h>#include <Singular/subexpr.h>#include <polys/monomials/maps.h>#include <kernel/combinatorics/stairc.h>#include <kernel/GBEngine/kutil.h>#include <kernel/GBEngine/khstd.h>#include <Singular/walk.h>#include <kernel/polys.h>#include <kernel/ideals.h>#include <Singular/ipid.h>#include <Singular/tok.h>#include <coeffs/numbers.h>#include <polys/monomials/ring.h>#include <kernel/GBEngine/kstd1.h>#include <polys/matpol.h>#include <polys/weight.h>#include <kernel/GBEngine/syz.h>#include <Singular/lists.h>#include <polys/prCopy.h>#include <polys/clapsing.h>#include <coeffs/mpr_complex.h>#include <stdio.h>#include <time.h>#include <sys/time.h>#include <math.h>#include <sys/stat.h>#include <unistd.h>#include <float.h>#include <misc/mylimits.h>#include <sys/types.h>Go to the source code of this file.
Macros | |
| #define | BUCHBERGER_ALG |
| #define | INVEPS_SMALL_IN_FRACTAL |
| #define | INVEPS_SMALL_IN_MPERTVECTOR |
| #define | INVEPS_SMALL_IN_TRAN |
| #define | FIRST_STEP_FRACTAL |
Functions | |
| BOOLEAN | ErrorCheck () |
| void | Set_Error (BOOLEAN f) |
| static intset | initec (int maxnr) |
| static unsigned long * | initsevS (int maxnr) |
| static int * | initS_2_R (int maxnr) |
| static ideal | kInterRedCC (ideal F, ideal Q) |
| static void | ivString (intvec *iv, const char *ch) |
| static void | MivString (intvec *iva, intvec *ivb, intvec *ivc) |
| static long | gcd (const long a, const long b) |
| static void | cancel (mpz_t zaehler, mpz_t nenner) |
| static int | MLmWeightedDegree (const poly p, intvec *weight) |
| static int | MwalkWeightDegree (poly p, intvec *weight_vector) |
| static void | MLmWeightedDegree_gmp (mpz_t result, const poly p, intvec *weight) |
| static poly | MpolyInitialForm (poly g, intvec *curr_weight) |
| ideal | MwalkInitialForm (ideal G, intvec *ivw) |
| static int | test_w_in_ConeCC (ideal G, intvec *iv) |
| static long | Mlcm (long &i1, long &i2) |
| static long | MivDotProduct (intvec *a, intvec *b) |
| static intvec * | MivSub (intvec *a, intvec *b) |
| static intvec * | MExpPol (poly f) |
| int | MivSame (intvec *u, intvec *v) |
| int | M3ivSame (intvec *temp, intvec *u, intvec *v) |
| static ideal | MstdCC (ideal G) |
| static ideal | MstdhomCC (ideal G) |
| intvec * | MivMatrixOrder (intvec *iv) |
| intvec * | MivMatrixOrderRefine (intvec *iv, intvec *iw) |
| intvec * | Mivdp (int nR) |
| intvec * | Mivlp (int nR) |
| intvec * | MPertVectors (ideal G, intvec *ivtarget, int pdeg) |
| intvec * | MPertVectorslp (ideal G, intvec *ivtarget, int pdeg) |
| intvec * | MivMatrixOrderlp (int nV) |
| intvec * | MivMatrixOrderdp (int nV) |
| intvec * | MivWeightOrderlp (intvec *ivstart) |
| intvec * | MivWeightOrderdp (intvec *ivstart) |
| intvec * | MivUnit (int nV) |
| intvec * | Mfpertvector (ideal G, intvec *ivtarget) |
| static ideal | MidMult (ideal A, ideal B) |
| static ideal | MLifttwoIdeal (ideal Gw, ideal M, ideal G) |
| static int | MivComp (intvec *iva, intvec *ivb) |
| static int | MivAbsMax (intvec *vec) |
| static intvec * | MwalkNextWeightCC (intvec *curr_weight, intvec *target_weight, ideal G) |
| intvec * | MkInterRedNextWeight (intvec *iva, intvec *ivb, ideal G) |
| static void | VMrHomogeneous (intvec *va, intvec *vb) |
| static ring | VMrDefault (intvec *va) |
| static ring | VMrDefault1 (intvec *va) |
| static ring | VMrRefine (intvec *va, intvec *vb) |
| static ring | VMatrDefault (intvec *va) |
| static ring | VMatrRefine (intvec *va, intvec *vb) |
| static void | VMrDefaultlp (void) |
| static void | DefRingPar (intvec *va) |
| static void | DefRingParlp (void) |
| static int | isNolVector (intvec *hilb) |
| static ideal | LastGB (ideal G, intvec *curr_weight, int tp_deg) |
| static int | lengthpoly (ideal G) |
| static int | islengthpoly2 (ideal G) |
| static ideal | idHeadCC (ideal h) |
| static int | test_G_GB_walk (ideal H0, ideal H1) |
| static ideal | Rec_LastGB (ideal G, intvec *curr_weight, intvec *orig_target_weight, int tp_deg, int npwinc) |
| ideal | MAltwalk2 (ideal Go, intvec *curr_weight, intvec *target_weight) |
| static intvec * | NewVectorlp (ideal I) |
| static intvec * | MWalkRandomNextWeight (ideal G, intvec *curr_weight, intvec *target_weight, int weight_rad, int pert_deg) |
| static ideal | REC_GB_Mwalk (ideal G, intvec *curr_weight, intvec *orig_target_weight, int tp_deg, int npwinc) |
| ideal | MwalkAlt (ideal Go, intvec *curr_weight, intvec *target_weight) |
| ideal | Mwalk (ideal Go, intvec *orig_M, intvec *target_M, ring baseRing) |
| ideal | Mrwalk (ideal Go, intvec *orig_M, intvec *target_M, int weight_rad, int pert_deg, ring baseRing) |
| ideal | Mpwalk (ideal Go, int op_deg, int tp_deg, intvec *curr_weight, intvec *target_weight, int nP) |
| intvec * | MMatrixone (int nV) |
| static ideal | rec_fractal_call (ideal G, int nlev, intvec *omtmp) |
| static ideal | rec_r_fractal_call (ideal G, int nlev, intvec *omtmp, int weight_rad) |
| ideal | Mfwalk (ideal G, intvec *ivstart, intvec *ivtarget) |
| ideal | Mfrwalk (ideal G, intvec *ivstart, intvec *ivtarget, int weight_rad) |
| ideal | TranMImprovwalk (ideal G, intvec *curr_weight, intvec *target_tmp, int nP) |
| static ideal | Mpwalk_MAltwalk1 (ideal Go, intvec *curr_weight, int tp_deg) |
| ideal | Mprwalk (ideal Go, intvec *curr_weight, intvec *target_weight, int weight_rad, int op_deg, int tp_deg, ring baseRing) |
| ideal | MAltwalk1 (ideal Go, int op_deg, int tp_deg, intvec *curr_weight, intvec *target_weight) |
Variables | |
| int | nstep |
| kstd2.cc More... | |
| BOOLEAN | pSetm_error |
| BOOLEAN | Overflow_Error = FALSE |
| clock_t | xtif |
| clock_t | xtstd |
| clock_t | xtlift |
| clock_t | xtred |
| clock_t | xtnw |
| clock_t | xftostd |
| clock_t | xtextra |
| clock_t | xftinput |
| clock_t | to |
| int | Xnlev |
| int | ngleich |
| intvec * | Xsigma |
| intvec * | Xtau |
| int | xn |
| intvec * | Xivinput |
| intvec * | Xivlp |
| intvec * | XivNull |
| int | nnflow |
| int | Xcall |
| int | Xngleich |
|
static |
Definition at line 2809 of file walk.cc.
|
static |
Definition at line 2879 of file walk.cc.
| BOOLEAN ErrorCheck | ( | ) |
Definition at line 3321 of file walk.cc.
Definition at line 275 of file walk.cc.
Definition at line 2984 of file walk.cc.
Definition at line 8444 of file walk.cc.
Definition at line 4075 of file walk.cc.
Definition at line 852 of file walk.cc.
Definition at line 1492 of file walk.cc.
Definition at line 6938 of file walk.cc.
Definition at line 6812 of file walk.cc.
Definition at line 980 of file walk.cc.
Definition at line 938 of file walk.cc.
Definition at line 1397 of file walk.cc.
Definition at line 1381 of file walk.cc.
Definition at line 958 of file walk.cc.
Definition at line 836 of file walk.cc.
Definition at line 1476 of file walk.cc.
Definition at line 1436 of file walk.cc.
Definition at line 1416 of file walk.cc.
Definition at line 2248 of file walk.cc.
Definition at line 1736 of file walk.cc.
Definition at line 598 of file walk.cc.
Definition at line 667 of file walk.cc.
Definition at line 6091 of file walk.cc.
Definition at line 1061 of file walk.cc.
Definition at line 1279 of file walk.cc.
Definition at line 699 of file walk.cc.
| ideal Mprwalk | ( | ideal | Go, |
| intvec * | curr_weight, | ||
| intvec * | target_weight, | ||
| int | weight_rad, | ||
| int | op_deg, | ||
| int | tp_deg, | ||
| ring | baseRing | ||
| ) |
Definition at line 8244 of file walk.cc.
| ideal Mpwalk | ( | ideal | Go, |
| int | op_deg, | ||
| int | tp_deg, | ||
| intvec * | curr_weight, | ||
| intvec * | target_weight, | ||
| int | nP | ||
| ) |
Definition at line 5750 of file walk.cc.
Definition at line 7988 of file walk.cc.
| ideal Mrwalk | ( | ideal | Go, |
| intvec * | orig_M, | ||
| intvec * | target_M, | ||
| int | weight_rad, | ||
| int | pert_deg, | ||
| ring | baseRing | ||
| ) |
Definition at line 5339 of file walk.cc.
Definition at line 907 of file walk.cc.
Definition at line 922 of file walk.cc.
Definition at line 5065 of file walk.cc.
Definition at line 4823 of file walk.cc.
Definition at line 1865 of file walk.cc.
|
static |
Definition at line 4406 of file walk.cc.
Definition at line 645 of file walk.cc.
Definition at line 4271 of file walk.cc.
Definition at line 6110 of file walk.cc.
|
static |
Definition at line 4539 of file walk.cc.
|
static |
Definition at line 3759 of file walk.cc.
Definition at line 6456 of file walk.cc.
Definition at line 7069 of file walk.cc.
|
static |
Definition at line 2586 of file walk.cc.
Definition at line 2664 of file walk.cc.
|
static |
Definition at line 2358 of file walk.cc.
|
static |
Definition at line 2428 of file walk.cc.
|
static |
Definition at line 2746 of file walk.cc.
Definition at line 2276 of file walk.cc.
Definition at line 2503 of file walk.cc.
| BOOLEAN pSetm_error |
Definition at line 155 of file p_polys.cc.