Activity - CoCoALib - CoCoA Project

Activity

From 19 Nov 2015 to 18 Dec 2015

18 Dec 2015

16:26 3.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Checked in John Abbott

17 Dec 2015

16:19 15.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Implemented John Abbott
16:07 0.25 hour (Design #64 (Closed): submat takes only vector<long>): More ideas John Abbott
14:33 0.25 hour (Design #64 (Closed): submat takes only vector<long>): Anna Maria Bigatti

16 Dec 2015

18:23 0.25 hour (Design #64 (Closed): submat takes only vector<long>): Scott Meyers's advice John Abbott
18:11 0.25 hour (Design #64 (Closed): submat takes only vector<long>): More ideas John Abbott
11:42 0.25 hour (Design #64 (Closed): submat takes only vector<long>): Anna Maria Bigatti
11:52 0.25 hour (Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?): Anna Maria Bigatti

10 Dec 2015

18:19 0.30 hour (Feature #836 (Closed): SmallFpImpl: export fns for a fixed convention): Done John Abbott
15:59 0.25 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering)): ColCheck John Abbott
14:36 0.50 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering)): Anna Maria Bigatti
10:17 0.50 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering)): Partly done John Abbott

09 Dec 2015

22:08 0.75 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering)): Debugging Anna Maria Bigatti
13:41 0.25 hour (Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering)): The root cause John Abbott
17:02 0.10 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Promises, promises John Abbott
17:00 0.25 hour (Feature #142 (In Progress): Improve threadsafety): In the future? John Abbott
13:09 0.25 hour (Feature #142 (In Progress): Improve threadsafety): Single flag John Abbott
16:55 0.25 hour (Bug #784 (In Progress): threadsafety: Scott Meyers's advice about cached values): Suggestion John Abbott
16:48 0.25 hour (Feature #835 (New): Make Mario's new code threadsafe): Hint John Abbott
13:54 0.25 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)): Another proposal John Abbott

08 Dec 2015

15:06 0.25 hour (Bug #833 (New): UIBC: need include file in RingWeyl.C): Design problem? John Abbott
14:01 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc): Implemented John Abbott
13:03 0.10 hour (Feature #665 (In Progress): Integrate Janet/Pommaret basis code): KISS John Abbott
12:32 0.25 hour (Feature #665 (In Progress): Integrate Janet/Pommaret basis code): User interface John Abbott
11:42 1.00 hour (Feature #665 (In Progress): Integrate Janet/Pommaret basis code): Initial integration John Abbott

04 Dec 2015

15:18 0.10 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc): names John Abbott
15:03 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!): Name? John Abbott

03 Dec 2015

10:09 0.50 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Zech table John Abbott

02 Dec 2015

18:24 0.50 hour (Feature #826 (New): Sparse matrices): Some notes John Abbott
17:17 0.20 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Speed test John Abbott
15:50 0.25 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Options John Abbott
15:13 0.20 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Speed test John Abbott
15:08 0.25 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): Explicit quotient rings John Abbott
15:01 0.25 hour (Feature #797 (In Progress): SmallFpImpl: make it faster): Design discussion John Abbott
14:55 0.50 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView): Done John Abbott

01 Dec 2015

19:00 0.50 hour (Bug #831 (Closed): primary.cocoa5): Some notes John Abbott
15:39 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.): Cleaning John Abbott
15:34 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!): Soon John Abbott
15:29 0.10 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)): Design comments John Abbott
15:26 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 John Abbott
11:28 0.10 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)): More ideas John Abbott
11:25 0.30 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)): Design discussion John Abbott
14:31 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix): Checked in John Abbott
14:29 0.20 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix): Doc missing John Abbott
14:19 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix): Names John Abbott
14:09 0.20 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix): Arg order John Abbott
14:04 0.20 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?): An idea John Abbott
13:55 0.50 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?): Almost done John Abbott
13:14 1.00 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows): Almost done John Abbott
11:08 0.25 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows): Also... John Abbott
11:01 0.50 hour (Design #806 (Closed): AssignZero for matrix): Removed John Abbott
10:41 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc): Other names John Abbott

30 Nov 2015

18:23 0.10 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?): Yes! John Abbott
17:52 0.25 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?): Some notes John Abbott
18:12 0.10 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)): Solo MaxLong John Abbott
17:42 0.25 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)): Some notes John Abbott
11:20 0.25 hour (Bug #821 (Closed): IsTermOrdering): Limit case John Abbott

27 Nov 2015

17:47 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?): Next week? John Abbott
17:41 0.10 hour (Feature #817 (New): GenRepr in CoCoALib?): Deadline John Abbott
17:03 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView): Must specify ring John Abbott
16:27 0.20 hour (Design #819 (Closed): GradingMat: does anyone need it?): Uses John Abbott
16:06 0.10 hour (Design #809 (New): FastCmp for degree -- useful?): A suggestion John Abbott
13:15 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix): test-RingWeyl1 John Abbott
13:07 0.25 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix): Edge cases John Abbott

