CoCoALib-0.9905 date: 23 May 2007


SparsePolyRing.H File Reference

#include "CoCoA/error.H"
#include "CoCoA/ideal.H"
#include "CoCoA/PolyRing.H"
#include "CoCoA/PPMonoid.H"
#include "CoCoA/RingHom.H"
#include <cstddef>
#include <iosfwd>
#include <vector>
#include <memory>

Include dependency graph for SparsePolyRing.H:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  CoCoA

Classes

class  CoCoA::SparsePolyIterBase
class  CoCoA::SparsePolyIter
class  CoCoA::SparsePolyRing
class  CoCoA::SparsePolyRingBase
class  CoCoA::SparsePolyRingBase::IdealImpl
class  CoCoA::SparsePolyRingBase::HomImpl
class  CoCoA::SparsePolyRingBase::CoeffEmbeddingHomImpl

Pseudo constructors for RingElems owned by SparsePolyRing

RingElem CoCoA::monomial (const SparsePolyRing &P, ConstRefRingElem c, ConstRefPPMonoidElem pp)
RingElem CoCoA::monomial (const SparsePolyRing &P, const ZZ &N, ConstRefPPMonoidElem pp)
RingElem CoCoA::monomial (const SparsePolyRing &P, long n, ConstRefPPMonoidElem pp)
RingElem CoCoA::monomial (const SparsePolyRing &P, ConstRefRingElem c, const std::vector< long > &expv)
RingElem CoCoA::monomial (const SparsePolyRing &P, const ZZ &N, const std::vector< long > &expv)
RingElem CoCoA::monomial (const SparsePolyRing &P, long n, const std::vector< long > &expv)
RefRingElem CoCoA::PushFront (RefRingElem f, ConstRefRingElem c, const std::vector< long > &expv)
RefRingElem CoCoA::PushBack (RefRingElem f, ConstRefRingElem c, const std::vector< long > &expv)
 SHOULD BE vector<ZZ> ????

Special functions on RingElems owned by SparsePolyRing

ConstRefPPMonoidElem CoCoA::LPP (ConstRefRingElem f)
degree CoCoA::wdeg (ConstRefRingElem f)
int CoCoA::CmpWDeg (ConstRefRingElem f1, ConstRefRingElem f2)
bool CoCoA::IsHomogeneous (ConstRefRingElem f)
RingElem CoCoA::homog (ConstRefRingElem f, ConstRefRingElem h)
 homogenize f with indet h (GrDim=1, wdeg(h)=1)
RingElem CoCoA::NR (ConstRefRingElem f, const std::vector< RingElem > &v)
 Normal Remainder (remainder of the Division Algorithm). If v is a GBasis it gives the Normal Form.
SparsePolyIter CoCoA::BeginIter (ConstRefRingElem f)
SparsePolyIter CoCoA::EndIter (ConstRefRingElem f)

Functions

SparsePolyRing CoCoA::NewPolyRing (const ring &CoeffRing, const PPMonoid &PPM)
SparsePolyRing CoCoA::NewPolyRing (const ring &CoeffRing, const std::vector< symbol > &IndetNames, const PPOrdering &ord)
SparsePolyRing CoCoA::NewPolyRing (const ring &CoeffRing, const std::vector< symbol > &IndetNames)
 Default ordering is StdDegRevLex.
SparsePolyRing CoCoA::NewPolyRing (const ring &CoeffRing, std::size_t NumIndets)
 Default ordering is StdDegRevLex.
bool CoCoA::IsSparsePolyRing (const ring &R)
SparsePolyRing CoCoA::AsSparsePolyRing (const ring &R)
const PPMonoid & CoCoA::PPM (const SparsePolyRing &Rx)
std::size_t CoCoA::GradingDim (const SparsePolyRing &Rx)
bool CoCoA::IsZeroDim (const ideal &I)
bool CoCoA::IsEnded (const SparsePolyIter &i)
ConstRefRingElem CoCoA::coeff (const SparsePolyIter &i)
ConstRefPPMonoidElem CoCoA::PP (const SparsePolyIter &i)
bool CoCoA::operator== (const SparsePolyIter &i1, const SparsePolyIter &i2)
bool CoCoA::operator!= (const SparsePolyIter &i1, const SparsePolyIter &i2)


Generated on Wed May 23 13:44:07 2007 for CoCoALib by  doxygen 1.4.6