Activity
From 11 Jul 2023 to 09 Aug 2023
06 Aug 2023
- 12:18 CoCoALib Bug #1758: Graeffe "sign bug"
- I have removed the "sign tricks". Also checked-in.
I wonder if the doc should be changed to point out that sometime... - 12:16 CoCoA-5 Slug #1760 (In Progress): Quitting can be slow
- I have implemented a first prototype (and checked in).
The code definitely need to be cleaned!
Need to discuss with... - 11:27 CoCoALib Support #1761: MakeTermOrdMat: improve error mesg
- Source code is in @MatrixForOrdering.C@
I do wonder if the call to @MakeNonNeg@ is safe: why is the loop on line 133... - 11:25 CoCoALib Support #1761 (Closed): MakeTermOrdMat: improve error mesg
- The fn @MakeTermOrdMat@ should give a better error mesg if the input matrix is not non-negative:...
05 Aug 2023
- 11:24 CoCoA-5 Slug #1760: Quitting can be slow
- Maybe look at line 3036 in @Interpreter.C@?
We must consider all ways that CoCoA-5 can exit (outside a crash).
- 11:21 CoCoA-5 Slug #1760 (Closed): Quitting can be slow
- I hace just closed a CoCoA-5 running inside Emacs by sending a ctrl-D.
Initially I thought ctrl-D had not worked bec... - 11:10 CoCoA-5 Support #1759: Better error mesg for 1.2.3.4?
- Here is the current state:...
- 11:08 CoCoALib Slug #1756: deg(f) is slow if f is long
- Lex is clearly not std deg compatible, but if the LPP contains only the last indet, we could short-cut. Not sure thi...
- 11:04 CoCoALib Slug #1756: deg(f) is slow if f is long
- Is this an easy task which we could quickly resolve?
Do we have a test case?...
03 Aug 2023
- 16:05 CoCoA-5 Support #1759: Better error mesg for 1.2.3.4?
- Maybe try some other similar wrong inputs? @1.2.@ or @1.2.3@ or even @1.2.3.4.5@
- 16:04 CoCoA-5 Support #1759 (New): Better error mesg for 1.2.3.4?
- I mistyped and obtained an error message which could be better:...
26 Jul 2023
- 22:15 CoCoALib Bug #1758 (In Progress): Graeffe "sign bug"
- Currently, trying to compute @graeffe(f)@ over a finite field produces:...
- 22:10 CoCoALib Bug #1758 (Closed): Graeffe "sign bug"
- I put in a (not-so) "clever trick" in @graeffe@ and @graeffe3@ so that the LC is positive if the coeff rings is @ZZ/Q...
- 13:52 CoCoALib Feature #1755: CheckForInterrupt: give more info?
- Create an example of using *@GetAndResetSignalReceived@*
25 Jul 2023
- 19:31 CoCoALib Slug #1754: IsSqFree poorly implemented
- I have improved the code. It is also a bit faster (than 0.99818).
Will check in soon.
23 Jul 2023
- 18:04 CoCoALib Slug #1757: gcd(f,f) is slow
- Here is just 1 example illustrating the point:...
- 18:03 CoCoALib Slug #1757 (New): gcd(f,f) is slow
- Consider making a special case of @gcd(f,f)@ or indeed @gcd(f,k*f)@ where @k@ is a scalar.
- 18:01 CoCoALib Slug #1754 (In Progress): IsSqFree poorly implemented
- Source code around @NumTheory-factor.C:690@
20 Jul 2023
- 09:32 CoCoALib Slug #1756: deg(f) is slow if f is long
- Oddly, i believed I had recently sorted this out... evidently not.
We need a function to say whether the ordering on... - 09:29 CoCoALib Slug #1756 (In Progress): deg(f) is slow if f is long
- In a poly ring with a std deg compatible order we can compute @deg(f)@ just by looking at the first PP.
It seems we ...
14 Jul 2023
- 17:46 CoCoALib Feature #1755 (Feedback): CheckForInterrupt: give more info?
- After discussing with Anna (by phone), we think that extending @CheckForInterrupt@ as suggested in comment 2 above is...
- 15:11 CoCoALib Feature #1755: CheckForInterrupt: give more info?
- While it is not really much shorter, I was thinking of trying to implement an extension of *@CheckForInterrupt@* whic...
13 Jul 2023
- 19:54 CoCoALib Feature #1755: CheckForInterrupt: give more info?
- Here is how I managed it in my ad hoc program:...
- 19:52 CoCoALib Feature #1755 (Closed): CheckForInterrupt: give more info?
- This may be not so important...
Today I wanted to interrupt a long loop and know roughly how far the computation had... - 16:35 CoCoALib Slug #1754: IsSqFree poorly implemented
- Ahh! I misread the code. It is not as "stupid" as I thought, but it still needs improvement (for machine integers -...
- 16:25 CoCoALib Slug #1754 (Closed): IsSqFree poorly implemented
- I think *@IsSqFree@* for integers is probably poorly implemented.
Investigate, and improve. - 12:25 CoCoALib Design #1753 (Closed): Clean up EulerTotient, InvTotient jungle in NumTheory-misc
- The various functions for computing *@InvTotient@* are now rather a mess.
Clean this up, and revise documentation.
Also available in: Atom