Activity
From 25 Feb 2019 to 26 Mar 2019
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...
-
- I have just downloaded 0.99601 (TGZ format) and have noted that there are lots of small file which should not really ...
-
- The files I have are:...
-
- I have done some cleaning and have noticed some files called @test-*.C@ in the test directory which are not listed in...
-
13:53 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- I had a look.
I think it would make sense to separate off the functions with variable number of args.
(look for @DE... -
- I hope this evening to try compiling again on the small computer, and I'll note which files gave problems with swappi...
-
- Yesterday I tried compiling CoCoA-5 on my small computer (0.5Gbyte RAM), and it had trouble compiling @BuiltinFunctio...
-
- Here is a simple script which does most of the work. I tested it by setting "funny" permissions on all files and dir...
25 Mar 2019
-
- I have now removed @ThreadsafeCounter@ from my own personal copy.
Everything compiles and all tests pass. :-)
Once... -
- A quick grep shows that @ThreadsafeCounter@ is used in just two places:
* @ring.C@ (for the ring ID)
* @symbol.C@ ... -
- C++14 *@atomic@* machine integers should render @ThreadsafeCounter@ superfluous.
Check, and either clean up the co... -
- Summary:
* update effected
* *NOT C++03 COMPATIBLE* (not worth it)
-
- Now that we are passing to C++14, we can reactivate this task.
The first step is to make sure that our current int... -
- I have fixed the code in my local copy (@BuiltinFunctions.C@) so that it uses *@unsigned char@* instead of *@char@*. ...
-
- The @ascii@ function returns negative values for characters with code greater than 127.
I think it is better for n... -
- This is still a bug (in emacs 26.1).
A possible solution could be to print "weird characters" using backslash+octa... -
- I'm fed up with having to correct the file permissions by hand.
The proper solution is to correct what is recorded... -
- I have noticed repeatedly that after doing CVS, the permissions on my files have become corrupted. This is *bad* whe...
20 Mar 2019
19 Mar 2019
-
- @CantStop.cpkg5@ now works. There should be a manual page at least for @PlayCantStop@.
Perhaps some of the other fn... -
-
-
- I have now updated the .C files too. Everything compiles and runs.
It is possible that I have missed some 0 (that w...
18 Mar 2019
-
- 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...
-
- From C++11 there is the constant *@nullptr@* for the null pointer.
Update our (C++) code to use it!
-
- Here are the aspects to be addressed next:
* how to serialize rings (_i.e._ follow previous format, but passing ring... -
- Anna has cleaned the file so that it is syntactically OK.
Now we must look at the semantics. -
- Current state:
* *@NumTheory.C@*
* *@NumTheory-ContFrac.C@*
* *@NumTheory-CoprimeFactorBasis.C@*
* *@NumTheory-pr... -
- I prefer to defer this question until later, until when we have decided what exactly @exgcd@ should do (and whether i...
15 Mar 2019
-
- Anna uses @clang@ on MacOS, while I use @g++@ on Linux.
We get different outputs for @test-output@: its seems that t... -
- In @test-output@ Anna and I get different outputs (due to different RingIDs) because we use different platforms.
I... -
- I have changed the @configure@ script so that it prints out a clearer summary.
I have changed the @Makefile@ so that... -
- Anna prefers the longer field names. Code cleaned, and checked-in. Anna will test.
Doc updated.
-
- I have updated the CoCoA-5 manual.
I have modified the code so that @OpenSocket@ returns a record with 4 fields: *...
14 Mar 2019
-
- Here is an effect of the idea of testing the remaining factor for primality....
12 Mar 2019
-
- Problem with PIE (#3) resurfaced because of a line swap in configure.
Just in case it happens again:
this was solve...
11 Mar 2019
-
- Done and partly tested.
-
- Here are some more minor points (after speaking to Anna on the phone):
* Anna was concerned about potential cost if ... -
- [by John Abbott: moved here from #1249]
-----------------------------
Also if the gens happen to have coprime LTs w... -
- If an ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curre... -
- The distribution had a precompiled @PREPROCESSOR_DEFNS.H@ and @autoconf.mk@ disabling @CoCoA_THREADSAFE_HACK@.
A par... -
- John Abbott wrote:
> JAA has checked in latest changes. Hope they work for Anna!
whateve that was, it compiles a...
07 Mar 2019
-
-
- Warning with clang:...
06 Mar 2019
-
- JAA has checked in latest changes. Hope they work for Anna!
-
- Also if the gens happen to have coprime LTs wrt to current ordering then they are a GBasis. Might be useful to have ...
-
- Fixed.
Now, *guaranteed* computes GBasis if missing, so result is guaranteed.
Testing.
-
- For min polys it might be possible to work with a sub-ideal in a subring. For example,...
05 Mar 2019
-
- So far I have done the following:
* revised and renamed script @cxx03.sh@ into @cxx14.sh@
* revised @configure@ scr... -
- The CoCoA-5 test @test-ApproxSolve.cocoa5@ failed with wrong output: there should have been no output, instead a warn...
-
- Two more comments:
* *(1)* my preference is that computations in CoCoALib be guaranteed correct unless the caller ex... -
- For min polys it might be possible to work with a sub-ideal in a subring. For example,...
-
- The CoCoA-5 test file @test-ApproxSolve.cocoa5@ calls the function @ShapeLemma@, but this function is not in the CoCo...
-
- Note also that if we map into a temporary ring without redundant indets, then we can also choose a convenient term-or...
04 Mar 2019
-
-
- Checked in. Documentation. Tested. Works on Anna's computer.
Closing.
-
- As for zero-dimensional ideals, implement it so we can pass it to CoCoA-5.
-
- JAA notes that the product of zero factors should return a list containing 1 element which is a 0-tuple (namely, the ...
-
- ...
-
- Looking for possible problems in the logs from January to June 2018...
-
- We are searching for suspect code. We are working blind (since we do not have any experience with parallel execution...
-
- Bruns reports (email 2019-03-02) the following SEGV bug:...
01 Mar 2019
-
- If and ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curr... -
- The cause was an incompatibility:
* *(A)* if the ideal supplied has no G-basis then verification was disabled (since... -
- Today we noticed that @ex-Verification1@ failed. What happened is that *@MinPolyQuot@* was called with a (principal)...
26 Feb 2019
-
- Should *@GCDFreeBasis_BigInt@* and *@GCDFreeBasis_RingElem@* be renamed to *@CoprimeFactorBasis_BigInt@* and *@Coprim...
-
- I'm postponing this issue because we already have "coprime factor basis", and it is not yet clear to me whether we ne...
-
- In terms of compilation speed, it is probably not necessary to split @NumTheory.C@; my computer compiled the current ...
-
- This has been "resolved" for 5 months. Moving to "feedback". Hope to close while I'm in Genoa.
-
- Check that the new configuration system works on several different platforms (incl. Microsoft???)
-
- If we use C++11 then this is a relatively simple task (since C++11 already offers a decent "sleep function").
It's... -
- Consider adding a "sleep function" to CoCoA-5.
This could be useful in an interactive context (_e.g._ the "Can't S...
Also available in: Atom