CoCoALib-0.99850 documentation -- by topic

Introduction

INSTALL

Coding Conventions

Alphabetical index

CoCoA-5

• BuiltInFunctions

ExternalLibs

• External Library Info
• External library: GMP
• External library: BOOST
• External library: readline
• ExternalLibs-Frobby
• ExternalLibs-GFan
• ExternalLibs-MathSAT
• ExternalLibs-Normaliz

Gröbner and other bases

• IdealOfPoints
• GBEnv
• JBMill (JanetBasis)
• PBMill (PommaretBasis)
• UniversalInvolutiveBasisContainer

---

• hilbert
• ApproxPts

---

Implementation data types:
• GPoly
• SugarDegree
• ReductionCog
• see also: Polynomials, Power-products

Homomorphism

• RingHom
• CanonicalHom
• HomomorphismOps
• PPMonoidHom

Ideal

• ideal
• IdealOfPoints
• FieldIdeal

Matrix

• matrix
• MatrixView
• DenseMatrix
• MatrixForOrdering
• MatrixSpecial
• MatrixOps

Module

• module
• ModuleTermOrdering
• submodule
• FreeModule
• FGModule
• MorseGraph

Numbers

• BigInt
• BigRat
• MachineInt
• BigIntOps
• BigRatOps
• BigRatInterval
• bool3
• random
• convert
• combinatorics
• NumTheory
• ToString
• FloatApprox
• ULong2Long
• ULongLong2LongLong

Power-products

• PPMonoid
• PPOrdering
• degree
• PPVector
• PPWithMask
• DivMask
• DynamicBitset
• OrdvArith
• QBGenerator
• see also: Homomorphisms

Rings: General

• ring
• RingElem
• RingElemInput

---

• RingZZ
• RingQQ
• RingTwinFloat
• FractionField
• QuotientRing

---

• RingFp
• RingFpDouble
• RingFpLog
• SmallFpDoubleImpl
• SmallFpImpl
• SmallFpLogImpl
• see also: Polynomials, Homomorphisms

Rings: Polynomials

• PolyRing
• SparsePolyRing
• RingDistrMPolyClean
• RingDistrMPolyInlPP
• DistrMPolyClean
• DistrMPolyInlPP
• DenseUPolyRing
• DenseUPolyClean
• RingWeyl

---

• factor
• geobucket
• Graeffe
• LRSdegeneracy
• OrthogonalPolys
• QuasiPoly
• RootBound
• SparsePolyOps-MinPoly
• SparsePolyOps-eval
• SparsePolyOps-cyclotomic
• SparsePolyOps-SturmSeq
• SparsePolyOps-RealRadical
• SparsePolyOps-resultant
• SparsePolyOps-vector
• see also: Gröbner, Power-products

Server

• RegisterServerOps
• ServerOp
• SocketStream
• OpenMath

Utilities

• assert
• BuildInfo
• config
• error
• exception
• factorization
• symbol
• library
• utils
• utils-gmp
• VectorOps
• VerificationLevel
• obsolescent
• empty (template and demo for doc)

---

• time
• interrupt
• verbose
• SignalWatcher
• CpuTimeLimit
• ProgressReporter
• LogStream

Utilities: Memory

• GlobalManager
• MemPool
• SmartPtrIRC
• SmartPtrIRCCOW
• debug_new
• leak_checker