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

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

Also available in: Atom CSV PDF