CoCoA Project

29 Mar 2019

15:23 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I suggest putting @DECLARE_MISSING_EXTLIB@ into a smaller header file (if possible).
Then files such as @BuiltinFu... John Abbott

14:16 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I note also that my compilation test above was without any external libraries.
So the time to compile @BuiltinFuncti... John Abbott

28 Mar 2019

21:37 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Here are the compilations timings for the updated computer:... John Abbott

13:30 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I have just checked (using fgrep) and in @BuiltinFunctions-CoCoALib.C@ there are 28 fns with variable arity, and 129 ... John Abbott

10:58 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

The time to compile (and link) @ex-empty.C@ was about 20s.
I tried splitting @BuiltinFunctions-CoCoALib.C@ into qu... John Abbott

16:49 CoCoALib Feature #1267 (In Progress): Ideal equality

Long in Passau lamented that sometimes testing two ideals for equality was too slow.
It might help to perform a fe... John Abbott

16:42 CoCoALib Design #1266 (New): Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z]

Idea: every polyring @QQ[x,y,z]@ should also contain a single copy of @ZZ[x,y,z]@.
This single copy can then be us... John Abbott

16:39 CoCoALib Feature #1249: principal ideal has a Gbasis

Having seen in the code that computing a GBasis over @QQ@ implies creating a new ring (with coeffs in @ZZ@), encourag... John Abbott

27 Mar 2019

15:26 CoCoALib Bug #1256: RingID: different values in test-output on different platforms

Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a polyring over a fraction... John Abbott

15:11 CoCoALib Bug #1256: RingID: different values in test-output on different platforms

... John Abbott

14:38 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Other compilation times:... John Abbott

14:21 CoCoA-5 Feature #1262 (In Progress): Split BuiltinFunctions-CoCoALib.C into smaller files

I tried splitting @BuiltinFunctions-CoCoALib@ into two more-or-less-equal parts.
File Time to compile... John Abbott

13:55 CoCoALib Support #1265: Unregistered TXT files in doc

These files exist but are not present in @index-alpha.html@.... John Abbott

13:52 CoCoALib Support #1265 (Closed): Unregistered TXT files in doc

There are some "unregistered" *@.txt@* files in the CoCoALib documentation.
Rectify!
John Abbott

13:27 CoCoALib Bug #1260: Fix file permissions after using CVS

I have noticed that some shell scripts in the source tree have suffix *@.sh@* while others have suffix *@.command@*. ... John Abbott

26 Mar 2019

17:50 CoCoALib Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files

After unpacking the TGZ file on a Linux box, I found lots of files with names starting with dot-underscore. While th... John Abbott

17:43 CoCoALib Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files

I have just downloaded 0.99601 (TGZ format) and have noted that there are lots of small file which should not really ... John Abbott

16:47 CoCoALib Support #1263 (In Progress): Tidy CoCoALib test directory

The files I have are:... John Abbott

16:44 CoCoALib Support #1263 (Resolved): Tidy CoCoALib test directory

I have done some cleaning and have noticed some files called @test-*.C@ in the test directory which are not listed in... John Abbott

11:39 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I hope this evening to try compiling again on the small computer, and I'll note which files gave problems with swappi... John Abbott

11:27 CoCoA-5 Feature #1262 (In Progress): Split BuiltinFunctions-CoCoALib.C into smaller files

Yesterday I tried compiling CoCoA-5 on my small computer (0.5Gbyte RAM), and it had trouble compiling @BuiltinFunctio... John Abbott

11:34 CoCoALib Bug #1260 (In Progress): Fix file permissions after using CVS

Here is a simple script which does most of the work. I tested it by setting "funny" permissions on all files and dir... John Abbott

25 Mar 2019

17:09 CoCoALib Design #1259 (Resolved): ThreadsafeCounter is now obsolete?

I have now removed @ThreadsafeCounter@ from my own personal copy.
Everything compiles and all tests pass. :-)
Once... John Abbott

12:06 CoCoALib Design #1259: ThreadsafeCounter is now obsolete?

A quick grep shows that @ThreadsafeCounter@ is used in just two places:
* @ring.C@ (for the ring ID)
* @symbol.C@ ... John Abbott

12:01 CoCoALib Design #1259 (Closed): ThreadsafeCounter is now obsolete?

C++14 *@atomic@* machine integers should render @ThreadsafeCounter@ superfluous.
Check, and either clean up the co... John Abbott

15:45 CoCoALib Design #891 (Closed): Replace auto_ptr in preparation for C++11?

Summary:
* update effected
* *NOT C++03 COMPATIBLE* (not worth it)
John Abbott

15:33 CoCoALib Design #710: Update normaliz interface?

Now that we are passing to C++14, we can reactivate this task.
The first step is to make sure that our current int... John Abbott

13:57 CoCoA-5 Bug #1261 (In Progress): ASCII function

I have fixed the code in my local copy (@BuiltinFunctions.C@) so that it uses *@unsigned char@* instead of *@char@*. ... John Abbott

13:54 CoCoA-5 Bug #1261 (Closed): ASCII function

The @ascii@ function returns negative values for characters with code greater than 127.
I think it is better for n... John Abbott

13:52 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash

This is still a bug (in emacs 26.1).
A possible solution could be to print "weird characters" using backslash+octa... John Abbott

13:37 CoCoALib Bug #1260: Fix file permissions after using CVS

I'm fed up with having to correct the file permissions by hand.
The proper solution is to correct what is recorded... John Abbott

12:09 CoCoALib Bug #1260 (Closed): Fix file permissions after using CVS

I have noticed repeatedly that after doing CVS, the permissions on my files have become corrupted. This is *bad* whe... John Abbott

20 Mar 2019

