![]() |
#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.