Go to the source code of this file.
◆ idPartialGB()
Definition at line 8 of file partialgb.cc.
9{
12
18
20 {
22 }
23 else
24 {
26 }
27
29
31 {
33 }
34
36 {
44 }
45
49}
#define idDelete(H)
delete an ideal
ideal idFreeModule(int i)
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
void rChangeCurrRing(ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idrMoveR_NoSort(ideal &id, ring src_r, ring dest_r)
ideal idrCopyR_NoSort(ideal id, ring src_r, ring dest_r)
ring rAssure_SyzComp(const ring r, BOOLEAN complete)
void rDelete(ring r)
unconditionally deletes fields in r
void rSetSyzComp(int k, const ring r)
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
◆ partialgb()
Definition at line 66 of file partialgb.cc.
67{
70}
static BOOLEAN partialStd(leftv res, leftv h)
◆ partialStd()
Definition at line 51 of file partialgb.cc.
52{
55 {
57 int i2=(
int)((
long)
h->next->Data());
61 }
63}
BOOLEAN iiCheckTypes(leftv args, const short *type_list, int report)
check a list of arguemys against a given field of types return TRUE if the types match return FALSE (...
static ideal idPartialGB(ideal h1, int k)