11:11 CoCoALib Feature #1251 (In Progress): New function: radical for monomial ideal

John Abbott

19 Mar 2019

17:04 CoCoA-5 Support #1258 (Closed): Manual page for CantStop

@CantStop.cpkg5@ now works. There should be a manual page at least for @PlayCantStop@.
Perhaps some of the other fn... John Abbott

15:16 CoCoA-5 Feature #1246 (In Progress): Revive old CoCoA4 package called "cocoa5.cpkg"

John Abbott

15:15 CoCoALib Bug #1250 (Feedback): SEGV: CoCoALib with Normaliz in multithreading

John Abbott

12:12 CoCoALib Design #1257 (Feedback): C++14: use nullptr

I have now updated the .C files too. Everything compiles and runs.
It is possible that I have missed some 0 (that w... John Abbott

18 Mar 2019

18:53 CoCoALib Design #1257 (In Progress): C++14: use nullptr

I have done the header files. There may still be one or zeroes which escaped me (but I hope not). Next are the .C f... John Abbott

11:24 CoCoALib Design #1257 (Closed): C++14: use nullptr

From C++11 there is the constant *@nullptr@* for the null pointer.
Update our (C++) code to use it!
John Abbott

14:42 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"

Here are the aspects to be addressed next:
* how to serialize rings (_i.e._ follow previous format, but passing ring... John Abbott

14:38 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"

Anna has cleaned the file so that it is syntactically OK.
Now we must look at the semantics. John Abbott

14:33 CoCoALib Support #1161: Split NumTheory.C into several smaller files

Current state:
* *@NumTheory.C@*
* *@NumTheory-ContFrac.C@*
* *@NumTheory-CoprimeFactorBasis.C@*
* *@NumTheory-pr... John Abbott

14:10 CoCoALib Feature #1227: exgcd; solve Bezout equation

I prefer to defer this question until later, until when we have decided what exactly @exgcd@ should do (and whether i... John Abbott

15 Mar 2019

17:59 CoCoALib Bug #1256: RingID: different values in test-output on different platforms

Anna uses @clang@ on MacOS, while I use @g++@ on Linux.
We get different outputs for @test-output@: its seems that t... John Abbott

17:56 CoCoALib Bug #1256 (Closed): RingID: different values in test-output on different platforms

In @test-output@ Anna and I get different outputs (due to different RingIDs) because we use different platforms.
I... John Abbott

17:31 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading

I have changed the @configure@ script so that it prints out a clearer summary.
I have changed the @Makefile@ so that... John Abbott

17:25 CoCoA-5 Feature #1236 (Feedback): Add "socket" devices

Anna prefers the longer field names. Code cleaned, and checked-in. Anna will test.
Doc updated.
John Abbott

15:41 CoCoA-5 Feature #1236: Add "socket" devices

I have updated the CoCoA-5 manual.
I have modified the code so that @OpenSocket@ returns a record with 4 fields: *... John Abbott

14 Mar 2019

13:35 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho

Here is an effect of the idea of testing the remaining factor for primality.... John Abbott

11 Mar 2019

18:53 CoCoALib Feature #1249: principal ideal has a Gbasis

Here are some more minor points (after speaking to Anna on the phone):
* Anna was concerned about potential cost if ... John Abbott

06 Mar 2019

18:16 CoCoALib Design #1225: Move to C++14 (skipping C++11)

JAA has checked in latest changes. Hope they work for Anna!
John Abbott

17:17 CoCoALib Feature #1249 (In Progress): principal ideal has a Gbasis

Also if the gens happen to have coprime LTs wrt to current ordering then they are a GBasis. Might be useful to have ... John Abbott

05 Mar 2019

18:39 CoCoALib Design #1225 (In Progress): Move to C++14 (skipping C++11)

So far I have done the following:
* revised and renamed script @cxx03.sh@ into @cxx14.sh@
* revised @configure@ scr... John Abbott

16:40 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis

The CoCoA-5 test @test-ApproxSolve.cocoa5@ failed with wrong output: there should have been no output, instead a warn... John Abbott

16:13 CoCoALib Bug #1248 (In Progress): MinPolyQuot: guaranteed and ideal without GBasis

Two more comments:
* *(1)* my preference is that computations in CoCoALib be guaranteed correct unless the caller ex... John Abbott

16:08 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis

For min polys it might be possible to work with a sub-ideal in a subring. For example,... John Abbott

16:36 CoCoA-5 Support #1252 (New): ShapeLemma: no manual entry

The CoCoA-5 test file @test-ApproxSolve.cocoa5@ calls the function @ShapeLemma@, but this function is not in the CoCo... John Abbott

15:57 CoCoALib Feature #1103 (In Progress): Pseudo-zero-dim ideals

Note also that if we map into a temporary ring without redundant indets, then we can also choose a convenient term-or... John Abbott

04 Mar 2019

18:04 CoCoALib Design #1223 (Closed): NewPolyRing default indet names

John Abbott

18:00 CoCoA-5 Feature #1247 (Closed): sleep function

Checked in. Documentation. Tested. Works on Anna's computer.
Closing.
John Abbott

12:30 CoCoA-5 Bug #1239 (Closed): CartesianProductList: case of just 1 entry in list

JAA notes that the product of zero factors should return a list containing 1 element which is a 0-tuple (namely, the ... John Abbott

12:08 CoCoALib Bug #1250 (In Progress): SEGV: CoCoALib with Normaliz in multithreading

We are searching for suspect code. We are working blind (since we do not have any experience with parallel execution... John Abbott

12:06 CoCoALib Bug #1250 (Closed): SEGV: CoCoALib with Normaliz in multithreading

Bruns reports (email 2019-03-02) the following SEGV bug:... John Abbott