CoCoA Project

10 Mar 2023

17:48 CoCoALib Feature #718 (Resolved): Insert calls to CheckForInterrupt

I do this whenever I encounter a case which is not yet covered.
I think most cases are now covered. Hence 90%. But... John Abbott

17:46 CoCoALib Slug #1557 (Closed): Reading list of rationals is too slow

This is not so important. Yes, it is strange that CoCoA-5 can read the input so fast... but it is not important.
John Abbott

17:31 CoCoA-5 Design #1075: LaTeX package: power-product printing

I am a little unhappy about @\!\:@ which does look rather ugly.
Maybe it is OK if (at least) one of the indets does... John Abbott

17:28 CoCoA-5 Design #1075 (Resolved): LaTeX package: power-product printing

I like the suggestion of putting a backslash in front of all long indet names:
* if the indet name is a greek letter... John Abbott

17:08 CoCoA-5 Feature #7 (Resolved): Automatic mapping between (some) rings

What is the status of this issue?
I thought it was almost finished.
John Abbott

09 Mar 2023

23:11 CoCoA-5 Design #635 (Feedback): Automatic mapping of RingElem (in operation with a compound value)

I have changed the err mesg to be more comprehensible: "automatic" instead of "auto".
I think we can close this is... John Abbott

23:03 CoCoA-5 Slug #948 (Feedback): radical is slow (compared to singular) on these examples

John Abbott

22:57 CoCoA-5 Support #1077: Manual: remove old stuff about "devices"

Shall I just do this?
Any objections?
John Abbott

22:56 CoCoA-5 Design #1477 (Feedback): Packages: questions from Andraschko

Current state (2023-03-09):
*(A)* and *(B)* and *(C)* have effectively been solved.
For *(D)* there is a workaround... John Abbott

22:45 CoCoA-5 Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg"

Is there any news from Passau about this issue?
Is there an improved version of *@OperationCommunication.cpkg5@*?
John Abbott

22:42 CoCoA-5 Bug #1695 (Closed): boost-find-lib.sh

John Abbott

22:41 CoCoA-5 Design #1696 (Closed): Which BOOST libs are actually needed?

John Abbott

22:39 CoCoA-5 Feature #1718 (Feedback): FactorINT with time-out

No one objected to *@FactorINT_TimeOut@*.
I wonder if *@GBasisTimeout@* should be renamed to *@GBasis_TimeOut@* -- w... John Abbott

22:37 CoCoALib Bug #1719 (Feedback): FactorINT has got worse

The current code works a lot better.
I suppose I should find time sooner or later to *implement the idea in comment ... John Abbott

22:25 CoCoALib Feature #1488: BuiltIn Interreduce-Function

*Anna?*
John Abbott

22:23 CoCoALib Design #1689 (Closed): Automatic mapping of RHS in += etc

John Abbott

22:15 CoCoALib Feature #800 (Closed): PPMonoidSparse: impl of sparse PPs

It make sense to close this issue, and let issue #842 deal with the disappointing execution speed.
John Abbott

22:11 CoCoALib Support #1265 (Resolved): Unregistered TXT files in doc

The only remaining case is *@SparsePolyOps.txt@* which is almost empty...
*BUT* there are several other files *@Spar... John Abbott

22:01 CoCoALib Support #26: Redmine Administration

*Anna:* could you produce a short user-guide for redmine.
I think it will be useful for both of us!
Not sure where... John Abbott

21:58 CoCoALib Bug #536 (Closed): Make RingBase::myCharacteristic a fn rather than a proc

John Abbott

21:57 CoCoALib Feature #253 (Resolved): W.Bruns's wish list

Shall we close this very old issue? Most of its children have been completed.
John Abbott

21:53 CoCoALib Design #855: Copyright and authorship?

I think we can close this.
The code by Arri is destined to be removed before too long (and no one is maintaining it)... John Abbott

21:50 CoCoALib Bug #1522 (Closed): SEGV: avoid long linked lists of loaves in MemPools

John Abbott

21:48 CoCoALib Feature #1694 (Closed): New expv/exponents function?

