![]() |
#include <kernel/mod2.h>
#include <kernel/GBEngine/ratgring.h>
#include <polys/nc/nc.h>
#include <polys/monomials/ring.h>
#include <kernel/polys.h>
#include <coeffs/numbers.h>
#include <kernel/ideals.h>
#include <polys/matpol.h>
#include <polys/kbuckets.h>
#include <kernel/GBEngine/kstd1.h>
#include <polys/sbuckets.h>
#include <polys/prCopy.h>
#include <polys/operations/p_Mult_q.h>
#include <polys/clapsing.h>
#include <misc/options.h>
Go to the source code of this file.
Functions | |
void | pLcmRat (poly a, poly b, poly m, int rat_shift) |
poly | p_HeadRat (poly p, int ishift, ring r) |
void | p_ExpVectorDiffRat (poly pr, poly p1, poly p2, int ishift, ring r) |
ideal | ncGCD2 (poly p, poly q, const ring r) |
ideal | ncGCD (poly p, poly q, const ring r) |
poly | nc_rat_CreateSpoly (poly pp1, poly pp2, int ishift, const ring r) |
poly | nc_rat_ReduceSpolyNew (const poly p1, poly p2, int ishift, const ring r) |
BOOLEAN | p_DivisibleByRat (poly a, poly b, int ishift, const ring r) |
int | redRat (poly *h, poly *reducer, int *red_length, int rl, int ishift, ring r) |
BOOLEAN | p_LmIsConstantRat (const poly p, const ring r) |
BOOLEAN | p_LmIsConstantCompRat (const poly p, const ring r) |
Definition at line 341 of file ratgring.cc.
Definition at line 466 of file ratgring.cc.
Definition at line 160 of file ratgring.cc.
Definition at line 112 of file ratgring.cc.
: TRUE iff (n != 0 and (LC(n) > 0 or deg(n) > 0)) in K(t_1, ..., t_n): TRUE iff (LC(numerator(n) is a constant and > 0) or (LC(numerator(n) is not a constant) in Z/2^kZ: TRUE iff 0 < n <= 2^(k-1) in Z/mZ: TRUE iff the internal mpz is greater than zero in Z: TRUE iff n > 0
Definition at line 570 of file ratgring.cc.
Definition at line 81 of file ratgring.cc.
Definition at line 64 of file ratgring.cc.
Definition at line 652 of file ratgring.cc.
Definition at line 643 of file ratgring.cc.
Definition at line 30 of file ratgring.cc.
Definition at line 594 of file ratgring.cc.