26 Nov 2015

19:10 0.20 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)): Just a single function? John Abbott
19:04 0.20 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)): NewIntegerOrdMat John Abbott
18:53 0.25 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)): Some notes John Abbott
18:40 0.25 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!): ZZ or QQ John Abbott
15:07 0.10 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!): Suggestion John Abbott
14:58 0.10 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!): Incompatible names John Abbott
14:53 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!): Semantics! John Abbott
14:14 0.50 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!): Partly done John Abbott
18:20 0.25 hour (Support #810 (Closed): ILogBase: change name?): Feedback John Abbott
17:47 0.25 hour (Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?): Semantics! John Abbott
16:38 0.20 hour (Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?): What's the difference? John Abbott
14:21 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc): Some notes John Abbott
14:02 0.25 hour (Bug #821 (Closed): IsTermOrdering): An idea John Abbott
13:30 1.00 hour (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?): Yes! John Abbott
13:14 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.): New pseudo-ctor John Abbott
13:08 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.): Why the first signature? John Abbott

25 Nov 2015

17:06 0.25 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix): Pandora's Box John Abbott
16:46 0.25 hour (Bug #821 (Closed): IsTermOrdering): Good grief! John Abbott
14:32 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.): Pseudo-ctors? John Abbott
14:30 0.40 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.): Added test John Abbott
13:37 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.): Ctor gives error John Abbott
13:34 0.25 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.): Not good John Abbott
14:14 0.25 hour (Design #819 (Closed): GradingMat: does anyone need it?): Background John Abbott

24 Nov 2015

22:07 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView): Another question John Abbott
22:05 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView): File name? John Abbott
22:00 2.00 hours (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView): Old code was safe John Abbott
21:55 3.00 hours (Design #805 (Closed): New type for "constant" matrices?): zeroes John Abbott
19:04 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?): Approved? John Abbott
17:28 0.25 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs): NewPolyRing? John Abbott
17:26 1.50 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs): Cleaned code John Abbott
15:15 3.50 hours (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs): Seems to work! John Abbott
15:30 0.25 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering): More notes John Abbott
15:13 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)): Mmmm? John Abbott
15:04 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)): Both? John Abbott
14:14 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)): Obsolescent? John Abbott
13:49 0.20 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)): Checked in John Abbott
13:40 1.00 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)): Almost done John Abbott
14:30 0.10 hour (Support #810 (Closed): ILogBase: change name?): Man page John Abbott
14:22 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error): Error message? John Abbott
10:11 0.25 hour (Bug #818 (In Progress): F5 with 3 args?): Sleep John Abbott

23 Nov 2015

22:18 0.40 hour (Bug #818 (In Progress): F5 with 3 args?): Grrr! John Abbott
21:57 0.25 hour (Bug #818 (In Progress): F5 with 3 args?): Huh? John Abbott
21:34 0.10 hour (Bug #818 (In Progress): F5 with 3 args?): Why? John Abbott
21:31 0.10 hour (Bug #818 (In Progress): F5 with 3 args?): Workaround John Abbott
21:28 2.00 hours (Bug #818 (In Progress): F5 with 3 args?): Grrr! John Abbott
19:25 0.30 hour (Support #810 (Closed): ILogBase: change name?): Checked in John Abbott
14:37 0.50 hour (Support #810 (Closed): ILogBase: change name?): Almost done John Abbott
14:40 0.30 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error): Partly done John Abbott
14:04 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error): A compromise John Abbott
13:57 0.25 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error): Ouch! John Abbott
13:25 0.25 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error): Why John Abbott
13:19 0.20 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering): A suggestion John Abbott
10:35 0.25 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering): Some notes John Abbott
13:08 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView): Which ring? John Abbott
10:23 0.10 hour (Support #774 (Closed): Rename file PPMonoidEvZZ): Another proposal John Abbott

21 Nov 2015

20:19 0.25 hour (Feature #811 (Closed): Add new fn SimplestBinaryRatBetween): Checked in John Abbott
14:49 2.20 hours (Feature #811 (Closed): Add new fn SimplestBinaryRatBetween): Almost done John Abbott
15:09 0.20 hour (Feature #440 (New): Port RealRoots to C++): Sooner rather than later? John Abbott
11:27 0.10 hour (Design #786 (Closed): MemPool: review min and max loaf sizes): Some ideas John Abbott

20 Nov 2015

17:26 3.00 hours (Design #786 (Closed): MemPool: review min and max loaf sizes): Anna Maria Bigatti
14:38 0.10 hour (Design #786 (Closed): MemPool: review min and max loaf sizes): Problems? John Abbott
14:36 0.25 hour (Support #810 (Closed): ILogBase: change name?): Some notes John Abbott

Also available in: Atom