FIXME: maybe it should also be able to encode as reference

* * Second level _omDebug alloc/free routines: do the actual work * *******************************************************************/

converts a gmp_complex to a string ( <real part> + I * <imaginary part> )

Get a list of helpfiles, and generate a word occurance vector for each.

the maximal degree of polys in PS wrt. variable x

the minimal non-zero degree of polys in PS wrt. x returns 0 if variable x doesn't occure in any of the polys

2 * exit Buffer of type 'typ': * returns 1 if buffer type could not be found */

* * Local functions * *****************************************************************/

Checks if the ideal "theIdeal" is zero-dimensional and minimal. It does not check, if it is reduced. returns FglmOk if we can use theIdeal for Calcula

Setup the correspondence of vectors to help-files

////////////////////////////////////////////////////////////// getNthPolyOfId ////////////////////////////////////////////////////////////// Descripti

{{{ zero and one

2 * eliminate delVar (product of vars) in h1 */

opposes a module I from Rop to currRing(dst)

------------------type conversions----------------*/

{{{ inline int imm_iszero, imm_iszero_p, imm_iszero_gf ( const InternalCF * const ptr ) docu: see CanonicalForm::isZero()

check whether the various files exist, and create if necessary.

insert new elements to the list w.r.t. increasing labels only used for the S-polys to be reduced (TopReduction building new S-polys with higher label)

t == 0 ?

2 * compare the given hilbert series with the current one, * delete not needed pairs (if possible) */

Computes a reduction of the lead coefficient only. We have already tested * that lm(PW) divides lm(PR), but lc(PW) does not divide lc(PR). We have *