⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoA
All Projects
CoCoA
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Repository
Spent time
Filters
Add filter
Subproject
Issue
User
Activity
Comment
Hours
Date
Issue's Tracker
Issue's Status
Issue's Target version
Options
Columns
Available Columns
Project
Week
Tracker
Status
Selected Columns
Date
User
Activity
Issue
Comment
Hours
Group results by
Project
Date
User
Activity
Totals
Hours
Apply
Clear
Details
Report
Hours:
4931.92
Date
User
Activity
Issue
Comment
Hours
01 Jun 2012
Anna Maria Bigatti
Documentation
Bug #27
: CoCoA-5 Manual
closing the issue related with Fascio's work counting all extra work by her + me + John
61.95
26 Jan 2012
John Abbott
Design
Bug #6
: Sort out RingElem, RefRingElem, ConstRefRingElem mess
Making some progress
50.00
07 Apr 2017
Anna Maria Bigatti
Development
Feature #734
: Primary Decomposition in CoCoA-5: zero dimensional, zero characteristic
40.00
29 May 2013
John Abbott
Development
Feature #121
: Porting "IdealOfPoints"
Closing
30.00
23 Jan 2012
Anna Maria Bigatti
Development
Bug #27
: CoCoA-5 Manual
first pass finisehd (by Elisa Fascio)
28.00
30 Nov 2011
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
First implementation of Bernardin's algorithm
26.00
03 Mar 2022
Ulrich von der Ohe
Debugging
Support #1393
: GUI with Qt5
Don't really recall how many hours it took. According to old emails, I worked on it over the course of three to four days in 2019 for CoCoALib 0.99601 and somehow couldn't get it to work with 0.99650. It took a couple of hours doing everything from scratch for 0.99718 in 2022.
24.00
24 Sep 2015
Anna Maria Bigatti
Development
Feature #762
: ExternalLib-GFan: first prototype
22.00
09 Nov 2011
Anna Maria Bigatti
Design
Support #26
: Redmine Administration
20.00
09 Nov 2011
Anna Maria Bigatti
Design
Bug #27
: CoCoA-5 Manual
20.00
15 Feb 2013
John Abbott
Development
Feature #300
: Add fault tolerant rational reconstruction to library
Included in latest CVS check in
20.00
30 Jan 2014
Anna Maria Bigatti
Development
Feature #209
: ReadExpr: input polynomials in CoCoALib
example program is done and working fully
20.00
17 Nov 2014
John Abbott
Development
Feature #651
: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
First impl
20.00
15 Jul 2017
John Abbott
Development
Feature #638
: Time limit: let user specify time limit for a computation
Seems to work
20.00
14 Sep 2017
John Abbott
Development
Feature #1102
: Implement RootBound
Almost done
20.00
09 Mar 2018
John Abbott
Development
Feature #1155
: Create a new "prime source" iterator
Mostly done?
20.00
26 Jun 2018
John Abbott
Development
Slug #1110
: Determinant of matrix over QQ (whose entries are actually integers)
Already done
20.00
14 May 2014
Anna Maria Bigatti
Documentation
Support #555
: CoCoAManual: improve part on language
lots done
16.00
12 Jul 2017
Anna Maria Bigatti
Design
Feature #1090
: ExternaLib-MathSAT: first prototype
first session with Alberto Griggio in Genova: beginning 2017
16.00
09 Nov 2011
Anna Maria Bigatti
Design
Feature #8
: source region
15.00
24 Oct 2012
John Abbott
Development
Feature #261
: Review the utility of RefRingElem
RingElemAlias and ConstRefRingElem
15.00
22 Nov 2012
John Abbott
Development
Feature #127
: Convert DUPFF code to C++
First prototype
15.00
06 Aug 2015
Anna Maria Bigatti
Development
Feature #733
: Primary Decomposition in CoCoA-5.1.2: zero dimensional, finite characteristic
15.00
17 Dec 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
Implemented
15.00
10 Apr 2017
Anna Maria Bigatti
Development
Feature #845
: Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
15.00
17 Oct 2017
John Abbott
Development
Feature #630
: Add graeffe function?
Almost done
15.00
18 Jan 2018
John Abbott
Development
Feature #872
: LinSolve for matrices over FFp
LinDepMill
15.00
26 Feb 2018
John Abbott
Development
Support #1161
: Split NumTheory.C into several smaller files
Partly done
15.00
10 Nov 2011
Anna Maria Bigatti
Development
Bug #27
: CoCoA-5 Manual
work by Elisa Fascio
13.00
27 Jun 2013
John Abbott
Testing
Feature #383
: Resolution/morse: integrate Mario Albert's code into CoCoALib
Incorporated
12.00
07 Sep 2012
John Abbott
Development
Bug #135
: Revise interface to SmallFpImpl & friends
First revised impl
10.50
21 Sep 2012
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Separate task: studying a quick way of computing the square of a (univariate) polynomial
10.50
03 Aug 2018
John Abbott
Development
Feature #901
: New function: PrimaryDecomposition0 in CoCoALib
Summary
10.10
21 May 2012
John Abbott
Design
Feature #41
: Squarefree factorization - overhead
Logging time
10.00
31 Aug 2012
John Abbott
Development
Feature #113
: Introduce PartialHom
Trickier than expected
10.00
30 Nov 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
The final meeting
10.00
15 May 2013
Anna Maria Bigatti
Development
Support #266
: Compilation on M$Windows: cygwin
work by Abbott, Bigatti, Cartatone
10.00
23 May 2013
John Abbott
Development
Feature #354
: New function BinRepr (was BinExp, also known as Macaulay representation)
Implemented & checked in
10.00
03 Apr 2014
John Abbott
Development
Feature #5
: Coefficient extraction
Already done
10.00
21 Nov 2014
John Abbott
Development
Feature #651
: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
Update
10.00
19 Feb 2016
Anna Maria Bigatti
Development
Support #843
: Release: CoCoA-5.1.3 and CoCoA-5.1.4
10.00
08 Jul 2017
John Abbott
Development
Design #1086
: New design for interrupt mechanism
Mostly done
10.00
19 Jul 2017
John Abbott
Development
Feature #1030
: IsInRadical: case of homog ideal
Almost done
10.00
23 Jul 2017
John Abbott
Development
Feature #587
: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
More notes
10.00
29 May 2019
Florian Walsh
Development
Feature #1272
: Groebner Bases over ZZ
10.00
12 Nov 2022
John Abbott
Development
Feature #1360
: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
Progress
10.00
23 Mar 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-03-23
9.50
23 Dec 2011
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Current state - last meeting before Xmas
9.00
25 Mar 2013
John Abbott
Development
Bug #135
: Revise interface to SmallFpImpl & friends
Almost complete
9.00
11 Jun 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
First prototype
9.00
20 Dec 2011
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Progress report
8.50
20 May 2014
John Abbott
Development
Feature #533
: Convert BigInt/BigRat to string
Already done
8.50
10 Apr 2012
John Abbott
Development
Bug #118
: unistd and call to access in Main.C
Switched to using BOOST fns
8.00
13 Apr 2012
John Abbott
Development
Feature #125
: Matrix equation solving; linear system solving
First impl of generic case
8.00
27 Sep 2012
John Abbott
Debugging
Bug #239
: Normaliz functions not available in C5 GUI (again!)
Just a silly mistake
8.00
01 Oct 2012
Christof Soeger
Development
Feature #247
: Use gmp default location if possible
8.00
18 Feb 2013
John Abbott
Testing
Feature #210
: Normaliz: "double" cone for speed and safety
No problems have surfaced in 7 months
8.00
04 Jul 2013
John Abbott
Testing
Feature #383
: Resolution/morse: integrate Mario Albert's code into CoCoALib
More tidying
8.00
07 May 2014
Anna Maria Bigatti
Development
Support #187
: CoCoA-5 (partial) releases: make the process simpler
still going...
8.00
14 May 2014
Anna Maria Bigatti
Documentation
Support #542
: CoCoAManual: improve part on data-types
lots of cleaning
8.00
14 May 2014
Anna Maria Bigatti
Development
Support #558
: CoCoAManual: semi-automatic check of all input
done
8.00
08 Jul 2014
John Abbott
Development
Design #415
: Remove AsPolyRing etc?
Done AsPolyRing, AsSparsePolyRing, AsFractionField
8.00
21 Jul 2014
Anna Maria Bigatti
Debugging
Bug #279
: Bug in Radical (actually a RingHom problem)
usual homom ref-count bug
8.00
27 Jun 2016
Anna Maria Bigatti
Development
Feature #902
: New function: FrobeniusMat
implemented
8.00
25 Oct 2016
John Abbott
Development
Feature #951
: New function: IsSqFree
Mostly done?
8.00
16 Oct 2017
Anna Maria Bigatti
Development
Feature #1107
: CoCoA Online: install (using InteractiveShell)
8.00
23 Mar 2018
Anna Maria Bigatti
Development
Slug #948
: radical is slow (compared to singular) on these examples
8.00
21 Jun 2018
John Abbott
Development
Feature #259
: Squarefree(?) GCD-free basis
Mostly done?
8.00
16 Jul 2019
John Abbott
Development
Feature #1297
: New fn: FixedDivisor (formerly IntrinsicContent)
Almost all done
8.00
23 Feb 2022
John Abbott
Development
Support #1555
: Software licence
Mostly done
8.00
27 May 2013
John Abbott
Testing
Bug #135
: Revise interface to SmallFpImpl & friends
Final touches
7.50
07 Feb 2012
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Making primitive in CoCoA4 is too slow
7.00
16 Apr 2012
John Abbott
Testing
Feature #40
: Squarefree factorization - Alessio d'Ali`
Timings
7.00
05 Dec 2012
John Abbott
Development
Feature #84
: Names for random streams
Reorganizing existing code
7.00
20 Mar 2013
John Abbott
Development
Feature #127
: Convert DUPFF code to C++
Reimplemented most (but not yet factor)
7.00
05 Aug 2012
John Abbott
Debugging
Bug #217
: Makedependencies of CoCoA-5 fails if BOOST is absent
I was too hasty
6.50
21 Sep 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Meeting 2012-09-21
6.50
12 Feb 2013
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
6.50
28 May 2013
John Abbott
Testing
Feature #278
: add CoeffVecWRT to cocoalib
Closing
6.50
12 Sep 2013
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
Final meeting
6.50
30 Nov 2011
John Abbott
Design
Feature #41
: Squarefree factorization - overhead
Several weeks' worth of overhead
6.00
03 Oct 2012
Christof Soeger
Development
Feature #218
: CoCoALib normaliz interface
6.00
17 Dec 2012
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
Examples in quotient rings
6.00
21 Jan 2013
John Abbott
Development
Feature #144
: Buchberger-Moeller: generic impl
Completed simple, generic impl
6.00
15 Mar 2013
John Abbott
Debugging
Bug #326
: C++ nasty surprises
Signed-unsigned confusion
6.00
17 May 2013
Anna Maria Bigatti
Design
Feature #304
: Module ordering and grading (and shifts)
major rewriting in progress
6.00
04 Jun 2013
Anna Maria Bigatti
Development
Bug #335
: Equality of (sub)modules
mostly done, needs cleaning
6.00
27 Mar 2014
Anna Maria Bigatti
Development
Feature #496
: ideal: minimalize or minimalized?
done and tested, documented, ported to CoCoA-5
6.00
15 May 2015
Anna Maria Bigatti
Debugging
Design #683
: Module index component in internal compressed representation
6.00
12 Jul 2017
Anna Maria Bigatti
Development
Feature #1090
: ExternaLib-MathSAT: first prototype
6.00
13 Jul 2017
Anna Maria Bigatti
Development
Design #1091
: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
6.00
24 Nov 2017
Anna Maria Bigatti
Debugging
Feature #1094
: Revive code for SelfSaturating GBasis
6.00
09 Aug 2018
Anna Maria Bigatti
Development
Support #1149
: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4)
6.00
25 Oct 2021
John Abbott
Development
Design #1625
: Use new C++ keyword override
Mostly done
6.00
30 Oct 2021
John Abbott
Development
Design #1625
: Use new C++ keyword override
Checked in
6.00
03 Apr 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Work & meeting about: ring doc (RingHom, RingFloat, PolyRing, SparsePolyRing)
5.50
28 May 2012
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Test program
5.50
18 May 2013
John Abbott
Development
Feature #147
: Buchberger-Moeller: impl via modular reduction
Resuscitated old C4 code
5.50
12 Mar 2012
John Abbott
Debugging
Bug #98
: RealRoots should use IsRational
Now uses IsRational
5.00
16 Mar 2012
John Abbott
Development
Feature #51
: polynomial coefficient extraction w.r.t. variable
First impl
5.00
15 Apr 2012
John Abbott
Debugging
Bug #52
: GUI: problem with "--" comment
Hacked C5.C and LineProvider.C
5.00
27 Apr 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-04-27
5.00
28 May 2012
John Abbott
Development
Feature #167
: Integer operations
Implemented
5.00
11 Jul 2012
John Abbott
Documentation
Feature #40
: Squarefree factorization - Alessio d'Ali`
Weekly meeting 2012-07-11
5.00
06 Dec 2012
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
Weekly meeting 2012-12-03
5.00
17 Jan 2013
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
Weekly meeting 2013-01-17
5.00
22 Jan 2013
Anna Maria Bigatti
Development
Feature #200
: add modules and module operations
first steps: data types and operations on ModuleElem
5.00
08 Mar 2013
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
Weekly meeting 2013-03-08
5.00
11 Mar 2013
John Abbott
Development
Feature #8
: source region
All seems to be working now
5.00
26 Mar 2013
John Abbott
Development
Support #140
: Doc & example for convert
Removed "convert"
5.00
10 Jul 2013
John Abbott
Design
Feature #385
: Design new errors using inheritance
Too ignorant to decide
5.00
31 Jul 2013
Anna Maria Bigatti
Development
Feature #393
: add Value::from(HPSeries)
done and tested
5.00
02 Apr 2014
John Abbott
Design
Feature #61
: Conversion functions -- documentation
Closing
5.00
04 Apr 2014
John Abbott
Documentation
Feature #188
: CoCoAManual: entries for operators
Already done
5.00
22 Apr 2014
John Abbott
Development
Feature #540
: Progress reporter
Implemented and tested.
5.00
08 May 2014
Anna Maria Bigatti
Development
Support #187
: CoCoA-5 (partial) releases: make the process simpler
works on mac and linux
5.00
23 Jun 2014
John Abbott
Development
Feature #573
: Use symbolic links for external libraries
Seems to be working OK
5.00
02 Sep 2014
Anna Maria Bigatti
Development
Feature #245
: Meaningful error for functions defined in "missing" external library
done
5.00
24 Sep 2015
Anna Maria Bigatti
Testing
Feature #780
: GroebnerFan/ExternalLib-GFan: improve package
5.00
22 Oct 2015
John Abbott
Development
Design #649
: Make SmallFpImpl safer to use
Progressing
5.00
23 Mar 2016
Anna Maria Bigatti
Development
Support #843
: Release: CoCoA-5.1.3 and CoCoA-5.1.4
5.00
20 Oct 2016
John Abbott
Development
Feature #796
: CoCoALib function for radical (or SqFree) of a polynomial
Almost done
5.00
18 Nov 2016
John Abbott
Development
Bug #593
: Temporary directories used during configuration
Almost done
5.00
10 Mar 2017
John Abbott
Development
Design #1019
: CPP flags in installed library
Preprocessor header file
5.00
27 Feb 2018
John Abbott
Development
Design #1162
: Check semantics of NoSmallFactorSeq
Mostly done?
5.00
08 Mar 2018
Anna Maria Bigatti
Development
Design #1164
: Manual: loading manual entries written by users
5.00
16 Mar 2018
Anna Maria Bigatti
Development
Slug #1165
: MinPoly over QQ: verification may be very slow
5.00
02 Aug 2018
Anna Maria Bigatti
Development
Bug #1205
: SyzOfGens: bug with zero generators
5.00
03 Oct 2019
Anna Maria Bigatti
Development
Feature #1251
: New function: radical for monomial ideal
5.00
19 Nov 2019
Anna Maria Bigatti
Development
Support #1276
: Release 0.99650
5.00
25 Mar 2022
Anna Maria Bigatti
Development
Support #1481
: Release CoCoALib 0.99800
5.00
10 Dec 2023
John Abbott
Development
Feature #379
: Iter for subsets/tuples
Partly done
5.00
04 Dec 2012
John Abbott
Documentation
Feature #84
: Names for random streams
Significant overhaul of documentation and examples
4.65
31 Jan 2012
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Studying primitivization
4.50
04 May 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-05-04
4.50
30 May 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-05-30
4.50
11 Oct 2012
John Abbott
Development
Feature #261
: Review the utility of RefRingElem
Progressing: looking good
4.50
22 Nov 2012
John Abbott
Development
Feature #144
: Buchberger-Moeller: generic impl
First prototype
4.50
26 Nov 2012
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
First prototype
4.50
15 Mar 2013
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
Finished affine algebra homs
4.50
24 Mar 2014
John Abbott
Development
Design #411
: design of factorization template class
Revised interface
4.50
13 Nov 2017
Anna Maria Bigatti
Design
Feature #1119
: Mailing list for CoCoAUsers
4.50
20 Nov 2017
Anna Maria Bigatti
Development
Design #1123
: Should "minimalize" be obsolescent?
4.50
16 Jan 2018
Anna Maria Bigatti
Development
Support #1061
: Release: CoCoA-5.2.2
4.50
18 May 2018
Anna Maria Bigatti
Development
Support #847
: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
4.50
13 Jan 2012
Anna Maria Bigatti
Development
Feature #77
: Porting package "primary.cpkg" to cocoa-5
translation is done, mostly working, still a little mysterious bug
4.00
24 Jan 2012
Anna Maria Bigatti
Debugging
Slug #81
: DMPI vs DMPII is slower than expected
myIsZeroAddMul has a 4 args version which had no ad-hoc impl in RingFp
4.00
16 Mar 2012
John Abbott
Development
Bug #21
: Rename NumTheory and NumTheoryQQ
Merged NumTheoryQQ into NumTheory
4.00
30 Mar 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-03-30
4.00
30 Mar 2012
Anna Maria Bigatti
Development
Feature #116
: ordering matrices with rational coefficients
implementation and some tests
4.00
15 Apr 2012
John Abbott
Development
Slug #129
: Better GCD
First" prototype"
4.00
18 Apr 2012
John Abbott
Development
Feature #107
: Recognizing finite fields
First impl
4.00
07 May 2012
John Abbott
Documentation
Feature #40
: Squarefree factorization - Alessio d'Ali`
Writing report about Bernardin's article
4.00
21 May 2012
John Abbott
Documentation
Feature #40
: Squarefree factorization - Alessio d'Ali`
First version of report
4.00
26 Jun 2012
John Abbott
Testing
Feature #40
: Squarefree factorization - Alessio d'Ali`
Weekly meeting 2012-06-26
4.00
04 Oct 2012
John Abbott
Testing
Feature #247
: Use gmp default location if possible
Testing and cleaning
4.00
04 Feb 2013
Anna Maria Bigatti
Debugging
Feature #298
: Valgrind: keep CoCoALib at 0 memory leaks
removed leaks in toric
4.00
22 Feb 2013
John Abbott
Development
Feature #300
: Add fault tolerant rational reconstruction to library
Added to C5
4.00
15 May 2013
Anna Maria Bigatti
Development
Support #187
: CoCoA-5 (partial) releases: make the process simpler
fixed flag recognition for qtmake
4.00
31 May 2013
Anna Maria Bigatti
Development
Feature #200
: add modules and module operations
working on equality test
4.00
11 Jun 2013
Anna Maria Bigatti
Development
Feature #366
: function (CoCoALib) for minimal generators (like old Minimalize)
managed to add "IamMinimalGen" and make it work: now should export the result
4.00
09 Jul 2014
John Abbott
Development
Design #415
: Remove AsPolyRing etc?
Removed AsFGModule, AsFreeModule, AsDenseUPolyRing
4.00
14 Jul 2014
Anna Maria Bigatti
Development
Support #559
: Release: CoCoA-5.1.0
done a long time ago
4.00
25 Jul 2014
Anna Maria Bigatti
Development
Design #595
: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
fixed all switches
4.00
12 Nov 2014
John Abbott
Development
Design #649
: Make SmallFpImpl safer to use
Implemented
4.00
10 Dec 2014
Anna Maria Bigatti
Development
Feature #651
: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
4.00
11 Jun 2015
Anna Maria Bigatti
Development
Feature #732
: Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4)
4.00
26 Jun 2015
John Abbott
Design
Feature #385
: Design new errors using inheritance
Superclass
4.00
30 Jun 2015
Anna Maria Bigatti
Development
Support #739
: Move code in examples into namespace CoCoA
4.00
31 Jul 2015
Anna Maria Bigatti
Development
Support #616
: Release: CoCoA-5.1.2
4.00
05 Aug 2015
Anna Maria Bigatti
Development
Support #616
: Release: CoCoA-5.1.2
4.00
08 Oct 2015
Anna Maria Bigatti
Development
Support #754
: Release: CoCoALib-0.99538 (together with CoCoA-5.1.2)
4.00
23 Mar 2016
John Abbott
Development
Design #602
: OrdMat: should it be a reference to a MatrixView in all PPOrderings?
no comment
4.00
27 Jun 2016
Anna Maria Bigatti
Development
Feature #899
: IsMaximal, IsPrimary for IDEAL (in cocoalib)
4.00
27 Jun 2016
Anna Maria Bigatti
Testing
Feature #845
: Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
using MinPoly from CoCoALib
4.00
22 Sep 2016
Anna Maria Bigatti
Development
Support #887
: My first compilations with clang
4.00
27 Oct 2016
Anna Maria Bigatti
Testing
Feature #954
: New function: StdBasis (standard basis)
time Bigatti+Robbiano
4.00
18 Nov 2016
John Abbott
Development
Feature #744
: Handle interrupts more helpfully
Mostly done
4.00
10 Apr 2017
Anna Maria Bigatti
Development
Feature #965
: New function: multigraded BettiNumbers
4.00
18 Apr 2017
Anna Maria Bigatti
Debugging
Slug #1047
: NewPolyRing with user defined ordering is slower than CoCoALib
4.00
14 Jul 2017
Anna Maria Bigatti
Design
Feature #1090
: ExternaLib-MathSAT: first prototype
4.00
21 Jul 2017
John Abbott
Development
Bug #1078
: makefile: ungraceful when interrupted
Done?
4.00
21 Jul 2017
John Abbott
Development
Feature #638
: Time limit: let user specify time limit for a computation
Second version
4.00
21 Dec 2017
Anna Maria Bigatti
Documentation
Support #1061
: Release: CoCoA-5.2.2
4.00
22 Dec 2017
Anna Maria Bigatti
Debugging
Support #1061
: Release: CoCoA-5.2.2
4.00
17 Jan 2018
Anna Maria Bigatti
Testing
Support #1056
: Release: CoCoALib-0.99560 (together with CoCoA-5.2.2)
4.00
17 Mar 2018
Anna Maria Bigatti
Development
Design #1168
: ideal: does const ourGetPtr really need to be private?
4.00
06 Apr 2018
Anna Maria Bigatti
Development
Design #1177
: File names: use "SparsePolyOps" prefix for pertinent files
4.00
13 Feb 2019
John Abbott
Development
Feature #1236
: Add "socket" devices
First prototype
4.00
21 Oct 2019
Anna Maria Bigatti
Development
Design #1346
: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
4.00
11 Feb 2020
John Abbott
Design
Bug #1308
: test-GFan1 fails
Resolved now
4.00
06 Mar 2020
Anna Maria Bigatti
Development
Feature #1434
: GBasisByHomog for DegLex
4.00
25 Sep 2020
John Abbott
Development
Design #1463
: SmoothFactor: use FactorMultiplicity
Reasonable soln
4.00
30 Jan 2021
John Abbott
Development
Bug #1570
: FloatStr sometimes produces NUL chars
Phew!
4.00
05 Mar 2021
John Abbott
Design
Design #894
: strict enum types: C++11 extension
More notes
4.00
31 Jan 2022
John Abbott
Development
Design #950
: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
Mostly done
4.00
25 Feb 2022
John Abbott
Testing
Support #1393
: GUI with Qt5
It works!
4.00
02 Mar 2022
Anna Maria Bigatti
Development
Support #406
: Manual for CoCoAManual/CoCoAHelp.xml
4.00
25 Mar 2022
Anna Maria Bigatti
Development
Bug #1662
: txt2tags: problem with filenames containing "_" or "-"
4.00
26 Sep 2022
John Abbott
Discussion
Feature #1667
: GBasis over ZZ: port to CoCoALib
Student project
4.00
31 Jan 2024
John Abbott
Development
Feature #1197
: IsZeroDet: new fn
Partly done
4.00
07 Mar 2012
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Content free factorization
3.90
29 Nov 2011
Anna Maria Bigatti
Development
Bug #33
: Modify the packages so that -w3 produces no warnings during start-up
finished all other packages and checked in
3.50
19 Jan 2012
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Finishing touches
3.50
28 May 2012
John Abbott
Development
Bug #110
: Surprise return type for GCD of a list of ints
Implemented
3.50
11 Jun 2012
Anna Maria Bigatti
Documentation
Support #75
: Documentation review by Caleo
meeting without John
3.50
02 Aug 2012
John Abbott
Debugging
Bug #217
: Makedependencies of CoCoA-5 fails if BOOST is absent
Fixed various scripts and Makefiles
3.50
11 Oct 2012
Anna Maria Bigatti
Development
Support #262
: Play with GIT
installed git and made experiments for making a new small project to play with
3.50
08 Apr 2013
John Abbott
Testing
Feature #273
: Package for Polynomial Algebra Homomorphisms
Testing of Anna's hasty module impl
3.50
26 Jun 2014
Anna Maria Bigatti
Development
Support #559
: Release: CoCoA-5.1.0
almost...
3.50
24 Nov 2015
John Abbott
Development
Feature #800
: PPMonoidSparse: impl of sparse PPs
Seems to work!
3.50
16 May 2017
Anna Maria Bigatti
Debugging
Bug #946
: Function "ideal" evaluates the argument twice
3.50
07 Dec 2017
Anna Maria Bigatti
Development
Feature #587
: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
3.50
03 Apr 2018
Anna Maria Bigatti
Debugging
Bug #1171
: RealRoots: first point is sometimes wrong?
3.50
31 Jul 2018
Anna Maria Bigatti
Development
Feature #1203
: factor over algebraic extensions
3.50
02 Aug 2018
Anna Maria Bigatti
Development
Design #1124
: Move examples directory into doc -- or just change makefile?
3.50
28 Feb 2020
John Abbott
Development
Feature #206
: Matrix equation solving: LinKer
LinKerZZ
3.50
28 Sep 2012
John Abbott
Documentation
Feature #40
: Squarefree factorization - Alessio d'Ali`
Tying up the loose ends
3.25
10 Apr 2015
Anna Maria Bigatti
Development
Feature #520
: Compute inverse in quotient ring (i.e. division in algebraic extn)
harder than I though. Still some compilation problems (solved with slugs)
3.25
09 Nov 2011
Anna Maria Bigatti
Development
Support #26
: Redmine Administration
3.00
09 Nov 2011
Anna Maria Bigatti
Testing
Bug #1
: MachineInteger --> MachineInt
3.00
15 Nov 2011
Anna Maria Bigatti
Design
Slug #31
: theValue makes copy
found with profiling: a program by John (evaluating polys) is slower than the corresponding code in cocoa4
3.00
16 Jan 2012
Anna Maria Bigatti
Debugging
Feature #77
: Porting package "primary.cpkg" to cocoa-5
chasing...
3.00
10 Feb 2012
Anna Maria Bigatti
Documentation
Bug #27
: CoCoA-5 Manual
Meeting with EF
3.00
23 Feb 2012
Anna Maria Bigatti
Documentation
Bug #27
: CoCoA-5 Manual
going through EF corrections + fix on HilbertSeries code + some adjustments
3.00
19 Mar 2012
John Abbott
Development
Feature #40
: Squarefree factorization - Alessio d'Ali`
Not found any criterion for a good indet order
3.00
20 Mar 2012
John Abbott
Development
Feature #50
: Polynomial content
Added 2 fns
3.00
30 May 2012
Anna Maria Bigatti
Design
Feature #7
: Automatic mapping between (some) rings
certainly we ahve already spent more time discussing about it
3.00
02 Aug 2012
Anna Maria Bigatti
Development
Support #187
: CoCoA-5 (partial) releases: make the process simpler
first prototype working on linux: needs some checking and merging with mac version
3.00
28 Sep 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-09-28
3.00
02 Oct 2012
Anna Maria Bigatti
Development
Feature #236
: Add homog (homogenized) for ideal
added function, cocoa-5 test, cocoa-5 doc
3.00
05 Oct 2012
Christof Soeger
Development
Feature #218
: CoCoALib normaliz interface
3.00
12 Oct 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-10-12
3.00
19 Nov 2012
John Abbott
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
First steps
3.00
30 Nov 2012
Anna Maria Bigatti
Debugging
Bug #280
: EmacsUI: indentation is wrong with parentheses
added a "throw"
3.00
11 Feb 2013
Christof Soeger
Testing
Support #302
: Compilation on M$Windows: Visual Studio
3.00
12 Feb 2013
Anna Maria Bigatti
Development
Feature #200
: add modules and module operations
Lpp, LPos, LT -- implementation and manual
3.00
26 Feb 2013
John Abbott
Development
Feature #300
: Add fault tolerant rational reconstruction to library
Completed impl and doc.
3.00
15 Mar 2013
John Abbott
Development
Bug #22
: Rename PPMonoidEvZZ?
Implemented
3.00
17 May 2013
Anna Maria Bigatti
Development
Support #348
: CoCoA website: CoCoA-5.0.3 pages
3.00
20 May 2013
John Abbott
Development
Feature #347
: C5 cannot compute derivative of a ratfn
Implemented & checked in
3.00
29 May 2013
Anna Maria Bigatti
Development
Feature #356
: IsZeroDivisor
first implementation
3.00
26 Jun 2013
Anna Maria Bigatti
Development
Feature #381
: Emacs User Interface: Easier binding for sending a line to cocoa-5
works on Mac
3.00
23 Jul 2013
Anna Maria Bigatti
Development
Feature #381
: Emacs User Interface: Easier binding for sending a line to cocoa-5
fixed problem with emacs 23
3.00
31 Jul 2013
Anna Maria Bigatti
Development
Feature #200
: add modules and module operations
added v[i], IsHomog(M), IsZero(M)
3.00
31 Jul 2013
Anna Maria Bigatti
Development
Feature #380
: Add Frobby functions to cocoa-5
started in Valladolid
3.00
23 Oct 2013
John Abbott
Development
Feature #47
: Squarefree factorization - multivariate polynomials
Essentially complete
3.00
30 Jan 2014
Anna Maria Bigatti
Development
Feature #209
: ReadExpr: input polynomials in CoCoALib
all in CoCoALib
3.00
26 Mar 2014
Anna Maria Bigatti
Development
Feature #365
: add function to compute minimal generators (like Minimalize)
added for submodules
3.00
04 Apr 2014
John Abbott
Documentation
Support #463
: Make man page for "It" easier to read
Sorted out
3.00
11 Apr 2014
John Abbott
Development
Design #534
: Remove float.cpkg5
Done!
3.00
23 Apr 2014
Anna Maria Bigatti
Design
Support #542
: CoCoAManual: improve part on data-types
new design for types/return-types
3.00
24 Apr 2014
Anna Maria Bigatti
Development
Support #542
: CoCoAManual: improve part on data-types
cleaning up and reading...
3.00
08 May 2014
John Abbott
Documentation
Support #542
: CoCoAManual: improve part on data-types
Checked/updated fn signatures in doc
3.00
14 May 2014
John Abbott
Development
Feature #553
: Port function MantissaAndExponent2
Implemented and tested.
3.00
28 Jun 2014
Anna Maria Bigatti
Development
Feature #464
: Emacs UI: split horizontally instead of vertically?
probably working as wanted (and a bit cleaner)
3.00
08 Jul 2014
John Abbott
Development
Design #415
: Remove AsPolyRing etc?
Removed AsQuotientRing
3.00
11 Jul 2014
Anna Maria Bigatti
Development
Feature #273
: Package for Polynomial Algebra Homomorphisms
cleaned up and checked in
3.00
04 Sep 2014
Anna Maria Bigatti
Development
Support #556
: CoCoAManual: improve part on tagging
3.00
29 Apr 2015
Anna Maria Bigatti
Design
Feature #520
: Compute inverse in quotient ring (i.e. division in algebraic extn)
3.00
11 May 2015
Anna Maria Bigatti
Development
Feature #623
: Inverse of a matrix over ZZ
InverseByGauss in FractionField
3.00
12 Jun 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
First prototype
3.00
05 Aug 2015
Anna Maria Bigatti
Development
Support #187
: CoCoA-5 (partial) releases: make the process simpler
3.00
04 Nov 2015
John Abbott
Documentation
Design #649
: Make SmallFpImpl safer to use
Almost done
3.00
20 Nov 2015
Anna Maria Bigatti
Testing
Design #786
: MemPool: review min and max loaf sizes
3.00
24 Nov 2015
John Abbott
Design
Design #805
: New type for "constant" matrices?
zeroes
3.00
18 Dec 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
Checked in
3.00
27 Jan 2016
John Abbott
Testing
Feature #664
: Impl small non-prime finite fields (using logs)
Test and example
3.00
22 Mar 2016
Anna Maria Bigatti
Development
Feature #848
: Implement MinPoly in CoCoALib
Anna Bigatti + Elisa Palezzato: translated from cocoa-5 to cocoalib
3.00
25 Mar 2016
John Abbott
Debugging
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
Solved now?
3.00
25 Mar 2016
John Abbott
Debugging
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
Solved now?
3.00
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
Some example scenarios
3.00
18 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
Added special case
3.00
01 Jun 2016
Anna Maria Bigatti
Testing
Support #887
: My first compilations with clang
3.00
20 Jun 2016
Anna Maria Bigatti
Development
Design #849
: Cleanup MinPoly code
code into C++ (Bigatti+Palezzato)
3.00
19 Jul 2016
Anna Maria Bigatti
Development
Slug #907
: ApproxSolve very slow on this example
3.00
22 Sep 2016
Anna Maria Bigatti
Development
Design #822
: Should ElimMat return a ConstMatrix
3.00
10 Oct 2016
Anna Maria Bigatti
Development
Feature #903
: New function CallOnGroebnerFanIdeals: call function on GFan ideals
3.00
30 Nov 2016
John Abbott
Testing
Bug #755
: Find out how to compile statically on linux
Building 32 bit version
3.00
01 Feb 2017
John Abbott
Development
Feature #1005
: Makefile: install target for CoCoALib
Partly done
3.00
29 Mar 2017
Anna Maria Bigatti
Debugging
Bug #994
: SEGV: Toric example from Kazuki Maeda
fixed
3.00
09 Aug 2017
Anna Maria Bigatti
Development
Feature #1094
: Revive code for SelfSaturating GBasis
3.00
19 Dec 2017
Anna Maria Bigatti
Development
Design #1144
: File names, coding conventions: Fns, Ops, Operations? part 1
3.00
19 Dec 2017
Anna Maria Bigatti
Development
Bug #1143
: Polynomial multiplication wrong for non integral rings
3.00
01 Mar 2018
Anna Maria Bigatti
Development
Slug #907
: ApproxSolve very slow on this example
3.00
23 Apr 2018
John Abbott
Design
Design #1180
: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
Resolved?
3.00
17 May 2018
Anna Maria Bigatti
Development
Design #1145
: File names, coding conventions: Fns, Ops, Operations? part 2
3.00
05 Aug 2018
Anna Maria Bigatti
Development
Feature #1212
: New function: GBasisByHomog
3.00
18 Mar 2019
John Abbott
Development
Support #1161
: Split NumTheory.C into several smaller files
Progress notes
3.00
26 Nov 2021
John Abbott
Discussion
Slug #1629
: RingElem slow with many indets
Ideas
3.00
17 Mar 2022
Ulrich von der Ohe
Development
Support #1393
: GUI with Qt5
3.00
16 Dec 2022
Anna Maria Bigatti
Development
Support #1711
: Development releases?
3.00
05 May 2023
Anna Maria Bigatti
Debugging
Bug #1740
: MinGens gives non minimal gens *if some deg=0*
reduced example
3.00
16 Mar 2024
John Abbott
Development
Feature #1793
: Use ErrorContext instead of string FnName
Mostly done?
3.00
23 Oct 2013
John Abbott
Design
Feature #41
: Squarefree factorization - overhead
It's largely over now
2.80
03 Apr 2012
Anna Maria Bigatti
Documentation
Bug #27
: CoCoA-5 Manual
added IndetSymbols, SymbolRange + more cleaning and perfectioning
2.70
07 Dec 2011
Anna Maria Bigatti
Development
Bug #58
: MSVC10 - more things and overhead
Ambiguous "operator<" and "operator==" in TmpGOperation. Was a very special case: now renamed "AreEqualLPPs" and hidden into anonymous namespace
2.50
20 Dec 2011
Anna Maria Bigatti
Design
Support #70
: Index page for html documentation
a new design is proposed
2.50
12 Jan 2012
Anna Maria Bigatti
Development
Feature #77
: Porting package "primary.cpkg" to cocoa-5
first pass. now needs decisions about matrices for elim ordering.
2.50
28 May 2012
John Abbott
Development
Feature #156
: Brand new symbol(s)
Completed
2.50
29 May 2012
John Abbott
Development
Feature #153
: Shorter simpler names for some bool3 values and functions
Implemented
2.50
22 Jun 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Weekly meeting 2012-06-22
2.50
05 Jul 2012
Anna Maria Bigatti
Development
Feature #193
: BuiltinFunctions.C getting too long (2000 lines)
first major split
2.50
10 Jul 2012
Anna Maria Bigatti
Development
Feature #206
: Matrix equation solving: LinKer
more difficult than I thought
2.50
11 Jul 2012
Anna Maria Bigatti
Development
Bug #207
: BuiltIn Normaliz functions not available in C5 gui
first prototype working: needs some checking
2.50
31 Aug 2012
John Abbott
Debugging
Feature #214
: gmp header location assumption in configure script
Modified gmp-find.sh and configure
2.50
09 Oct 2012
John Abbott
Design
Feature #209
: ReadExpr: input polynomials in CoCoALib
Further thoughts
2.50
19 Oct 2012
Anna Maria Bigatti
Development
Feature #215
: Janet Bases: check and include code in CoCoALib (first prototype)
first cvs import
2.50
26 Oct 2012
John Abbott
Documentation
Feature #261
: Review the utility of RefRingElem
Updated doc
2.50
07 Dec 2012
Anna Maria Bigatti
Documentation
Feature #84
: Names for random streams
first draft for unified documentation
2.50
18 Jan 2013
John Abbott
Development
Feature #51
: polynomial coefficient extraction w.r.t. variable
Defined an ordering.
2.50
21 Jan 2013
John Abbott
Development
Feature #278
: add CoeffVecWRT to cocoalib
Implemented
2.50
15 Mar 2013
John Abbott
Development
Feature #3
: implement creation of a PPMonoidElement from vector<BigInt>
Apparently already done
2.50
09 Apr 2014
Anna Maria Bigatti
Development
Feature #529
: Naive version of resolution and Betti numbers
first tests
2.50
14 May 2014
John Abbott
Development
Design #332
: Approx pts preprocessing fns
Finalized
2.50
14 Jul 2014
John Abbott
Development
Feature #585
: (Hilbert-) quasi-polynomials
Almost done!
2.50
27 Jul 2014
John Abbott
Development
Bug #190
: Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
Seems to be working OK
2.50
15 May 2015
Anna Maria Bigatti
Development
Bug #643
: GenRepr fails if there are zero generators
2.50
19 Oct 2015
John Abbott
Development
Feature #180
: GlobalManager: registration of global variables
Clean impl
2.50
10 Nov 2015
John Abbott
Development
Feature #800
: PPMonoidSparse: impl of sparse PPs
Impl
2.50
13 Nov 2015
John Abbott
Design
Design #805
: New type for "constant" matrices?
Some notes
2.50
05 May 2017
Anna Maria Bigatti
Development
Support #851
: Release: CoCoA-5.2.0
2.50
20 Jul 2017
John Abbott
Development
Bug #1078
: makefile: ungraceful when interrupted
First attempt
2.50
14 Sep 2017
John Abbott
Testing
Feature #1102
: Implement RootBound
Almost complete
2.50
22 May 2018
John Abbott
Development
Support #847
: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
Split
2.50
12 Jun 2018
John Abbott
Development
Feature #1176
: interval arithmetic
Partly done
2.50
25 Jun 2018
Anna Maria Bigatti
Debugging
Bug #1190
: HilbertBasisKer: SEGV (again)
2.50
26 Jun 2018
Anna Maria Bigatti
Development
Slug #1009
: coefficients for MinPoly e Frobenius
2.50
02 Aug 2018
Anna Maria Bigatti
Development
Support #1149
: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4)
2.50
28 Sep 2018
John Abbott
Development
Design #1223
: NewPolyRing default indet names
Mostly done?
2.50
07 Jan 2019
John Abbott
Development
Feature #1231
: system command
Almost done
2.50
07 Jan 2019
John Abbott
Design
Feature #1236
: Add "socket" devices
Some notes
2.50
26 Jan 2020
John Abbott
Development
Support #1161
: Split NumTheory.C into several smaller files
All done
2.50
13 Feb 2020
John Abbott
Development
Feature #1415
: thmproving package
Code ported
2.50
24 Mar 2020
Anna Maria Bigatti
Development
Support #1222
: Release CoCoA-5.3.0
2.50
19 Jun 2020
John Abbott
Development
Design #1462
: Change CoCoA_ERROR into CoCoA_THROW_ERROR
Back-pedal
2.50
06 Oct 2020
John Abbott
Development
Design #1279
: Tidy up code for matrix determinant
Mostly done?
2.50
26 Oct 2020
John Abbott
Design
Bug #1514
: Cocoa crashes when calling RingElems
Learning... or act first, think later?
2.50
12 Feb 2021
John Abbott
Development
Bug #1573
: ApproxSolve: very imprecise
Improved
2.50
18 Feb 2021
John Abbott
Development
Design #1558
: CpuTimeLimit: more frequent clock checks
Revised
2.50
01 Mar 2021
John Abbott
Development
Feature #1580
: New fn prim for polys
Generalized
2.50
29 Oct 2021
John Abbott
Development
Design #1627
: Use keyword "delete" for deleted functions
First wave
2.50
10 Jan 2022
John Abbott
Development
Design #950
: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
PollardRho
2.50
16 Feb 2022
John Abbott
Design
Design #581
: C++14: MachineInt
Act first... think later
2.50
29 Dec 2022
John Abbott
Debugging
Bug #1719
: FactorINT has got worse
Blame
2.50
25 Sep 2020
John Abbott
Development
Support #1196
: Split MatrixOps
Mostly done
2.30
11 Feb 2020
John Abbott
Development
Slug #969
: Output to bad stream (operator<< and myOutput): just return immediately
Also mem fns
2.25
21 Nov 2015
John Abbott
Development
Feature #811
: Add new fn SimplestBinaryRatBetween
Almost done
2.20
17 Mar 2017
John Abbott
Development
Design #998
: Emacs UI: sending empty input from cocoa5 buffer
Already done
2.20
02 Aug 2018
Anna Maria Bigatti
Development
Feature #1158
: New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
2.01
02 Nov 2011
Anna Maria Bigatti
Development
Feature #12
: Add "syntax" to online manual
2.00
09 Nov 2011
Anna Maria Bigatti
Design
Feature #18
: Printing matrices: I/O unified style for CoCoA-5?
2.00
09 Nov 2011
Anna Maria Bigatti
Development
Bug #1
: MachineInteger --> MachineInt
2.00
10 Nov 2011
Anna Maria Bigatti
Design
Bug #27
: CoCoA-5 Manual
Meeting with EF
2.00
07 Dec 2011
Anna Maria Bigatti
Development
Bug #58
: MSVC10 - more things and overhead
by Bruno Simoes
2.00
07 Dec 2011
Anna Maria Bigatti
Documentation
Bug #58
: MSVC10 - more things and overhead
Dividing and setting up the tasks
2.00
16 Dec 2011
Anna Maria Bigatti
Development
Feature #68
: cleanup doc for matrix, MatrixViews, *Matrix*,....
comparison and cleaning of matrix and MatrixViews doc and H files, and cleaning of doc
2.00
23 Dec 2011
Anna Maria Bigatti
Development
Support #70
: Index page for html documentation
alphabetical and topic index -- checked in -- now public
2.00
26 Jan 2012
John Abbott
Development
Bug #6
: Sort out RingElem, RefRingElem, ConstRefRingElem mess
Implement the ideas Christof suggested
2.00
31 Jan 2012
Anna Maria Bigatti
Development
Feature #28
: rename RingQ, RingZ --> RingQQ, RingZZ
second pass: renaming classes and functions (Q -> QQ) and fixed all tests and examples
2.00
03 Feb 2012
John Abbott
Development
Bug #6
: Sort out RingElem, RefRingElem, ConstRefRingElem mess
CVS undo
2.00
06 Feb 2012
Anna Maria Bigatti
Documentation
Support #86
: Clean up DivMask and doc
checekd code and improved documentation
2.00
08 Feb 2012
Anna Maria Bigatti
Testing
Feature #28
: rename RingQ, RingZ --> RingQQ, RingZZ
cvs and test on linux
2.00
14 Feb 2012
Anna Maria Bigatti
Development
Feature #90
: Make the new fn CoefficientsWRT available in C5
ported functions. to do: tests, doc
2.00
06 Mar 2012
Anna Maria Bigatti
Development
Bug #27
: CoCoA-5 Manual
ediffing and updating work by Elisa Fascio
2.00
15 Mar 2012
Anna Maria Bigatti
Development
Bug #27
: CoCoA-5 Manual
merged in more commands
2.00
16 Mar 2012
Anna Maria Bigatti
Design
Bug #27
: CoCoA-5 Manual
"make htmldoc" for checking xml and for publishing working manual on webpage (not yet cvs-ed)
2.00
19 Mar 2012
Anna Maria Bigatti
Debugging
Bug #108
: Unhandled division by zero in FFp
Fixed (but error points at operator)
2.00
20 Mar 2012
Anna Maria Bigatti
Development
Bug #27
: CoCoA-5 Manual
fixed some code and xml source as John pointed out
2.00
29 Mar 2012
Anna Maria Bigatti
Development
Bug #27
: CoCoA-5 Manual
more refinements to .xml file and to GUI_help.xsl
2.00
04 Apr 2012
Anna Maria Bigatti
Documentation
Bug #27
: CoCoA-5 Manual
final pass merging with E.Fascio's work
2.00
23 Apr 2012
John Abbott
Development
Feature #107
: Recognizing finite fields
Available in CoCoA-5
2.00
11 May 2012
John Abbott
Documentation
Support #75
: Documentation review by Caleo
Not clear what a PPMonoid is, or what it's for.
2.00
16 May 2012
Anna Maria Bigatti
Documentation
Support #160
: Cleanup doc for rings
more structure for documentation of ring
2.00
28 May 2012
Anna Maria Bigatti
Development
Bug #63
: Add links to examples in documentation
done and cvsed -- probably all done
2.00
29 May 2012
John Abbott
Development
Feature #157
: Separate ThreadsafeCounter from symbol.C
Implemented
2.00
30 May 2012
Anna Maria Bigatti
Development
Bug #63
: Add links to examples in documentation
most examples are cited in (at least) one doc file
2.00
01 Jun 2012
Anna Maria Bigatti
Development
Bug #159
: Multiplicity sometimes wrong
mostly decided and working. need some tests and documentation
2.00
08 Jun 2012
Anna Maria Bigatti
Development
Support #176
: CoCoAManual: Doc for new commands
added *apply*, *wdeg*, *PolyAlgebraHom* removed *WeightsList*
2.00
14 Jun 2012
John Abbott
Testing
Bug #186
: LCM(0,x)
Added test
2.00
25 Jun 2012
Anna Maria Bigatti
Design
Support #187
: CoCoA-5 (partial) releases: make the process simpler
starting with gui
2.00
25 Jun 2012
Anna Maria Bigatti
Development
Support #187
: CoCoA-5 (partial) releases: make the process simpler
trying, without too much success, to make a script to created the gui official version
2.00
05 Jul 2012
Anna Maria Bigatti
Development
Feature #30
: SwapRows, Cols
work done in april, doc done now
2.00
10 Jul 2012
Anna Maria Bigatti
Testing
Feature #206
: Matrix equation solving: LinKer
test for cocoalib, added to cocoa-5, test for cocoa-5, release 5.0.3
2.00
13 Jul 2012
Christof Soeger
Development
Feature #204
: NmzComputation: the powerful NormalizComputation function in CoCoA-5
2.00
25 Jul 2012
Anna Maria Bigatti
Debugging
Feature #210
: Normaliz: "double" cone for speed and safety
merged with latest additions by C.Soeger
2.00
31 Jul 2012
Anna Maria Bigatti
Development
Feature #212
: NBM: add to CoCoA-5
added code (and improved some similar functions), and doc, in cocoa-5
2.00
31 Jul 2012
John Abbott
Development
Feature #211
: NBM: add SparsePolyRing as argument for ordering
NBM now accepts SparsePolyRing
2.00
01 Aug 2012
Christof Soeger
Development
Feature #204
: NmzComputation: the powerful NormalizComputation function in CoCoA-5
2.00
08 Aug 2012
John Abbott
Debugging
Bug #217
: Makedependencies of CoCoA-5 fails if BOOST is absent
Further tweaks
2.00
03 Oct 2012
Anna Maria Bigatti
Development
Feature #236
: Add homog (homogenized) for ideal
tests, do, but above all: cleaning
2.00
03 Oct 2012
John Abbott
Development
Feature #221
: Better RingElems
Progressing
2.00
05 Oct 2012
Anna Maria Bigatti
Development
Support #234
: Update/Improve geobucket documentation
improved "+="
2.00
05 Oct 2012
Christof Soeger
Development
Feature #218
: CoCoALib normaliz interface
2.00
10 Oct 2012
John Abbott
Design
Feature #261
: Review the utility of RefRingElem
Is RefRingElem really useful?
2.00
10 Oct 2012
John Abbott
Development
Feature #261
: Review the utility of RefRingElem
Removal of fns which create RefRingElem
2.00
28 Nov 2012
Anna Maria Bigatti
Development
Feature #90
: Make the new fn CoefficientsWRT available in C5
added CoeffListWRT
2.00
25 Jan 2013
Anna Maria Bigatti
Debugging
Bug #226
: HilbertBasis segv
Embarrassing bug: nrows --> ncols
2.00
21 Feb 2013
Anna Maria Bigatti
Development
Feature #200
: add modules and module operations
added NewFreeModuleForSyz + consequences
2.00
21 Feb 2013
Anna Maria Bigatti
Testing
Bug #34
: CoCoAManual: obsolete entries in the manual
working on it
2.00
22 Feb 2013
Anna Maria Bigatti
Development
Bug #34
: CoCoAManual: obsolete entries in the manual
more reference fixing and updating
2.00
15 Mar 2013
John Abbott
Testing
Feature #269
: PPMonoids: check for exponent overflow in power function
Implemented & checked in
2.00
27 Mar 2013
John Abbott
Development
Support #195
: OrdvArith documentation needs rewriting
New impl for StdDegRevLex
2.00
27 Mar 2013
John Abbott
Design
Support #140
: Doc & example for convert
Moved conversion of BigInt & BigRat into the corresponding class files.
2.00
30 May 2013
Anna Maria Bigatti
Development
Bug #349
: IdealOfPoints: gens are actually a GBasis
done and tested
2.00
31 May 2013
John Abbott
Documentation
Design #268
: Exponent range (in power products)
Closing
2.00
06 Jun 2013
Anna Maria Bigatti
Documentation
Bug #335
: Equality of (sub)modules
added documentation and tests
2.00
11 Jun 2013
Anna Maria Bigatti
Development
Feature #366
: function (CoCoALib) for minimal generators (like old Minimalize)
still some problem with checking homogeneity of the input
2.00
17 Jun 2013
Anna Maria Bigatti
Design
Design #254
: How to return a Hilbert Series in CoCoALib
discussion with John Abbott and Christof Soeger
2.00
17 Jun 2013
John Abbott
Development
Feature #372
: add IsFactorClosed
Added new impl
2.00
17 Jun 2013
Anna Maria Bigatti
Debugging
Bug #351
: Problems with DenseMatImpl::myResize
fixed!
2.00
26 Jun 2013
Anna Maria Bigatti
Development
Feature #380
: Add Frobby functions to cocoa-5
functions in ExternalLib-Frobby have been ported
2.00
24 Jul 2013
Anna Maria Bigatti
Development
Feature #392
: add Value::from(factorization<..>)
works for BigInt and RingElem
2.00
16 Oct 2013
John Abbott
Testing
Bug #402
: Problem with 64-bit BOOST on Linux (Werner)
Fix details
2.00
23 Oct 2013
John Abbott
Development
Support #391
: Check consistency of template class factorization
Apparently already done
2.00
30 Oct 2013
Anna Maria Bigatti
Debugging
Bug #355
: Colon of zero ideal fails (zero-divisors)
debugging, fixed, tested
2.00
04 Dec 2013
John Abbott
Development
Feature #416
: New fn: NumPartitions
Implemented
2.00
04 Mar 2014
Anna Maria Bigatti
Documentation
Support #369
: write documentation for TgCone and other function from the "primary" package
2.00
13 Mar 2014
John Abbott
Development
Bug #470
: Emacs UI: cocoa5-close-block should beep when there is no block to close
elisp point-is-in-code
2.00
25 Mar 2014
John Abbott
Development
Support #395
: Naming conventions: upper or lower case?
Packages no longer need BackwardCompatible.cpkg5 -- was Very tedious!
2.00
28 Mar 2014
Anna Maria Bigatti
Testing
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
site has moved to new machine (currently available only on local network). Testing and updating
2.00
28 Mar 2014
Anna Maria Bigatti
Documentation
Support #488
: CoCoAManual: Help page for porting old C4 code to C5
updated translation table
2.00
01 Apr 2014
Anna Maria Bigatti
Design
Support #450
: CoCoA-5.0.9 release (admin, overheads, etc)
redmine organization
2.00
03 Apr 2014
John Abbott
Development
Bug #517
: MaxSquarableInteger gives wrong ans for unsigned long
Done!
2.00
10 Apr 2014
John Abbott
Development
Design #534
: Remove float.cpkg5
Mostly done
2.00
10 Apr 2014
Anna Maria Bigatti
Design
Feature #529
: Naive version of resolution and Betti numbers
design, testing, documenting
2.00
10 Apr 2014
John Abbott
Development
Design #475
: Eliminate package approx
Implemented and tested.
2.00
23 Apr 2014
John Abbott
Development
Support #541
: Unify releases for Linux 32 and Linux 64
New starting script
2.00
24 Apr 2014
Anna Maria Bigatti
Development
Support #542
: CoCoAManual: improve part on data-types
more changes to xml
2.00
28 Apr 2014
Anna Maria Bigatti
Debugging
Bug #544
: sorted gives wrong answer sometimes
found it
2.00
30 Apr 2014
John Abbott
Development
Support #302
: Compilation on M$Windows: Visual Studio
Removing size_t
2.00
02 May 2014
John Abbott
Development
Bug #441
: Emacs UI: C-c C-e does not ignore keywords inside strings
I'm sure I spent way more than 3.35 hours on this -- adding 2 more
2.00
14 May 2014
John Abbott
Development
Design #404
: deg(F,X) instead of MaxExponent(F,X) ?
Already done
2.00
14 Jun 2014
John Abbott
Development
Feature #568
: Valid symbol heads
Done!
2.00
19 Jun 2014
John Abbott
Design
Feature #573
: Use symbolic links for external libraries
Some ideas
2.00
20 Jun 2014
John Abbott
Testing
Feature #575
: Investigate using cmake for configuration
cmake and Normaliz
2.00
14 Jul 2014
John Abbott
Development
Support #252
: Documentation for tmp.H (utils on vectors and other containers)
Done!
2.00
14 Jul 2014
Anna Maria Bigatti
Development
Design #493
: Cleanup Hilbert package hp.cpkg5
done and documented
2.00
15 Jul 2014
Anna Maria Bigatti
Development
Design #525
: BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
done
2.00
15 Jul 2014
Anna Maria Bigatti
Development
Feature #588
: Resume code for "gin" (generic initial ideal)
done, documented, cvs-ed
2.00
16 Jul 2014
Anna Maria Bigatti
Development
Bug #34
: CoCoAManual: obsolete entries in the manual
design, testing, documenting
2.00
18 Jul 2014
Anna Maria Bigatti
Development
Bug #524
: BuiltInFunctions: remove calls to WrongTypeException
done and tested
2.00
18 Jul 2014
Anna Maria Bigatti
Development
Bug #543
: Interpreter: problem when calling the manual with trailing spaces and comments
done and tested
2.00
22 Jul 2014
Anna Maria Bigatti
Development
Bug #594
: CharPoly(MAT) and MinPoly(MAT) work in different settings: unify behaviaour
done
2.00
25 Jul 2014
Anna Maria Bigatti
Development
Design #595
: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
templates
2.00
28 Jul 2014
Anna Maria Bigatti
Development
Design #595
: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
also PtrCast into RefTo<..>
2.00
28 Jul 2014
John Abbott
Development
Bug #190
: Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
Checked in
2.00
30 Jul 2014
John Abbott
Development
Design #584
: BaseRing for all rings
Progress
2.00
30 Jul 2014
John Abbott
Documentation
Design #584
: BaseRing for all rings
Almost done!
2.00
30 Jul 2014
Anna Maria Bigatti
Development
Feature #590
: package for subalgebras
done and documented
2.00
31 Jul 2014
John Abbott
Design
Support #252
: Documentation for tmp.H (utils on vectors and other containers)
Resolved
2.00
31 Jul 2014
Anna Maria Bigatti
Documentation
Support #325
: CoCoAManual: display syntax first
emacs macro!
2.00
31 Jul 2014
Anna Maria Bigatti
Development
Feature #310
: ordering and grading (weights) matrix
done: OrdMat, GradingMat
2.00
29 Aug 2014
John Abbott
Development
Feature #500
: Interpreter: is it possible to avoid useless prompts?
Not easy
2.00
05 Sep 2014
Anna Maria Bigatti
Development
Support #605
: Release: CoCoA-5.1.1
2.00
12 Sep 2014
Anna Maria Bigatti
Documentation
Support #605
: Release: CoCoA-5.1.1
documentation
2.00
25 Sep 2014
Anna Maria Bigatti
Testing
Support #629
: Windows-GUI: compilation with MinGW
2.00
08 May 2015
Anna Maria Bigatti
Development
Support #621
: Release: CoCoALib-0.99536
2.00
08 May 2015
John Abbott
Development
Bug #15
: Adjoint of a non-invertible matrix
Implemented first version of AdjByDetOfMinors
2.00
15 May 2015
Anna Maria Bigatti
Debugging
Bug #705
: DetDirect calls myAddMul with 0 argument -- funny compilation problem??
2.00
19 May 2015
John Abbott
Development
Feature #714
: Interrupt mechanism
Implemented first version
2.00
29 Jul 2015
John Abbott
Development
Feature #652
: Flag to enable/disable printing of list of loaded packages
Almost done
2.00
29 Jul 2015
John Abbott
Debugging
Design #490
: Duplicate fns: valuation and FactorMultiplicity
Avoid needless restriction
2.00
30 Jul 2015
Anna Maria Bigatti
Debugging
Support #616
: Release: CoCoA-5.1.2
2.00
01 Sep 2015
Anna Maria Bigatti
Design
Feature #762
: ExternalLib-GFan: first prototype
preliminary discussion
2.00
15 Sep 2015
John Abbott
Debugging
Slug #773
: DMPZmerge: make non-recursive
Some notes
2.00
23 Nov 2015
John Abbott
Debugging
Bug #818
: F5 with 3 args?
Grrr!
2.00
24 Nov 2015
John Abbott
Design
Bug #804
: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView
Old code was safe
2.00
16 Feb 2016
Anna Maria Bigatti
Development
Feature #844
: IsMaximal, IsPrimary for IDEAL (in cocoa language)
2.00
16 Feb 2016
Anna Maria Bigatti
Development
Feature #751
: description of a RING
2.00
16 Feb 2016
Anna Maria Bigatti
Development
Feature #751
: description of a RING
2.00
16 Feb 2016
Anna Maria Bigatti
Development
Feature #751
: description of a RING
2.00
22 Mar 2016
Anna Maria Bigatti
Development
Feature #848
: Implement MinPoly in CoCoALib
John Abbott: new class IncrLinDep
2.00
25 Mar 2016
John Abbott
Testing
Support #696
: test-OrderedRing: activate or eliminate?
New tests
2.00
25 Mar 2016
John Abbott
Design
Feature #856
: MantissaAndExponent2 for twin-float
Design
2.00
25 Mar 2016
John Abbott
Development
Feature #856
: MantissaAndExponent2 for twin-float
Implemented
2.00
09 May 2016
John Abbott
Development
Slug #874
: factor: too slow on largish multivariate poly
Prototype
2.00
09 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
First improvement
2.00
09 May 2016
John Abbott
Design
Slug #882
: Impl faster multiplication for DUP (dense univariate polys)
Some notes
2.00
11 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
PushBack is good
2.00
27 Jun 2016
Anna Maria Bigatti
Development
Feature #107
: Recognizing finite fields
2.00
21 Sep 2016
Anna Maria Bigatti
Documentation
Support #887
: My first compilations with clang
2.00
08 Oct 2016
John Abbott
Testing
Bug #938
: ReadExpr: misreads 2/3^4
OK now
2.00
27 Oct 2016
Anna Maria Bigatti
Development
Feature #958
: New function: multiplicity and dim
2.00
10 Nov 2016
Anna Maria Bigatti
Development
Slug #967
: Improve saturate
2.00
10 Jan 2017
John Abbott
Testing
Bug #591
: Problem with template instantiation and order of include directives
It's not a bug, it's a feature!
2.00
02 Feb 2017
John Abbott
Development
Feature #1007
: (makefile) New "clean" target which does not clean documentation
Unkind surprise
2.00
14 Feb 2017
John Abbott
Development
Feature #1007
: (makefile) New "clean" target which does not clean documentation
Updated all Makefiles
2.00
22 Feb 2017
John Abbott
Documentation
Feature #912
: Add TUTORIALs to online manual
Done some
2.00
01 Mar 2017
John Abbott
Development
Bug #1015
: Bruns SEGV: SparsePolyIter/DMPI problem
Added a check for CPP flags
2.00
02 Mar 2017
Anna Maria Bigatti
Design
Feature #962
: General verbose mode?
2.00
03 Mar 2017
John Abbott
Development
Bug #1015
: Bruns SEGV: SparsePolyIter/DMPI problem
Also checks ULONG2LONG
2.00
06 Apr 2017
Anna Maria Bigatti
Development
Feature #1038
: Emacs: sent interrupt to CoCoA
2.00
14 Apr 2017
Anna Maria Bigatti
Development
Feature #730
: Stats in GBMill (GReductor)
2.00
09 May 2017
Anna Maria Bigatti
Development
Bug #1062
: IsRadical bug?
2.00
11 May 2017
Anna Maria Bigatti
Development
Bug #1064
: Bug in MinPolyModular (ugly prime)
2.00
12 May 2017
Anna Maria Bigatti
Development
Support #1066
: Documentation: translation table
2.00
12 May 2017
Anna Maria Bigatti
Development
Support #1066
: Documentation: translation table
2.00
17 May 2017
Anna Maria Bigatti
Debugging
Slug #1057
: Slug: Polynomial ring contructor slow with (big) matrix ordering
2.00
03 Jul 2017
John Abbott
Development
Slug #1042
: LF curiously slow (breaking a poly into homog pieces)
Mostly done
2.00
« Previous
1
2
3
…
15
Next »
(1-500/7138)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...