431 while ( temp !=
NULL ) {
445 for (
k= 0;
k < numMonoms;
k++ ) {
446 poly mon=
pHead( temp );
458 while ( sm !=
NULL ) {
465 if ( basisSize == basisMax ) {
466 basis= (
polyset)
omReallocSize( basis, basisMax *
sizeof( poly ), (basisMax + basisBS ) *
sizeof( poly ) );
469 basis[basisSize]=
pHead( sm );
482 for (
k= 0;
k < numMonoms;
k++ ) {
483#ifndef HAVE_EXPLICIT_CONSTR
484 v[
k].mac_constr_i( basisSize );
486 v[
k].fglmVector( basisSize );
490 while ( mon !=
NULL ) {
500 v[
k].setelem(
b+1, coeff );
512 p= gauss.getDependence();
519 number
gcd =
p.gcd();
523 for (
k= 1;
k <=
p.size();
k++ ) {
524 if ( !
p.elemIsZero(
k ) ) {
527 comb=
pAdd( comb, temp );
534 for (
k= 0;
k < numMonoms;
k++ ) {
543 for (
k= 0;
k < basisSize;
k++ )
const Variable & v
< [in] a sqrfree bivariate poly
bool isZero(const CFArray &A)
checks if entries of A are zero
#define STICKYPROT2(msg, arg)
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
#define omFreeSize(addr, size)
#define omReallocSize(addr, o_size, size)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define pHead(p)
returns newly allocated copy of Lm(p), coef is copied, next=NULL, p might be NULL
#define pSetCoeff(p, n)
deletes old coeff before setting the new one
#define pCopy(p)
return a copy of the poly