Project

General

Profile

CoCoALib-1.0 (Oct 24)

Apply Clear

# Priority Tracker Subject Assignee Updated % Done Estimated time
143 Urgent Feature Buchberger-Moeller (parent task) John Abbott 10 Jul 2014 14:16

147 Urgent Feature Buchberger-Moeller: impl via modular reduction John Abbott 10 Jul 2014 14:18

25.00
145 Urgent Feature Buchberger-Moeller: fast modular impl John Abbott 10 Jul 2014 14:17

20.00
1010 Urgent Feature C++11: Mario's Hilbert scheme code 20 Feb 2017 13:19

386 High Feature add resolution data type Anna Maria Bigatti 11 Jun 2015 14:58

513 High Design Quick/correct flag for bool3 fns 10 Jul 2014 16:30

20.00
6 High Bug Sort out RingElem, RefRingElem, ConstRefRingElem mess John Abbott 01 Aug 2014 08:59

20.00
263 High Design Move the various <matrix>::mySetEntry procedures into MatrixBase 01 Aug 2014 16:29

387 High Feature implement algorithm(s) for resolutions Anna Maria Bigatti 30 Jul 2014 17:04

399 High Feature add myHilbertSeries member field to ideal and (sub)module Anna Maria Bigatti 30 Jul 2014 17:04

409 High Feature Minimal syzygies (optimized implementation) Anna Maria Bigatti 31 Jul 2014 12:36

10.00
440 High Feature Port RealRoots to C++ John Abbott 19 Oct 2016 10:26

685 High Feature Use DivMask inside QBGenerator 02 Feb 2016 14:16

817 High Feature GenRepr in CoCoALib? 17 Nov 2016 14:12

302 Normal Support Compilation on M$Windows: Visual Studio 22 Mar 2024 23:13

383 Normal Feature Resolution/morse: integrate Mario Albert's code into CoCoALib John Abbott 31 Jul 2014 14:57

127 Normal Feature Convert DUPFF code to C++ John Abbott 28 Sep 2022 15:04

25.00
297 Normal Design Modules design: brainstorming 31 Jul 2014 14:55

1103 Normal Feature Pseudo-zero-dim ideals Anna Maria Bigatti 05 Nov 2021 16:09

686 Normal Design myAddMul in poly rings Anna Maria Bigatti 20 Apr 2015 13:22

154 Normal Bug GCD normalization (e.g. monic) 24 Nov 2016 13:56

565 Normal Feature FloatApprox for TwinFloat values? John Abbott 19 Jul 2016 22:44

20.00
620 Normal Design Redesign CRTMill John Abbott 21 Mar 2016 14:30

40.00
678 Normal Feature Accumulator (like a geobucket) 17 Nov 2016 19:03

1022 Normal Feature New "LF" function which is based on StdDeg 06 Mar 2017 19:37

3.00
780 Normal Feature GroebnerFan/ExternalLib-GFan: improve package Anna Maria Bigatti 21 Apr 2017 11:06

20.00
828 Normal Feature MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG) John Abbott 15 Apr 2024 10:08

846 Normal Design IsIrred: correct design? John Abbott 26 Feb 2019 16:32

874 Normal Slug factor: too slow on largish multivariate poly John Abbott 26 Feb 2019 16:29

74 Normal Bug printing polynomials 14 Jul 2014 11:07

5.00
87 Normal Support Cleanup header for ring classes (so that they are e-diff-able) Anna Maria Bigatti 10 Jul 2014 16:26

5.00
688 Normal Slug PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials 22 Apr 2015 14:38

703 Normal Design Add more operations between modules (CoCoALib) Anna Maria Bigatti 27 Oct 2017 11:53

20.00
113 Normal Feature Introduce PartialHom John Abbott 09 Jul 2014 18:04

15.00
114 Normal Bug Ideals of polynomials 10 Jul 2014 14:26

4.00
150 Normal Feature RingOf rather than owner? (and than AmbientRing, ...) 30 Jul 2014 17:59

8.00
305 Normal Design FreeModule: unique copy? 10 Dec 2023 20:43

326 Normal Bug C++ nasty surprises 07 Apr 2014 18:13

427 Normal Design Error names and error messages (current design) 11 May 2017 10:57

20.00
432 Normal Design Semantics of IsPrintedWithMinus 14 Jul 2014 18:13

