Activity
From 04 Mar 2019 to 02 Apr 2019
02 Apr 2019
- 21:52 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Anna has just sent me some code with redundant @#include@ directives removed.
Most compilation times are the same. ... - 11:50 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- I believe that built-in functions (for extlibs, at least) are "registered" by constructing a global object. So the a...
01 Apr 2019
- 17:30 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Indeed "duplication" is generally undesirable (as is the use of @goto@), but it may still be a good idea in certain "...
- 15:27 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- John Abbott wrote:
> I am very tempted to suggest modifying the macro *@DECLARE_MISSING_EXTLIB@* so that it is *inde... - 11:36 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Yesterday I ran the compiler with the *@-E@* option, which just does the preprocessing steps. Since currently I do n...
29 Mar 2019
- 19:23 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?
- Anna Maria Bigatti wrote:
> @CoCoALibSupplement@ currently contains some functions for external libraries, e.g.
> [... - 19:10 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?
- @CoCoALibSupplement@ currently contains some functions for external libraries, e.g....
- 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... - 14:23 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- It seems that many includes in @BuiltInFunctions.H@ are useless, or useful for only a few functions. Cleaning them m...
- 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... - 09:18 CoCoALib Feature #1267: Ideal equality
- It is implemented in @ideals.C@ like this:...
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:...
- 14:22 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- John Abbott wrote:
> BTW I noticed that it took quite a long time to compile @BuiltinFunctions-Normaliz.C@ even thou... - 14:14 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- John Abbott wrote:
> I have just checked (using fgrep) and in @BuiltinFunctions-CoCoALib.C@ there are 28 fns with va... - 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 ...
- 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... - 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... - 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... - 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...
- 10:20 CoCoALib Bug #1260: Fix file permissions after using CVS
- @.command@ is for MacOS:
<quote>
(...) .sh files are "owned" by Xcode by default, so if you were to double-click on...
27 Mar 2019
- 17:21 CoCoALib Bug #1256 (Closed): RingID: different values in test-output on different platforms
- John Abbott wrote:
> Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a po... - 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...
- 15:11 CoCoALib Bug #1256: RingID: different values in test-output on different platforms
- ...
- 14:39 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Do you know how much the overhead for including @library.H@ is? that is quite slow by itself.
(try compiling an @ex... - 14:38 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Other compilation times:...
- 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... - 13:55 CoCoALib Support #1265: Unregistered TXT files in doc
- These files exist but are not present in @index-alpha.html@....
- 13:52 CoCoALib Support #1265 (Closed): Unregistered TXT files in doc
- There are some "unregistered" *@.txt@* files in the CoCoALib documentation.
Rectify!
- 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@*. ...
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...
- 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 ...
- 16:47 CoCoALib Support #1263 (In Progress): Tidy CoCoALib test directory
- The files I have are:...
- 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...
- 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... - 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...
- 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...
- 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...
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... - 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@ ... - 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... - 15:45 CoCoALib Design #891 (Closed): Replace auto_ptr in preparation for C++11?
- Summary:
* update effected
* *NOT C++03 COMPATIBLE* (not worth it)
- 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... - 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@*. ...
- 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... - 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... - 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... - 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...
20 Mar 2019
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... - 15:16 CoCoA-5 Feature #1246 (In Progress): Revive old CoCoA4 package called "cocoa5.cpkg"
- 15:15 CoCoALib Bug #1250 (Feedback): SEGV: CoCoALib with Normaliz in multithreading
- 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...
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...
- 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!
- 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... - 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. - 14:33 CoCoALib Support #1161: Split NumTheory.C into several smaller files
- Current state:
* *@NumTheory.C@*
* *@NumTheory-ContFrac.C@*
* *@NumTheory-CoprimeFactorBasis.C@*
* *@NumTheory-pr... - 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...
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... - 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... - 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... - 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.
- 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: *...
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....
12 Mar 2019
- 16:40 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Problem with PIE (#3) resurfaced because of a line swap in configure.
Just in case it happens again:
this was solve...
11 Mar 2019
- 19:18 CoCoALib Feature #1249: principal ideal has a Gbasis
- Done and partly tested.
- 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 ... - 19:16 CoCoALib Design #1255: Ideals with trivial GBasis
- [by John Abbott: moved here from #1249]
-----------------------------
Also if the gens happen to have coprime LTs w... - 19:14 CoCoALib Design #1255 (New): Ideals with trivial GBasis
- If an ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curre... - 16:03 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
- The distribution had a precompiled @PREPROCESSOR_DEFNS.H@ and @autoconf.mk@ disabling @CoCoA_THREADSAFE_HACK@.
A par... - 15:16 CoCoALib Design #1225: Move to C++14 (skipping C++11)
- John Abbott wrote:
> JAA has checked in latest changes. Hope they work for Anna!
whateve that was, it compiles a...
07 Mar 2019
- 09:49 CoCoA-5 Design #83 (In Progress): C++11 compatibility questions
- 09:48 CoCoALib Feature #82: C++11 compatibility questions
- Warning with clang:...
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!
- 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 ...
- 16:34 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis
- Fixed.
Now, *guaranteed* computes GBasis if missing, so result is guaranteed.
Testing.
- 15:10 CoCoALib Feature #1254 (New): New function: MinPoly for pseudo-zero-dimensional ideals
- For min polys it might be possible to work with a sub-ideal in a subring. For example,...
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... - 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...
- 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... - 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,...
- 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...
- 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...
04 Mar 2019
- 18:04 CoCoALib Design #1223 (Closed): NewPolyRing default indet names
- 18:00 CoCoA-5 Feature #1247 (Closed): sleep function
- Checked in. Documentation. Tested. Works on Anna's computer.
Closing.
- 16:14 CoCoALib Feature #1251 (Closed): New function: radical for monomial ideal
- As for zero-dimensional ideals, implement it so we can pass it to CoCoA-5.
- 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 ...
- 12:21 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
- ...
- 12:16 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
- Looking for possible problems in the logs from January to June 2018...
- 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...
- 12:06 CoCoALib Bug #1250 (Closed): SEGV: CoCoALib with Normaliz in multithreading
- Bruns reports (email 2019-03-02) the following SEGV bug:...
Also available in: Atom