![]() |
#include <kernel/mod2.h>
#include <misc/options.h>
#include <kernel/GBEngine/kutil.h>
#include <coeffs/numbers.h>
#include <polys/monomials/p_polys.h>
#include <polys/templates/p_Procs.h>
#include <polys/nc/nc.h>
#include <kernel/polys.h>
Go to the source code of this file.
Macros | |
#define | TEST_OPT_DEBUG_RED |
Functions | |
int | ksReducePoly (LObject *PR, TObject *PW, poly spNoether, number *coef, kStrategy strat) |
int | ksReducePolyBound (LObject *PR, TObject *PW, int bound, poly spNoether, number *coef, kStrategy strat) |
int | ksReducePolySig (LObject *PR, TObject *PW, long, poly spNoether, number *coef, kStrategy strat) |
int | ksReducePolySigRing (LObject *PR, TObject *PW, long, poly spNoether, number *coef, kStrategy strat) |
void | ksCreateSpoly (LObject *Pair, poly spNoether, int use_buckets, ring tailRing, poly m1, poly m2, TObject **R) |
int | ksReducePolyTail (LObject *PR, TObject *PW, poly Current, poly spNoether) |
int | ksReducePolyTailBound (LObject *PR, TObject *PW, int bound, poly Current, poly spNoether) |
poly | ksCreateShortSpoly (poly p1, poly p2, ring tailRing) |
Variables | |
int | red_count = 0 |
int | create_count = 0 |
Definition at line 1017 of file kspoly.cc.
void ksCreateSpoly | ( | LObject * | Pair, |
poly | spNoether, | ||
int | use_buckets, | ||
ring | tailRing, | ||
poly | m1, | ||
poly | m2, | ||
TObject ** | R | ||
) |
Definition at line 774 of file kspoly.cc.
Definition at line 45 of file kspoly.cc.
int ksReducePolyBound | ( | LObject * | PR, |
TObject * | PW, | ||
int | bound, | ||
poly | spNoether, | ||
number * | coef, | ||
kStrategy | strat | ||
) |
Definition at line 176 of file kspoly.cc.
int ksReducePolySig | ( | LObject * | PR, |
TObject * | PW, | ||
long | , | ||
poly | spNoether, | ||
number * | coef, | ||
kStrategy | strat | ||
) |
Definition at line 315 of file kspoly.cc.
int ksReducePolySigRing | ( | LObject * | PR, |
TObject * | PW, | ||
long | , | ||
poly | spNoether, | ||
number * | coef, | ||
kStrategy | strat | ||
) |
Definition at line 513 of file kspoly.cc.
Definition at line 889 of file kspoly.cc.
Definition at line 945 of file kspoly.cc.