/****************************************
*  Computer Algebra System SINGULAR     *
****************************************/
/***************************************************************
 *  File:    sbuckets.h
 *  Purpose: declaration of routines for sorting and adding up polys using
 *           a bucket sort
 *  Note:    If you need to extract the leading momonial of a bucket,
 *           use kbuckets, instead.
 *  Author:  obachman (Olaf Bachmann)
 *  Created: 9/00
 *  Version: $Id: sbuckets.h,v 1.2 2001-10-09 16:36:21 Singular Exp $
 *******************************************************************/
#ifndef S_BUCKETS_H
#define S_BUCKETS_H

#include "mod2.h"
#include "structs.h"

//////////////////////////////////////////////////////////////////////////
// Creation/Destruction of buckets
//
sBucket_pt    sBucketCreate(ring r = currRing);
void          sBucketDestroy(sBucket_pt *bucket);


/////////////////////////////////////////////////////////////////////////////
// Convertion from/to SBpolys
//

// Converts p into a bucket poly (SBpoly) and destroys p
// Assumes length <= 0 || pLength(p) == length
void sBucketInit(sBucket_pt bucket, poly p, int length);

// creates and returns new bucket, initializes it with p
sBucket_pt  sBucketInit( poly p, int length, ring r = currRing);

// Converts SBpoly into a poly and clears bucket
// i.e., afterwards SBpoly == 0
// assumes all monomials in bucket are different
void sBucketClearMerge(sBucket_pt bucket, poly *p, int *length);

// Converts SBpoly into a poly and clears bucket
// i.e., afterwards SBpoly == 0
// bucket may contain equal monials
void sBucketClearAdd(sBucket_pt bucket, poly *p, int *length);

// Converts SBpoly into a poly and detroys bucket
inline void sBucketDestroyMerge(sBucket_pt bucket, poly *p, int *length)
{
  sBucketClearMerge(bucket, p, length);
  sBucketDestroy(&bucket);
}

// Converts SBpoly into a poly and detroys bucket
inline void sBucketDestroyAdd(sBucket_pt bucket, poly *p, int *length)
{
  sBucketClearAdd(bucket, p, length);
  sBucketDestroy(&bucket);
}


//////////////////////////////////////////////////////////////////////////
///
/// Merges p into Spoly: assumes Bpoly and p have no common monoms
///
void sBucket_Merge_p(sBucket_pt bucket, poly p, int lp);
// adds poly p to bucket
void sBucket_Add_p(sBucket_pt bucket, poly p, int lp);


//////////////////////////////////////////////////////////////////////////
///
/// Sorts p with bucektSort: assumes all monomials of p are different
///
poly sBucketSortMerge(poly p, ring r);

//////////////////////////////////////////////////////////////////////////
///
/// Sorts p with bucektSort: p may have equal monomials
///
poly sBucketSortAdd(poly p, ring r);


#endif // P_BUCKET_SORT