CoCoA

29 Aug 2024

08:51 CoCoALib Design #582 (Rejected): Error codes: use same code for "not poly ring" and "not elem poly ring"

Anna Maria Bigatti

22 Aug 2024

11:14 CoCoA-5 Bug #1429: Stack overflow reading long list (SEGV)

Here is a smaller test input: a list of about 640000 strings, each being just @"123"@. It still triggers stack overflow John Abbott

11:08 CoCoA-5 Bug #1429 (In Progress): Stack overflow reading long list (SEGV)

Here is the compressed test file. Note that the uncompressed version is about 53Mbytes.
John Abbott

11:06 CoCoA-5 Bug #1429: Stack overflow reading long list (SEGV)

I am now reasonably convinced that there is a problem of Stack overflow. I encountered the problem when trying to re... John Abbott

21 Aug 2024

22:45 CoCoA-5 Slug #435: Assignment to protected variable

I have cleaned the code and checked it in... let's hope that wasn't a mistake! John Abbott

21:53 CoCoA-5 Slug #435: Assignment to protected variable

Without really understanding what I was doing, I have made the changes outlined in comments 7,8,9.
It all seems to w... John Abbott

20:29 CoCoA-5 Slug #435: Assignment to protected variable

Probably a good way to proceed is to define a pure virtual fn @IamWritable@ (or @CheckWritable@ or ??) in the class @... John Abbott

19:37 CoCoA-5 Slug #435: Assignment to protected variable

I have just searched through @Interpreter.C@ for the string *@::assign@*, and found several:
* @IntegerIndexedAccess... John Abbott

19:30 CoCoA-5 Slug #435: Assignment to protected variable

Here is a short example which triggers a/the problem:... John Abbott

20 Aug 2024

09:03 CoCoA-5 Slug #435: Assignment to protected variable

My attempted solution causes strange problems: most CoCoA-5 tests fail, but I do not yet know why.
The lines I add... John Abbott

19 Aug 2024

21:18 CoCoA-5 Slug #435 (Resolved): Assignment to protected variable

I may have solved the problem (in an ugly way). Below is a quick summary of what I did. I "copied" the checking cod... John Abbott

20:33 CoCoA-5 Slug #435 (In Progress): Assignment to protected variable

I have not yet found the relevant piece of source code, but there is perhaps a useful hint around line 2344 of @Inter... John Abbott

20:28 CoCoA-5 Slug #435: Assignment to protected variable

This really happened to me today...... John Abbott

13 Aug 2024

18:38 CoCoA-5 Slug #1826: ApproxSolve: size of numerators/denominators

Here is some old code I found lying around which illustrates the effect:... John Abbott

18:36 CoCoA-5 Slug #1826 (New): ApproxSolve: size of numerators/denominators

@ApproxSolve@ uses a form of the shape lemma to find real solutions to polynomial systems.
This means that one minpo... John Abbott