437 Normal Feature MemPool: order free blocks? 13 Apr 2015 23:31

15.00
438 Normal Support Polynomial multiplication (product of RingElem) 10 Jul 2014 16:28

482 Normal Feature Unique copies of rings -- smart ctor 20 Oct 2015 14:33

575 Normal Feature Investigate using cmake for configuration John Abbott 13 Mar 2024 21:19

651 Normal Feature Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..) 12 Feb 2015 10:33

100.00
665 Normal Feature Integrate Janet/Pommaret basis code John Abbott 12 Jun 2018 18:36

675 Normal Slug Matrix determinant over multivariate poly ring 22 May 2015 13:45

676 Normal Support Credits to CoCoALib contributors Anna Maria Bigatti 28 Apr 2017 11:06

728 Normal Feature Noncommutative algebra "of solvable type" 09 Jul 2015 08:39

1013 Normal Support GlobalManager: name of object in examples (and tests) 25 Feb 2017 11:11

1059 Normal Design Printing ring for ideals (or just for ideals 0 and 1) 05 May 2017 16:58

3.00
1070 Normal Slug Slug: MakeTermOrd (rk calls in RemoveRedundantRows) Anna Maria Bigatti 17 May 2017 13:47

729 Normal Feature Betti numbers, betti diagram 14 Jun 2018 15:54

738 Normal Feature Extend homomorphism to polynomial ring 25 Jun 2015 17:23

3.00
742 Normal Slug View PP exponent vector (and order vector?) as an array of long? 01 Sep 2015 12:08

758 Normal Feature configure: have option to say to look for external libs 03 Sep 2015 11:41

763 Normal Design GlobalManager: initialization compatible with initialization of external libs 21 Mar 2016 16:55

765 Normal Feature ExternalLib-CDD: (needed by GFan) Anna Maria Bigatti 11 Sep 2019 13:47

769 Normal Design CoCoALib cone 27 Jan 2020 15:32

784 Normal Bug threadsafety: Scott Meyers's advice about cached values 18 Jan 2016 18:12

797 Normal Feature SmallFpImpl: make it faster John Abbott 02 Dec 2015 15:01

803 Normal Feature PPOrdering: use it to compute WDeg? 06 Nov 2017 14:00

818 Normal Bug F5 with 3 args? John Abbott 24 Nov 2015 10:11

838 Normal Feature Differential algebra 24 Oct 2016 15:32

840 Normal Feature GINV: alex basis 31 Mar 2016 13:05

841 Normal Design NewPolyRing: tidy up the many different versions 01 Sep 2017 11:30

873 Normal Feature bool3: add some logical operations? 21 Jun 2016 14:37

885 Normal Feature IsIrred3: fast 3-way irred test (returning bool3) 30 Apr 2019 17:19

896 Normal Feature myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat? 25 Jun 2018 15:31

937 Normal Feature LinDepMill: Mill for linear dependencies Anna Maria Bigatti 18 Apr 2024 16:38

968 Normal Slug Slow NF example 10 Nov 2016 21:33

16.00
970 Normal Design Weights in ElimMat? 11 Nov 2016 15:49

974 Normal Feature QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints 01 Mar 2021 21:25

1069 Normal Bug GroebnerFan: ERROR: Matrix must be invertible 17 Dec 2018 15:16

1089 Normal Bug invalid pointer in "free" John Abbott 20 Jul 2017 13:06

1117 Normal Feature Better printing of negative coeffs 23 Sep 2019 11:52

1130 Normal Bug SqFreeFactor: should it work over ZZ? 05 Apr 2019 15:39

1267 Normal Feature Ideal equality 09 Apr 2019 17:48

10.00
1324 Normal Slug Improve RootBound 30 Oct 2019 21:44

112 Normal Support automatic creation of all function signatures 07 Apr 2014 14:34

120 Normal Slug LT over QQ: surprisingly slow 10 Jul 2014 16:26

4.00
123 Normal Feature IdealOfPoints with generic coeffs 09 Jul 2014 18:15

126 Normal Feature New datastructures directory 13 May 2015 09:56

129 Normal Slug Better GCD 09 Jul 2014 18:08

15.00
130 Normal Bug Design problem in ideals 13 May 2015 09:56

134 Normal Feature Convenience ring ctors and homs 11 Jul 2014 12:06

