Gantt
Bug #1620: MinPolyQuot not documented Feature #1654: New function IsInSymbols Support #1775: CoCoALib releases on redmine Support #1687: Release CoCoALib 0.99850 Bug #1740: MinGens gives non minimal gens *if some deg=0* Feature #1742: MinGens could be faster Design #1816: printing rings Feature #1818: Implement FGLM Feature #1819: New functions in CoCoALib using GBasisTrunc: MinSubsetOfGens, IsContainedTrunc, .. 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? [--> ReqNonZero] 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 #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 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 #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???) 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 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 Feature #1817: OSCAR/MaRDI JSON interface 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 Feature #1815: JSON and UUID 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: BadIndex 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 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 Bug #986: GFan: require version newer than 0.6 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 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
|
49
50
51
52
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
S
M
T
W
T
F
S
CoCoALib
|
« Previous | Next » |
Also available in: PDF