CoCoALib-0.9905 date: 23 May 2007


TmpGReductor.H File Reference

#include "CoCoA/TmpGPoly.H"
#include "CoCoA/TmpGPair.H"
#include "CoCoA/TmpGRStats.H"

Include dependency graph for TmpGReductor.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::GReductor

Enumerations

enum  CoCoA::ModOrdTypeForcing { CoCoA::NoForcing, CoCoA::PosWDegTO, CoCoA::WDegTOPos, CoCoA::WDegPosTO }

Functions

SparsePolyRing CoCoA::NewSparsePolyRing (const ring &CoeffRing, const std::vector< symbol > &IndetNames, const PPOrdering &ord)
void CoCoA::monic (PolyList &)
const GRingInfo & CoCoA::GetGRI (const GPolyList &theGPL)
FreeModule CoCoA::owner (const VectorList &theVL)
SparsePolyRing CoCoA::MakeNewPRingFromModule (const FreeModule &FM)
SparsePolyRing CoCoA::MakeNewPRingFromModule (const FreeModule &FM, ModOrdTypeForcing MOType)
SparsePolyRing CoCoA::MakeNewPRingForSimpleEmbedding (const SparsePolyRing &theOldP)
SparsePolyRing CoCoA::MakeNewPRingForSimpleEmbedding (const SparsePolyRing &theOldP, ModOrdTypeForcing MOType)
FreeModule CoCoA::MakeNewFreeModuleForSyz (const GPolyList &GPL)
FreeModule CoCoA::MakeNewFreeModuleForSyz (const VectorList &VL)
FreeModule CoCoA::MakeNewFreeModuleForSyz (const PolyList &PL)
SparsePolyRing CoCoA::MakeElimRingFromOld (const SparsePolyRing &theOldP, const std::vector< long > &theElimVars, const bool IsHomog)
SparsePolyRing CoCoA::MakeNewPRingFromModulePosFirst (const FreeModule &FM, bool HomogInput)
SparsePolyRing CoCoA::MakeNewPRingForSimpleEmbeddingPosFirst (const SparsePolyRing &OldP, bool HomogInput)
GPoly CoCoA::EmbedPoly (ConstRefRingElem p, const GRingInfo &theGRI, const size_t CompIndex)
GPoly CoCoA::EmbedPoly (ConstRefRingElem p, const GRingInfo &theGRI, const degree &the_d, const size_t CompIndex)
GPoly CoCoA::EmbedVector (const ModuleElem &v, const GRingInfo &theGRI)
GPoly CoCoA::EmbedVector (const ModuleElem &v, const GRingInfo &theGRI, const size_t StartingFromCompIndex)
GPolyList CoCoA::EmbedVectorList (const VectorList &theVL, const GRingInfo &theGRI)
GPolyList CoCoA::EmbedVectorList (const VectorList &theVL, const GRingInfo &theGRI, const size_t StartingFromCompIndex)
GPolyList CoCoA::EmbedPolyList (PolyList &thePL, const GRingInfo &theGRI)
GPolyList CoCoA::EmbedPolyList (const PolyList &thePL, const GRingInfo &theGRI, const degree &the_d, const size_t CompIndex)
GPolyList CoCoA::EmbedPolyList (const PolyList &InputPolyList, const GRingInfo &theGRI, const size_t CompIndex)
GPolyList CoCoA::SyzEmbedVectorList (const VectorList &InputVectorList, const GRingInfo &theGRI)
GPolyList CoCoA::SyzEmbedPolyList (const PolyList &InputPolyList, const GRingInfo &theGRI)
GPolyList CoCoA::IntEmbedVectorLists (const VectorList &VL1, const VectorList &VL2, const GRingInfo &theGRI)
GPolyList CoCoA::IntEmbedPolyLists (const PolyList &PL1, const PolyList &PL2, const GRingInfo &theGRI)
GPolyList CoCoA::ColonEmbedVectorLists (const VectorList &VL1, const VectorList &VL2, const GRingInfo &theGRI)
GPolyList CoCoA::ColonEmbedPolyLists (const PolyList &PL1, const PolyList &PL2, const GRingInfo &theGRI)
void CoCoA::SyzEmbedGPolyList (GPolyList &theGPL)
void CoCoA::IntEmbedGPolyList (GPolyList &theGPL1, GPolyList &theGPL2)
void CoCoA::ColonEmbedGPolyList (GPolyList &theGPL, GPoly &the_gp)
ModuleElem CoCoA::DeEmbedPoly (ConstRefRingElem p, const GRingInfo &theGRI, const size_t ComponentsLimit)
ModuleElem CoCoA::DeEmbedPoly (ConstRefRingElem p, const GRingInfo &theGRI)
VectorList CoCoA::DeEmbedPolyList (const PolyList &PL, const GRingInfo &theGRI)
VectorList CoCoA::DeEmbedPolyList (const PolyList &PL, const GRingInfo &theGRI, const std::size_t ComponentsLimit)
void CoCoA::DeEmbedPoly (ModuleElem &theOutputP, const GPoly &the_gp, const size_t ComponentsLimit)
void CoCoA::DeEmbedPoly (ModuleElem &theOutputP, GPoly &the_gp)
void CoCoA::DeEmbedPolyList (VectorList &theOutputVL, GPolyList &theGPL)
void CoCoA::DeEmbedPolyList (VectorList &theOutputVL, const GPolyList &theGPL, const std::size_t ComponentsLimit)
void CoCoA::DeEmbedPoly (RefRingElem theOutputP, GPoly &the_gp)
void CoCoA::DeEmbedPolyList (PolyList &theOutputPL, GPolyList &theGPL, const std::size_t ComponentsLimit)
RingElem CoCoA::DeEmbedPolyToP (ConstRefRingElem the_p, const GRingInfo &theGRI)
PolyList CoCoA::DeEmbedPolyListToPL (const PolyList &PL, const GRingInfo &theGRI, const std::size_t ComponentsLimit)
void CoCoA::PolyList2GPolyList (const PolyList &, GPolyList &, const GRingInfo &)
void CoCoA::GPolyList2PolyList (const GPolyList &, PolyList &)
void CoCoA::PolyList2GPolyListClear (PolyList &, GPolyList &, const GRingInfo &)
void CoCoA::GPolyList2PolyListClear (GPolyList &, PolyList &)
void CoCoA::homogenized (RefRingElem the_hp, ConstRefRingElem the_p, const std::vector< RingElem > the_Y)
 hp = hom(p,y) in the ring with the y's
