get the LPolyOld* out of LNode

this is only for outputting an ideal within the debugger therefor it accept the otherwise illegal id==NULL

fill res with the power a^b

* * Operation on ExpVectors * ***************************************************************/ ExpVector(p1) += ExpVector(p2)

ExpVector(p1) -= ExpVector(p2)

returns p*n, destroys p

replace an entry with the given number n (only delete old). NOTE: starts at [0]. Should be named set_transfer

not strictly equal(order doesn't matter)

getter @return @a getGFDegree() returns @a m_GFDegree

///////////////////////////////////////////////////////////////////// Bpoly == Bpoly - m*p; where m is a monom Does not destroy p and m assume (*l <=

addition of 'a' and 'b'; replacement of 'a' by the sum a+b

TRUE iff 'n' represents the additive inverse of the one element, i.e. -1

Beginnt bei [0]

standard functions

3 * computes the real length of the resolution */

returns true if integer n is in vector vec, otherwise, returns false

int * degrees ( const CanonicalForm & f, int * degs ) * * degress() - return the degrees of all polynomial variables in f. * * Returns 0 if f is i

2 *computes a representation of the generators of submod with respect to those * of mod */ represents the generators of submod in terms of the generat

returns the ideals of initial terms

2 * converts a module into a matrix, destroyes the input */

2 * internal print for: matrix */

"copy" coeffs, i.e. increment ref

test if monomial is a constant, i.e. if all exponents and the component is zero

returns p*m, destroys p, const: m

3 * read out the Betti numbers from resolution * (if not LaScala calls the traditional Betti procedure) */

3 * prints the resolution as sequence of free modules */

the length of vec must be same to it of the elements of vecs returns true if vec is as same as some element of vecs ((not strictly same)) returns fals

* G is a red. Groebner basis w.r.t. <_1 * * Gomega is an initial form ideal of <G> w.r.t. a weight vector w * * M is a