⚲
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
Spent time
Filters
Add filter
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:
2867.87
Date
User
Activity
Issue
Comment
Hours
22 May 2015
John Abbott
Development
Slug #675
: Matrix determinant over multivariate poly ring
Hacked
0.25
22 May 2015
John Abbott
Design
Slug #675
: Matrix determinant over multivariate poly ring
papers
0.25
29 May 2015
Anna Maria Bigatti
Development
Feature #718
: Insert calls to CheckForInterrupt
0.75
29 May 2015
John Abbott
Design
Feature #721
: CheckForInterrupt: string arg to specify where it was called?
Some notes
0.25
30 May 2015
John Abbott
Design
Feature #721
: CheckForInterrupt: string arg to specify where it was called?
Not a CoCoA_ERROR
0.25
30 May 2015
John Abbott
Design
Feature #385
: Design new errors using inheritance
Design idea
0.20
30 May 2015
John Abbott
Development
Feature #721
: CheckForInterrupt: string arg to specify where it was called?
More notes
0.50
31 May 2015
John Abbott
Development
Slug #722
: valuation slow for large inputs
Some notes
0.20
01 Jun 2015
John Abbott
Design
Slug #722
: valuation slow for large inputs
QuoRem
0.10
01 Jun 2015
John Abbott
Development
Slug #722
: valuation slow for large inputs
First prototype
0.75
06 Jun 2015
John Abbott
Testing
Slug #725
: Example database: Slow ideal equality test
Sample output
0.25
06 Jun 2015
John Abbott
Testing
Slug #725
: Example database: Slow ideal equality test
0.10
06 Jun 2015
John Abbott
Testing
Slug #725
: Example database: Slow ideal equality test
Completion of table of timings
0.25
06 Jun 2015
John Abbott
Design
Slug #725
: Example database: Slow ideal equality test
Good idea in principle...
0.10
06 Jun 2015
John Abbott
Testing
Slug #725
: Example database: Slow ideal equality test
Input generators
0.10
07 Jun 2015
John Abbott
Design
Slug #725
: Example database: Slow ideal equality test
Short cut?
0.25
08 Jun 2015
John Abbott
Design
Feature #718
: Insert calls to CheckForInterrupt
Run-time cost?
0.25
08 Jun 2015
John Abbott
Design
Feature #729
: Betti numbers, betti diagram
Some notes
0.25
10 Jun 2015
John Abbott
Design
Feature #730
: Stats in GBMill (GReductor)
Some notes
0.30
10 Jun 2015
John Abbott
Development
Feature #730
: Stats in GBMill (GReductor)
Mario
0.10
10 Jun 2015
John Abbott
Design
Feature #728
: Noncommutative algebra "of solvable type"
Correction
0.20
10 Jun 2015
John Abbott
Design
Feature #729
: Betti numbers, betti diagram
Design idea
0.30
10 Jun 2015
John Abbott
Design
Feature #386
: add resolution data type
Design idea
1.00
10 Jun 2015
Werner M Seiler
Design
Feature #728
: Noncommutative algebra "of solvable type"
0.10
11 Jun 2015
Anna Maria Bigatti
Design
Feature #735
: Convert a PPMonoidElem to RingElem with coefficient one
0.25
11 Jun 2015
John Abbott
Design
Feature #735
: Convert a PPMonoidElem to RingElem with coefficient one
Uncertain
0.25
11 Jun 2015
John Abbott
Design
Feature #735
: Convert a PPMonoidElem to RingElem with coefficient one
Expressibility
0.10
11 Jun 2015
John Abbott
Design
Feature #735
: Convert a PPMonoidElem to RingElem with coefficient one
More notes
0.10
11 Jun 2015
John Abbott
Design
Feature #728
: Noncommutative algebra "of solvable type"
More notes
0.25
11 Jun 2015
John Abbott
Development
Feature #728
: Noncommutative algebra "of solvable type"
Plans
0.20
11 Jun 2015
John Abbott
Development
Feature #735
: Convert a PPMonoidElem to RingElem with coefficient one
OK
0.10
11 Jun 2015
John Abbott
Design
Feature #386
: add resolution data type
Compromise
0.25
11 Jun 2015
John Abbott
Design
Feature #386
: add resolution data type
industrial espionage
0.25
11 Jun 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
First prototype
9.00
11 Jun 2015
John Abbott
Design
Feature #728
: Noncommutative algebra "of solvable type"
Seminar
0.10
11 Jun 2015
Anna Maria Bigatti
Development
Feature #735
: Convert a PPMonoidElem to RingElem with coefficient one
1.00
11 Jun 2015
Werner M Seiler
Design
Feature #728
: Noncommutative algebra "of solvable type"
0.10
12 Jun 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
First prototype
3.00
21 Jun 2015
John Abbott
Design
Bug #736
: QuotientRing: is it correct to prohibit quotient by ideal(1)?
Some notes
0.25
25 Jun 2015
John Abbott
Design
Bug #736
: QuotientRing: is it correct to prohibit quotient by ideal(1)?
Robbiano
0.20
25 Jun 2015
John Abbott
Design
Feature #738
: Extend homomorphism to polynomial ring
Some notes
0.25
25 Jun 2015
John Abbott
Documentation
Bug #666
: RatReconstructByLattice fails in some simple cases
Done
0.25
25 Jun 2015
John Abbott
Design
Bug #631
: Ambiguous: rank for matrix (in ex-matrix1.C)
More thoughts
0.25
25 Jun 2015
Anna Maria Bigatti
Design
Feature #738
: Extend homomorphism to polynomial ring
0.25
25 Jun 2015
Anna Maria Bigatti
Development
Bug #736
: QuotientRing: is it correct to prohibit quotient by ideal(1)?
0.50
25 Jun 2015
John Abbott
Testing
Feature #738
: Extend homomorphism to polynomial ring
Original problem
0.25
25 Jun 2015
John Abbott
Testing
Feature #740
: Addition of sparse (multivariate) polynomials
Some notes
0.25
25 Jun 2015
John Abbott
Testing
Design #642
: Move code in test file into namespace CoCoA
Seems OK now
0.25
25 Jun 2015
John Abbott
Design
Feature #738
: Extend homomorphism to polynomial ring
More notes
0.25
25 Jun 2015
John Abbott
Testing
Feature #721
: CheckForInterrupt: string arg to specify where it was called?
Progress
0.25
25 Jun 2015
John Abbott
Documentation
Design #619
: Modulus (for CRTMill) ambiguous
Done
0.50
25 Jun 2015
John Abbott
Documentation
Support #739
: Move code in examples into namespace CoCoA
Progress
0.30
26 Jun 2015
John Abbott
Testing
Feature #714
: Interrupt mechanism
Seems OK now
0.25
26 Jun 2015
Anna Maria Bigatti
Testing
Feature #714
: Interrupt mechanism
0.25
26 Jun 2015
John Abbott
Testing
Bug #705
: DetDirect calls myAddMul with 0 argument -- funny compilation problem??
Closing
0.10
26 Jun 2015
John Abbott
Development
Feature #721
: CheckForInterrupt: string arg to specify where it was called?
Mostly done
0.75
26 Jun 2015
John Abbott
Design
Feature #385
: Design new errors using inheritance
Superclass
4.00
26 Jun 2015
John Abbott
Development
Support #739
: Move code in examples into namespace CoCoA
0.50
28 Jun 2015
John Abbott
Design
Feature #82
: C++11 compatibility questions
Some notes
0.25
28 Jun 2015
John Abbott
Testing
Slug #679
: power for PPs is too slow
Almost done
0.30
28 Jun 2015
John Abbott
Design
Slug #742
: View PP exponent vector (and order vector?) as an array of long?
Some notes
0.50
28 Jun 2015
John Abbott
Testing
Slug #742
: View PP exponent vector (and order vector?) as an array of long?
Test program
0.10
28 Jun 2015
John Abbott
Testing
Slug #742
: View PP exponent vector (and order vector?) as an array of long?
Timings
0.10
29 Jun 2015
John Abbott
Testing
Slug #679
: power for PPs is too slow
Practically done
0.25
29 Jun 2015
John Abbott
Development
Feature #689
: Fault tolerant rational reconstruction: make bad factor publicly accessible
Practically done
0.75
29 Jun 2015
John Abbott
Debugging
Slug #742
: View PP exponent vector (and order vector?) as an array of long?
More timings
0.25
29 Jun 2015
John Abbott
Design
Feature #91
: Return type & name for "indets" of a PP
Some notes
0.25
29 Jun 2015
John Abbott
Design
Feature #658
: Indets actually in a poly (or vector or matrix)
Suggestion
0.25
30 Jun 2015
Anna Maria Bigatti
Development
Support #739
: Move code in examples into namespace CoCoA
4.00
30 Jun 2015
John Abbott
Testing
Bug #631
: Ambiguous: rank for matrix (in ex-matrix1.C)
Final decision
0.25
01 Jul 2015
John Abbott
Testing
Feature #721
: CheckForInterrupt: string arg to specify where it was called?
Seems OK now
0.25
01 Jul 2015
John Abbott
Testing
Support #739
: Move code in examples into namespace CoCoA
Seems OK now
0.30
01 Jul 2015
John Abbott
Testing
Feature #520
: Compute inverse in quotient ring (i.e. division in algebraic extn)
Closing
0.10
09 Jul 2015
John Abbott
Debugging
Bug #746
: Problem with GBasis in tower of alg extns
Example
0.25
11 Jul 2015
John Abbott
Design
Feature #142
: Improve threadsafety
Default?
0.25
25 Jul 2015
John Abbott
Debugging
Design #683
: Module index component in internal compressed representation
Problem
1.00
25 Jul 2015
John Abbott
Development
Design #683
: Module index component in internal compressed representation
Fixed
0.30
27 Jul 2015
John Abbott
Development
Feature #747
: New function for making list of symbols (indeterminate names)
Partly done
1.00
27 Jul 2015
Anna Maria Bigatti
Development
Feature #747
: New function for making list of symbols (indeterminate names)
Inserted in symbol.HC
0.50
27 Jul 2015
Anna Maria Bigatti
Testing
Feature #747
: New function for making list of symbols (indeterminate names)
0.25
30 Jul 2015
John Abbott
Design
Feature #743
: Better errors: give supplementary info about the error
Some notes
0.20
30 Jul 2015
John Abbott
Design
Slug #722
: valuation slow for large inputs
Note
0.25
30 Jul 2015
John Abbott
Design
Slug #722
: valuation slow for large inputs
Additional work
0.20
31 Jul 2015
John Abbott
Debugging
Bug #756
: frobby (v0.9.0) does not compile with g++-4.8
Missing includes
0.50
31 Jul 2015
John Abbott
Testing
Bug #756
: frobby (v0.9.0) does not compile with g++-4.8
Resolved
0.25
31 Jul 2015
John Abbott
Design
Feature #758
: configure: have option to say to look for external libs
How useful?
0.25
31 Jul 2015
John Abbott
Design
Feature #758
: configure: have option to say to look for external libs
Syntax
0.10
01 Sep 2015
Anna Maria Bigatti
Design
Feature #762
: ExternalLib-GFan: first prototype
preliminary discussion
2.00
01 Sep 2015
John Abbott
Design
Feature #638
: Time limit: let user specify time limit for a computation
Using signals
0.25
01 Sep 2015
John Abbott
Design
Feature #180
: GlobalManager: registration of global variables
With external libraries
1.00
01 Sep 2015
John Abbott
Testing
Slug #742
: View PP exponent vector (and order vector?) as an array of long?
Other tests?
0.25
01 Sep 2015
John Abbott
Design
Design #763
: GlobalManager: initialization compatible with initialization of external libs
Comments
1.00
01 Sep 2015
John Abbott
Design
Design #763
: GlobalManager: initialization compatible with initialization of external libs
More details
0.50
02 Sep 2015
Anna Maria Bigatti
Design
Design #764
: ExternalLib: simplify configuration
1.00
03 Sep 2015
John Abbott
Design
Feature #758
: configure: have option to say to look for external libs
Christof's suggestion
0.25
04 Sep 2015
John Abbott
Design
Design #769
: CoCoALib cone
Design comments
0.25
04 Sep 2015
John Abbott
Design
Design #769
: CoCoALib cone
Suggestion
0.25
04 Sep 2015
John Abbott
Design
Design #769
: CoCoALib cone
Threadsafety
0.25
15 Sep 2015
John Abbott
Debugging
Slug #773
: DMPZmerge: make non-recursive
Some notes
2.00
15 Sep 2015
John Abbott
Design
Feature #775
: PPMonoid with 1 extra "exponent"?
Some notes
0.25
15 Sep 2015
John Abbott
Debugging
Bug #776
: FloatStr prints a NUL character
Smaller example?
0.20
15 Sep 2015
John Abbott
Debugging
Slug #777
: SLUG: elimination
Some notes
0.25
17 Sep 2015
John Abbott
Debugging
Bug #776
: FloatStr prints a NUL character
Notes about cause
0.30
17 Sep 2015
John Abbott
Debugging
Bug #776
: FloatStr prints a NUL character
Fixed bug
1.50
17 Sep 2015
John Abbott
Design
Design #778
: CRTMill::myAddInfo accept modulus 1 or not?
Some notes
0.50
17 Sep 2015
John Abbott
Design
Design #778
: CRTMill::myAddInfo accept modulus 1 or not?
Idea
0.10
17 Sep 2015
John Abbott
Development
Slug #773
: DMPZmerge: make non-recursive
Quick hack
0.75
17 Sep 2015
John Abbott
Design
Bug #779
: Makefile: problem not seeing when files in TmpFactorDir need to be rebuilt
Some notes
0.25
18 Sep 2015
John Abbott
Development
Slug #773
: DMPZmerge: make non-recursive
Cleaner code
0.50
21 Sep 2015
John Abbott
Development
Slug #773
: DMPZmerge: make non-recursive
Checked in
0.50
24 Sep 2015
Anna Maria Bigatti
Development
Feature #762
: ExternalLib-GFan: first prototype
22.00
24 Sep 2015
Anna Maria Bigatti
Testing
Feature #780
: GroebnerFan/ExternalLib-GFan: improve package
5.00
08 Oct 2015
John Abbott
Testing
Feature #586
: BigInt ctor from a machine integer
Almost forgotten
0.25
08 Oct 2015
John Abbott
Testing
Feature #586
: BigInt ctor from a machine integer
Unsure
1.00
08 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
NumTheory might benefit
0.20
08 Oct 2015
Anna Maria Bigatti
Development
Support #754
: Release: CoCoALib-0.99538 (together with CoCoA-5.1.2)
4.00
08 Oct 2015
Anna Maria Bigatti
Development
Support #621
: Release: CoCoALib-0.99536
1.00
08 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
Further thoughts
0.25
08 Oct 2015
John Abbott
Development
Feature #586
: BigInt ctor from a machine integer
Benefits
0.25
08 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
The catch
0.25
08 Oct 2015
John Abbott
Development
Feature #586
: BigInt ctor from a machine integer
A bigger catch
0.50
08 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
Infeasible
0.10
08 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
Infeasible
0.10
08 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
Revert?
0.10
09 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
Back step
0.10
09 Oct 2015
John Abbott
Debugging
Bug #783
: abs for MachineInt
Origin
0.50
09 Oct 2015
John Abbott
Design
Bug #783
: abs for MachineInt
Some ideas
0.10
09 Oct 2015
John Abbott
Design
Bug #783
: abs for MachineInt
Suggestions
0.50
09 Oct 2015
John Abbott
Development
Bug #783
: abs for MachineInt
Implemented
1.00
09 Oct 2015
John Abbott
Design
Bug #783
: abs for MachineInt
Hiding std::abs
0.20
09 Oct 2015
John Abbott
Design
Feature #586
: BigInt ctor from a machine integer
C++ definition
0.20
09 Oct 2015
John Abbott
Development
Feature #586
: BigInt ctor from a machine integer
Checked in
0.10
09 Oct 2015
John Abbott
Development
Bug #783
: abs for MachineInt
Checked in
0.20
12 Oct 2015
John Abbott
Design
Bug #784
: threadsafety: Scott Meyers's advice about cached values
Some notes
0.20
12 Oct 2015
John Abbott
Design
Design #785
: finite fields: global register of fields already created?
Some notes
0.25
12 Oct 2015
John Abbott
Design
Design #786
: MemPool: review min and max loaf sizes
Some notes
0.25
12 Oct 2015
John Abbott
Testing
Design #786
: MemPool: review min and max loaf sizes
Incidental observation
0.20
12 Oct 2015
John Abbott
Testing
Design #786
: MemPool: review min and max loaf sizes
Benchmarking
0.10
12 Oct 2015
John Abbott
Design
Design #785
: finite fields: global register of fields already created?
Creating all small finite fields
0.30
12 Oct 2015
John Abbott
Design
Bug #784
: threadsafety: Scott Meyers's advice about cached values
Meyers's example
0.20
12 Oct 2015
John Abbott
Design
Design #785
: finite fields: global register of fields already created?
Some ideas
0.10
12 Oct 2015
John Abbott
Design
Feature #664
: Impl small non-prime finite fields (using logs)
More ideas
0.25
14 Oct 2015
John Abbott
Testing
Design #786
: MemPool: review min and max loaf sizes
Hints
0.20
15 Oct 2015
John Abbott
Design
Feature #142
: Improve threadsafety
Compilation flag
0.50
15 Oct 2015
John Abbott
Design
Design #785
: finite fields: global register of fields already created?
A problem
0.30
16 Oct 2015
John Abbott
Development
Feature #180
: GlobalManager: registration of global variables
User interface
0.50
16 Oct 2015
John Abbott
Design
Feature #482
: Unique copies of rings -- smart ctor
First step
0.25
16 Oct 2015
John Abbott
Design
Feature #180
: GlobalManager: registration of global variables
A trick
0.25
16 Oct 2015
John Abbott
Design
Feature #180
: GlobalManager: registration of global variables
Destructors of object in a container
0.25
19 Oct 2015
John Abbott
Development
Feature #180
: GlobalManager: registration of global variables
Clean impl
2.50
19 Oct 2015
John Abbott
Design
Feature #180
: GlobalManager: registration of global variables
Perhaps simpler in the future?
0.10
19 Oct 2015
John Abbott
Documentation
Feature #180
: GlobalManager: registration of global variables
Almost done
1.00
19 Oct 2015
John Abbott
Design
Design #787
: Remove refcounts from RingElem?
Comment
0.10
20 Oct 2015
John Abbott
Design
Feature #482
: Unique copies of rings -- smart ctor
More matters to consider
0.50
20 Oct 2015
John Abbott
Documentation
Feature #735
: Convert a PPMonoidElem to RingElem with coefficient one
Finish?
0.10
20 Oct 2015
John Abbott
Development
Design #649
: Make SmallFpImpl safer to use
Why, oh why...?
1.50
22 Oct 2015
John Abbott
Development
Design #649
: Make SmallFpImpl safer to use
Progressing
5.00
22 Oct 2015
John Abbott
Development
Bug #680
: DistrMPolyClean does not use MemPool for summands?
A first attempt
1.50
26 Oct 2015
John Abbott
Design
Design #789
: NumTheory: behaviour of InvMod when inverse does not exist
Design discussion
0.50
28 Oct 2015
John Abbott
Testing
Bug #790
: RingDistrMPolyInlFpPPImpl::mySummandPool frees ZERO PTR many times
Some notes
0.50
28 Oct 2015
John Abbott
Debugging
Bug #790
: RingDistrMPolyInlFpPPImpl::mySummandPool frees ZERO PTR many times
Found
0.30
29 Oct 2015
John Abbott
Design
Bug #790
: RingDistrMPolyInlFpPPImpl::mySummandPool frees ZERO PTR many times
Undecided
0.20
29 Oct 2015
John Abbott
Development
Bug #680
: DistrMPolyClean does not use MemPool for summands?
Mostly done
1.50
30 Oct 2015
John Abbott
Development
Support #791
: Clean code for DistrMPolyClean
Hoping
0.10
30 Oct 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
Change of mind
0.30
30 Oct 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
Printing question
0.25
30 Oct 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
Names
0.30
30 Oct 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
Printing question
0.10
02 Nov 2015
John Abbott
Design
Slug #792
: configure: search for libgmp too slow
Some notes
0.25
02 Nov 2015
John Abbott
Design
Slug #792
: configure: search for libgmp too slow
Possible solution
0.10
03 Nov 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
Nice idea
0.10
03 Nov 2015
John Abbott
Debugging
Bug #793
: compilation on fedora 23: some worrying "error messages"
Lengthy
0.10
03 Nov 2015
John Abbott
Testing
Bug #793
: compilation on fedora 23: some worrying "error messages"
Timing
0.10
03 Nov 2015
John Abbott
Debugging
Bug #793
: compilation on fedora 23: some worrying "error messages"
Recompiling
0.25
03 Nov 2015
John Abbott
Debugging
Bug #793
: compilation on fedora 23: some worrying "error messages"
Recompiling
0.25
03 Nov 2015
John Abbott
Debugging
Bug #793
: compilation on fedora 23: some worrying "error messages"
Recompiling
0.25
03 Nov 2015
John Abbott
Debugging
Bug #793
: compilation on fedora 23: some worrying "error messages"
Recompiling
0.25
03 Nov 2015
John Abbott
Testing
Bug #793
: compilation on fedora 23: some worrying "error messages"
Compilation times
0.10
03 Nov 2015
John Abbott
Design
Feature #48
: Squarefree factorization - multivariate polynomials, char 0
Generalization?
0.10
04 Nov 2015
John Abbott
Documentation
Design #649
: Make SmallFpImpl safer to use
Almost done
3.00
05 Nov 2015
John Abbott
Testing
Design #649
: Make SmallFpImpl safer to use
Mystery resolved
1.00
05 Nov 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
What to do?
0.25
05 Nov 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
Possible name
0.25
05 Nov 2015
John Abbott
Development
Design #649
: Make SmallFpImpl safer to use
Feedback
0.10
05 Nov 2015
John Abbott
Design
Design #649
: Make SmallFpImpl safer to use
Feedback
0.10
05 Nov 2015
John Abbott
Development
Feature #795
: Add new fn InvModNoCheck
Almost done
0.50
05 Nov 2015
John Abbott
Debugging
Bug #793
: compilation on fedora 23: some worrying "error messages"
An idea
0.20
05 Nov 2015
John Abbott
Design
Feature #48
: Squarefree factorization - multivariate polynomials, char 0
Ahh, yes
0.10
05 Nov 2015
Anna Maria Bigatti
Documentation
Feature #796
: CoCoALib function for radical (or SqFree) of a polynomial
browsing the code
0.50
07 Nov 2015
John Abbott
Design
Feature #797
: SmallFpImpl: make it faster
Some notes
1.00
09 Nov 2015
John Abbott
Design
Slug #799
: vector of "indets" in each PPMonoid?
Some notes
0.25
09 Nov 2015
John Abbott
Design
Feature #800
: PPMonoidSparse: impl of sparse PPs
Some notes
0.10
09 Nov 2015
John Abbott
Design
Feature #747
: New function for making list of symbols (indeterminate names)
Symbol ranges
0.20
09 Nov 2015
John Abbott
Design
Feature #801
: Test whether a symbol is in a ring
Some notes
0.20
10 Nov 2015
John Abbott
Design
Feature #747
: New function for making list of symbols (indeterminate names)
OK
0.20
10 Nov 2015
John Abbott
Development
Feature #800
: PPMonoidSparse: impl of sparse PPs
Impl
2.50
10 Nov 2015
John Abbott
Design
Feature #800
: PPMonoidSparse: impl of sparse PPs
The problem areas
0.20
10 Nov 2015
John Abbott
Design
Feature #802
: DivMask: extend interface?
Some notes
0.25
10 Nov 2015
John Abbott
Design
Feature #802
: DivMask: extend interface?
More notes
0.10
10 Nov 2015
John Abbott
Design
Feature #800
: PPMonoidSparse: impl of sparse PPs
WDeg
0.10
10 Nov 2015
Anna Maria Bigatti
Design
Feature #802
: DivMask: extend interface?
problems with *B* (updating)?
0.25
10 Nov 2015
John Abbott
Design
Feature #802
: DivMask: extend interface?
Updating
0.10
11 Nov 2015
John Abbott
Design
Slug #799
: vector of "indets" in each PPMonoid?
Used only once
0.25
11 Nov 2015
John Abbott
Design
Design #602
: OrdMat: should it be a reference to a MatrixView in all PPOrderings?
Important?
0.10
11 Nov 2015
John Abbott
Design
Slug #799
: vector of "indets" in each PPMonoid?
Low priority?
0.25
11 Nov 2015
John Abbott
Design
Feature #803
: PPOrdering: use it to compute WDeg?
Equivalence?
0.25
11 Nov 2015
John Abbott
Design
Design #602
: OrdMat: should it be a reference to a MatrixView in all PPOrderings?
An example
0.10
11 Nov 2015
John Abbott
Design
Design #311
: XelMat, StdDegRevLexMat, ... should be MatrixView
Yes!
0.25
11 Nov 2015
John Abbott
Development
Design #311
: XelMat, StdDegRevLexMat, ... should be MatrixView
First (quick) impl
1.00
12 Nov 2015
John Abbott
Design
Bug #804
: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView
Some notes
1.00
13 Nov 2015
John Abbott
Design
Design #805
: New type for "constant" matrices?
Some notes
2.50
13 Nov 2015
John Abbott
Testing
Design #311
: XelMat, StdDegRevLexMat, ... should be MatrixView
StdDegRevLexMat
0.50
13 Nov 2015
John Abbott
Design
Design #805
: New type for "constant" matrices?
More notes
0.20
13 Nov 2015
John Abbott
Design
Design #805
: New type for "constant" matrices?
Uh oh!
0.25
14 Nov 2015
John Abbott
Development
Design #311
: XelMat, StdDegRevLexMat, ... should be MatrixView
Other defn of StdDegRevLex
0.25
14 Nov 2015
John Abbott
Design
Design #806
: AssignZero for matrix
Some notes
0.50
14 Nov 2015
John Abbott
Design
Design #806
: AssignZero for matrix
Default impl
0.10
14 Nov 2015
John Abbott
Design
Bug #807
: DiagMat: mySetEntry checks the entry is writable only if debugging active
Some notes
0.25
14 Nov 2015
John Abbott
Design
Design #592
: Review design of ConstMatrixView
Too many doubts!
0.50
18 Nov 2015
John Abbott
Debugging
Bug #808
: Alg Extn by non-zero dim ideal
Workaround
0.20
20 Nov 2015
John Abbott
Design
Support #810
: ILogBase: change name?
Some notes
0.25
20 Nov 2015
John Abbott
Testing
Design #786
: MemPool: review min and max loaf sizes
Problems?
0.10
20 Nov 2015
Anna Maria Bigatti
Testing
Design #786
: MemPool: review min and max loaf sizes
3.00
21 Nov 2015
John Abbott
Testing
Design #786
: MemPool: review min and max loaf sizes
Some ideas
0.10
21 Nov 2015
John Abbott
Development
Feature #811
: Add new fn SimplestBinaryRatBetween
Almost done
2.20
21 Nov 2015
John Abbott
Development
Feature #440
: Port RealRoots to C++
Sooner rather than later?
0.20
21 Nov 2015
John Abbott
Development
Feature #811
: Add new fn SimplestBinaryRatBetween
Checked in
0.25
23 Nov 2015
John Abbott
Design
Support #774
: Rename file PPMonoidEvZZ
Another proposal
0.10
23 Nov 2015
John Abbott
Design
Feature #812
: PPMonoid pseudo-ctor without explicit ordering
Some notes
0.25
23 Nov 2015
John Abbott
Design
Design #311
: XelMat, StdDegRevLexMat, ... should be MatrixView
Which ring?
0.25
23 Nov 2015
John Abbott
Design
Feature #812
: PPMonoid pseudo-ctor without explicit ordering
A suggestion
0.20
23 Nov 2015
John Abbott
Design
Design #815
: GlobalManager: Imminent disaster should be a proper error
Why
0.25
23 Nov 2015
John Abbott
Design
Design #815
: GlobalManager: Imminent disaster should be a proper error
Ouch!
0.25
23 Nov 2015
John Abbott
Design
Design #815
: GlobalManager: Imminent disaster should be a proper error
A compromise
0.20
23 Nov 2015
John Abbott
Development
Support #810
: ILogBase: change name?
Almost done
0.50
23 Nov 2015
John Abbott
Development
Design #815
: GlobalManager: Imminent disaster should be a proper error
Partly done
0.30
23 Nov 2015
John Abbott
Development
Support #810
: ILogBase: change name?
Checked in
0.30
23 Nov 2015
John Abbott
Debugging
Bug #818
: F5 with 3 args?
Grrr!
2.00
23 Nov 2015
John Abbott
Development
Bug #818
: F5 with 3 args?
Workaround
0.10
23 Nov 2015
John Abbott
Testing
Bug #818
: F5 with 3 args?
Why?
0.10
23 Nov 2015
John Abbott
Testing
Bug #818
: F5 with 3 args?
Huh?
0.25
23 Nov 2015
John Abbott
Debugging
Bug #818
: F5 with 3 args?
Grrr!
0.40
24 Nov 2015
John Abbott
Debugging
Bug #818
: F5 with 3 args?
Sleep
0.25
24 Nov 2015
John Abbott
Development
Design #816
: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)
Almost done
1.00
24 Nov 2015
John Abbott
Testing
Design #816
: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)
Checked in
0.20
24 Nov 2015
John Abbott
Design
Design #816
: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)
Obsolescent?
0.10
24 Nov 2015
John Abbott
Design
Design #815
: GlobalManager: Imminent disaster should be a proper error
Error message?
0.20
24 Nov 2015
John Abbott
Documentation
Support #810
: ILogBase: change name?
Man page
0.10
24 Nov 2015
John Abbott
Documentation
Design #816
: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)
Both?
0.10
24 Nov 2015
John Abbott
Design
Design #816
: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)
Mmmm?
0.10
24 Nov 2015
John Abbott
Development
Feature #800
: PPMonoidSparse: impl of sparse PPs
Seems to work!
3.50
24 Nov 2015
John Abbott
Design
Feature #812
: PPMonoid pseudo-ctor without explicit ordering
More notes
0.25
24 Nov 2015
John Abbott
Development
Feature #800
: PPMonoidSparse: impl of sparse PPs
Cleaned code
1.50
24 Nov 2015
John Abbott
Design
Feature #800
: PPMonoidSparse: impl of sparse PPs
NewPolyRing?
0.25
24 Nov 2015
John Abbott
Design
Feature #802
: DivMask: extend interface?
Approved?
0.10
24 Nov 2015
John Abbott
Design
Design #805
: New type for "constant" matrices?
zeroes
3.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
24 Nov 2015
John Abbott
Design
Bug #804
: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView
File name?
0.25
24 Nov 2015
John Abbott
Design
Bug #804
: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView
Another question
0.25
25 Nov 2015
John Abbott
Debugging
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
Not good
0.25
25 Nov 2015
John Abbott
Design
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
Ctor gives error
0.10
25 Nov 2015
John Abbott
Design
Design #819
: GradingMat: does anyone need it?
Background
0.25
25 Nov 2015
John Abbott
Testing
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
Added test
0.40
25 Nov 2015
John Abbott
Design
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
Pseudo-ctors?
0.10
25 Nov 2015
John Abbott
Testing
Bug #821
: IsTermOrdering
Good grief!
0.25
25 Nov 2015
John Abbott
Design
Design #822
: Should ElimMat return a ConstMatrix
Pandora's Box
0.25
26 Nov 2015
John Abbott
Design
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
Why the first signature?
0.10
26 Nov 2015
John Abbott
Design
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
New pseudo-ctor
0.10
26 Nov 2015
John Abbott
Development
Design #602
: OrdMat: should it be a reference to a MatrixView in all PPOrderings?
Yes!
1.00
26 Nov 2015
John Abbott
Design
Bug #821
: IsTermOrdering
An idea
0.25
26 Nov 2015
John Abbott
Development
Bug #820
: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
Partly done
0.50
26 Nov 2015
John Abbott
Design
Design #824
: Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc
Some notes
0.25
26 Nov 2015
John Abbott
Design
Bug #820
: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
Semantics!
0.20
26 Nov 2015
John Abbott
Design
Bug #820
: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
Incompatible names
0.10
26 Nov 2015
John Abbott
Design
Bug #820
: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
Suggestion
0.10
26 Nov 2015
John Abbott
Design
Design #825
: IsPositiveGrading -- really need 2 signatures?
What's the difference?
0.20
26 Nov 2015
John Abbott
Development
Design #825
: IsPositiveGrading -- really need 2 signatures?
Semantics!
0.25
26 Nov 2015
John Abbott
Testing
Support #810
: ILogBase: change name?
Feedback
0.25
26 Nov 2015
John Abbott
Design
Bug #820
: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
ZZ or QQ
0.25
26 Nov 2015
John Abbott
Design
Design #827
: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)
Some notes
0.25
26 Nov 2015
John Abbott
Design
Design #827
: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)
NewIntegerOrdMat
0.20
26 Nov 2015
John Abbott
Design
Design #827
: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)
Just a single function?
0.20
27 Nov 2015
John Abbott
Design
Design #822
: Should ElimMat return a ConstMatrix
Edge cases
0.25
27 Nov 2015
John Abbott
Debugging
Design #822
: Should ElimMat return a ConstMatrix
test-RingWeyl1
0.10
27 Nov 2015
John Abbott
Testing
Design #809
: FastCmp for degree -- useful?
A suggestion
0.10
27 Nov 2015
John Abbott
Testing
Design #819
: GradingMat: does anyone need it?
Uses
0.20
27 Nov 2015
John Abbott
Design
Bug #804
: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView
Must specify ring
0.25
27 Nov 2015
John Abbott
Design
Feature #817
: GenRepr in CoCoALib?
Deadline
0.10
27 Nov 2015
John Abbott
Development
Feature #802
: DivMask: extend interface?
Next week?
0.10
30 Nov 2015
John Abbott
Design
Bug #821
: IsTermOrdering
Limit case
0.25
30 Nov 2015
John Abbott
Design
Feature #828
: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Some notes
0.25
30 Nov 2015
John Abbott
Design
Design #829
: PPOrderingCtor: name of mem fn which actually constructs?
Some notes
0.25
30 Nov 2015
John Abbott
Design
Feature #828
: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Solo MaxLong
0.10
30 Nov 2015
John Abbott
Design
Design #829
: PPOrderingCtor: name of mem fn which actually constructs?
Yes!
0.10
01 Dec 2015
John Abbott
Design
Design #824
: Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc
Other names
0.25
01 Dec 2015
John Abbott
Development
Design #806
: AssignZero for matrix
Removed
0.50
01 Dec 2015
John Abbott
Design
Bug #830
: Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows
Also...
0.25
01 Dec 2015
John Abbott
Design
Feature #828
: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Design discussion
0.30
01 Dec 2015
John Abbott
Design
Feature #828
: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
More ideas
0.10
01 Dec 2015
John Abbott
Development
Bug #830
: Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows
Almost done
1.00
01 Dec 2015
John Abbott
Development
Design #829
: PPOrderingCtor: name of mem fn which actually constructs?
Almost done
0.50
01 Dec 2015
John Abbott
Design
Design #829
: PPOrderingCtor: name of mem fn which actually constructs?
An idea
0.20
01 Dec 2015
John Abbott
Design
Design #822
: Should ElimMat return a ConstMatrix
Arg order
0.20
01 Dec 2015
John Abbott
Design
Design #822
: Should ElimMat return a ConstMatrix
Names
0.10
01 Dec 2015
John Abbott
Documentation
Design #822
: Should ElimMat return a ConstMatrix
Doc missing
0.20
01 Dec 2015
John Abbott
Development
Design #822
: Should ElimMat return a ConstMatrix
Checked in
0.10
01 Dec 2015
John Abbott
Design
Feature #828
: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Mario's input
0.50
01 Dec 2015
John Abbott
Design
Feature #828
: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Design comments
0.10
01 Dec 2015
John Abbott
Development
Bug #820
: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
Soon
0.20
01 Dec 2015
John Abbott
Design
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
Cleaning
0.10
01 Dec 2015
John Abbott
Debugging
Bug #831
: primary.cocoa5
Some notes
0.50
02 Dec 2015
John Abbott
Documentation
Bug #804
: ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView
Done
0.50
02 Dec 2015
John Abbott
Design
Feature #797
: SmallFpImpl: make it faster
Design discussion
0.25
02 Dec 2015
John Abbott
Design
Feature #664
: Impl small non-prime finite fields (using logs)
Explicit quotient rings
0.25
02 Dec 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
Speed test
0.20
02 Dec 2015
John Abbott
Design
Feature #664
: Impl small non-prime finite fields (using logs)
Options
0.25
02 Dec 2015
John Abbott
Testing
Feature #664
: Impl small non-prime finite fields (using logs)
Speed test
0.20
02 Dec 2015
John Abbott
Design
Feature #826
: Sparse matrices
Some notes
0.50
03 Dec 2015
John Abbott
Design
Feature #664
: Impl small non-prime finite fields (using logs)
Zech table
0.50
04 Dec 2015
John Abbott
Design
Bug #820
: NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!
Name?
0.20
04 Dec 2015
John Abbott
Design
Design #824
: Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc
names
0.10
08 Dec 2015
John Abbott
Development
Feature #665
: Integrate Janet/Pommaret basis code
Initial integration
1.00
08 Dec 2015
John Abbott
Design
Feature #665
: Integrate Janet/Pommaret basis code
User interface
0.25
08 Dec 2015
John Abbott
Design
Feature #665
: Integrate Janet/Pommaret basis code
KISS
0.10
08 Dec 2015
John Abbott
Development
Design #824
: Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc
Implemented
0.25
08 Dec 2015
John Abbott
Design
Bug #833
: UIBC: need include file in RingWeyl.C
Design problem?
0.25
09 Dec 2015
John Abbott
Design
Feature #142
: Improve threadsafety
Single flag
0.25
09 Dec 2015
John Abbott
Debugging
Bug #834
: Fix test failures (after revising MatrixForOrdering)
The root cause
0.25
09 Dec 2015
John Abbott
Design
Feature #828
: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Another proposal
0.25
09 Dec 2015
John Abbott
Design
Feature #835
: Make Mario's new code threadsafe
Hint
0.25
09 Dec 2015
John Abbott
Design
Bug #784
: threadsafety: Scott Meyers's advice about cached values
Suggestion
0.25
09 Dec 2015
John Abbott
Design
Feature #142
: Improve threadsafety
In the future?
0.25
09 Dec 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
Promises, promises
0.10
09 Dec 2015
Anna Maria Bigatti
Debugging
Bug #834
: Fix test failures (after revising MatrixForOrdering)
Debugging
0.75
10 Dec 2015
John Abbott
Development
Bug #834
: Fix test failures (after revising MatrixForOrdering)
Partly done
0.50
10 Dec 2015
Anna Maria Bigatti
Design
Bug #834
: Fix test failures (after revising MatrixForOrdering)
0.50
10 Dec 2015
John Abbott
Design
Bug #834
: Fix test failures (after revising MatrixForOrdering)
ColCheck
0.25
10 Dec 2015
John Abbott
Development
Feature #836
: SmallFpImpl: export fns for a fixed convention
Done
0.30
16 Dec 2015
Anna Maria Bigatti
Design
Design #64
: submat takes only vector<long>
0.25
16 Dec 2015
Anna Maria Bigatti
Debugging
Design #825
: IsPositiveGrading -- really need 2 signatures?
0.25
16 Dec 2015
John Abbott
Design
Design #64
: submat takes only vector<long>
More ideas
0.25
16 Dec 2015
John Abbott
Design
Design #64
: submat takes only vector<long>
Scott Meyers's advice
0.25
17 Dec 2015
Anna Maria Bigatti
Documentation
Design #64
: submat takes only vector<long>
0.25
17 Dec 2015
John Abbott
Design
Design #64
: submat takes only vector<long>
More ideas
0.25
17 Dec 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
Implemented
15.00
18 Dec 2015
John Abbott
Development
Feature #664
: Impl small non-prime finite fields (using logs)
Checked in
3.00
06 Jan 2016
John Abbott
Testing
Slug #837
: factor is very slow on some simple input polynomials
Some notes
0.25
11 Jan 2016
John Abbott
Design
Feature #838
: Differential algebra
Some notes
0.50
11 Jan 2016
John Abbott
Design
Feature #838
: Differential algebra
More notes
0.50
11 Jan 2016
John Abbott
Design
Feature #838
: Differential algebra
Orderings on derivatives
0.20
13 Jan 2016
John Abbott
Design
Feature #839
: SparsePolyIter: make more compatible with STL
Some notes
0.25
13 Jan 2016
John Abbott
Design
Feature #839
: SparsePolyIter: make more compatible with STL
More notes
0.10
13 Jan 2016
John Abbott
Design
Feature #839
: SparsePolyIter: make more compatible with STL
More notes
0.20
18 Jan 2016
John Abbott
Design
Bug #784
: threadsafety: Scott Meyers's advice about cached values
More ideas
1.00
18 Jan 2016
John Abbott
Design
Bug #784
: threadsafety: Scott Meyers's advice about cached values
Using async and shared_future
1.00
18 Jan 2016
John Abbott
Design
Bug #784
: threadsafety: Scott Meyers's advice about cached values
Testing whether value is known
1.00
20 Jan 2016
John Abbott
Design
Feature #840
: GINV: alex basis
Some notes
0.50
20 Jan 2016
John Abbott
Design
Feature #840
: GINV: alex basis
Data structure in CoCoALib
0.10
21 Jan 2016
John Abbott
Design
Design #841
: NewPolyRing: tidy up the many different versions
Some notes
0.50
21 Jan 2016
John Abbott
Design
Design #841
: NewPolyRing: tidy up the many different versions
Chaos?
0.25
23 Jan 2016
John Abbott
Design
Design #841
: NewPolyRing: tidy up the many different versions
Some notes
1.00
27 Jan 2016
John Abbott
Testing
Feature #664
: Impl small non-prime finite fields (using logs)
Test and example
3.00
27 Jan 2016
John Abbott
Documentation
Feature #664
: Impl small non-prime finite fields (using logs)
Test and example
0.10
27 Jan 2016
John Abbott
Design
Feature #664
: Impl small non-prime finite fields (using logs)
Peculiar printing
0.10
27 Jan 2016
John Abbott
Design
Feature #664
: Impl small non-prime finite fields (using logs)
An idea: good or bad?
0.30
27 Jan 2016
John Abbott
Design
Feature #664
: Impl small non-prime finite fields (using logs)
Confusing
0.25
01 Feb 2016
John Abbott
Testing
Feature #747
: New function for making list of symbols (indeterminate names)
Tidying up
0.30
01 Feb 2016
John Abbott
Documentation
Feature #747
: New function for making list of symbols (indeterminate names)
Closing
0.25
01 Feb 2016
John Abbott
Testing
Bug #776
: FloatStr prints a NUL character
Closing
0.10
02 Feb 2016
John Abbott
Documentation
Design #649
: Make SmallFpImpl safer to use
All done
0.20
02 Feb 2016
John Abbott
Testing
Design #816
: Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)
Closing
0.10
15 Feb 2016
John Abbott
Development
Slug #842
: PPMonoidSparse: comparisons are VERY SLOW
Merrily hacking code
1.00
19 Feb 2016
John Abbott
Design
Feature #840
: GINV: alex basis
Update
0.50
21 Mar 2016
John Abbott
Design
Design #846
: IsIrred: correct design?
Design comments and semantics
1.00
21 Mar 2016
John Abbott
Development
Bug #821
: IsTermOrdering
Done?
0.10
21 Mar 2016
John Abbott
Testing
Bug #830
: Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows
Closing after 4 months
0.10
21 Mar 2016
John Abbott
Design
Design #763
: GlobalManager: initialization compatible with initialization of external libs
Looks to be tricky
0.50
21 Mar 2016
John Abbott
Testing
Support #810
: ILogBase: change name?
Closing after 4 months
0.20
21 Mar 2016
John Abbott
Design
Support #774
: Rename file PPMonoidEvZZ
Half done?
0.20
21 Mar 2016
John Abbott
Development
Design #815
: GlobalManager: Imminent disaster should be a proper error
Message
0.20
21 Mar 2016
John Abbott
Documentation
Design #815
: GlobalManager: Imminent disaster should be a proper error
Added new para
0.20
21 Mar 2016
John Abbott
Design
Design #763
: GlobalManager: initialization compatible with initialization of external libs
Global variables are problematic
0.20
21 Mar 2016
John Abbott
Testing
Feature #795
: Add new fn InvModNoCheck
Closing after 5 months
0.09
22 Mar 2016
Anna Maria Bigatti
Development
Feature #848
: Implement MinPoly in CoCoALib
John Abbott: new class IncrLinDep
2.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
22 Mar 2016
John Abbott
Documentation
Support #618
: Instructions for compiling libnormaliz
JAA's notes about compiling Normaliz
0.10
23 Mar 2016
John Abbott
Testing
Support #696
: test-OrderedRing: activate or eliminate?
JAA
0.10
23 Mar 2016
John Abbott
Development
Design #602
: OrdMat: should it be a reference to a MatrixView in all PPOrderings?
no comment
4.00
23 Mar 2016
John Abbott
Design
Design #311
: XelMat, StdDegRevLexMat, ... should be MatrixView
Last questions
0.25
23 Mar 2016
John Abbott
Testing
Support #696
: test-OrderedRing: activate or eliminate?
Uffa!
1.00
23 Mar 2016
John Abbott
Design
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
What properties?
0.25
23 Mar 2016
John Abbott
Design
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
Normal fn or mem fns?
0.25
25 Mar 2016
Anna Maria Bigatti
Design
Design #855
: Copyright and authorship?
0.25
25 Mar 2016
Anna Maria Bigatti
Design
Design #855
: Copyright and authorship?
0.50
25 Mar 2016
John Abbott
Documentation
Design #855
: Copyright and authorship?
Some notes
0.20
25 Mar 2016
John Abbott
Documentation
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
In practice
0.20
25 Mar 2016
John Abbott
Testing
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
An idea for testing Twin Floats
0.20
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
25 Mar 2016
John Abbott
Testing
Support #696
: test-OrderedRing: activate or eliminate?
New tests
2.00
25 Mar 2016
John Abbott
Testing
Support #696
: test-OrderedRing: activate or eliminate?
Admin
0.10
25 Mar 2016
John Abbott
Development
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
Comments
0.10
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
26 Mar 2016
John Abbott
Testing
Bug #858
: floor for TwinFloat can produce ERR::SERIOUS
Some notes
0.75
26 Mar 2016
John Abbott
Design
Bug #858
: floor for TwinFloat can produce ERR::SERIOUS
An idea
0.20
26 Mar 2016
John Abbott
Design
Bug #858
: floor for TwinFloat can produce ERR::SERIOUS
Some reasoning
1.00
26 Mar 2016
John Abbott
Testing
Bug #858
: floor for TwinFloat can produce ERR::SERIOUS
Seems OK
0.20
26 Mar 2016
John Abbott
Debugging
Bug #858
: floor for TwinFloat can produce ERR::SERIOUS
Progress
1.00
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
Some example scenarios
3.00
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
Summary description
0.25
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
A bad idea?
0.20
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
A better idea?
0.50
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
Decision?
0.20
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
Weak inequalities
0.25
28 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
Switchable?
0.20
29 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
More involved than first expected
0.75
30 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
More notes
1.00
30 Mar 2016
John Abbott
Design
Design #859
: Twin-float: comparisons and equality test
Unfortunate aspect of myCmp5 approach
0.20
30 Mar 2016
John Abbott
Development
Bug #858
: floor for TwinFloat can produce ERR::SERIOUS
OK now
0.25
30 Mar 2016
John Abbott
Documentation
Bug #853
: NearestInt can needlessly throw InsufficientPrecision
Cleaned
0.25
30 Mar 2016
John Abbott
Development
Design #859
: Twin-float: comparisons and equality test
Implemented
1.00
31 Mar 2016
John Abbott
Debugging
Feature #840
: GINV: alex basis
Compilation problems
0.50
31 Mar 2016
John Abbott
Debugging
Support #861
: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
Error messages
0.25
31 Mar 2016
John Abbott
Debugging
Support #861
: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
Platform
0.10
31 Mar 2016
John Abbott
Testing
Support #861
: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
OK on Linux
0.25
04 Apr 2016
John Abbott
Documentation
Bug #860
: Check impl of RingTwinFloatImpl::myIsRational
First read
1.00
05 Apr 2016
John Abbott
Testing
Bug #860
: Check impl of RingTwinFloatImpl::myIsRational
Using SimplestBigRatBetween
1.00
05 Apr 2016
John Abbott
Testing
Bug #860
: Check impl of RingTwinFloatImpl::myIsRational
Groan!
0.10
05 Apr 2016
John Abbott
Testing
Bug #860
: Check impl of RingTwinFloatImpl::myIsRational
Another check
0.25
05 Apr 2016
John Abbott
Design
Bug #860
: Check impl of RingTwinFloatImpl::myIsRational
Possible explanation
0.10
06 Apr 2016
John Abbott
Design
Bug #864
: Assignment of rings (esp. derived rings such as PolyRing)
Types of ring
0.25
07 Apr 2016
John Abbott
Development
Bug #864
: Assignment of rings (esp. derived rings such as PolyRing)
Seems OK
0.25
13 Apr 2016
John Abbott
Design
Bug #867
: Compilation Error: C++11 and old GMP-Version
Build your own GMP
0.20
13 Apr 2016
John Abbott
Testing
Slug #866
: implicit, ImplicitHypersurface: improve output verification
0.50
18 Apr 2016
John Abbott
Design
Slug #866
: implicit, ImplicitHypersurface: improve output verification
Probabilistic check?
0.25
19 Apr 2016
John Abbott
Design
Bug #867
: Compilation Error: C++11 and old GMP-Version
A suggestion
0.25
19 Apr 2016
John Abbott
Design
Feature #82
: C++11 compatibility questions
Preprocessor flag
0.25
19 Apr 2016
John Abbott
Design
Bug #867
: Compilation Error: C++11 and old GMP-Version
Already done
0.20
22 Apr 2016
John Abbott
Design
Slug #866
: implicit, ImplicitHypersurface: improve output verification
Vague memory
0.10
22 Apr 2016
Anna Maria Bigatti
Development
Slug #866
: implicit, ImplicitHypersurface: improve output verification
1.50
22 Apr 2016
Anna Maria Bigatti
Testing
Slug #866
: implicit, ImplicitHypersurface: improve output verification
0.50
27 Apr 2016
John Abbott
Design
Feature #873
: bool3: add some logical operations?
Some notes
0.25
27 Apr 2016
John Abbott
Design
Feature #873
: bool3: add some logical operations?
Motivation
0.10
27 Apr 2016
John Abbott
Design
Feature #873
: bool3: add some logical operations?
Also
0.10
28 Apr 2016
Anna Maria Bigatti
Design
Feature #873
: bool3: add some logical operations?
0.25
29 Apr 2016
John Abbott
Design
Feature #873
: bool3: add some logical operations?
Not really harmful
0.20
29 Apr 2016
Anna Maria Bigatti
Design
Feature #873
: bool3: add some logical operations?
0.25
29 Apr 2016
John Abbott
Design
Feature #873
: bool3: add some logical operations?
Use with care
0.25
03 May 2016
John Abbott
Development
Support #861
: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
New JB code
1.50
03 May 2016
John Abbott
Testing
Slug #874
: factor: too slow on largish multivariate poly
Example
0.50
03 May 2016
John Abbott
Testing
Slug #874
: factor: too slow on largish multivariate poly
Some notes
0.10
03 May 2016
John Abbott
Testing
Slug #874
: factor: too slow on largish multivariate poly
More notes
0.25
06 May 2016
John Abbott
Design
Slug #866
: implicit, ImplicitHypersurface: improve output verification
No time yet
0.50
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 #881
: ReadExpr is too slow on large polys
Map for symbols?
0.50
09 May 2016
John Abbott
Testing
Slug #881
: ReadExpr is too slow on large polys
Quick test
0.20
09 May 2016
John Abbott
Design
Slug #882
: Impl faster multiplication for DUP (dense univariate polys)
Some notes
2.00
09 May 2016
John Abbott
Design
Slug #882
: Impl faster multiplication for DUP (dense univariate polys)
Using fast integer mult
0.20
10 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
Table of symbols
1.00
10 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
update
0.50
10 May 2016
Anna Maria Bigatti
Design
Slug #881
: ReadExpr is too slow on large polys
0.25
10 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
geobucket
0.10
11 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
PushBack is good
2.00
11 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
Seems to work
1.50
11 May 2016
John Abbott
Testing
Slug #881
: ReadExpr is too slow on large polys
Just out of curiosity
0.25
18 May 2016
John Abbott
Development
Slug #881
: ReadExpr is too slow on large polys
Added special case
3.00
24 May 2016
John Abbott
Development
Slug #884
: DistrMPolyInlPP::myPushFront and DistrMPolyInlPP::myPushBack inefficient if arg is a PP
Some notes
0.50
25 May 2016
John Abbott
Design
Feature #885
: IsIrred3: fast 3-way irred test (returning bool3)
Some notes
0.50
25 May 2016
John Abbott
Design
Design #846
: IsIrred: correct design?
Some decisions
0.50
25 May 2016
John Abbott
Design
Design #846
: IsIrred: correct design?
Who calls IsIrred3?
0.10
25 May 2016
John Abbott
Design
Feature #885
: IsIrred3: fast 3-way irred test (returning bool3)
Design comments and semantics
0.25
25 May 2016
John Abbott
Testing
Slug #881
: ReadExpr is too slow on large polys
Another slug
0.50
01 Jun 2016
Anna Maria Bigatti
Testing
Support #887
: My first compilations with clang
3.00
06 Jun 2016
John Abbott
Documentation
Support #887
: My first compilations with clang
RingFqLog and RingFqVec
0.25
06 Jun 2016
John Abbott
Documentation
Support #887
: My first compilations with clang
Compilation guides
0.20
10 Jun 2016
John Abbott
Documentation
Bug #756
: frobby (v0.9.0) does not compile with g++-4.8
Modified doc
0.25
10 Jun 2016
Anna Maria Bigatti
Testing
Bug #756
: frobby (v0.9.0) does not compile with g++-4.8
0.25
10 Jun 2016
John Abbott
Documentation
Bug #756
: frobby (v0.9.0) does not compile with g++-4.8
Not familiar
0.50
10 Jun 2016
John Abbott
Testing
Bug #756
: frobby (v0.9.0) does not compile with g++-4.8
Use old standard?
0.25
13 Jun 2016
John Abbott
Design
Bug #593
: Temporary directories used during configuration
Use system temporary filesystem
0.30
13 Jun 2016
John Abbott
Design
Bug #867
: Compilation Error: C++11 and old GMP-Version
Evolved into another issue
0.25
13 Jun 2016
John Abbott
Design
Bug #593
: Temporary directories used during configuration
Using /tmp
0.25
13 Jun 2016
John Abbott
Design
Feature #759
: Configuration: where to keep source for test compilations?
Some notes
0.20
13 Jun 2016
John Abbott
Design
Feature #889
: configure script: give summary of warnings at end
First impl
0.50
15 Jun 2016
John Abbott
Testing
Bug #547
: elim using RingTwinFloat triggers error "SERIOUS"
Still troublesome
0.25
16 Jun 2016
John Abbott
Design
Design #789
: NumTheory: behaviour of InvMod when inverse does not exist
Another possibility
0.20
16 Jun 2016
John Abbott
Design
Feature #800
: PPMonoidSparse: impl of sparse PPs
When to use sparse PPs?
0.20
16 Jun 2016
John Abbott
Design
Bug #814
: PPOrdering: matrix ordering, what rings are allowed.
And the answer is...
0.20
16 Jun 2016
John Abbott
Development
Design #827
: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)
Status?
0.10
17 Jun 2016
Anna Maria Bigatti
Documentation
Feature #357
: Constructor for vectors? CoCoAVector
0.25
17 Jun 2016
John Abbott
Design
Design #891
: Replace auto_ptr in preparation for C++11?
Not the first to find the problem
0.50
17 Jun 2016
John Abbott
Testing
Design #891
: Replace auto_ptr in preparation for C++11?
Quick test
0.10
20 Jun 2016
Anna Maria Bigatti
Development
Design #849
: Cleanup MinPoly code
code into C++ (Bigatti+Palezzato)
3.00
21 Jun 2016
John Abbott
Development
Design #891
: Replace auto_ptr in preparation for C++11?
Files
0.30
21 Jun 2016
John Abbott
Design
Feature #873
: bool3: add some logical operations?
Not so easy
0.50
21 Jun 2016
John Abbott
Design
Feature #873
: bool3: add some logical operations?
Not being clever
0.30
22 Jun 2016
John Abbott
Testing
Design #891
: Replace auto_ptr in preparation for C++11?
Mostly OK
1.00
22 Jun 2016
John Abbott
Documentation
Design #891
: Replace auto_ptr in preparation for C++11?
Emacs note
0.10
« Previous
1
2
3
4
5
…
8
Next »
(1001-1500/3745)
Per page:
25
,
100
,
500
Also available in:
Atom
CSV
CSV export options
Selected Columns
All Columns
Loading...