Bug #228: libcocoa sometimes built without its index Design #311: XelMat, StdDegRevLexMat, ... should be MatrixView Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0) Bug #790: RingDistrMPolyInlFpPPImpl::mySummandPool frees ZERO PTR many times Bug #807: DiagMat: mySetEntry checks the entry is writable only if debugging active Bug #814: PPOrdering: matrix ordering, what rings are allowed. Design #815: GlobalManager: Imminent disaster should be a proper errorDesign #827: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd) Bug #853: NearestInt can needlessly throw InsufficientPrecision Bug #858: floor for TwinFloat can produce ERR::SERIOUS Bug #860: Check impl of RingTwinFloatImpl::myIsRational Bug #864: Assignment of rings (esp. derived rings such as PolyRing) Bug #867: Compilation Error: C++11 and old GMP-Version Feature #889: configure script: give summary of warnings at end Bug #895: NumDigits: sometimes gives wrong answer Feature #910: BigRat: read from a string in "decimal" format? Bug #936: ReadExpr: cannot handle exponent which is not integer literal Feature #955: RandomUnimodularMat - random unimodular matrix (of integers) Bug #956: determinant: fails for 0x0 matrix (SEGV) Bug #971: CheckForInterrupt does not work in the expected way Design #983: Which ostream for verbose/obsolescent log mesgs? Bug #1004: In scripts: use portable test for absolute paths Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem Feature #1016: ReducedGBasis for RingWeyl (and other non-commutative rings) Bug #1048: Several tests fail when threadsafe-hack is active Bug #1: MachineInteger --> MachineInt Bug #21: Rename NumTheory and NumTheoryQQ Slug #81: DMPI vs DMPII is slower than expected Bug #63: Add links to examples in documentationFeature #153: Shorter simpler names for some bool3 values and functions Bug #155: gcd: multivariate over non-prime finite field Feature #211: NBM: add SparsePolyRing as argument for ordering Feature #51: polynomial coefficient extraction w.r.t. variable Feature #3: implement creation of a PPMonoidElement from vector<BigInt> Bug #89: MachineInt or long as fn arg type for indices Feature #124: change long args in matrices into MachineInt (?) Bug #135: Revise interface to SmallFpImpl & friends Bug #178: IsHomog: should it throw an error when there is no grading? Feature #269: PPMonoids: check for exponent overflow in power function Feature #300: Add fault tolerant rational reconstruction to library Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location Bug #349: IdealOfPoints: gens are actually a GBasis Feature #354: New function BinRepr (was BinExp, also known as Macaulay representation) Feature #390: Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager Feature #43: Squarefree factorization - for polynomials Feature #44: Squarefree factorization - univariate polynomials Feature #45: Squarefree factorization - univariate polynomials, char 0 Feature #46: Squarefree factorization - univariate polynomials, char p > 0 Feature #48: Squarefree factorization - multivariate polynomials, char 0 Feature #49: Squarefree factorization - multivariate polynomials, char p > 0 Bug #355: Colon of zero ideal fails (zero-divisors) Bug #389: problem loading library.H (parallel make -j4) Support #29: CoCoA website: update web page for CoCoALib-0.9950 Feature #47: Squarefree factorization - multivariate polynomials Feature #203: Function to get the Hilbert Polynomial ring from GlobalManager Feature #233: AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat> Design #291: NewZZmod and NewRingFp: improve manual, clarify implementation Feature #312: LongRange(a,b) returning vector of long a..b (included) Feature #366: function (CoCoALib) for minimal generators (like old Minimalize)Support #391: Check consistency of template class factorization Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE Slug #417: ex-Normaliz2-overflow.in too long & too much memory Feature #426: ConvertTo with optional arg to give more helpful error message Feature #17: implement "binomial" (coefficient) for RingElem Design #254: How to return a Hilbert Series in CoCoALib Support #285: Notes for adding/removing files from documentation Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)) Bug #351: Problems with DenseMatImpl::myResize Design #429: factorization: public data fields, or mem fns allowing the fields to be updated. Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz Feature #431: NewPolyRing_DMPI has no constructor with a predefined PPM Slug #479: make check in examples/ directory is far too slow Bug #510: SyzOfGens (CoCoALib): fix shifts Bug #517: MaxSquarableInteger gives wrong ans for unsigned long Bug #538: Compilation problem in TmpMorsePaths.C Feature #62: polynomial coefficient extraction w.r.t. single variable -- dense output Feature #68: cleanup doc for matrix, MatrixViews, *Matrix*,....Bug #73: Repeated rows/cols in submat Feature #139: Usefulness of ring casting fns (remove AsPolyRing, etc.) Support #252: Documentation for tmp.H (utils on vectors and other containers)Bug #264: Compilation problem with "degree.H" (inline fn defns) Support #452: Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners) Feature #554: CoCoALib-Normaliz interface: cannot print a cone Bug #577: Hilbert crashes with > 100 indeterminates Bug #190: Subtle ref count bug for poly rings (via CoeffEmbeddingHom) Bug #350: problem with "matrix" argument in functions Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn) Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C) Design #642: Move code in test file into namespace CoCoA Bug #666: RatReconstructByLattice fails in some simple cases Feature #689: Fault tolerant rational reconstruction: make bad factor publicly accessible Bug #705: DetDirect calls myAddMul with 0 argument -- funny compilation problem?? Feature #721: CheckForInterrupt: string arg to specify where it was called? Support #754: Release: CoCoALib-0.99538 (together with CoCoA-5.1.2) Feature #747: New function for making list of symbols (indeterminate names) Feature #215: Janet Bases: check and include code in CoCoALib (first prototype) Design #602: OrdMat: should it be a reference to a MatrixView in all PPOrderings? Feature #735: Convert a PPMonoidElem to RingElem with coefficient one Bug #776: FloatStr prints a NUL character Bug #804: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView Design #816: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog) Bug #820: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess! Design #824: Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc Bug #830: Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows Bug #834: Fix test failures (after revising MatrixForOrdering) Feature #836: SmallFpImpl: export fns for a fixed convention Feature #180: GlobalManager: registration of global variables Support #1056: Release: CoCoALib-0.99560 (together with CoCoA-5.2.2) Bug #593: Temporary directories used during configuration Feature #638: Time limit: let user specify time limit for a computation Design #683: Module index component in internal compressed representation Bug #693: Makefile_dependencies in src/tests/ Bug #756: frobby (v0.9.0) does not compile with g++-4.8 Feature #759: Configuration: where to keep source for test compilations? Design #789: NumTheory: behaviour of InvMod when inverse does not exist Bug #793: compilation on fedora 23: some worrying "error messages" Feature #796: CoCoALib function for radical (or SqFree) of a polynomial Design #829: PPOrderingCtor: name of mem fn which actually constructs? Slug #881: ReadExpr is too slow on large polys Bug #975: configure: possibly ignore GMP compilation flags Design #999: configuration: include -std=c++03 by default? Slug #1042: LF curiously slow (breaking a poly into homog pieces) Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib Feature #1053: New function: IdealOfGBasis, IdealOfMinGens in CoCoALib Bug #1064: Bug in MinPolyModular (ugly prime) Design #1065: Design: should we allow an ideal to change ring? Bug #1078: makefile: ungraceful when interrupted Bug #1083: MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error) Bug #1101: Bug in MinPolyModular (insufficient rational reconstruction) Bug #1135: Compilaton with --debug configuration option gives errors Bug #1143: Polynomial multiplication wrong for non integral ringsDesign #1144: File names, coding conventions: Fns, Ops, Operations? part 1 Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..) Design #825: IsPositiveGrading -- really need 2 signatures? Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps? Feature #900: New function: MinPoly of RingElem in quotient ring Feature #901: New function: PrimaryDecomposition0 in CoCoALib Slug #1110: Determinant of matrix over QQ (whose entries are actually integers) Design #1124: Move examples directory into doc -- or just change makefile? Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2 Support #1149: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4) Feature #1154: SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime Feature #1158: New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel Slug #1165: MinPoly over QQ: verification may be very slow Design #1177: File names: use "SparsePolyOps" prefix for pertinent files Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg) Bug #1185: factor: multivariate, wrong RemainingFactor (sign wrong)Support #1195: Release: CoCoALib-0.99580 (together with CoCoA-5.2.4) Bug #1205: SyzOfGens: bug with zero generators Design #891: Replace auto_ptr in preparation for C++11? Bug #905: txt2tags: double quotes wrong in LaTeX Slug #1105: Primary Decompositon (zero-dim) slow cases Bug #1113: gcd crashes (Floating point exception) Bug #1211: HilbertSeries should check grading Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis Bug #1250: SEGV: CoCoALib with Normaliz in multithreading Bug #1256: RingID: different values in test-output on different platforms Design #1295: Never use "using namespace .." in header files Bug #1300: CoprimeFactorBasis: mishandles negative args Bug #1310: RealRoots: gives odd number of roots for deg 6 irred poly Bug #1317: txt2tags: LaTeX/PDF section numbers over 99 in TOC Feature #1329: New syntax for creating homomorphisms (PolyAlgebraHom) Feature #1332: New function: vector of RingElem from string -- in CoCoALib Design #1336: Rename SparsePolyOps-MonomialIdeal into SparsePolyOps-IdealMonomial? Feature #1347: New function: ctor of PPVector with vector<RingElem> Bug #2: Makefile problem in ROOT and/or src/AlgebraicCore Feature #658: Indets actually in a poly (or vector or matrix) Bug #736: QuotientRing: is it correct to prohibit quotient by ideal(1)? Slug #792: configure: search for libgmp too slow Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights Feature #966: New function or explain: first and last for a vector? Slug #969: Output to bad stream (operator<< and myOutput): just return immediately Support #976: configure: auxiliary scripts should be consistent about error messages Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem? Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead Bug #1260: Fix file permissions after using CVS Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist Bug #1362: GBasis verbose mode: some output is on cerr/clog Design #1366: Should configure remove the file ERR_MESGS if it’s empty? Design #1377: CpuTimeLimit: limit "intervals" between full checks Bug #1402: gfan: installation problem: configure reports cdd.h present but cannot be compiled Bug #1416: IdealOfProjectivePoints and MinGens Bug #1426: Main Makefile: does not rebuild dependencies Bug #1449: Bivariate factor bug: sometimes a factor is reducible Bug #15: Adjoint of a non-invertible matrix Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat? Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM) Slug #897: SimplestBigRatBetween: why is it so slow? Slug #1170: SmoothFactor: slow when a factor is found Design #1221: Reconsider design for accessing headers and libs of external libraries Bug #1376: GBasisTimeout: not working as expected Bug #1423: Radical 0-dim NYI? missing case for GBasisByHomog Bug #1484: ker bug (quotientinghom for R/ideal()) Design #1515: Indets in coeffring are ringelems in coeffring? Design #1523: Input fns: action when when istream is in bad state? Bug #1570: FloatStr sometimes produces NUL chars Feature #1589: IdealOfPoints: allow matrix of points to be defined over "wrong" ring Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix Bug #111: Mod fn for computing remainder Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat) Support #256: Improve doc about ordering/grading for poly rings Bug #536: Make RingBase::myCharacteristic a fn rather than a proc Support #613: Which ubuntu / debian packages are needed to compile CoCoA Feature #645: Automatic mapping of RingElem: user selectable at run-time (GlobalManager?)Slug #701: Makefile; limit dependencies on external libs
|
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
1
2
3
4
5
6
7
8
CoCoALib CoCoALib-0.99550 spring 2017 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Rejected 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100% Closed 100%
|