⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoALib
All Projects
CoCoA
»
CoCoALib
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Issues
View all issues
Summary
Custom queries
CoCoALib Almost Closed Issues
CoCoALib Closed Issues
CoCoALib Open Issues
CoCoALib-0.99600 (Aug 2018)
CoCoALib-0.99650 (Nov 2019)
CoCoALib-0.99700 (Mar 2020)
CoCoALib-0.99710 (May 2020)
CoCoALib-0.99800 (Mar 2022)
CoCoALib-0.99850 (Mar 2024)
CoCoALib-0.99900 (Jul 2024)
CoCoALib-1.0 (Oct 24)
CoCoALib-1.??
CoCoALib-1.0 (Oct 24)
Filters
Add filter
Status
Tracker
Priority
Author
Assignee
Target version
Category
Subject
Description
Estimated time
% Done
File
Updated by
Last updated by
Issue
Assignee's group
Assignee's role
Target version's Due date
Target version's Status
Created
Updated
Closed
Start date
Due date
Related to
Is duplicate of
Has duplicate
Blocks
Blocked by
Precedes
Follows
Copied to
Copied from
Parent task
Subtasks
Options
Columns
Available Columns
Project
Parent task
Status
Author
Category
Target version
Start date
Due date
Total estimated time
Spent time
Total spent time
Created
Closed
Last updated by
Related issues
Files
Selected Columns
Priority
Tracker
Subject
Assignee
Updated
% Done
Estimated time
Group results by
Project
Tracker
Status
Priority
Author
Assignee
Category
Target version
% Done
Show
Description
Last notes
Totals
Estimated time
Spent time
Apply
Clear
#
Priority
Tracker
Subject
Assignee
Updated
% Done
Estimated time
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
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
986
Low
Bug
GFan: require version newer than 0.6
22 Apr 2024 20:06
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
1419
Low
Feature
DynamicBitset::IamAll1s
03 Feb 2021 18:18
302
Normal
Support
Compilation on M$Windows: Visual Studio
22 Mar 2024 23:13
297
Normal
Design
Modules design: brainstorming
31 Jul 2014 14:55
154
Normal
Bug
GCD normalization (e.g. monic)
24 Nov 2016 13:56
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
74
Normal
Bug
printing polynomials
14 Jul 2014 11:07
5.00
688
Normal
Slug
PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials
22 Apr 2015 14:38
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
651
Normal
Feature
Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
12 Feb 2015 10:33
100.00
675
Normal
Slug
Matrix determinant over multivariate poly ring
22 May 2015 13:45
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
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
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
803
Normal
Feature
PPOrdering: use it to compute WDeg?
06 Nov 2017 14:00
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
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
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
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
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
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
617
Normal
Feature
configure: check all libraries for compatibility
09 Sep 2014 12:21
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
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
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
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
808
Normal
Bug
Alg Extn by non-zero dim ideal
18 Nov 2015 23:29
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
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
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
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
513
High
Design
Quick/correct flag for bool3 fns
10 Jul 2014 16:30
20.00
263
High
Design
Move the various <matrix>::mySetEntry procedures into MatrixBase
01 Aug 2014 16:29
685
High
Feature
Use DivMask inside QBGenerator
02 Feb 2016 14:16
817
High
Feature
GenRepr in CoCoALib?
17 Nov 2016 14:12
1010
Urgent
Feature
C++11: Mario's Hilbert scheme code
20 Feb 2017 13:19
1096
Low
Support
WEB SITE: HTML is not clean!
Anna Maria Bigatti
31 Aug 2017 10:05
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
780
Normal
Feature
GroebnerFan/ExternalLib-GFan: improve package
Anna Maria Bigatti
21 Apr 2017 11:06
20.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
703
Normal
Design
Add more operations between modules (CoCoALib)
Anna Maria Bigatti
27 Oct 2017 11:53
20.00
676
Normal
Support
Credits to CoCoALib contributors
Anna Maria Bigatti
28 Apr 2017 11:06
1070
Normal
Slug
Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
Anna Maria Bigatti
17 May 2017 13:47
765
Normal
Feature
ExternalLib-CDD: (needed by GFan)
Anna Maria Bigatti
11 Sep 2019 13:47
937
Normal
Feature
LinDepMill: Mill for linear dependencies
Anna Maria Bigatti
18 Apr 2024 16:38
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
505
Normal
Support
Documentation: write doc for RingDenseUPolyClean
Anna Maria Bigatti
21 Sep 2016 17:15
1.50
589
Normal
Feature
Implement gin (generic initial ideal) in cocoalib
Anna Maria Bigatti
15 Jul 2014 18:17
3.00
624
Normal
Support
Wikipedia
Anna Maria Bigatti
06 Nov 2017 13:40
316
Normal
Design
submodule constructor different from ideal
Anna Maria Bigatti
10 Jul 2014 16:21
791
Normal
Support
Clean code for DistrMPolyClean
Anna Maria Bigatti
02 Nov 2015 22:13
809
Normal
Design
FastCmp for degree -- useful?
Anna Maria Bigatti
27 Nov 2015 16:06
913
Normal
Feature
Read input from SymbolicData database
Anna Maria Bigatti
02 Aug 2016 10:55
386
High
Feature
add resolution data type
Anna Maria Bigatti
11 Jun 2015 14:58
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
799
Low
Slug
vector of "indets" in each PPMonoid?
John Abbott
11 Nov 2015 13:47
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
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
797
Normal
Feature
SmallFpImpl: make it faster
John Abbott
24 Apr 2024 23:04
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
113
Normal
Feature
Introduce PartialHom
John Abbott
09 Jul 2014 18:04
15.00
575
Normal
Feature
Investigate using cmake for configuration
John Abbott
13 Mar 2024 21:19
665
Normal
Feature
Integrate Janet/Pommaret basis code
John Abbott
12 Jun 2018 18:36
818
Normal
Bug
F5 with 3 args?
John Abbott
24 Nov 2015 10:11
1089
Normal
Bug
invalid pointer in "free"
John Abbott
20 Jul 2017 13:06
396
Normal
Design
PPMonoidElemAlias: redesign PPMonoidElem the same way as RingElem?
John Abbott
13 May 2015 09:57
644
Normal
Feature
Buchberger-Moeller: add option to stop as soon as 1 poly has been found
John Abbott
06 Nov 2017 13:58
353
Normal
Support
Missing documentation and tests for myRecvTwinFloat
John Abbott
14 Jul 2014 14:40
752
Normal
Design
Investigate using Boost.build instead of make
John Abbott
28 Apr 2017 11:23
1160
Normal
Support
Clean up revised RatReconstructByContFrac code
John Abbott
26 Feb 2019 16:33
6
High
Bug
Sort out RingElem, RefRingElem, ConstRefRingElem mess
John Abbott
01 Aug 2014 08:59
20.00
440
High
Feature
Port RealRoots to C++
John Abbott
19 Oct 2016 10:26
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
(1-221/221)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...