Project

General

Profile

Gantt

Filters

Zoom in Zoom out

months from Apply Clear

CoCoA
CoCoALib
Bug #1620: MinPolyQuot not documented
Feature #1654: New function IsInSymbols
Support #1775: CoCoALib releases on redmine
Support #1687: Release CoCoALib 0.99850
Feature #125: Matrix equation solving; linear system solving
Feature #142: Improve threadsafety
Feature #206: Matrix equation solving: LinKer
Feature #222: Printing polynomials - spaces between terms
Support #262: Play with GIT
Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
Feature #313: Elim(vector<long>) as PPOrderingCtor
Feature #598: Syzygy for modules: non-homogeneous module
Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
Design #601: LongRange: in which file should it be declared/defined?
Feature #664: Impl small non-prime finite fields (using logs)
Bug #680: DistrMPolyClean does not use MemPool for summands?
Design #707: MatrixOrderingMod32749Impl: test and write documentation!
Design #710: Update normaliz interface?
Feature #718: Insert calls to CheckForInterrupt
Feature #743: Better errors: give supplementary info about the error
Slug #777: SLUG: elimination
Feature #801: Test whether a symbol is in a ring
Feature #802: DivMask: extend interface?
Feature #813: Implement "elim" in CoCoALib
Design #849: Cleanup MinPoly code
Slug #866: implicit, ImplicitHypersurface: improve output verification
Design #871: Redesign ideals
Feature #872: LinSolve for matrices over FFp
Design #894: strict enum types: C++11 extension
Feature #898: New function: cardinality of finite field?
Design #924: FlagManager for bool/bool3 flags
Design #925: MachineInt or long for args which are indices (yet again)
Design #933: Separate configure scripts for CoCoALib and CoCoA-5
Design #934: MachineInt: change semantics?
Feature #947: IsRadical for ideal?
Feature #958: New function: multiplicity and dim
Slug #967: Improve saturate
Bug #986: GFan: require version newer than 0.6
Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
Feature #1094: Revive code for SelfSaturating GBasis
Slug #1118: SLUG: factorization of x^9999
Design #1125: Separate install script for CoCoALib?
Feature #1132: Canonical homomorphism for (some) polynomial rings?
Feature #1176: interval arithmetic
Design #1179: Clean up SparsePolyOps-MonomialIdeals
Support #1193: Naming convention mistakes
Feature #1197: IsZeroDet: new fn
Feature #1207: New function: SubmoduleOfGBasis
Feature #1218: 32-bit or 64-bit preprocessor macro?
Feature #1219: Frobby version number
Bug #1233: factor SEGV -- too large characteristic
Design #1242: C++14: Use type auto where appropriate
Feature #1254: New function: MinPoly for pseudo-zero-dimensional ideals
Design #1255: Ideals with trivial GBasis
Support #1263: Tidy CoCoALib test directory
Bug #1280: Determinant & Inverse of matrix over non integral domain
Bug #1281: Factor of multivariate sometimes prints ERROR
Feature #1306: exgcd over integers (ZZ)
Slug #1337: PrimaryDecomposition: a interesting/pathological example
Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
Feature #1349: ideal ctor where given gens are a gbasis
Design #1355: TmpLDP uses srand and time
Design #1370: RingID counter increased inside some functions
Feature #1381: Type ideal for ZZ[x[1..n]]
Feature #1388: GlobalManager: create SignalWatcher internally?
Slug #1394: Oddly slow GBasis computation (slow final cleanup)
Design #1414: Make class RingElemVector?
Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
Design #1422: Remove flag IhaveGBasisValue?
Design #1428: DenseMatrix: use template impl for ctors from vec-vec?
Feature #1444: HNF: Hermite Normal Form
Design #1446: Start using C++14 "move" capability
Design #1464: What is the difference between InterruptReceived and InterruptedBySignal
Design #1465: mul(MAT,MAT,MAT)
Feature #1485: Simple syntax for making a quotient ring?
Support #1497: Doc for normaliz fns
Support #1510: Documentation for SparsePolyOps?
Feature #1513: Better test for univariate-ness (and better conversion)
Slug #1521: Unexpectedly slow example with larger types for SmallExponent_t
Bug #1542: gfan does not "deinitialize"
Feature #1559: Default ctor for rings
Support #1561: Doc for module term orderings
Design #1562: matrix.H and MatrixView.H
Bug #1571: ker_H needs care
Design #1572: Use noexcept
Bug #1575: DynamicBitset missing arg checks
Design #1576: cmp for machine integers
Bug #1600: Detect updated versions of external libs
Support #1609: Clean time.C
Support #1611: Documentation for PrimaryDecomposition
Design #1628: Unused variables, params, data members
Feature #1635: NR for polys with coeffs in PID
Design #1642: interreduce: make monic if over finite field?
Slug #1643: rref slower than expected (maybe) [[reduced row echelon form]]
Feature #1657: Improve CertifyNotPower
Bug #1662: txt2tags: problem with filenames containing "_" or "-"
Support #1664: geobucket: documentation
Support #1665: Compilation on Windows: problems for normaliz
Feature #1667: GBasis over ZZ: port to CoCoALib
Feature #1668: Generalize prim
Design #1669: Review File subtree hierarchy
Feature #1670: Build also dynamic/shared library for CoCoALib?
Support #1673: Review examples
Design #1677: release-source script: use shell globbing?
Design #1678: Unsigned long for indexes (& sizes?)
Bug #1683: IsIrred in ZZ[x,y]
Design #1685: RingBase::mySwap needed?
Design #1699: Shell scripts: Shebang line, etc
Design #1703: Threadsafety, multithreading: optional fn arg (or separate fn)
Design #1704: Symlink directory for external files needed by CoCoA-5
Bug #1705: ProgressReporter: prepare for new loop?
Support #1711: Development releases?
Feature #1715: ProductBigInt (also ProductBigRat???)
Bug #1719: FactorINT has got worse
Design #1720: DivAlg in CoCoALib
Design #1727: Cruft in ExtLibs-Normaliz.C
Bug #1730: ApplySPRCodomain: relax power/exponent check
Bug #1733: FactorINT: funny order
Design #1736: Clean TmpGOperations, and remove Tmp prefix
Slug #1737: Homogenization of an ideal with ZZ^1-grading
Design #1738: Suggestion about Graded polynomial rings
Bug #1740: MinGens gives non minimal gens *if some deg=0*
Feature #1742: MinGens could be faster
Feature #1743: Implement Truncated GBases for homogeneous input
Design #1744: Implement GBMill (aka Groebner Framework)
Feature #1748: July 2023
Design #1750: IdealOfPoints: allow duplicate points?
Slug #1756: deg(f) is slow if f is long
Slug #1757: gcd(f,f) is slow
Bug #1764: Verbosity messages: avoid printing BIG values
Design #1777: VerificationLevel: just 3? Low, high, guaranteed?
Feature #1778: Homogenizer
Support #1782: Make CoCoALib test file for radical
Design #1787: Iterator design: compatible with C++STL? Advancing beyond end?
Design #1792: CpuTimeOut: arg of type ErrorContext?
Feature #1793: Use ErrorContext instead of string FnName
Slug #1796: myFinalizeGBasis ("Final clean up") should be more flexible
Design #1798: Computing in sub polyring
Design #1800: Conversion from SmallPrime to UNSIGNED long?
Design #1801: BuildInfo
Design #1807: Error codes: "Not..." for "blah must be ..." -- change prefix
Feature #1808: New constructor for PolyRing with elimination ordering
Feature #1809: Make ex-syz.C
Bug #1811: Check include guards
Bug #1812: Documentation: indexXX.html should be recompiled if version has changed
Support #26: Redmine Administration
Feature #385: Design new errors using inheritance
Support #942: Which names to use? Intersection/saturation vs intersect/saturate
Feature #949: New function: IdealWithIncrementalGBasis(I, f)
Support #1066: Documentation: translation table
Feature #1115: New class: exterior algebra
Design #1168: ideal: does const ourGetPtr really need to be private?
Design #1213: Create PolyOps-RingElem?
Design #1225: Move to C++14 (skipping C++11)
Feature #1282: subresultant
Feature #1433: HilbertDriven Buchberger Algorithm
Feature #1437: Filling matrix row/col from a vector
Feature #1441: GFan: port CoCoA_5 functions into CoCoALib
Feature #1468: Adjoin indets to a poly ring
Feature #1470: Get indexed indets from a polyring
Feature #1472: Idea for for loops
Feature #1482: Extended rationals: PlusInfinity and MinusInfinity
Feature #1492: submat of a submat
Slug #1518: SLUG: Printing PPs with many indets
Feature #1532: Convenient RingHom pseudo-ctors
Feature #1582: Factorization in K(a,b)[x,y]
Slug #1588: ElimMat is slow
Feature #1602: Sparse matrix (SparseMat)
Design #1607: Coding guidelines
Design #1630: Signal handler not portable?
Feature #1637: Intersection of Ideals: has GBasis?
Feature #1645: Implement monic0(f) for the case monic(0)?
Feature #1652: Add LM to cocoalib ?
Support #1666: MachineInt: chase through ULL changes
Support #1672: Documentation: a good model to follow?
Design #1682: swap for new classes
Design #1691: Random and threadsafe?
Feature #1692: Suggestion: Add "JumpTo" function to prime iterators
Feature #1702: Use C++ attributes
Design #1767: Finalize design for ideals in CoCoALib
Design #1783: Code & doc structure: one-big-file or many-small-files?
Feature #1784: Add flag IhaveHomogGensValue for ideals in SparsePolyRing?
Feature #1785: Add function IsHomog3(I)?
Feature #1786: Add new function for IsInRadical for monomial ideals? (RadicalMembership)
Feature #1797: Add a function CleanupGens making some easy cleaning on the generators?
Design #1802: Tidying ideal generators (for non-polynomial ideals)
Feature #1803: Improve trivial operations with ideal whose GBasis is [1]
Design #1804: Use long long (at least sometimes)?
Support #1810: Release CoCoALib 0.99900
Slug #1813: Some tests have become slower
Support #1814: Ensure tests do not need too much RAM
Bug #6: Sort out RingElem, RefRingElem, ConstRefRingElem mess
Support #59: List of all functions in CoCoALib
Bug #74: printing polynomials
Support #76: keywords in documentation
Support #87: Cleanup header for ring classes (so that they are e-diff-able)
Feature #92: Error Codes
Support #112: automatic creation of all function signatures
Feature #113: Introduce PartialHom
Bug #114: Ideals of polynomials
Slug #120: LT over QQ: surprisingly slow
Feature #123: IdealOfPoints with generic coeffs
Feature #126: New datastructures directory
Feature #127: Convert DUPFF code to C++
Slug #129: Better GCD
Bug #130: Design problem in ideals
Feature #134: Convenience ring ctors and homs
Feature #143: Buchberger-Moeller (parent task)
Feature #145: Buchberger-Moeller: fast modular impl
Feature #147: Buchberger-Moeller: impl via modular reduction
Feature #146: Buchberger-Moeller: input conversions
Bug #149: Makefile dependencies
Feature #150: RingOf rather than owner? (and than AmbientRing, ...)
Feature #151: Iterated CanonicalHom
Bug #154: GCD normalization (e.g. monic)
Support #161: Convert old "task table" into redmine
Feature #174: IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing..
Bug #196: PPWithMask needs checking
Support #205: Example for change of coordinates with coeffs in a matrix
Feature #227: HilbertBasis from Normaliz: full-lattice or not?
Feature #229: Generator for random ring elements
Support #231: Documentation for QBGenerator needs to be improved.
Bug #232: No test for QBGenerator
Feature #246: Approx QIR
Feature #257: Transcribe C4 code for GCD in QQ[x]
Feature #258: Multivariate lifting
Design #263: Move the various <matrix>::mySetEntry procedures into MatrixBase
Design #272: Forward declarations
Bug #277: Eliminate class RefPPMonoidElem?
Feature #281: Store unique copy of FF(p) in GlobalManager
Feature #282: Global setting: to use IsProbPrime in place of IsPrime
Feature #289: PrimeField -- new fn?
Design #297: Modules design: brainstorming
Support #302: Compilation on M$Windows: Visual Studio
Design #305: FreeModule: unique copy?
Feature #315: Add doc for ApproxPts2
Design #316: submodule constructor different from ideal
Bug #326: C++ nasty surprises
Slug #329: Why is DMPI slower than DMPClean?
Feature #337: Module homs
Support #353: Missing documentation and tests for myRecvTwinFloat
Design #360: CoCoAServer: what future, what issues?
Feature #383: Resolution/morse: integrate Mario Albert's code into CoCoALib
Feature #386: add resolution data type
Feature #387: implement algorithm(s) for resolutions
Design #396: PPMonoidElemAlias: redesign PPMonoidElem the same way as RingElem?
Feature #399: add myHilbertSeries member field to ideal and (sub)module
Feature #400: add myJBMill member field to ideal
Bug #401: NewFreeModule of dimension 0
Feature #409: Minimal syzygies (optimized implementation)
Feature #420: Allow user to give a name to a ring
Design #427: Error names and error messages (current design)
Design #432: Semantics of IsPrintedWithMinus
Feature #436: Improve UPoly eval at BigRat for binary rational
Feature #437: MemPool: order free blocks?
Support #438: Polynomial multiplication (product of RingElem)
Feature #440: Port RealRoots to C++
Feature #442: Eigenvectors
Design #455: Which sets of generators in an ideal?
Feature #459: LinearSimplify: port to CoCoALib
Feature #482: Unique copies of rings -- smart ctor
Support #497: Clang: automatic bug finding
Support #505: Documentation: write doc for RingDenseUPolyClean
Design #513: Quick/correct flag for bool3 fns
Feature #515: Fn to "flatten" muliple polynomial extns
Feature #516: Make squarefreefactor work in multiple polynomial extns
Slug #537: FloatStr uses too much memory
Feature #539: Functions to clean up a factorization
Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
Design #550: add myResolution member field to ideal and (sub)module
Design #551: Reconsider overloaded virtual mem fns
Feature #562: Subrings
Feature #564: Temporary file for experimentation
Feature #565: FloatApprox for TwinFloat values?
Support #569: Documentation for ReductionCog
Feature #570: Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing)
Design #572: Split SparsePolyRing.H into two files? Problem with circular includes.
Feature #575: Investigate using cmake for configuration
Feature #583: New function for printing with extra information
Feature #589: Implement gin (generic initial ideal) in cocoalib
Bug #591: Problem with template instantiation and order of include directives
Feature #617: configure: check all libraries for compatibility
Design #620: Redesign CRTMill
Support #624: Wikipedia
Feature #627: Gaussian integer and rationals ZZi, QQi
Feature #628: Complex twin-floats
Feature #639: Shadow CoCoA namespace to help guarantee portability (without ambiguity)
Bug #640: What is test-Dynamic1.C
Feature #644: Buchberger-Moeller: add option to stop as soon as 1 poly has been found
Design #647: Unique copies of free modules?
Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
Feature #661: Laurent polynomials
Feature #665: Integrate Janet/Pommaret basis code
Feature #667: factor: multivariate + finite characteristic
Slug #675: Matrix determinant over multivariate poly ring
Support #676: Credits to CoCoALib contributors
Feature #678: Accumulator (like a geobucket)
Feature #681: MemPool: make it easier to get just stats
Feature #682: PPMonoid: add fn to check for overflow in products
Feature #685: Use DivMask inside QBGenerator
Design #686: myAddMul in poly rings
Slug #688: PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials
Feature #690: Fault tolerant rational reconstruction: implement simultaneous version
Support #695: Remove cruft from test files
Design #703: Add more operations between modules (CoCoALib)
Slug #725: Example database: Slow ideal equality test
Feature #728: Noncommutative algebra "of solvable type"
Feature #729: Betti numbers, betti diagram
Feature #738: Extend homomorphism to polynomial ring
Feature #740: Addition of sparse (multivariate) polynomials
Slug #742: View PP exponent vector (and order vector?) as an array of long?
Bug #746: Problem with GBasis in tower of alg extns
Design #752: Investigate using Boost.build instead of make
Feature #758: configure: have option to say to look for external libs
Design #763: GlobalManager: initialization compatible with initialization of external libs
Feature #765: ExternalLib-CDD: (needed by GFan)
Design #769: CoCoALib cone
Feature #775: PPMonoid with 1 extra "exponent"?
Design #778: CRTMill::myAddInfo accept modulus 1 or not?
Bug #779: Makefile: problem not seeing when files in TmpFactorDir need to be rebuilt
Feature #780: GroebnerFan/ExternalLib-GFan: improve package
Bug #784: threadsafety: Scott Meyers's advice about cached values
Design #785: finite fields: global register of fields already created?
Design #787: Remove refcounts from RingElem?
Support #788: No doc for DistrMPolyInlFpPP
Support #791: Clean code for DistrMPolyClean
Feature #797: SmallFpImpl: make it faster
Slug #799: vector of "indets" in each PPMonoid?
Feature #803: PPOrdering: use it to compute WDeg?
Bug #808: Alg Extn by non-zero dim ideal
Design #809: FastCmp for degree -- useful?
Feature #812: PPMonoid pseudo-ctor without explicit ordering
Feature #817: GenRepr in CoCoALib?
Bug #818: F5 with 3 args?
Feature #826: Sparse matrices
Feature #828: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Design #832: Generalize grading matrix
Bug #833: UIBC: need include file in RingWeyl.C
Feature #835: Make Mario's new code threadsafe
Slug #837: factor is very slow on some simple input polynomials
Feature #838: Differential algebra
Feature #839: SparsePolyIter: make more compatible with STL
Feature #840: GINV: alex basis
Design #841: NewPolyRing: tidy up the many different versions
Slug #842: PPMonoidSparse: comparisons are VERY SLOW
Design #846: IsIrred: correct design?
Feature #869: SmallFpImpl: different repr for computation and for storage?
Feature #873: bool3: add some logical operations?
Slug #874: factor: too slow on largish multivariate poly
Slug #882: Impl faster multiplication for DUP (dense univariate polys)
Slug #884: DistrMPolyInlPP::myPushFront and DistrMPolyInlPP::myPushBack inefficient if arg is a PP
Feature #885: IsIrred3: fast 3-way irred test (returning bool3)
Feature #896: myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat?
Feature #904: SmallFpDouble: which impl of InvMod to use?
Design #906: External libraries: keep copy of compatible versions?
Feature #913: Read input from SymbolicData database
Feature #914: New function: quorem for univariate polynomials?
Feature #919: Hilbert Driven GBasis
Design #921: Design GBMill
Feature #923: Fn to read symbol range (SymbolRange)
Support #926: Documentation: check layout of history at end of generated HTML files (from the txt files)
Bug #930: Printing TwinFloat as (rational) coeff without brackets
Feature #937: LinDepMill: Mill for linear dependencies
Slug #968: Slow NF example
Design #970: Weights in ElimMat?
Support #972: ex-PolyIterator
Feature #974: QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
Feature #987: GCD: add special case if args are monomials
Feature #992: Poly ring homomorphism to change ordering
Feature #1010: C++11: Mario's Hilbert scheme code
Support #1013: GlobalManager: name of object in examples (and tests)
Bug #1014: RowMat, ColMat with arg an empty list/vector
Feature #1022: New "LF" function which is based on StdDeg
Bug #1026: JanetBasis gives error indet index out of range
Slug #1049: GroebnerFan: slow examples
Design #1059: Printing ring for ideals (or just for ideals 0 and 1)
Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
Slug #1070: Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
Bug #1089: invalid pointer in "free"
Support #1096: WEB SITE: HTML is not clean!
Design #1098: Ctors for exceptions/errors
Feature #1103: Pseudo-zero-dim ideals
Design #1106: Remove READLINE from CoCoALib
Feature #1117: Better printing of negative coeffs
Bug #1130: SqFreeFactor: should it work over ZZ?
Support #1134: Organize better the documentation for CoCoALib
Design #1147: mySquare and myPowerSmallExp
Feature #1150: New fn: transform ideal with ring hom
Design #1156: Printing for RingElem
Support #1160: Clean up revised RatReconstructByContFrac code
Feature #1173: Upper bound for value of poly in an interval
Slug #1187: Matrix rank is slow (over QQ)
Feature #1198: Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex)
Bug #1208: New function: Threadsafe RandomLinearForm (CoCoALib)
Feature #1227: exgcd; solve Bezout equation
Design #1266: Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z]
Feature #1267: Ideal equality
Feature #1269: Ideal Ops: sort-cuts for trivial args?
Feature #1278: Port old "clever" code for matrix determinant over ZZ to CoCoALib
Feature #1323: Improve RealRoots: compute sqfr decomp
Slug #1324: Improve RootBound
Feature #1339: All PPs of given wdeg
Slug #1359: gcd: low degree but big coeffs can be slow
Slug #1369: RandomUnimodularMat is slow with many iters
Bug #1371: French students' example with GFan
Design #1378: Create two separate radical fns (for 0-dim ideals)
Feature #1419: DynamicBitset::IamAll1s
Design #1491: Unified Gaussian reduction impl
Support #1584: Benchmarks?
Design #1632: C++17: notes about updating
Feature #1706: slimgb: Brickenstein, singular
Design #1799: Clean out OLD CODE?
Feature #1001: CoCoALib: ideas for student projects
 
2024-4
2024-5
2024-6
2024-7
2024-8
2024-9
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
CoCoALib
 
« Previous Next »

Also available in: PDF