I have cleaned up all calls which I think needed cleaning.
*Observation:* I thought it was odd that @exponents(exp... John Abbott

20:55 CoCoALib Bug #1712: Windows: New configuration script

We are hoping to make a new official release in the next few days (probably early next week).
*@Nico:* Will you be a... John Abbott

20:49 CoCoALib Bug #1725 (Closed): resultant: gives wrong answer when should be 0

I have some doubts about correct @SubresultanSeq@ is... it seemed to contain a 0 for one test input (now forgotten).
... John Abbott

20:16 CoCoALib Bug #1726 (In Progress): Dangling references to temporaries

I am still perplexed by these warnings. I'm pretty sure the code is safe: all it is doing is giving a convenient sho... John Abbott

09:43 CoCoALib Bug #1726: Dangling references to temporaries

Thanks for letting us know! We are about to release a new version of CoCoA... hopefully tomorrow or early next week.... John Abbott

08 Mar 2023

21:37 CoCoALib Bug #1522 (Feedback): SEGV: avoid long linked lists of loaves in MemPools

I'm not convinced the test in comment 12 is really a good test.
Anyway, i have reproduced results which suggest that... John Abbott

21:13 CoCoALib Slug #1337 (In Progress): PrimaryDecomposition: a interesting/pathological example

2023-03-08 I have just run the example (on my current GNU/Linux box).
The times are: 0.33s and 499s (ouch! slow... John Abbott

20:52 CoCoALib Design #1689 (In Progress): Automatic mapping of RHS in += etc

The current impl gives an error if the LHS would be promoted.
I am inclined to accept this impl, and close this issu... John Abbott

20:29 CoCoALib Bug #536 (Feedback): Make RingBase::myCharacteristic a fn rather than a proc

I have made the change. I really cannot see a sane use-case where @characteristic@ needs to be super efficient.
I h... John Abbott

19:48 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-"

What is the status of this issue? Is it advanced enough that we can close this week? (I hope so)
John Abbott

19:44 CoCoALib Support #59: List of all functions in CoCoALib

I think the documentation for CoCoALib needs a major overhaul...
Something similar to what we have made for CoCoA-5 ... John Abbott

07 Mar 2023

21:00 CoCoALib Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)

I'm closing this issue -- I think it has become too long (20 comments).
The current @configure@ script is definitely... John Abbott

20:55 CoCoALib Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

John Abbott

20:54 CoCoALib Feature #1694: New expv/exponents function?

Let's discuss this issue. I hope we can close it this week!
John Abbott

20:51 CoCoALib Support #1265: Unregistered TXT files in doc

Let's discuss this issue. I hope we can resolve it this week.
John Abbott

20:49 CoCoALib Support #1263: Tidy CoCoALib test directory

It would be nice to close this issue... I have decided to postpone it, since it likely requires some discussion.
I... John Abbott

20:38 CoCoALib Design #1572: Use noexcept

Postponing to have more time to discuss & think; also there is not enough time to make the checks implied by the last... John Abbott

20:36 CoCoALib Design #1572: Use noexcept

*Point 1*
As in the previous comment: for fns which use @CoCoA_ASSERT@ we can now write something like... John Abbott

20:27 CoCoALib Feature #1723 (Closed): New fn CoprimePart, OddPart: naming question

John Abbott

20:23 CoCoA-5 Support #1675: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows

We plan to make a new release quite soon (before the CoCoA School).
I'm hoping Nico Mexis might be willing to make t... John Abbott

06 Mar 2023

22:41 CoCoALib Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

I have now extended *@IsCoprime@* so that it covers integers and ring elems,and a mixture of the two.
Added tests, a... John Abbott

20:56 CoCoALib Feature #1723: New fn CoprimePart, OddPart: naming question

I have added _b-free part_ as a keyword (or similar).
The fn name I have kept as @CoprimePart@, as it seems a reason... John Abbott

20:54 CoCoALib Bug #1725: resultant: gives wrong answer when should be 0

Now I think I have really fixed it!
Also added an exbugs test.
Will check in shortly.
John Abbott

05 Mar 2023

20:15 CoCoALib Bug #1725 (Resolved): resultant: gives wrong answer when should be 0

I have now fixed it. Will add a new exbugs test, and check in.
John Abbott

20:14 CoCoALib Bug #1725 (Closed): resultant: gives wrong answer when should be 0

Here is a smaple input (in CoCoA-5):... John Abbott

18:52 CoCoALib Design #1572: Use noexcept

I have just modified @configure@ so that it defines the CPP macro *@CoCoA_DEBUG_MODE@*.
This new macro is either *@t... John Abbott

27 Feb 2023

20:45 CoCoA-5 Design #1681: Should Starting be case-insensitive?

I have just revised the impl in *@coclib.cpkg5@*
Right now there is a local variable which says whether to do a case... John Abbott

20:23 CoCoA-5 Design #1681 (In Progress): Should Starting be case-insensitive?

A disadvantage of being case insensitive is that it may sometimes produce too much output...
in theory... are there ... John Abbott

20:17 CoCoALib Feature #1723: New fn CoprimePart, OddPart: naming question

Oops! I had meant to include Nico Mexis as a watcher for this issue.
I have just added him. Let's see if he has an... John Abbott

20:15 CoCoALib Feature #1723: New fn CoprimePart, OddPart: naming question

Thanks for the feedback!
I must agree that it is probably easier to guess what the fn does if it is called *@Coprime... John Abbott

20:12 CoCoALib Design #1721 (In Progress): Verbose messages: print level?

I wonder whether the format you propose is too terse, but then making it longer perhaps produces too much output?
No... John Abbott

20 Feb 2023

21:54 CoCoALib Feature #1723 (In Progress): New fn CoprimePart, OddPart: naming question

Since I need the fn for something else, I'll proceed with *@CoprimePart@*.
But I still hope to get feedback, and per... John Abbott

14 Feb 2023

21:29 CoCoA-5 Support #1688: Release CoCoA 5.4.2

**VIETNAM**
We should decide what to complete before the School in Vietnam.
The (pretty hard) deadline should be ... John Abbott

21:26 CoCoA-5 Design #1698: indent: return a string?

I do not have @IndentStr@:... John Abbott

21:23 CoCoA-5 Slug #1722 (In Progress): Daft slug

On my current linux box the timings are:... John Abbott

21:20 CoCoALib Design #1721: Verbose messages: print level?

Does anyone have any comments? Better ideas?
John Abbott

21:18 CoCoALib Feature #1723: New fn CoprimePart, OddPart: naming question

I thought of @OddPart@ first (because I needed it somewhere).
Then I found I wanted the more general version, but ha... John Abbott

21:11 CoCoALib Feature #1723 (Closed): New fn CoprimePart, OddPart: naming question

I am considering adding two new functions:
* *@OddPart(N)@* or maybe *@OddFactor(N)@* which returns @N/2^k@ where @... John Abbott