John Abbott's activity
From 23 Jun 2018 to 22 Jul 2018
02 Jul 2018
- 18:42 CoCoALib 0.50 hour (Feature #1198 (New): Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex))
- Some thoughts
- 18:42 CoCoALib Feature #1198: Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex)
- Here are some thoughts about the design/impl.
If the GradingDim is 1 then we have a vector of positive "weights": ...
28 Jun 2018
- 11:00 CoCoALib 1.50 hour (Bug #1199 (Closed): GCD bug with high degree arg)
- Looking for simpler example
- 11:00 CoCoALib Bug #1199 (In Progress): GCD bug with high degree arg
- I wrote a program to try all primes in increasing order. None up to about 12000. Then restarted from 30000, and fou...
- 10:54 CoCoALib Bug #1199 (Closed): GCD bug with high degree arg
- ...
27 Jun 2018
- 15:08 CoCoALib Feature #1198 (New): Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex)
- There is a family of cases where a "DegRevLex" ordering with "non-standard" weights is useful.
This can be implement...
26 Jun 2018
- 15:25 CoCoALib Feature #82: C++11 compatibility questions
- I read somewhere on the internet that it is probably better to jump straight to C++14 rather than to C++11; the argum...
- 15:25 CoCoALib 0.25 hour (Feature #82 (Closed): C++11 compatibility questions)
- Better C++14
- 14:40 CoCoALib Feature #1197 (In Progress): IsZeroDet: new fn
- Implement @IsZeroDet@ which should allow a fast modular impl.
- 14:38 CoCoALib 0.25 hour (Slug #691 (Closed): Matrix determinant over ZZ)
- Must port the old code
- 14:38 CoCoALib Slug #691: Matrix determinant over ZZ
- CoCoALib currently uses DetByCRT rather than the "clever" algorithms used in CoCoA-4.7. This issue should be about p...
- 14:32 CoCoALib Slug #1110 (Feedback): Determinant of matrix over QQ (whose entries are actually integers)
- Done as part of work on Habilitationsschrift.
Now both dets take about 1.8s - 14:32 CoCoALib 20.00 hours (Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers))
- Already done
- 11:51 CoCoALib 0.25 hour (Design #1124 (Closed): Move examples directory into doc -- or just change makefile?)
- Another idea
- 11:51 CoCoALib Design #1124: Move examples directory into doc -- or just change makefile?
- One problem is that the @Makefile@ in the @examples/@ directory states explicitly that all executables depend on @CoC...
- 11:31 CoCoALib Support #1196 (Closed): Split MatrixOps
- Consider splitting the file @MatrixOps.C@ into subfiles with the same prefix. Currently it is over 2000 lines long.
- 11:29 CoCoALib Slug #1187: Matrix rank is slow (over QQ)
- Rank is slower than det even for matrices over a small finite field.
For example a random 500x500 matrix: det takes ... - 11:29 CoCoALib 0.20 hour (Slug #1187 (New): Matrix rank is slow (over QQ))
- Slow mod p too
25 Jun 2018
- 15:28 CoCoALib 0.20 hour (Feature #4 (Rejected): Squarefree GCD-free basis)
- Subsumed?
- 15:28 CoCoALib Feature #4 (In Progress): Squarefree GCD-free basis
- Is this not subsumed by issue #259?
The only remaining question is the "squarefree" part. We could just make the ... - 15:25 CoCoALib 0.25 hour (Feature #259 (Closed): Squarefree(?) GCD-free basis)
- Bad names
- 15:25 CoCoALib Feature #259: Squarefree(?) GCD-free basis
- I have checked in the code. There is doc, but no tests.
I am not happy with the class names: *@GCDFreeBasis_BigIn... - 15:06 CoCoALib 0.15 hour (Design #1159 (Closed): Add global enum "verify/DontVerify")
- Subsumed
- 15:06 CoCoALib Design #1159 (Closed): Add global enum "verify/DontVerify"
- This issue has been subsumed by #1167. Closing!
- 14:37 CoCoALib Design #1182 (Feedback): "mod" for BigInt
- Anna has not complained, so moving to *@Feedback@*.
- 14:37 CoCoALib 0.10 hour (Design #1182 (Closed): "mod" for BigInt)
- Apparently almost done
- 14:10 CoCoALib 1.00 hour (Feature #1154 (Closed): SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime)
- Resolved
- 14:10 CoCoALib Feature #1154 (Feedback): SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime
- I think that @SmallPrime@ solves this matter reasonably well. It does require making 2 ctors (copy-and-paste), but t...
Also available in: Atom