Activity
From 26 May 2018 to 24 Jun 2018
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. - 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...
- 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@*
...
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...
- 10:50 Slug #1187 (New): Matrix rank is slow (over QQ)
- The rank function is too slow:...
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 ...
- 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 ... - 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... - 16:48 Design #1159: Add global enum "verify/DontVerify"
- Close this issue and refer to #1167?
- 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... - 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...
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... - 18:32 Feature #1131 (Feedback): Sturm sequence
- Works OK in ad hoc testing -- fixed a couple of bugs.
- 18:25 Feature #1176 (In Progress): interval arithmetic
- A first prototype is in *@BigRatInterval@*
I have even written some doc!
- 18:22 Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2
- I have renamed the doc files too.
- 18:20 Design #410: New file: BigRatOps
- I have split the sources (or did Anna do it?). Updated the doc, and all other files.
- 18:18 Design #1180 (Closed): BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
- I have sorted out the doc.
- 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 ...
- 16:30 Design #764 (Resolved): ExternalLib: simplify configuration
- Can we close this?
- 16:22 Design #1162 (Feedback): Check semantics of NoSmallFactorSeq
- I have no ideas for improving this currently. So have moved to "feedback".
- 15:58 Bug #1185 (Feedback): factor: multivariate, wrong RemainingFactor (sign wrong)
- I have tested my change -- seems fine.
Checked in.
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) ...
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...
05 Jun 2018
- 23:49 Bug #1185 (In Progress): factor: multivariate, wrong RemainingFactor (sign wrong)
- More failing examples:...
04 Jun 2018
- 18:31 Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong)
- Gereon Kreme reports the following bug (JAA has confirmed)...
Also available in: Atom