Project

General

Profile

Activity

From 28 May 2018 to 26 Jun 2018

26 Jun 2018

15:25 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... John Abbott
14:40 Feature #1197 (In Progress): IsZeroDet: new fn
Implement @IsZeroDet@ which should allow a fast modular impl. John Abbott
14:38 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... John Abbott
14:32 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
John Abbott
11:51 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... John Abbott
11:31 Support #1196 (Closed): Split MatrixOps
Consider splitting the file @MatrixOps.C@ into subfiles with the same prefix. Currently it is over 2000 lines long.
John Abbott
11:29 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 ...
John Abbott

25 Jun 2018

00:43 Support #1195 (Rejected): Release: CoCoALib-0.99580 (together with CoCoA-5.2.4)
Anna Maria Bigatti
00:39 Design #1177: File names: use "SparsePolyOps" prefix for pertinent files
I think the content of @SparsePolyOps.C@ (the original ;-) should be now moved into @SparsePolyOps-RingElem.C@ becaus... Anna Maria Bigatti
00:31 Feature #1178 (Feedback): New function: myPrimaryDecomposition_0dim
Done a long time ago, in april 2018 Anna Maria Bigatti
00:28 Slug #1009 (Feedback): coefficients for MinPoly e Frobenius
Done a long time ago, april 2018 Anna Maria Bigatti
00:27 Feature #901 (Feedback): New function: PrimaryDecomposition0 in CoCoALib
Done a long time ago, in april 2018 (for implementing factor on algebraic extensions). Anna Maria Bigatti
15:28 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 ...
John Abbott
15:25 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...
John Abbott
15:06 Design #1159 (Closed): Add global enum "verify/DontVerify"
This issue has been subsumed by #1167. Closing! John Abbott
14:37 Design #1182 (Feedback): "mod" for BigInt
Anna has not complained, so moving to *@Feedback@*.
John Abbott
14:10 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... John Abbott

21 Jun 2018

22:39 Feature #259 (Resolved): Squarefree(?) GCD-free basis
I have impls of GCDFreeBasis for RingElem and for BigInt.
Not yet checked in/ No tests; one simple example.
John Abbott
15:39 Support #1193: Naming convention mistakes
In *@BigIntOps@* there are @quorem@ and @divexact@ (names "inherited" from GMP); but there is also @QuoRem@ in anothe... John Abbott
15:38 Support #1193 (New): Naming convention mistakes
I have noticed some functions whose names do not follow the naming conventions: _e.g._ *@quorem@* and *@divexact@*
...
John Abbott

19 Jun 2018

10:56 Slug #1187: Matrix rank is slow (over QQ)
A potentially fast heuristic is to reduce mod p and compute the rank of the reduced matrix. This should be quick; if... John Abbott
10:50 Slug #1187 (New): Matrix rank is slow (over QQ)
The rank function is too slow:... John Abbott

14 Jun 2018

21:04 Design #832: Generalize grading matrix
I have just started working on an implementation of isomorphic-to-subring. For example, given @QQ[x,y,z]@ it should ... John Abbott
17:28 Bug #935 (Feedback): ElimMat, ElimHomogMat: complain about zero or negative weights
Anna says that @ElimMat@ should allow a grading mat with 0 rows, but @ElimHomogMat@ should not.
I have adjusted the ...
John Abbott
16:16 Bug #935 (In Progress): ElimMat, ElimHomogMat: complain about zero or negative weights
What is the status of this issue?
What do we allow as "grading matrices"?
Current code requires entries to be int...
John Abbott
16:48 Design #1159: Add global enum "verify/DontVerify"
Close this issue and refer to #1167?
John Abbott
16:29 Slug #1181 (Feedback): CpuTime is costly!
Changing to *feedback* even though there is scope for improvement.
It seems to be difficult to do this properly in...
John Abbott
15:53 Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
I have just checked the code: it is in @MatrixView@ (as one would expect).
I am not so happy about the names *@Row...
John Abbott

12 Jun 2018

18:35 Feature #1155 (Feedback): Create a new "prime source" iterator
Time to move to feedback.
Only remaining doubt: the function @NextPrime@ needs to be reconsidered (what happens wh...
John Abbott
18:32 Feature #1131 (Feedback): Sturm sequence
Works OK in ad hoc testing -- fixed a couple of bugs.
John Abbott
18:25 Feature #1176 (In Progress): interval arithmetic
A first prototype is in *@BigRatInterval@*
I have even written some doc!
John Abbott
18:22 Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2
I have renamed the doc files too. John Abbott
18:20 Design #410: New file: BigRatOps
I have split the sources (or did Anna do it?). Updated the doc, and all other files.
John Abbott
18:18 Design #1180 (Closed): BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
I have sorted out the doc.
John Abbott
16:50 Bug #1130 (In Progress): SqFreeFactor: should it work over ZZ?
One potential problem is that strictly speaking the content must be factorized too, and it is costly to tell whether ... John Abbott
16:30 Design #764 (Resolved): ExternalLib: simplify configuration
Can we close this?
John Abbott
16:22 Design #1162 (Feedback): Check semantics of NoSmallFactorSeq
I have no ideas for improving this currently. So have moved to "feedback".
John Abbott
15:58 Bug #1185 (Feedback): factor: multivariate, wrong RemainingFactor (sign wrong)
I have tested my change -- seems fine.
Checked in.
John Abbott

10 Jun 2018

22:28 Bug #1185 (Resolved): factor: multivariate, wrong RemainingFactor (sign wrong)
I believe I have fixed the problem (without really finding what was the original bug).
I have changed the (ancient) ...
John Abbott

07 Jun 2018

10:57 Bug #1185: factor: multivariate, wrong RemainingFactor (sign wrong)
I have a workaround for the problem: in the file @factor.C@ I ensure that all factors have positive leading coeff, an... John Abbott

05 Jun 2018

23:49 Bug #1185 (In Progress): factor: multivariate, wrong RemainingFactor (sign wrong)
More failing examples:... John Abbott

04 Jun 2018

18:31 Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong)
Gereon Kreme reports the following bug (JAA has confirmed)... John Abbott
 

Also available in: Atom