Project

General

Profile

Activity

From 08 Jul 2023 to 06 Aug 2023

06 Aug 2023

12:18 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...
John Abbott
11:27 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...
John Abbott
11:25 Support #1761 (Closed): MakeTermOrdMat: improve error mesg
The fn @MakeTermOrdMat@ should give a better error mesg if the input matrix is not non-negative:... John Abbott

05 Aug 2023

11:08 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... John Abbott
11:04 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?...
John Abbott

26 Jul 2023

22:15 Bug #1758 (In Progress): Graeffe "sign bug"
Currently, trying to compute @graeffe(f)@ over a finite field produces:... John Abbott
22:10 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... John Abbott
13:52 Feature #1755: CheckForInterrupt: give more info?
Create an example of using *@GetAndResetSignalReceived@*
John Abbott

25 Jul 2023

19:31 Slug #1754: IsSqFree poorly implemented
I have improved the code. It is also a bit faster (than 0.99818).
Will check in soon.
John Abbott

23 Jul 2023

18:04 Slug #1757: gcd(f,f) is slow
Here is just 1 example illustrating the point:... John Abbott
18:03 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.
John Abbott
18:01 Slug #1754 (In Progress): IsSqFree poorly implemented
Source code around @NumTheory-factor.C:690@ John Abbott

20 Jul 2023

09:32 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...
John Abbott
09:29 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 ...
John Abbott

14 Jul 2023

17:46 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... John Abbott
15:11 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... John Abbott

13 Jul 2023

19:54 Feature #1755: CheckForInterrupt: give more info?
Here is how I managed it in my ad hoc program:... John Abbott
19:52 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...
John Abbott
16:35 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 -... John Abbott
16:25 Slug #1754 (Closed): IsSqFree poorly implemented
I think *@IsSqFree@* for integers is probably poorly implemented.
Investigate, and improve.
John Abbott
12:25 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.
John Abbott
 

Also available in: Atom