CoCoA » CoCoALib

• ctors for BigInt and BigRat from string and GMP native objects now replaced by pseudo-ctors!
• Many files have been renamed or created with prefix SparsePolyOps- for tidying and better structure of related operations
• RandomUnimodularMat now produces results with det +1 or -1 (prev. only +1)
• improved impl of determinant for matrices over ZZ; special cases now up to dimension 5x5
• better handling of det of matrix over QQ (by mapping to matrix over ZZ)
• added new fn EratosthenesRange
• added new class SmallPrime
• added new iterators PrimeSeq and PrimeSeqForCRT
• added new fn RandomSmallPrime
• added new fn SturmSeq
• extended: CommonDenom for vector of polynomials over QQ
• added new fn IsSigmaGoodPrime, DenSigma,
• added new fn Radical0dim, IsRadical0dim, IsPrimary
• extended: PrimaryDecomposition for 0dim
• extended: factor for coefficients in Algebraic extension
• fixed bug: in multivariate factorization over QQ (sign of RemainingFactor could be wrong)
• added new: BigRatInterval with basic arithmetic
• added new fn: RandomLinearForm
• added new class: VerificationLevel
• improved (first part) communication with MathSAT
• added new fn IsNonNegGrading
• added new fns GCDFreeBasis_BigInt and GCDFreeBasis_RingElem (bad names!)
• fixed bug: SyzOfGens with 0 generators

• added: SparsePolyOps-IdealZeroDim.[HC]
• added: SparsePolyIter.H (from SparsePolyRing)
• added: SparsePolyOps-ideal.[HC] (from SparsePolyRing)
• renamed: MinPoly.[HC] into SparsePolyOps-MinPoly.[HC]
• renamed: IdealsOfPoints.[HC] into SparsePolyOps-IdealOfPoints.[HC]
• renamed: MonomialIdeals.[HC] into SparsePolyOps-MonomialIdeal.[HC]
• renamed: IntOperations.[HC] into BigIntOps.[HC]
• split: BigRat.[HC] into BigRat and BigRatOps
• renamed: MatrixOperations.[HC] into MatrixOps.[HC]
• renamed: VectorOperations.[HC] into VectorOps.[HC]
• split: NumTheory into NumTheory and NumTheory-prime

valgrind tests OK!