syzextra.cc File Reference

New implementations for the computation of syzygies and resolutions. More...

#include "kernel/mod2.h"
#include <string.h>
#include "syzextra.h"
#include "misc/intvec.h"
#include "coeffs/coeffs.h"
#include "polys/monomials/p_polys.h"
#include "polys/monomials/ring.h"
#include "polys/simpleideals.h"
#include "kernel/polys.h"
#include "kernel/ideals.h"
#include <stdio.h>
#include <stdlib.h>

Go to the source code of this file.

Macros
#define	_GNU_SOURCE   /*for qsort_r on cygwin, must be before system includes*/

Functions
poly	p_Tail (const poly p, const ring r)
	return the tail of a given polynomial or vector returns NULL if input is NULL, otherwise the result is a new polynomial/vector in the ring r More...
ideal	id_Tail (const ideal id, const ring r)
	return the tail of a given ideal or module returns NULL if input is NULL, otherwise the result is a new ideal/module in the ring r NOTE: the resulting rank is autocorrected More...

Detailed Description

New implementations for the computation of syzygies and resolutions.

ABSTRACT: Computation of Syzygies due to Schreyer

Author

Oleksandr Motsak

Definition in file syzextra.cc.

Macro Definition Documentation

_GNU_SOURCE

#define _GNU_SOURCE   /*for qsort_r on cygwin, must be before system includes*/

Definition at line 18 of file syzextra.cc.

Function Documentation

id_Tail()

ideal id_Tail	(	const ideal	id,
		const ring	r
	)

return the tail of a given ideal or module returns NULL if input is NULL, otherwise the result is a new ideal/module in the ring r NOTE: the resulting rank is autocorrected

Definition at line 48 of file syzextra.cc.

{
  if( UNLIKELY(id == NULL) )
    return NULL;
 
  const ideal newid = idInit(IDELEMS(id),id->rank);
 
  for (int i=IDELEMS(id) - 1; i >= 0; i--)
    newid->m[i] = p_Tail( id->m[i], r );
 
  newid->rank = id_RankFreeModule(newid, currRing);
 
  return newid;
}

p_Tail()

poly p_Tail	(	const poly	p,
		const ring	r
	)

return the tail of a given polynomial or vector returns NULL if input is NULL, otherwise the result is a new polynomial/vector in the ring r

Definition at line 40 of file syzextra.cc.

{
  if( UNLIKELY(p == NULL) )
    return NULL;
  else
    return p_Copy( pNext(p), r );
}