Activity
From 14 Mar 2021 to 12 Apr 2021
09 Apr 2021
- 13:48 Support #1555: Software licence
- I currently suggest the following:
* add copyright notices to all files (incl. @Makefile@ and other supporting files... - 13:40 Support #1555: Software licence
- As mentioned in #855#note-15 the FSF gives advice at the following URL:...
- 11:59 Design #855: Copyright and authorship?
- Here is a URL to a page by the FSF about copyright notices to assign to works:...
07 Apr 2021
- 18:08 Support #1555: Software licence
- We seem to have used the standard GPL v3.0 for all source code (headers and source):
* in @include/CoCoA/@
* in @sr...
05 Apr 2021
- 15:19 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- How to impl neatly and efficiently the version @CoeffsWRT(f,QB)@?
Perhaps create a list of pairs (PP,index); sort ...
02 Apr 2021
- 10:27 Bug #1585: CRASH/ABORT: GMP overflow
- Which functions should test for overflow?
@power@ and multiplication certainly. Which others?...
23 Mar 2021
- 13:39 Bug #1585: CRASH/ABORT: GMP overflow
- I have increased the arbitrary limit so that the example in comment 4 above now runs without hiccups (except for the ...
- 11:19 Bug #1585: CRASH/ABORT: GMP overflow
- Here is a "torture test" using multiplication (on my machine):...
- 10:12 Bug #1585 (Resolved): CRASH/ABORT: GMP overflow
- No reply from the GMP people. I looked at the code, and it seems that the error is actually signalled inside a memor...
22 Mar 2021
- 09:55 Bug #1585: CRASH/ABORT: GMP overflow
- I have written to the GMP people asking whether there is some way to specify an alternative way to handle overflow.
... - 09:40 Bug #1585: CRASH/ABORT: GMP overflow
- I have given this *high priority* because an abort is a nasty failure... everything is lost.
How to handle all pos... - 09:37 Bug #1585 (Closed): CRASH/ABORT: GMP overflow
- The following causes an abort:...
19 Mar 2021
- 15:43 Support #1584: Benchmarks?
- This was hinted at in issue #1375#note-19.
The benchmarks will very platform specific... primarily for developers.
- 15:40 Support #1584 (New): Benchmarks?
- Should we devise a way to produce some benchmarks to let us measure how changes we make affect performance?
If so,... - 13:29 Design #786: MemPool: review min and max loaf sizes
- This has been working for some time now... closing.
As mentioned above this is now largely irrelevant given the chan... - 13:27 Feature #82: C++11 compatibility questions
- Do we have progress to report?
- 13:13 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- Anna will do this shortly.
- 13:12 Support #618: Instructions for compiling libnormaliz
- Anna will check what happens on her (new) computer.
Hope we can close this soon.
Update website too!
Also available in: Atom