void CoCoA::homogenized (ModuleElem &the_hv, const ModuleElem &the_v, const GRingInfo &theGRI)
std::vector< long > CoCoA::PolyList2IndexList (const PolyList &)
PPMonoidElem CoCoA::IndexList2PPMonoidElem (const PPMonoid &, const std::vector< long > &)
std::vector< long > CoCoA::PPMonoidElem2IndexList (ConstRefPPMonoidElem)
size_t CoCoA::FirstNonZeroPos (const ModuleElem &v)
bool CoCoA::IsHomogeneous (const PolyList &)
bool CoCoA::IsHomogeneous (const VectorList &)
std::vector< degree > CoCoA::DegStructure (ConstRefRingElem)
std::vector< std::vector<
degree > > 
CoCoA::DegStructure (const ModuleElem &)
std::vector< std::vector<
degree > > 
CoCoA::DegStructure (const PolyList &)
std::vector< std::vector<
std::vector< degree > > > 
CoCoA::DegStructure (const VectorList &)
PolyList CoCoA::MakePolyList (ConstRefRingElem)
VectorList CoCoA::MakeVectorList (const ModuleElem &)
RingElem CoCoA::CoeffCommonDenominator (ConstRefRingElem f)
PolyList CoCoA::WithoutDenominators (const PolyList &PL, SparsePolyRing Rx)
PolyList CoCoA::WithDenominator1Hom (const PolyList &PL, SparsePolyRing P)


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