Activity
From 28 May 2018 to 26 Jun 2018
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...
-
- Implement @IsZeroDet@ which should allow a fast modular impl.
-
- CoCoALib currently uses DetByCRT rather than the "clever" algorithms used in CoCoA-4.7. This issue should be about p...
-
- Done as part of work on Habilitationsschrift.
Now both dets take about 1.8s -
- One problem is that the @Makefile@ in the @examples/@ directory states explicitly that all executables depend on @CoC...
-
- Consider splitting the file @MatrixOps.C@ into subfiles with the same prefix. Currently it is over 2000 lines long.
-
- Rank is slower than det even for matrices over a small finite field.
For example a random 500x500 matrix: det takes ...
25 Jun 2018
-
00:43 CoCoALib Support #1195 (Rejected): Release: CoCoALib-0.99580 (together with CoCoA-5.2.4)
-
- I think the content of @SparsePolyOps.C@ (the original ;-) should be now moved into @SparsePolyOps-RingElem.C@ becaus...
-
- Done a long time ago, in april 2018
-
- Done a long time ago, april 2018
-
- Done a long time ago, in april 2018 (for implementing factor on algebraic extensions).
-
- Is this not subsumed by issue #259?
The only remaining question is the "squarefree" part. We could just make the ... -
- I have checked in the code. There is doc, but no tests.
I am not happy with the class names: *@GCDFreeBasis_BigIn... -
- This issue has been subsumed by #1167. Closing!
-
- Anna has not complained, so moving to *@Feedback@*.
-
- I think that @SmallPrime@ solves this matter reasonably well. It does require making 2 ctors (copy-and-paste), but t...
-
- Checked in.
-
- Result is the empty list for such an input. Fixed.
-
- Added test. Checked in.
-
- The problem is that this is old C code (@toric@), thus it impossible to make it interruptible (we can interrupt it, o...
-
- The functions @HilbertBasisKer@ and @LinKerBasis@ have the same kind of input and output.
Maybe this would be cleare...
21 Jun 2018
-
- I have impls of GCDFreeBasis for RingElem and for BigInt.
Not yet checked in/ No tests; one simple example. -
- In *@BigIntOps@* there are @quorem@ and @divexact@ (names "inherited" from GMP); but there is also @QuoRem@ in anothe...
-
- I have noticed some functions whose names do not follow the naming conventions: _e.g._ *@quorem@* and *@divexact@*
...
19 Jun 2018
-
- What should @RealRoots@ do with an input like @3*x-1@?
Currently, if the root is integer or a binary rational, @Re... -
- The problem was caused by a new better impl of @RootBound@ which can return zero (if arg is just @x@); the old @RootB...
-
- Here is a surprise:...
-
- It even fails in a univariate case... @-3*x^2+2*x@.
Investigating... -
- Something odd must have happened: @ApproxSolve@ is failing on almost trivial examples.
Here are some simpler failing... -
- The following input attempts to compute log(0)....
-
- CoCoA should never SEGV --> high priority.
Also it would help to make @HilbertBasisKer@ interruptible.
-
- I get SEGV with the following input:...
-
- High priority because it's embarassing, but hopefully easy to fix.
-
- @HilbertBasisKer@ gives an unhelpful error sometimes:...
-
- What should CoCoA-5 do when asked to compute the product of the empty list?...
-
- A potentially fast heuristic is to reduce mod p and compute the rank of the reduced matrix. This should be quick; if...
-
- The rank function is too slow:...
15 Jun 2018
-
- The "description" of the email address is correct, but the address inside the "mailto" link is incomplete.
-
- On the main web page for CoCoA, in the bottom left corner, there is a @mailto@ link for sending email to the cocoa te...
14 Jun 2018
-
- I have just started working on an implementation of isomorphic-to-subring. For example, given @QQ[x,y,z]@ it should ...
-
- Anna says that @ElimMat@ should allow a grading mat with 0 rows, but @ElimHomogMat@ should not.
I have adjusted the ... -
- What is the status of this issue?
What do we allow as "grading matrices"?
Current code requires entries to be int... -
- This appears already to have been done (and documented).
Feedback? Close?
-
- Close this issue and refer to #1167?
-
- Changing to *feedback* even though there is scope for improvement.
It seems to be difficult to do this properly in... -
- I have just checked the code: it is in @MatrixView@ (as one would expect).
I am not so happy about the names *@Row...
13 Jun 2018
-
- The CoCoA fn *@Starting@* says when a symbol comes from a package, and which package it comes from, so @describe@ sho...
12 Jun 2018
-
- Time to move to feedback.
Only remaining doubt: the function @NextPrime@ needs to be reconsidered (what happens wh... -
- Works OK in ad hoc testing -- fixed a couple of bugs.
-
- A first prototype is in *@BigRatInterval@*
I have even written some doc!
-
- I have renamed the doc files too.
-
- I have split the sources (or did Anna do it?). Updated the doc, and all other files.
-
- I have sorted out the doc.
-
- One potential problem is that strictly speaking the content must be factorized too, and it is costly to tell whether ...
-
- Can we close this?
-
- I have no ideas for improving this currently. So have moved to "feedback".
-
- I have tested my change -- seems fine.
Checked in.
10 Jun 2018
-
- I believe I have fixed the problem (without really finding what was the original bug).
I have changed the (ancient) ...
07 Jun 2018
-
- 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
-
- More failing examples:...
04 Jun 2018
-
- Gereon Kreme reports the following bug (JAA has confirmed)...
Also available in: Atom