Activity
From 03 Nov 2015 to 02 Dec 2015
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
07 Nov 2015
- 22:35 1.00 hour (Feature #797 (In Progress): SmallFpImpl: make it faster)
- Some notes
05 Nov 2015
- 16:47 0.50 hour (Feature #796 (Closed): CoCoALib function for radical (or SqFree) of a polynomial)
- browsing the code
- 16:14 0.10 hour (Feature #48 (Closed): Squarefree factorization - multivariate polynomials, char 0)
- Ahh, yes
- 16:01 0.20 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- An idea
- 15:41 0.50 hour (Feature #795 (Closed): Add new fn InvModNoCheck)
- Almost done
- 15:37 0.10 hour (Design #649 (Closed): Make SmallFpImpl safer to use)
- Feedback
- 15:36 0.10 hour (Design #649 (Closed): Make SmallFpImpl safer to use)
- Feedback
- 13:17 0.25 hour (Design #649 (Closed): Make SmallFpImpl safer to use)
- Possible name
- 11:49 0.25 hour (Design #649 (Closed): Make SmallFpImpl safer to use)
- What to do?
- 11:15 1.00 hour (Design #649 (Closed): Make SmallFpImpl safer to use)
- Mystery resolved
04 Nov 2015
- 19:41 3.00 hours (Design #649 (Closed): Make SmallFpImpl safer to use)
- Almost done
03 Nov 2015
- 22:59 0.10 hour (Feature #48 (Closed): Squarefree factorization - multivariate polynomials, char 0)
- Generalization?
- 16:15 0.10 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- Compilation times
- 15:00 0.25 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- Recompiling
- 14:58 0.25 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- Recompiling
- 14:58 0.25 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- Recompiling
- 14:58 0.25 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- Recompiling
- 12:56 0.10 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- Timing
- 11:34 0.10 hour (Bug #793 (Closed): compilation on fedora 23: some worrying "error messages")
- Lengthy
- 11:31 0.10 hour (Design #649 (Closed): Make SmallFpImpl safer to use)
- Nice idea
Also available in: Atom