My Project
|
#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"
#include "polys/shiftop.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, poly *mon, kStrategy strat, BOOLEAN reduce) |
int | ksReducePolyLC (LObject *PR, TObject *PW, poly spNoether, number *coef, kStrategy strat) |
int | ksReducePolyBound (LObject *PR, TObject *PW, int, 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 | |
VAR int | red_count = 0 |
VAR int | create_count = 0 |
poly ksCreateShortSpoly | ( | poly | p1, |
poly | p2, | ||
ring | tailRing | ||
) |
Definition at line 1453 of file kspoly.cc.
void ksCreateSpoly | ( | LObject * | Pair, |
poly | spNoether, | ||
int | use_buckets, | ||
ring | tailRing, | ||
poly | m1, | ||
poly | m2, | ||
TObject ** | R | ||
) |
Definition at line 1208 of file kspoly.cc.
int ksReducePoly | ( | LObject * | PR, |
TObject * | PW, | ||
poly | spNoether, | ||
number * | coef, | ||
poly * | mon, | ||
kStrategy | strat, | ||
BOOLEAN | reduce | ||
) |
Definition at line 189 of file kspoly.cc.
int ksReducePolyBound | ( | LObject * | PR, |
TObject * | PW, | ||
int | bound, | ||
poly | spNoether, | ||
number * | coef, | ||
kStrategy | strat | ||
) |
Definition at line 595 of file kspoly.cc.
Definition at line 481 of file kspoly.cc.
int ksReducePolySig | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether, | ||
number * | coef, | ||
kStrategy | strat | ||
) |
Definition at line 742 of file kspoly.cc.
int ksReducePolySigRing | ( | LObject * | PR, |
TObject * | PW, | ||
long | idx, | ||
poly | spNoether, | ||
number * | coef, | ||
kStrategy | strat | ||
) |
Definition at line 948 of file kspoly.cc.
Definition at line 1357 of file kspoly.cc.
Definition at line 1397 of file kspoly.cc.