Project

General

Profile

Activity

From 29 Nov 2022 to 28 Dec 2022

22 Dec 2022

11:18 Bug #1719 (In Progress): FactorINT has got worse
I now have a simpler case:... John Abbott

21 Dec 2022

18:28 Design #1720 (New): DivAlg in CoCoALib
We have... Anna Maria Bigatti
18:04 Feature #1488: BuiltIn Interreduce-Function
Anna Maria Bigatti wrote:
> Reminder for me: write doc for CoCoALib (and check manual for CoCoA-5)
Create the doc...
Anna Maria Bigatti

18 Dec 2022

22:24 Bug #1719: FactorINT has got worse
With the current impl on 127 factors are found, and they are all small enough to be split easily.
So why weren't the...
John Abbott
22:21 Bug #1719 (Closed): FactorINT has got worse
The following test case now works definitely worse: it does not find all factors even with a time limit of 500s
<pre...
John Abbott

16 Dec 2022

07:21 Support #1711 (Feedback): Development releases?
The page is ready: https://cocoa.dima.unige.it/cocoa/cocoalib/snapshot.shtml.
I have a personal script which calls @...
Anna Maria Bigatti

15 Dec 2022

09:15 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
If all else fails, the issue in CoCoA 5 could be fixed in the same manner as ... Nico Mexis

14 Dec 2022

22:35 Support #1711 (Resolved): Development releases?
Anna has made a prototype website. Not yet publicly visible.
We'll ask the "alpha testers" to see how it works...
John Abbott
21:05 Bug #1710 (Feedback): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
I have added a new "exbug" test. I have updated the code in @CoCoALibSupplement.C@.
I have revised the CoCoA-5 manu...
John Abbott

30 Nov 2022

22:02 Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA
I have revised the file *@doc/txt/INSTALL.txt@* to include the info here (and quite a bit more).
Closing!
John Abbott
17:25 Support #613 (Feedback): Which ubuntu / debian packages are needed to compile CoCoA
Check that the notes in this issue are aligned with those in the documentation.
Then close this issue -- OK?
John Abbott
19:45 Support #1711: Development releases?
Here is a summary of our discussion:
* Anna will make a new web page (with clearly written that snapshots are just f...
John Abbott
19:21 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
John Abbott wrote:
> Since IsCoprime can behave "unexpectedly" in ZZ[x]...
> Should we limit the applicability of I...
Anna Maria Bigatti
18:36 Feature #1488: BuiltIn Interreduce-Function
Reminder for me: write doc for CoCoALib (and check manual for CoCoA-5) Anna Maria Bigatti
18:31 Support #1481 (Closed): Release CoCoALib 0.99800
Anna Maria Bigatti wrote:
> All is done now, except publishing the documentation (I'm still investigating some techn...
Anna Maria Bigatti
17:13 Design #1716: Qn: factor for BigInt
Should we permit the user to impose a time limit on *@factor/FactorINT@*?
Is this sensible? Doubling the amount of ...
John Abbott
17:08 Design #1716: Qn: factor for BigInt
I have checked the code (& updated it).
It seems that the PollardRho loop can anyway output composite factors, thoug...
John Abbott

29 Nov 2022

21:14 Design #1716 (In Progress): Qn: factor for BigInt
I had thought about identifying non-prime factors by making them negative.
But a colleague said he found that "not v...
John Abbott
11:23 Design #1716 (Closed): Qn: factor for BigInt
What should *@factor@* for @BigInt@ do if there are large prime factors (too large to be found)?
Currently, it giv...
John Abbott
 

Also available in: Atom