146 Normal Feature Buchberger-Moeller: input conversions 10 Jul 2014 14:17

7.50
149 Normal Bug Makefile dependencies 01 Aug 2014 08:59

151 Normal Feature Iterated CanonicalHom 13 May 2015 09:58

20.00
161 Normal Support Convert old "task table" into redmine 07 Apr 2014 14:35

8.00
174 Normal Feature IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing.. 01 Aug 2014 08:59

196 Normal Bug PPWithMask needs checking Anna Maria Bigatti 04 Apr 2014 17:50

205 Normal Support Example for change of coordinates with coeffs in a matrix Anna Maria Bigatti 14 Jul 2014 14:39

1.00
227 Normal Feature HilbertBasis from Normaliz: full-lattice or not? 31 Jul 2014 12:39

229 Normal Feature Generator for random ring elements 01 Aug 2014 08:59

231 Normal Support Documentation for QBGenerator needs to be improved. 09 Jul 2014 18:06

232 Normal Bug No test for QBGenerator 15 Apr 2015 20:15

5.00
246 Normal Feature Approx QIR 04 Apr 2014 17:16

257 Normal Feature Transcribe C4 code for GCD in QQ[x] 01 Aug 2014 08:59

258 Normal Feature Multivariate lifting 01 Aug 2014 08:59

272 Normal Design Forward declarations 07 Apr 2014 18:14

277 Normal Bug Eliminate class RefPPMonoidElem? 01 Aug 2014 08:59

8.00
281 Normal Feature Store unique copy of FF(p) in GlobalManager 04 Apr 2014 17:10

282 Normal Feature Global setting: to use IsProbPrime in place of IsPrime 01 Aug 2014 08:59

289 Normal Feature PrimeField -- new fn? 01 Aug 2014 08:59

315 Normal Feature Add doc for ApproxPts2 10 Jul 2014 16:23

10.00
329 Normal Slug Why is DMPI slower than DMPClean? 13 May 2015 09:54

337 Normal Feature Module homs 31 Jul 2014 12:40

360 Normal Design CoCoAServer: what future, what issues? 28 Apr 2017 11:19

396 Normal Design PPMonoidElemAlias: redesign PPMonoidElem the same way as RingElem? John Abbott 13 May 2015 09:57

400 Normal Feature add myJBMill member field to ideal 15 Sep 2014 12:04

401 Normal Bug NewFreeModule of dimension 0 31 Jul 2014 14:13

420 Normal Feature Allow user to give a name to a ring 13 May 2015 09:55

436 Normal Feature Improve UPoly eval at BigRat for binary rational 01 Aug 2014 08:59

442 Normal Feature Eigenvectors 09 Jul 2014 18:05

455 Normal Design Which sets of generators in an ideal? 14 Jul 2014 15:17

16.00
497 Normal Support Clang: automatic bug finding 04 Apr 2014 17:20

505 Normal Support Documentation: write doc for RingDenseUPolyClean Anna Maria Bigatti 21 Sep 2016 17:15

1.50
515 Normal Feature Fn to "flatten" muliple polynomial extns 10 Jul 2014 14:22

516 Normal Feature Make squarefreefactor work in multiple polynomial extns 10 Jul 2014 14:21

547 Normal Bug elim using RingTwinFloat triggers error "SERIOUS" 15 Jun 2016 14:35

20.00
550 Normal Design add myResolution member field to ideal and (sub)module 13 May 2015 09:57

551 Normal Design Reconsider overloaded virtual mem fns 09 Jul 2014 18:00

15.00
562 Normal Feature Subrings 29 Sep 2020 13:19

40.00
564 Normal Feature Temporary file for experimentation 16 Jul 2014 14:38

2.00
569 Normal Support Documentation for ReductionCog 11 Jun 2014 16:04

570 Normal Feature Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing) 16 Jul 2014 14:43

572 Normal Design Split SparsePolyRing.H into two files? Problem with circular includes. 17 May 2018 16:36

583 Normal Feature New function for printing with extra information 07 Jul 2014 11:48

589 Normal Feature Implement gin (generic initial ideal) in cocoalib Anna Maria Bigatti 15 Jul 2014 18:17

3.00
617 Normal Feature configure: check all libraries for compatibility 09 Sep 2014 12:21

624 Normal Support Wikipedia Anna Maria Bigatti 06 Nov 2017 13:40

