Project

General

Profile

Activity

From 27 Jun 2023 to 26 Jul 2023

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

03 Jul 2023

17:49 Design #1378: Create two separate radical fns (for 0-dim ideals)
After discussing, we have decided to postpone this until a real use-case comes up.
Postponing indefinitely.
John Abbott
16:12 Design #1750: IdealOfPoints: allow duplicate points?
If we decide to permit duplicate points, implementation should be conceptually very easy... just tedious.
And don't ...
John Abbott
16:11 Design #1750 (In Progress): IdealOfPoints: allow duplicate points?
In a recent email a user (puwu) reported a "bug" in CoCoA.
The supplied program wanted to compute *@IdealOfPoints@* ...
John Abbott
14:52 Bug #1749: Configuration hiccups on Mac M1
... John Abbott
14:51 Bug #1749 (Closed): Configuration hiccups on Mac M1
Max Horn reported by email several configuration/compilation hiccups on Mac M1 platform.
Investigate & fix.
John Abbott

30 Jun 2023

21:23 Feature #1748: July 2023
Here is a list of topics we should look at:
* better computation of Hilbert series (in general setting)
* computa...
John Abbott
21:20 Feature #1748 (New): July 2023
This issue is about what to do during the first week of July (2023)... not so closely related to CoCoALib.
John Abbott
 

Also available in: Atom