Project

General

Profile

Activity

From 26 Jul 2024 to 24 Aug 2024

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

02 Aug 2024

17:39 CoCoALib Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
Decided for reject: check all the tentative changes done so far, and reject this issue. Anna Maria Bigatti
17:22 CoCoALib Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
About to reject this issue:
we decided we do not like this error message:...
Anna Maria Bigatti
17:35 CoCoALib Design #1825 (New): SparsePolyRing & DensePolyRing
Check through all functions for polynomials, and decide whether they are for
* both dense and sparse polys
* only f...
John Abbott

01 Aug 2024

12:31 CoCoALib Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
And/or:
Is it worth having "ReqSparsePolyRing" in addition to "ReqPolyRing"?
I don't think so: an error giving prec...
Anna Maria Bigatti

31 Jul 2024

08:49 CoCoALib Bug #1824 (Resolved): (easy?) Problem in myGBasis_EasyCases
Fixed.
The code was a bit dodgy, so we made it more clear and explicit (with J.Abbott, at ICMS Durham).
MinGens a...
Anna Maria Bigatti
 

Also available in: Atom