Activity
From 08 Nov 2015 to 07 Dec 2015
04 Dec 2015
-
15:18 0.10 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc)
- names
-
15:03 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Name?
03 Dec 2015
-
10:09 0.50 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Zech table
02 Dec 2015
-
18:24 0.50 hour (Feature #826 (New): Sparse matrices)
- Some notes
-
17:17 0.20 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Speed test
-
15:50 0.25 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Options
-
15:13 0.20 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Speed test
-
15:08 0.25 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- Explicit quotient rings
-
15:01 0.25 hour (Feature #797 (In Progress): SmallFpImpl: make it faster)
- Design discussion
-
14:55 0.50 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Done
01 Dec 2015
-
19:00 0.50 hour (Bug #831 (Closed): primary.cocoa5)
- Some notes
-
15:39 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Cleaning
-
15:34 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Soon
-
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
-
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
-
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
-
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
-
14:31 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Checked in
-
14:29 0.20 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Doc missing
-
14:19 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Names
-
14:09 0.20 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Arg order
-
14:04 0.20 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- An idea
-
13:55 0.50 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- Almost done
-
13:14 1.00 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows)
- Almost done
-
11:08 0.25 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows)
- Also...
-
11:01 0.50 hour (Design #806 (Closed): AssignZero for matrix)
- Removed
-
10:41 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc)
- Other names
30 Nov 2015
-
18:23 0.10 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- Yes!
-
17:52 0.25 hour (Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?)
- Some notes
-
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
-
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
-
11:20 0.25 hour (Bug #821 (Closed): IsTermOrdering)
- Limit case
27 Nov 2015
-
17:47 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?)
- Next week?
-
17:41 0.10 hour (Feature #817 (New): GenRepr in CoCoALib?)
- Deadline
-
17:03 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Must specify ring
-
16:27 0.20 hour (Design #819 (Closed): GradingMat: does anyone need it?)
- Uses
-
16:06 0.10 hour (Design #809 (New): FastCmp for degree -- useful?)
- A suggestion
-
13:15 0.10 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- test-RingWeyl1
-
13:07 0.25 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Edge cases
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?
-
19:04 0.20 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd))
- NewIntegerOrdMat
-
18:53 0.25 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd))
- Some notes
-
18:40 0.25 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- ZZ or QQ
-
15:07 0.10 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Suggestion
-
14:58 0.10 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Incompatible names
-
14:53 0.20 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Semantics!
-
14:14 0.50 hour (Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!)
- Partly done
-
18:20 0.25 hour (Support #810 (Closed): ILogBase: change name?)
- Feedback
-
17:47 0.25 hour (Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?)
- Semantics!
-
16:38 0.20 hour (Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?)
- What's the difference?
-
14:21 0.25 hour (Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc)
- Some notes
-
14:02 0.25 hour (Bug #821 (Closed): IsTermOrdering)
- An idea
-
13:30 1.00 hour (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?)
- Yes!
-
13:14 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- New pseudo-ctor
-
13:08 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Why the first signature?
25 Nov 2015
-
17:06 0.25 hour (Design #822 (Closed): Should ElimMat return a ConstMatrix)
- Pandora's Box
-
16:46 0.25 hour (Bug #821 (Closed): IsTermOrdering)
- Good grief!
-
14:32 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Pseudo-ctors?
-
14:30 0.40 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Added test
-
13:37 0.10 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Ctor gives error
-
13:34 0.25 hour (Bug #814 (Closed): PPOrdering: matrix ordering, what rings are allowed.)
- Not good
-
14:14 0.25 hour (Design #819 (Closed): GradingMat: does anyone need it?)
- Background
24 Nov 2015
-
22:07 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Another question
-
22:05 0.25 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- File name?
-
22:00 2.00 hours (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Old code was safe
-
21:55 3.00 hours (Design #805 (Closed): New type for "constant" matrices?)
- zeroes
-
19:04 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?)
- Approved?
-
17:28 0.25 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- NewPolyRing?
-
17:26 1.50 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- Cleaned code
-
15:15 3.50 hours (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- Seems to work!
-
15:30 0.25 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering)
- More notes
-
15:13 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Mmmm?
-
15:04 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Both?
-
14:14 0.10 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Obsolescent?
-
13:49 0.20 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Checked in
-
13:40 1.00 hour (Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog))
- Almost done
-
14:30 0.10 hour (Support #810 (Closed): ILogBase: change name?)
- Man page
-
14:22 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Error message?
-
10:11 0.25 hour (Bug #818 (In Progress): F5 with 3 args?)
- Sleep
23 Nov 2015
-
22:18 0.40 hour (Bug #818 (In Progress): F5 with 3 args?)
- Grrr!
-
21:57 0.25 hour (Bug #818 (In Progress): F5 with 3 args?)
- Huh?
-
21:34 0.10 hour (Bug #818 (In Progress): F5 with 3 args?)
- Why?
-
21:31 0.10 hour (Bug #818 (In Progress): F5 with 3 args?)
- Workaround
-
21:28 2.00 hours (Bug #818 (In Progress): F5 with 3 args?)
- Grrr!
-
19:25 0.30 hour (Support #810 (Closed): ILogBase: change name?)
- Checked in
-
14:37 0.50 hour (Support #810 (Closed): ILogBase: change name?)
- Almost done
-
14:40 0.30 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Partly done
-
14:04 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- A compromise
-
13:57 0.25 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Ouch!
-
13:25 0.25 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Why
-
13:19 0.20 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering)
- A suggestion
-
10:35 0.25 hour (Feature #812 (New): PPMonoid pseudo-ctor without explicit ordering)
- Some notes
-
13:08 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- Which ring?
-
10:23 0.10 hour (Support #774 (Closed): Rename file PPMonoidEvZZ)
- Another proposal
21 Nov 2015
-
20:19 0.25 hour (Feature #811 (Closed): Add new fn SimplestBinaryRatBetween)
- Checked in
-
14:49 2.20 hours (Feature #811 (Closed): Add new fn SimplestBinaryRatBetween)
- Almost done
-
15:09 0.20 hour (Feature #440 (New): Port RealRoots to C++)
- Sooner rather than later?
-
11:27 0.10 hour (Design #786 (Closed): MemPool: review min and max loaf sizes)
- Some ideas
20 Nov 2015
-
17:26 3.00 hours (Design #786 (Closed): MemPool: review min and max loaf sizes)
-
14:38 0.10 hour (Design #786 (Closed): MemPool: review min and max loaf sizes)
- Problems?
-
14:36 0.25 hour (Support #810 (Closed): ILogBase: change name?)
- Some notes
18 Nov 2015
-
23:29 0.20 hour (Bug #808 (New): Alg Extn by non-zero dim ideal)
- Workaround
14 Nov 2015
-
22:14 0.50 hour (Design #592 (Closed): Review design of ConstMatrixView)
- Too many doubts!
-
20:34 0.25 hour (Bug #807 (Rejected): DiagMat: mySetEntry checks the entry is writable only if debugging active)
- Some notes
-
20:24 0.10 hour (Design #806 (Closed): AssignZero for matrix)
- Default impl
-
20:16 0.50 hour (Design #806 (Closed): AssignZero for matrix)
- Some notes
-
14:50 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- Other defn of StdDegRevLex
13 Nov 2015
-
14:51 0.25 hour (Design #805 (Closed): New type for "constant" matrices?)
- Uh oh!
-
13:45 0.20 hour (Design #805 (Closed): New type for "constant" matrices?)
- More notes
-
11:19 2.50 hours (Design #805 (Closed): New type for "constant" matrices?)
- Some notes
-
13:01 0.50 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- StdDegRevLexMat
12 Nov 2015
-
14:51 1.00 hour (Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView)
- Some notes
11 Nov 2015
-
18:19 1.00 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- First (quick) impl
-
17:30 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- Yes!
-
16:35 0.10 hour (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?)
- An example
-
13:35 0.10 hour (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?)
- Important?
-
14:19 0.25 hour (Feature #803 (In Progress): PPOrdering: use it to compute WDeg?)
- Equivalence?
-
13:47 0.25 hour (Slug #799 (In Progress): vector of "indets" in each PPMonoid?)
- Low priority?
-
10:01 0.25 hour (Slug #799 (In Progress): vector of "indets" in each PPMonoid?)
- Used only once
10 Nov 2015
-
18:38 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?)
- Updating
-
18:33 0.25 hour (Feature #802 (In Progress): DivMask: extend interface?)
- problems with *B* (updating)?
-
16:15 0.10 hour (Feature #802 (In Progress): DivMask: extend interface?)
- More notes
-
16:09 0.25 hour (Feature #802 (In Progress): DivMask: extend interface?)
- Some notes
-
16:45 0.10 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- WDeg
-
15:16 0.20 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- The problem areas
-
14:49 2.50 hours (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- Impl
-
10:17 0.20 hour (Feature #747 (Closed): New function for making list of symbols (indeterminate names))
- OK
09 Nov 2015
-
15:46 0.20 hour (Feature #801 (New): Test whether a symbol is in a ring)
- Some notes
-
15:21 0.20 hour (Feature #747 (Closed): New function for making list of symbols (indeterminate names))
- Symbol ranges
-
13:35 0.10 hour (Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs)
- Some notes
-
13:30 0.25 hour (Slug #799 (In Progress): vector of "indets" in each PPMonoid?)
- Some notes
Also available in: Atom