CoCoALib-0.9905 date: 23 May 2007


CoCoA::DistrMPolyInlFpPP Class Reference

Implementation of polynomials for RingDistrMPolyInlFpPP. More...

#include <DistrMPolyInlFpPP.H>

List of all members.

Public Types

typedef SmallFpImpl InlineFpImpl
typedef InlineFpImpl::value_t InlineFpElem_t

Public Member Functions

 DistrMPolyInlFpPP (const InlineFpImpl &, const ring &, const PPMonoid &, const OrdvArith::reference &, MemPool &)
 DistrMPolyInlFpPP (const DistrMPolyInlFpPP &copy)
 ~DistrMPolyInlFpPP ()
DistrMPolyInlFpPPoperator= (const DistrMPolyInlFpPP &rhs)
DistrMPolyInlFpPPoperator= (long rhs)
DistrMPolyInlFpPPoperator= (const ZZ &rhs)
summand * myCopySummand (const summand *original) const
const ringmyCoeffRing () const
const PPMonoidmyPPM () const
void myAssignZero ()
bool myIsEqual (const summand *const lhs, const summand *const rhs) const
void myDeleteLM ()
void myAddMul (const DistrMPolyInlFpPP &h, const DistrMPolyInlFpPP &g, bool SkipLMg)
void myReductionStep (const DistrMPolyInlFpPP &g)
void myReductionStepGCD (const DistrMPolyInlFpPP &g, RefRingElem fscale)
void myAddClear (DistrMPolyInlFpPP &g)
void myAppendClear (DistrMPolyInlFpPP &g)
void myMulByCoeff (InlineFpElem_t c)
 NO THROW GUARANTEE (???).
void myDivByCoeff (InlineFpElem_t c)
 NO THROW GUARANTEE (???).
void myMulByPP (PPMonoidElemConstRawPtr rawpp)
 EXCEPTION SAFE.
void myWeylMul (PPMonoidElemConstRawPtr rawpp)
void myPushFront (const InlineFpElem_t c, const std::vector< long > &expv)
void myPushBack (const InlineFpElem_t c, const std::vector< long > &expv)
void myPushFront (summand *t)
void myPushBack (summand *t)
void myRemoveSummand (summand **prev_link)
void myInsertSummand (summand *s, summand **prev_link)
void myNegate ()

Static Public Member Functions

static std::size_t SummandSize (const ring &, const OrdvArith::reference &OA)
static void ourSwap (DistrMPolyInlFpPP &, DistrMPolyInlFpPP &)

Friends

class NewSummandPtr
bool IsCompatible (const DistrMPolyInlFpPP &f, const DistrMPolyInlFpPP &g)
std::size_t NumTerms (const DistrMPolyInlFpPP &f)
const InlineFpElem_tLC (const DistrMPolyInlFpPP &f)
ConstRefPPMonoidElem LPP (const DistrMPolyInlFpPP &f)
int CmpLPP (const DistrMPolyInlFpPP &f, const DistrMPolyInlFpPP &g)
void MoveLM (DistrMPolyInlFpPP &f, DistrMPolyInlFpPP &g)
void DivLM (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &f, const DistrMPolyInlFpPP &g)
bool IsZeroAddLCs (DistrMPolyInlFpPP &f, DistrMPolyInlFpPP &g)
void add (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &g, const DistrMPolyInlFpPP &h)
void sub (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &g, const DistrMPolyInlFpPP &h)
bool div (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &g, const DistrMPolyInlFpPP &h)
void gcd (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &g, const DistrMPolyInlFpPP &h)
void output (std::ostream &out, const DistrMPolyInlFpPP &f)
bool IsZero (const DistrMPolyInlFpPP &f)
bool IsMonomial (const DistrMPolyInlFpPP &f)
bool IsEqual (const DistrMPolyInlFpPP &f, const DistrMPolyInlFpPP &g)
void deriv (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &, std::size_t IndetIndex)
void deriv (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &f, ConstRefPPMonoidElem x)
void WeylMul (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &g, const DistrMPolyInlFpPP &h)
void WeylDiv (DistrMPolyInlFpPP &lhs, const DistrMPolyInlFpPP &g, const DistrMPolyInlFpPP &h)

Classes

class  iter
class  NewSummandPtr
struct  summand


Detailed Description

Implementation of polynomials for RingDistrMPolyInlFpPP.

Definition at line 53 of file DistrMPolyInlFpPP.H.


Member Typedef Documentation

typedef SmallFpImpl CoCoA::DistrMPolyInlFpPP::InlineFpImpl
 

Definition at line 56 of file DistrMPolyInlFpPP.H.

typedef InlineFpImpl::value_t CoCoA::DistrMPolyInlFpPP::InlineFpElem_t
 

Definition at line 58 of file DistrMPolyInlFpPP.H.


Constructor & Destructor Documentation

CoCoA::DistrMPolyInlFpPP::DistrMPolyInlFpPP const InlineFpImpl ,
const ring ,
const PPMonoid ,
const OrdvArith::reference ,
MemPool
 

CoCoA::DistrMPolyInlFpPP::DistrMPolyInlFpPP const DistrMPolyInlFpPP copy  ) 
 

CoCoA::DistrMPolyInlFpPP::~DistrMPolyInlFpPP  ) 
 


Member Function Documentation

DistrMPolyInlFpPP& CoCoA::DistrMPolyInlFpPP::operator= const DistrMPolyInlFpPP rhs  ) 
 

DistrMPolyInlFpPP& CoCoA::DistrMPolyInlFpPP::operator= long  rhs  ) 
 

DistrMPolyInlFpPP& CoCoA::DistrMPolyInlFpPP::operator= const ZZ rhs  ) 
 

