![]() |
My Project
|
#include "kernel/mod2.h"
#include "misc/options.h"
#include "misc/intvec.h"
#include "polys/weight.h"
#include "kernel/polys.h"
#include "kernel/GBEngine/kutil.h"
#include "kernel/GBEngine/kstd1.h"
#include "kernel/GBEngine/khstd.h"
#include "kernel/combinatorics/stairc.h"
#include "kernel/ideals.h"
#include "polys/nc/nc.h"
#include "polys/nc/sca.h"
#include "kernel/GBEngine/nc.h"
#include "kernel/GBEngine/kInline.h"
#include "polys/shiftop.h"
Go to the source code of this file.
Macros | |
#define | MORA_USE_BUCKETS |
#define | PRE_INTEGER_CHECK 0 |
Variables | |
VAR BITSET | kOptions |
VAR BITSET | validOpts |
VAR intvec * | kModW |
VAR intvec * | kHomW |
|
static |
Definition at line 118 of file kstd1.cc.
Definition at line 1620 of file kstd1.cc.
Definition at line 1557 of file kstd1.cc.
Definition at line 1312 of file kstd1.cc.
Definition at line 1343 of file kstd1.cc.
Definition at line 1681 of file kstd1.cc.
Definition at line 1811 of file kstd1.cc.
Definition at line 1741 of file kstd1.cc.
Definition at line 11505 of file kutil.cc.
Definition at line 2417 of file kstd1.cc.
Definition at line 3797 of file kstd1.cc.
Definition at line 3546 of file kstd1.cc.
Definition at line 3451 of file kstd1.cc.
ideal kMin_std | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
ideal & | M, | ||
intvec * | hilb, | ||
int | syzComp, | ||
int | reduced | ||
) |
Definition at line 3216 of file kstd1.cc.
ideal kMin_std2 | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
ideal & | M, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | reduced | ||
) |
Definition at line 3064 of file kstd1.cc.
Definition at line 3322 of file kstd1.cc.
Definition at line 3224 of file kstd1.cc.
Definition at line 2256 of file kstd1.cc.
Definition at line 2115 of file kstd1.cc.
Definition at line 3387 of file kstd1.cc.
ideal kSba | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
int | sbaOrder, | ||
int | arri, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw | ||
) |
Definition at line 2663 of file kstd1.cc.
ideal kStd2 | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
s_poly_proc_t | sp | ||
) |
generic interface to GB/SB computations, large hilbert vectors
rIsLPRing already tested above
Definition at line 2602 of file kstd1.cc.
ideal kStd_internal | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
s_poly_proc_t | sp | ||
) |
pure GB/SB computations
Definition at line 2430 of file kstd1.cc.
ideal kStdShift | ( | ideal | F, |
ideal | Q, | ||
tHomog | h, | ||
intvec ** | w, | ||
bigintmat * | hilb, | ||
int | syzComp, | ||
int | newIdeal, | ||
intvec * | vw, | ||
BOOLEAN | rightGB | ||
) |
Definition at line 2959 of file kstd1.cc.
Definition at line 1878 of file kstd1.cc.
Definition at line 168 of file kstd1.cc.
Definition at line 794 of file kstd1.cc.
Definition at line 976 of file kstd1.cc.
Definition at line 1080 of file kstd1.cc.
Definition at line 385 of file kstd1.cc.
Definition at line 566 of file kstd1.cc.
Definition at line 1393 of file kstd1.cc.
Definition at line 1465 of file kstd1.cc.