627 Normal Feature Gaussian integer and rationals ZZi, QQi 23 Sep 2014 16:30

628 Normal Feature Complex twin-floats 22 Sep 2014 18:16

640 Normal Bug What is test-Dynamic1.C 29 Oct 2014 11:30

644 Normal Feature Buchberger-Moeller: add option to stop as soon as 1 poly has been found John Abbott 06 Nov 2017 13:58

647 Normal Design Unique copies of free modules? 10 Nov 2014 16:55

661 Normal Feature Laurent polynomials 23 Jan 2015 13:50

667 Normal Feature factor: multivariate + finite characteristic 04 Mar 2015 20:08

690 Normal Feature Fault tolerant rational reconstruction: implement simultaneous version 23 Apr 2015 19:12

695 Normal Support Remove cruft from test files 08 May 2015 11:37

725 Normal Slug Example database: Slow ideal equality test 10 Jun 2015 14:24

92 Normal Feature Error Codes 19 Apr 2017 08:31

40.00
316 Normal Design submodule constructor different from ideal Anna Maria Bigatti 10 Jul 2014 16:21

353 Normal Support Missing documentation and tests for myRecvTwinFloat John Abbott 14 Jul 2014 14:40

740 Normal Feature Addition of sparse (multivariate) polynomials 17 Jun 2016 14:35

746 Normal Bug Problem with GBasis in tower of alg extns 21 Mar 2016 14:29

752 Normal Design Investigate using Boost.build instead of make John Abbott 28 Apr 2017 11:23

785 Normal Design finite fields: global register of fields already created? 15 Oct 2015 17:27

787 Normal Design Remove refcounts from RingElem? 19 Oct 2015 17:08

788 Normal Support No doc for DistrMPolyInlFpPP 22 Oct 2015 13:49

791 Normal Support Clean code for DistrMPolyClean Anna Maria Bigatti 02 Nov 2015 22:13

808 Normal Bug Alg Extn by non-zero dim ideal 18 Nov 2015 23:29

809 Normal Design FastCmp for degree -- useful? Anna Maria Bigatti 27 Nov 2015 16:06

812 Normal Feature PPMonoid pseudo-ctor without explicit ordering 24 Nov 2015 18:16

826 Normal Feature Sparse matrices 02 Dec 2015 18:24

835 Normal Feature Make Mario's new code threadsafe 09 Dec 2015 16:48

837 Normal Slug factor is very slow on some simple input polynomials 06 Jan 2016 14:40

842 Normal Slug PPMonoidSparse: comparisons are VERY SLOW 15 Feb 2016 13:57

869 Normal Feature SmallFpImpl: different repr for computation and for storage? 22 Apr 2016 15:14

882 Normal Slug Impl faster multiplication for DUP (dense univariate polys) 09 May 2016 22:10

884 Normal Slug DistrMPolyInlPP::myPushFront and DistrMPolyInlPP::myPushBack inefficient if arg is a PP 24 May 2016 15:25

904 Normal Feature SmallFpDouble: which impl of InvMod to use? 04 Jul 2016 13:45

906 Normal Design External libraries: keep copy of compatible versions? 13 Jul 2016 11:19

913 Normal Feature Read input from SymbolicData database Anna Maria Bigatti 02 Aug 2016 10:55

914 Normal Feature New function: quorem for univariate polynomials? 22 Aug 2016 16:45

919 Normal Feature Hilbert Driven GBasis 22 May 2017 14:11

921 Normal Design Design GBMill 22 May 2017 14:11

923 Normal Feature Fn to read symbol range (SymbolRange) 16 Sep 2016 15:04

972 Normal Support ex-PolyIterator 17 Nov 2016 13:21

987 Normal Feature GCD: add special case if args are monomials 28 Nov 2016 22:04

992 Normal Feature Poly ring homomorphism to change ordering 13 Dec 2016 18:04

1026 Normal Bug JanetBasis gives error indet index out of range 08 Mar 2017 15:26

1098 Normal Design Ctors for exceptions/errors 06 Sep 2017 15:27

1106 Normal Design Remove READLINE from CoCoALib 04 Oct 2017 13:43

1134 Normal Support Organize better the documentation for CoCoALib 09 Apr 2019 10:50

1147 Normal Design mySquare and myPowerSmallExp 30 Apr 2019 17:18