std::size_t CoCoA::DistrMPolyInlFpPP::SummandSize const ring ,
const OrdvArith::reference OA
[inline, static]
 

Definition at line 255 of file DistrMPolyInlFpPP.H.

References CoCoA::OrdvArith::OrdvWords().

static void CoCoA::DistrMPolyInlFpPP::ourSwap DistrMPolyInlFpPP ,
DistrMPolyInlFpPP
[static]
 

Referenced by CoCoA::swap().

summand* CoCoA::DistrMPolyInlFpPP::myCopySummand const summand *  original  )  const
 

const ring & CoCoA::DistrMPolyInlFpPP::myCoeffRing  )  const [inline]
 

Definition at line 261 of file DistrMPolyInlFpPP.H.

Referenced by CoCoA::DistrMPolyInlFpPP::iter::myCoeff().

const PPMonoid & CoCoA::DistrMPolyInlFpPP::myPPM  )  const [inline]
 

Definition at line 267 of file DistrMPolyInlFpPP.H.

Referenced by CoCoA::DistrMPolyInlFpPP::iter::myPP().

void CoCoA::DistrMPolyInlFpPP::myAssignZero  ) 
 

bool CoCoA::DistrMPolyInlFpPP::myIsEqual const summand *const   lhs,
const summand *const   rhs
const
 

void CoCoA::DistrMPolyInlFpPP::myDeleteLM  ) 
 

void CoCoA::DistrMPolyInlFpPP::myAddMul const DistrMPolyInlFpPP h,
const DistrMPolyInlFpPP g,
bool  SkipLMg
 

void CoCoA::DistrMPolyInlFpPP::myReductionStep const DistrMPolyInlFpPP g  ) 
 

void CoCoA::DistrMPolyInlFpPP::myReductionStepGCD const DistrMPolyInlFpPP g,
RefRingElem  fscale
 

void CoCoA::DistrMPolyInlFpPP::myAddClear DistrMPolyInlFpPP g  ) 
 

void CoCoA::DistrMPolyInlFpPP::myAppendClear DistrMPolyInlFpPP g  ) 
 

void CoCoA::DistrMPolyInlFpPP::myMulByCoeff InlineFpElem_t  c  ) 
 

NO THROW GUARANTEE (???).

void CoCoA::DistrMPolyInlFpPP::myDivByCoeff InlineFpElem_t  c  ) 
 

NO THROW GUARANTEE (???).

void CoCoA::DistrMPolyInlFpPP::myMulByPP PPMonoidElemConstRawPtr  rawpp  ) 
 

EXCEPTION SAFE.

void CoCoA::DistrMPolyInlFpPP::myWeylMul PPMonoidElemConstRawPtr  rawpp  ) 
 

void CoCoA::DistrMPolyInlFpPP::myPushFront const InlineFpElem_t  c,
const std::vector< long > &  expv
 

void CoCoA::DistrMPolyInlFpPP::myPushBack const InlineFpElem_t  c,
const std::vector< long > &  expv
 

void CoCoA::DistrMPolyInlFpPP::myPushFront summand *  t  ) 
 

void CoCoA::DistrMPolyInlFpPP::myPushBack summand *  t  ) 
 

void CoCoA::DistrMPolyInlFpPP::myRemoveSummand summand **  prev_link  ) 
 

void CoCoA::DistrMPolyInlFpPP::myInsertSummand summand *  s,
summand **  prev_link
 

void CoCoA::DistrMPolyInlFpPP::myNegate  ) 
 


Friends And Related Function Documentation

friend class NewSummandPtr [friend]
 

Definition at line 63 of file DistrMPolyInlFpPP.H.

bool IsCompatible const DistrMPolyInlFpPP f,
const DistrMPolyInlFpPP g
[friend]
 

std::size_t NumTerms const DistrMPolyInlFpPP f  )  [friend]
 

const InlineFpElem_t& LC const DistrMPolyInlFpPP f  )  [friend]
 

ConstRefPPMonoidElem LPP const DistrMPolyInlFpPP f  )  [friend]
 

int CmpLPP const DistrMPolyInlFpPP f,
const DistrMPolyInlFpPP g
[friend]
 

void MoveLM DistrMPolyInlFpPP f,
DistrMPolyInlFpPP g
[friend]
 

void DivLM DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP f,
const DistrMPolyInlFpPP g
[friend]
 

bool IsZeroAddLCs DistrMPolyInlFpPP f,
DistrMPolyInlFpPP g
[friend]
 

void add DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP g,
const DistrMPolyInlFpPP h
[friend]
 

void sub DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP g,
const DistrMPolyInlFpPP h
[friend]
 

bool div DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP g,
const DistrMPolyInlFpPP h
[friend]
 

void gcd DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP g,
const DistrMPolyInlFpPP h
[friend]
 

void output std::ostream &  out,
const DistrMPolyInlFpPP f
[friend]
 

bool IsZero const DistrMPolyInlFpPP f  )  [friend]
 

bool IsMonomial const DistrMPolyInlFpPP f  )  [friend]
 

bool IsEqual const DistrMPolyInlFpPP f,
const DistrMPolyInlFpPP g
[friend]
 

void deriv DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP ,
std::size_t  IndetIndex
[friend]
 

void deriv DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP f,
ConstRefPPMonoidElem  x
[friend]
 

void WeylMul DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP g,
const DistrMPolyInlFpPP h
[friend]
 

void WeylDiv DistrMPolyInlFpPP lhs,
const DistrMPolyInlFpPP g,
const DistrMPolyInlFpPP h
[friend]
 


The documentation for this class was generated from the following file:
Generated on Wed May 23 13:46:15 2007 for CoCoALib by  doxygen 1.4.6