Activity
From 15 Nov 2015 to 14 Dec 2015
10 Dec 2015
- 18:19 CoCoALib 0.30 hour (Feature #836 (Closed): SmallFpImpl: export fns for a fixed convention)
- Done
- 15:59 CoCoALib 0.25 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering))
- ColCheck
- 14:36 CoCoALib 0.50 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering))
- 10:17 CoCoALib 0.50 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering))
- Partly done
09 Dec 2015
- 22:08 CoCoALib 0.75 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering))
- Debugging
- 13:41 CoCoALib 0.25 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering))
- The root cause
- 17:02 CoCoALib 0.10 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Promises, promises
- 17:00 CoCoALib 0.25 hour (Feature #142 (In Progress): Improve threadsafety)
- In the future?
- 13:09 CoCoALib 0.25 hour (Feature #142 (In Progress): Improve threadsafety)
- Single flag
- 16:55 CoCoALib 0.25 hour (Bug #784 (In Progress): threadsafety: Scott Meyers's advice about cached values)
- Suggestion
- 16:48 CoCoALib 0.25 hour (Feature #835 (New): Make Mario's new code threadsafe)
- Hint
- 13:54 CoCoALib 0.25 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))
- Another proposal
08 Dec 2015
- 15:06 CoCoALib 0.25 hour (Bug #833 (New): UIBC: need include file in RingWeyl.C)
- Design problem?
- 14:01 CoCoALib 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc)
- Implemented
- 13:03 CoCoALib 0.10 hour (Feature #665 (In Progress): Integrate Janet/Pommaret basis code)
- KISS
- 12:32 CoCoALib 0.25 hour (Feature #665 (In Progress): Integrate Janet/Pommaret basis code)
- User interface
- 11:42 CoCoALib 1.00 hour (Feature #665 (In Progress): Integrate Janet/Pommaret basis code)
- Initial integration
04 Dec 2015
- 15:18 CoCoALib 0.10 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc)
- names
- 15:03 CoCoALib 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Name?
03 Dec 2015
- 13:18 CoCoA-5 0.10 hour (Slug #798 (Closed): use poly ring with many variables is too slow)
- Seems to work!
- 11:44 CoCoA-5 0.25 hour (Slug #798 (Closed): use poly ring with many variables is too slow)
- Merrily hacking code
- 11:10 CoCoA-5 0.25 hour (Slug #798 (Closed): use poly ring with many variables is too slow)
- Hashes for symbols?
- 10:09 CoCoALib 0.50 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Zech table
02 Dec 2015
- 18:24 CoCoALib 0.50 hour (Feature #826 (New): Sparse matrices)
- Some notes
- 17:17 CoCoALib 0.20 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Speed test
- 15:50 CoCoALib 0.25 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Options
- 15:13 CoCoALib 0.20 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Speed test
- 15:08 CoCoALib 0.25 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Explicit quotient rings
- 15:01 CoCoALib 0.25 hour (Feature #797 (In Progress): SmallFpImpl: make it faster)
- Design discussion
- 14:55 CoCoALib 0.50 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Done
01 Dec 2015
- 19:00 CoCoALib 0.50 hour (Bug #831 (Closed): primary.cocoa5)
- Some notes
- 15:39 CoCoALib 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Cleaning
- 15:34 CoCoALib 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Soon
- 15:29 CoCoALib 0.10 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))
- Design comments
- 15:26 CoCoALib 0.50 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))
- Mario's input
- 11:28 CoCoALib 0.10 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))
- More ideas
- 11:25 CoCoALib 0.30 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))
- Design discussion
- 14:31 CoCoALib 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Checked in
- 14:29 CoCoALib 0.20 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Doc missing
- 14:19 CoCoALib 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Names
- 14:09 CoCoALib 0.20 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Arg order
- 14:04 CoCoALib 0.20 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- An idea
- 13:55 CoCoALib 0.50 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- Almost done
- 13:14 CoCoALib 1.00 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows)
- Almost done
- 11:08 CoCoALib 0.25 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows)
- Also...
- 11:01 CoCoALib 0.50 hour (Design #806 (Closed): AssignZero for matrix)
- Removed
- 10:41 CoCoALib 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc)
- Other names
30 Nov 2015
- 18:23 CoCoALib 0.10 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- Yes!
- 17:52 CoCoALib 0.25 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- Some notes
- 18:12 CoCoALib 0.10 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))
- Solo MaxLong
- 17:42 CoCoALib 0.25 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))
- Some notes
- 11:20 CoCoALib 0.25 hour (Bug #821 (Closed): IsTermOrdering)
- Limit case
27 Nov 2015
- 17:47 CoCoALib 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?)
- Next week?
- 17:41 CoCoALib 0.10 hour (Feature #817 (New): GenRepr in CoCoALib?)
- Deadline
- 17:03 CoCoALib 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Must specify ring
- 16:27 CoCoALib 0.20 hour (Design #819 (Closed): GradingMat: does anyone need it?)
- Uses
- 16:06 CoCoALib 0.10 hour (Design #809 (New): FastCmp for degree -- useful?)
- A suggestion
- 13:15 CoCoALib 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- test-RingWeyl1
- 13:07 CoCoALib 0.25 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Edge cases
26 Nov 2015
- 19:10 CoCoALib 0.20 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd))
- Just a single function?
- 19:04 CoCoALib 0.20 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd))
- NewIntegerOrdMat
- 18:53 CoCoALib 0.25 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd))
- Some notes
- 18:40 CoCoALib 0.25 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- ZZ or QQ
- 15:07 CoCoALib 0.10 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Suggestion
- 14:58 CoCoALib 0.10 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Incompatible names
- 14:53 CoCoALib 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Semantics!
- 14:14 CoCoALib 0.50 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Partly done
- 18:20 CoCoALib 0.25 hour (Support #810 (Closed): ILogBase: change name?)
- Feedback
- 17:47 CoCoALib 0.25 hour (Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?)
- Semantics!
- 16:38 CoCoALib 0.20 hour (Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?)
- What's the difference?
- 14:21 CoCoALib 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc)
- Some notes
- 14:02 CoCoALib 0.25 hour (Bug #821 (Closed): IsTermOrdering)
- An idea
- 13:30 CoCoALib 1.00 hour (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?)
- Yes!
- 13:14 CoCoALib 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- New pseudo-ctor
- 13:08 CoCoALib 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Why the first signature?
- 11:20 CoCoA-5 0.25 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?)
- Alternatively
- 11:10 CoCoA-5 0.25 hour (Feature #673 (Closed): Error message: I was expecting...)
- An example
25 Nov 2015
- 17:06 CoCoALib 0.25 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Pandora's Box
- 16:46 CoCoALib 0.25 hour (Bug #821 (Closed): IsTermOrdering)
- Good grief!
- 14:32 CoCoALib 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Pseudo-ctors?
- 14:30 CoCoALib 0.40 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Added test
- 13:37 CoCoALib 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Ctor gives error
- 13:34 CoCoALib 0.25 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Not good
- 14:14 CoCoALib 0.25 hour (Design #819 (Closed): GradingMat: does anyone need it?)
- Background
24 Nov 2015
- 22:07 CoCoALib 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Another question
- 22:05 CoCoALib 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- File name?
- 22:00 CoCoALib 2.00 hours (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Old code was safe
- 21:55 CoCoALib 3.00 hours (Design #805 (Closed): New type for "constant" matrices?)
- zeroes
- 19:04 CoCoALib 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?)
- Approved?
- 17:28 CoCoALib 0.25 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- NewPolyRing?
- 17:26 CoCoALib 1.50 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- Cleaned code
- 15:15 CoCoALib 3.50 hours (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- Seems to work!
- 15:30 CoCoALib 0.25 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering)
- More notes
- 15:13 CoCoALib 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Mmmm?
- 15:04 CoCoALib 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Both?
- 14:14 CoCoALib 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Obsolescent?
- 13:49 CoCoALib 0.20 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Checked in
- 13:40 CoCoALib 1.00 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Almost done
- 14:30 CoCoALib 0.10 hour (Support #810 (Closed): ILogBase: change name?)
- Man page
- 14:22 CoCoALib 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Error message?
- 10:11 CoCoALib 0.25 hour (Bug #818 (In Progress): F5 with 3 args?)
- Sleep
23 Nov 2015
- 22:18 CoCoALib 0.40 hour (Bug #818 (In Progress): F5 with 3 args?)
- Grrr!
- 21:57 CoCoALib 0.25 hour (Bug #818 (In Progress): F5 with 3 args?)
- Huh?
- 21:34 CoCoALib 0.10 hour (Bug #818 (In Progress): F5 with 3 args?)
- Why?
- 21:31 CoCoALib 0.10 hour (Bug #818 (In Progress): F5 with 3 args?)
- Workaround
- 21:28 CoCoALib 2.00 hours (Bug #818 (In Progress): F5 with 3 args?)
- Grrr!
- 19:25 CoCoALib 0.30 hour (Support #810 (Closed): ILogBase: change name?)
- Checked in
- 14:37 CoCoALib 0.50 hour (Support #810 (Closed): ILogBase: change name?)
- Almost done
- 14:40 CoCoALib 0.30 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Partly done
- 14:04 CoCoALib 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- A compromise
- 13:57 CoCoALib 0.25 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Ouch!
- 13:25 CoCoALib 0.25 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Why
- 13:19 CoCoALib 0.20 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering)
- A suggestion
- 10:35 CoCoALib 0.25 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering)
- Some notes
- 13:08 CoCoALib 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- Which ring?
- 10:23 CoCoALib 0.10 hour (Support #774 (Closed): Rename file PPMonoidEvZZ)
- Another proposal
21 Nov 2015
- 20:19 CoCoALib 0.25 hour (Feature #811 (Closed): Add new fn SimplestBinaryRatBetween)
- Checked in
- 14:49 CoCoALib 2.20 hours (Feature #811 (Closed): Add new fn SimplestBinaryRatBetween)
- Almost done
- 15:09 CoCoALib 0.20 hour (Feature #440 (New): Port RealRoots to C++)
- Sooner rather than later?
- 11:27 CoCoALib 0.10 hour (Design #786 (Closed): MemPool: review min and max loaf sizes)
- Some ideas
20 Nov 2015
- 17:26 CoCoALib 3.00 hours (Design #786 (Closed): MemPool: review min and max loaf sizes)
- 14:38 CoCoALib 0.10 hour (Design #786 (Closed): MemPool: review min and max loaf sizes)
- Problems?
- 14:36 CoCoALib 0.25 hour (Support #810 (Closed): ILogBase: change name?)
- Some notes
18 Nov 2015
- 23:29 CoCoALib 0.20 hour (Bug #808 (New): Alg Extn by non-zero dim ideal)
- Workaround
Also available in: Atom