1150 Normal Feature New fn: transform ideal with ring hom 22 Jun 2020 10:34

1156 Normal Design Printing for RingElem 08 Jan 2020 23:02

1160 Normal Support Clean up revised RatReconstructByContFrac code John Abbott 26 Feb 2019 16:33

1173 Normal Feature Upper bound for value of poly in an interval 04 Apr 2018 11:55

1187 Normal Slug Matrix rank is slow (over QQ) 26 Jun 2018 11:29

1198 Normal Feature Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex) 23 Sep 2019 12:44

1208 Normal Bug New function: Threadsafe RandomLinearForm (CoCoALib) 01 Oct 2019 11:28

10.00
1227 Normal Feature exgcd; solve Bezout equation 29 Aug 2019 14:55

1266 Normal Design Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z] 28 Mar 2019 16:42

1269 Normal Feature Ideal Ops: sort-cuts for trivial args? 04 Apr 2019 15:07

1278 Normal Feature Port old "clever" code for matrix determinant over ZZ to CoCoALib 03 May 2019 11:42

1323 Normal Feature Improve RealRoots: compute sqfr decomp 30 Sep 2019 16:14

1339 Normal Feature All PPs of given wdeg 16 Oct 2019 14:04

1359 Normal Slug gcd: low degree but big coeffs can be slow 30 Oct 2019 22:23

1378 Normal Design Create two separate radical fns (for 0-dim ideals) 03 Jul 2023 17:49

1491 Normal Design Unified Gaussian reduction impl 08 Mar 2023 19:55

1584 Normal Support Benchmarks? 08 Mar 2023 19:41

1632 Normal Design C++17: notes about updating 12 Nov 2021 18:11

1706 Normal Feature slimgb: Brickenstein, singular 30 Oct 2022 20:30

1799 Normal Design Clean out OLD CODE? 24 Mar 2024 10:52

778 Normal Design CRTMill::myAddInfo accept modulus 1 or not? 21 Mar 2016 15:16

591 Low Bug Problem with template instantiation and order of include directives 09 Feb 2024 10:18

5.00
832 Low Design Generalize grading matrix 14 Mar 2024 11:29

6.00
799 Low Slug vector of "indets" in each PPMonoid? John Abbott 11 Nov 2015 13:47

59 Low Support List of all functions in CoCoALib 08 Mar 2023 19:44

839 Low Feature SparsePolyIter: make more compatible with STL 07 Mar 2024 20:01

1014 Low Bug RowMat, ColMat with arg an empty list/vector 24 Feb 2017 17:54

1049 Low Slug GroebnerFan: slow examples 11 Mar 2024 11:12

1369 Low Slug RandomUnimodularMat is slow with many iters 09 Jan 2020 12:19

1371 Low Bug French students' example with GFan 27 Nov 2019 15:53

76 Low Support keywords in documentation 04 Apr 2014 17:51

10.00
459 Low Feature LinearSimplify: port to CoCoALib 20 May 2014 09:47

537 Low Slug FloatStr uses too much memory 16 Apr 2014 12:01

539 Low Feature Functions to clean up a factorization 22 Jan 2024 20:28

7.00
639 Low Feature Shadow CoCoA namespace to help guarantee portability (without ambiguity) 28 Oct 2014 15:34

681 Low Feature MemPool: make it easier to get just stats 13 Apr 2015 23:25

682 Low Feature PPMonoid: add fn to check for overflow in products 14 Apr 2015 11:23

3.00
775 Low Feature PPMonoid with 1 extra "exponent"? 15 Sep 2015 20:18

779 Low Bug Makefile: problem not seeing when files in TmpFactorDir need to be rebuilt 17 Sep 2015 22:10

833 Low Bug UIBC: need include file in RingWeyl.C 08 Dec 2015 15:06

926 Low Support Documentation: check layout of history at end of generated HTML files (from the txt files) 21 Sep 2016 13:29

930 Low Bug Printing TwinFloat as (rational) coeff without brackets 24 Sep 2016 21:43

1096 Low Support WEB SITE: HTML is not clean! Anna Maria Bigatti 31 Aug 2017 10:05

1419 Low Feature DynamicBitset::IamAll1s 03 Feb 2021 18:18

    (1-221/221) Per page: 25, 100, 500

    Also available in: Atom CSV PDF