CoCoA » CoCoALib

• changed BigRat ctors: it is now possible to construct BigRat directly from an integer (but beware of incorrect BigRat(2/3) which does compile...)
• power now checks for overflow (so very large powers cannot be computed directly)
• renamed FrobeniusNorm2 to FrobeniusNormSq
• renamed HadamardBound to HadamardBoundSq (also extended to work over any ring)
• revised semantics for UnivariateIndetIndex: now gives error if arg is constant poly
• extlib libnormaliz must now be at least version 3.8.10
• renamed (normaliz) Generators to TriangulationGenerators (following similar change in normaliz itself)
• added new fns resultant and discriminant for univariate polys (previously only multivariate)
• added new fns syz(const FreeModule& F, const std::vector<RingElem>& g)
• added new fns FlattenByRows and FlattenByCols
• added new fn interreduced (translated from CoCoA-5 by Julian Danner, cleaned by JAA)
• added new fn CanonicalBasis
• added new fns CertifyNotPower and StarRoot
• added new fns factor_TrialDiv (changed from SmoothFactor) and factor_PollardRho; improved factor for BigInt
• added new fn IsPowerOf2 for BigRat (previously only for BigInt)
• renamed TensorMat to KroneckerProd
• REJECTED idea of new fn PowerOfMinusOne (returns a long)
• added new fns IsOne and IsMinusOne for MachineInt
• added new fn RingElemVec which reads a comma-separated list of RingElem inside square brackets
• changed log: now requires arg to be positive (also more accurate for some BigRat values)
• added new fn LogAbs equiv to log(abs(arg))
• corrected bug in exponent(BigRat), and also in FloatStr(BigRat)
• new file SparsePolyOps-vector which will collect functions on vectors of RingElem
• extended MachineInt to accept long long args (probably not 100% robust!)

Add other new features as they appear...

Can we close this issue now? After all, 0.99800 has been released!