Project

General

Profile

Gantt

Filters

Zoom in Zoom out

months from Apply Clear

CoCoA
CoCoALib
Support #75: Documentation review by Caleo
Bug #327: C++ integer shift operators
Bug #228: libcocoa sometimes built without its index
Feature #573: Use symbolic links for external libraries
Design #592: Review design of ConstMatrixView
Support #694: In test files: when is assert.H needed?
Support #696: test-OrderedRing: activate or eliminate?
Support #774: Rename file PPMonoidEvZZ
Bug #790: RingDistrMPolyInlFpPPImpl::mySummandPool frees ZERO PTR many times
Design #805: New type for "constant" matrices?
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 error
Design #822: Should ElimMat return a ConstMatrix
Design #827: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)
Bug #853: NearestInt can needlessly throw InsufficientPrecision
Feature #856: MantissaAndExponent2 for twin-float
Bug #858: floor for TwinFloat can produce ERR::SERIOUS
Design #859: Twin-float: comparisons and equality test
Bug #860: Check impl of RingTwinFloatImpl::myIsRational
Bug #864: Assignment of rings (esp. derived rings such as PolyRing)
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?
Feature #931: GBasis verbose mode
Bug #936: ReadExpr: cannot handle exponent which is not integer literal
Bug #938: ReadExpr: misreads 2/3^4
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
Feature #1008: square function
Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
Feature #1016: ReducedGBasis for RingWeyl (and other non-commutative rings)
Design #1019: CPP flags in installed library
Feature #1036: LogStream: stream for log output
Bug #1048: Several tests fail when threadsafe-hack is active
Feature #1050: ExternalLibs: function for getting info
Feature #153: Shorter simpler names for some bool3 values and functions
Bug #155: gcd: multivariate over non-prime finite field
Feature #156: Brand new symbol(s)
Feature #157: Separate ThreadsafeCounter from symbol.C
Feature #167: Integer operations
Feature #69: p-th root
Feature #221: Better RingElems
Feature #224: Leading form
Feature #244: Rings: default ctor & assignment
Feature #261: Review the utility of RefRingElem
Feature #51: polynomial coefficient extraction w.r.t. variable
Feature #50: Polynomial content
Feature #84: Names for random streams
Bug #89: MachineInt or long as fn arg type for indices
Bug #119: CoCoA4io
Bug #135: Revise interface to SmallFpImpl & friends
Design #268: Exponent range (in power products)
Feature #269: PPMonoids: check for exponent overflow in power function
Feature #283: Rational approximation
Feature #300: Add fault tolerant rational reconstruction to library
Feature #320: PPMonoid pseudo-ctors without symbol names
Bug #335: Equality of (sub)modules
Design #339: DenseUPolyClean uses size_t
Bug #349: IdealOfPoints: gens are actually a GBasis
Feature #40: Squarefree factorization - Alessio d'Ali`
Feature #41: Squarefree factorization - overhead
Feature #42: Squarefree factorization - generic case
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
Feature #144: Buchberger-Moeller: generic impl
Bug #355: Colon of zero ideal fails (zero-divisors)
Feature #39: Squarefree factorization
Feature #47: Squarefree factorization - multivariate polynomials
Feature #61: Conversion functions -- documentation
Feature #233: AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
Support #234: Update/Improve geobucket documentation
Feature #407: RingElem ctor from mpz_t (from Bruns)
Design #411: design of factorization template class
Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
Feature #416: New fn: NumPartitions
Slug #417: ex-Normaliz2-overflow.in too long & too much memory
Feature #426: ConvertTo with optional arg to give more helpful error message
Feature #457: Zero to the power zero, 0^0
Feature #5: Coefficient extraction
Feature #71: ZeroMat & FilledMat
Feature #107: Recognizing finite fields
Feature #138: Automatic conversion from bool3 to bool?
Support #288: DynamicBitset example using LPP
Feature #356: IsZeroDivisor
Design #377: IsDivisible -- exact semantics?
Design #404: deg(F,X) instead of MaxExponent(F,X) ?
Design #408: Rename MatrixArith to MatrixOperations
Bug #428: PPMonoidOv is not threadsafe
Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
Slug #479: make check in examples/ directory is far too slow
Design #498: IsIntegralDomain, IamIntegralDomain3
Support #508: Renaming: SqfreeFactor to SqFreeFactor
Design #511: Rename file TmpFactor to factor
Bug #517: MaxSquarableInteger gives wrong ans for unsigned long
Feature #526: Fn to test if an integer is a power of 2
Feature #533: Convert BigInt/BigRat to string
Design #535: IO: move GlobalInput etc to CoCoA server!
Bug #538: Compilation problem in TmpMorsePaths.C
Feature #540: Progress reporter
Design #560: CoCoALib/io.H
Feature #62: polynomial coefficient extraction w.r.t. single variable -- dense output
Feature #72: MatByRows, MatByCols
Bug #73: Repeated rows/cols in submat
Feature #139: Usefulness of ring casting fns (remove AsPolyRing, etc.)
Feature #165: FractionField -- only of TrueGCDDomain?
Feature #223: Automatic mapping of RingElems
Design #415: Remove AsPolyRing etc?
Feature #554: CoCoALib-Normaliz interface: cannot print a cone
Feature #568: Valid symbol heads
Feature #571: CmpAbs for RingElem
Feature #580: Example for PPVector: ex-PPVector
Design #584: BaseRing for all rings
Bug #190: Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
Design #619: Modulus (for CRTMill) ambiguous
Feature #625: NumTheory: sieve of Eratosthenes
Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)
Design #641: Clean test-FreeModule1
Design #642: Move code in test file into namespace CoCoA
Bug #648: QBGenerator crashes
Bug #666: RatReconstructByLattice fails in some simple cases
Slug #679: power for PPs is too slow
Feature #689: Fault tolerant rational reconstruction: make bad factor publicly accessible
Feature #714: Interrupt mechanism
Feature #721: CheckForInterrupt: string arg to specify where it was called?
Support #739: Move code in examples into namespace CoCoA
Feature #586: BigInt ctor from a machine integer
Design #649: Make SmallFpImpl safer to use
Slug #773: DMPZmerge: make non-recursive
Bug #776: FloatStr prints a NUL character
Bug #783: abs for MachineInt
Feature #795: Add new fn InvModNoCheck
Bug #804: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView
Design #806: AssignZero for matrix
Support #810: ILogBase: change name?
Feature #811: Add new fn SimplestBinaryRatBetween
Design #816: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)
Design #819: GradingMat: does anyone need it?
Bug #820: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
Bug #821: IsTermOrdering
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 #831: primary.cocoa5
Bug #834: Fix test failures (after revising MatrixForOrdering)
Feature #836: SmallFpImpl: export fns for a fixed convention
Feature #180: GlobalManager: registration of global variables
Feature #255: Use BOOST lib default location if possible
Feature #319: BOOST -- how it could help in CoCoALib
Support #574: Tidy CoCoA root directory
Bug #593: Temporary directories used during configuration
Feature #630: Add graeffe function?
Feature #638: Time limit: let user specify time limit for a computation
Bug #693: Makefile_dependencies in src/tests/
Feature #730: Stats in GBMill (GReductor)
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"
Design #829: PPOrderingCtor: name of mem fn which actually constructs?
Slug #881: ReadExpr is too slow on large polys
Feature #962: General verbose mode?
Bug #975: configure: possibly ignore GMP compilation flags
Feature #979: SmallestNonDivisor -- new fn
Design #999: configuration: include -std=c++03 by default?
Feature #1030: IsInRadical: case of homog ideal
Feature #1033: Split poly into homog parts
Slug #1042: LF curiously slow (breaking a poly into homog pieces)
Bug #1078: makefile: ungraceful when interrupted
Bug #1082: factor in ZZ[x] gives errors
Bug #1083: MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
Design #1086: New design for interrupt mechanism
Bug #1088: MinPolyQuot: runs out of primes
Support #1097: Rename ERR::SERIOUS to ERR::ShouldNeverGetHere
Feature #1102: Implement RootBound
Feature #1108: New fn: IsCoprime (whenever gcd makes sense)
Bug #1135: Compilaton with --debug configuration option gives errors
Design #410: New file: BigRatOps
Design #825: IsPositiveGrading -- really need 2 signatures?
Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
Feature #1005: Makefile: install target for CoCoALib
Support #1099: MinPolyQuot: missing doc
Slug #1110: Determinant of matrix over QQ (whose entries are actually integers)
Bug #1121: PrevPrime and NextPrime anomalies
Design #1124: Move examples directory into doc -- or just change makefile?
Feature #1131: Sturm sequence
Feature #1154: SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime
Feature #1155: Create a new "prime source" iterator
Design #1162: Check semantics of NoSmallFactorSeq
Feature #1167: New class VerificationLevel
Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
Slug #1181: CpuTime is costly!
Bug #1185: factor: multivariate, wrong RemainingFactor (sign wrong)
Bug #1199: GCD bug with high degree arg
Slug #691: Matrix determinant over ZZ
Design #891: Replace auto_ptr in preparation for C++11?
Bug #905: txt2tags: double quotes wrong in LaTeX
Slug #952: GCD very slow
Support #1039: Rename iroot?
Slug #1105: Primary Decompositon (zero-dim) slow cases
Bug #1113: gcd crashes (Floating point exception)
Design #1223: NewPolyRing default indet names
Design #1232: IsPrime(0)
Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis
Feature #1249: principal ideal has a Gbasis
Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
Bug #1256: RingID: different values in test-output on different platforms
Design #1257: C++14: use nullptr
Design #1259: ThreadsafeCounter is now obsolete?
Support #1276: Release 0.99650
Feature #1283: Printing for (prime) finite fields
Feature #1297: New fn: FixedDivisor (formerly IntrinsicContent)
Bug #1300: CoprimeFactorBasis: mishandles negative args
Feature #1301: New function primorial
Slug #1302: Factorization mod p
Design #1309: SmoothFactor: allow limit = 1?
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 #4: Squarefree GCD-free basis
Feature #91: Return type & name for "indets" of a PP
Feature #259: Squarefree(?) GCD-free basis
Feature #303: Rows and Columns of a matrix
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
Design #932: CoCoALib configuration: BOOST dependency
Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights
Slug #969: Output to bad stream (operator<< and myOutput): just return immediately
Support #976: configure: auxiliary scripts should be consistent about error messages
Design #982: Catching interrupts in example progs?
Slug #1136: IsInRadical: sometimes a bit slow
Support #1161: Split NumTheory.C into several smaller files
Bug #1260: Fix file permissions after using CVS
Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files
Feature #1277: Gaussian row reduction
Bug #1308: test-GFan1 fails
Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
Support #1353: configure script help
Bug #1362: GBasis verbose mode: some output is on cerr/clog
Design #1377: CpuTimeLimit: limit "intervals" between full checks
Bug #1379: Fails to recognize zero-dim ideal
Bug #1380: Make IsZeroDim more robust
Bug #1402: gfan: installation problem: configure reports cdd.h present but cannot be compiled
Bug #1411: IsPrimary sometimes wrong
Design #1413: configure script: MODE option obsolete?
Bug #1426: Main Makefile: does not rebuild dependencies
Feature #1299: New fn ConstantTerm?
Bug #1449: Bivariate factor bug: sometimes a factor is reducible
Feature #152: Replace bool3 by tribool
Design #581: C++14: MachineInt
Slug #722: valuation slow for large inputs
Design #786: MemPool: review min and max loaf sizes
Design #794: ar gives warnings on fedora 23
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
Support #1196: Split MatrixOps
Design #1221: Reconsider design for accessing headers and libs of external libraries
Feature #1235: FreeModule: get canonical basis
Design #1279: Tidy up code for matrix determinant
Bug #1331: adj: for matrices 7x7 and bigger
Slug #1375: Radical 0-dim: varied timings
Bug #1376: GBasisTimeout: not working as expected
Design #1391: RingElems: syntax with [ and ] ?
Feature #1395: SHA checksum for released code
Feature #1405: New fn: interreduction
Bug #1423: Radical 0-dim NYI? missing case for GBasisByHomog
Feature #1436: Flatten for a matrix
Feature #1457: Make SmoothFactor interruptible
Bug #1458: Redesign interrupt mechanism?
Design #1460: Name of TensorMat; change to KroneckerProd?
Design #1462: Change CoCoA_ERROR into CoCoA_THROW_ERROR
Design #1463: SmoothFactor: use FactorMultiplicity
Design #1467: Change syntax apply(phi,M) into phi(M)?
Bug #1473: isystem not working as expected
Support #1481: Release CoCoALib 0.99800
Feature #1483: IsPowerOf2 for rationals
Bug #1484: ker bug (quotientinghom for R/ideal())
Feature #1490: New function: MinusOneToPower
Support #1494: Normaliz 3.8.9
Support #1499: factorization: allow zero as exponent?
Design #1500: IsDivisible in a field?
Design #1515: Indets in coeffring are ringelems in coeffring?
Slug #1517: RandomLinearForm
Design #1523: Input fns: action when when istream is in bad state?
Design #1529: INPUT questions
Design #1538: RingElem from string (ReadExpr)
Design #1547: Require decimal mode for ostream?
Support #1555: Software licence
Design #1558: CpuTimeLimit: more frequent clock checks
Design #1563: BigRat: ctor from machine int
Bug #1565: IsInRadical: gives "weird" error
Bug #1570: FloatStr sometimes produces NUL chars
Feature #1580: New fn prim for polys
Bug #1585: CRASH/ABORT: GMP overflow
Bug #1590: CRASH: LinKerZZ
Bug #1601: Compilation ambiguity
Bug #1605: binomial: domain of defn?
Design #1608: Domain of definition of NextPrime (and PrevPrime)
Support #1612: Merge the doc file RadicalMembership.txt into ideal.txt
Design #1617: UnivariateIndetIndex: exact semantics
Support #1618: Tidy ex-RingElem2
Design #1625: Use new C++ keyword override
Design #1627: Use keyword "delete" for deleted functions
Feature #1633: Make polynomial multiplication interruptible?
Slug #1646: radical: could be more clever
Design #1653: Discriminant: return value
Design #1655: Remove ability to compile CoCoALib against UNINSTALLED gmp?
Bug #1656: SEGV in resultant
Support #1674: DocTeX.t2t missing several "index entries"
Feature #82: C++11 compatibility questions
Bug #111: Mod fn for computing remainder
Feature #253: W.Bruns's wish list
Support #256: Improve doc about ordering/grading for poly rings
Feature #379: Iter for subsets/tuples
Bug #536: Make RingBase::myCharacteristic a fn rather than a proc
Feature #645: Automatic mapping of RingElem: user selectable at run-time (GlobalManager?)
Slug #701: Makefile; limit dependencies on external libs
Feature #800: PPMonoidSparse: impl of sparse PPs
Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
Design #1085: Fns with "OUT" args: should they give ERR::MixedRings?
Design #1166: C++11: allows large integer literals (in NumTheory-prime.C)
Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
Support #1265: Unregistered TXT files in doc
Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
Feature #1466: Ops += *= etc for Matrices?
Design #1511: Use C++14 constexpr
Bug #1522: SEGV: avoid long linked lists of loaves in MemPools
Slug #1557: Reading list of rationals is too slow
Slug #1569: IsInRadical too slow (test-RadicalMembership)
Bug #1579: Readexpr/RingElem: unhelpful error message when input is wrong
Design #1606: Return type with const
Bug #1641: gcd does not recognize univariate input
Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
Bug #1661: Microsoft: cannot compile with signal handling
Feature #1676: txt2tags: include in source distribution?
Slug #1680: FloorLog2 or SizeInBase?
Feature #1684: RandomNBitPrime - new fn
Design #1689: Automatic mapping of RHS in += etc
Bug #1690: resultant gives wrong answer if an arg has deg 0
Design #1693: SizeInBase: obsolete
Feature #1694: New expv/exponents function?
Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
Design #1716: Qn: factor for BigInt
Design #1721: Verbose messages: print level?
Feature #1723: New fn CoprimePart, OddPart: naming question
Bug #1725: resultant: gives wrong answer when should be 0
Design #1735: PushFront/PushBack without checks?
Bug #1749: Configuration hiccups on Mac M1
Design #1753: Clean up EulerTotient, InvTotient jungle in NumTheory-misc
Slug #1754: IsSqFree poorly implemented
Feature #1755: CheckForInterrupt: give more info?
Bug #1758: Graeffe "sign bug"
Support #1761: MakeTermOrdMat: improve error mesg
Design #1768: Limit indentation in verbose mesgs?
Slug #1769: FixedDivisor is sometimes surprisingly slow
Feature #1770: Evaluate polynomial function/class
Design #1771: Hadamard bound: field names
Bug #1773: CyclotomicFactorIndexes: gave wrong answer
Bug #1790: saturate with zero ideals
Feature #718: Insert calls to CheckForInterrupt
Design #1106: Remove READLINE from CoCoALib
Feature #1218: 32-bit or 64-bit preprocessor macro?
Bug #1719: FactorINT has got worse
 
2022-7
2022-8
2022-9
2022-10
2022-11
2022-12
CoCoALib
CoCoALib-0.99550 spring 2017 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%
« Previous Next »

Also available in: PDF