Activity
From 12 Dec 2020 to 10 Jan 2021
09 Jan 2021
- 18:20 Feature #1559 (In Progress): Default ctor for rings
- Winfried Bruns sent the following by email:
"I wanted to define a class that contains two sparesepoly rings as mem...
08 Jan 2021
- 18:46 Bug #1376 (Resolved): GBasisTimeout: not working as expected
- Using just the one example "french students" example, the current (2021-01-08) version of @CpuTimeLimit@ works accept...
- 09:48 Bug #1376: GBasisTimeout: not working as expected
- Now I think it should be possible to make @CpuTimeLimit@ check the time more frequently without much overhead (by che...
- 18:11 Design #1558 (Resolved): CpuTimeLimit: more frequent clock checks
- I now have a version of @CpuTimeLimit@, which actually uses only "steady clock" rather than @CpuTime@.
It seems to... - 16:11 Design #1558: CpuTimeLimit: more frequent clock checks
- Now I am wondering whether it may not make more sense to base @CpuTimeLimit@ on the "steady clock" (but then the nam...
- 10:07 Design #1558 (In Progress): CpuTimeLimit: more frequent clock checks
- Here is the code I used as a speed check:...
- 09:38 Design #1558 (Closed): CpuTimeLimit: more frequent clock checks
- The impl of @CpuTimeLimit@ is a bit complicated because the @CpuTime@ function is more expensive than I had expected....
- 13:03 Design #1391 (Closed): RingElems: syntax with [ and ] ?
- I have added some tests (to @test-RingElem5.C@).
All seems OK. Closing. - 11:58 Bug #1484: ker bug (quotientinghom for R/ideal())
- Anna! check ring for empty lists!
07 Jan 2021
- 20:54 Bug #1376: GBasisTimeout: not working as expected
- The relevant source is probably in *@SparsePolyOps-reduce.C@* around line 133.
The timer object is constructed in... - 20:42 Bug #1376: GBasisTimeout: not working as expected
- Setting the timeout to 20s worked very well. Setting it to 25s triggered an interruption after 95s.
Setting it to 9... - 20:19 Bug #1376: GBasisTimeout: not working as expected
- Why are there no test cases for this issue? Without them how can i know if it has been satisfactorily solved?
Usi... - 20:26 Support #1555 (In Progress): Software licence
- Here is a suggestion:
* find out how many different copyright messages we need (headers, source, tests, examples, do... - 20:04 Design #855: Copyright and authorship?
- I have added Bigatti to all files which had just Abbott as copyright holder.
Anna should now add Abbott to all files... - 20:02 Slug #1557 (Resolved): Reading list of rationals is too slow
- There was a bug in my first version of the faster code: @in.get(ch)@ does not put EOF into @ch@ when EOF is reached -...
06 Jan 2021
- 11:40 Slug #1557: Reading list of rationals is too slow
- I have found a potentially useful entry on *StackOverflow*: link @https://stackoverflow.com/questions/9272276/can-you...
- 11:32 Slug #1557 (In Progress): Reading list of rationals is too slow
- I'm still puzzled: @ScanUnsignedIntegerLiteral@ continue to be slower than whatever the CoCoA-5 interpreter does; cou...
05 Jan 2021
- 21:55 Slug #1557: Reading list of rationals is too slow
- The profiler indicates that major costs are @hgcd@ (from GMP) and @ScanUnsignedIntegerLiteral@ (from CoCoALib).
JA... - 21:43 Slug #1557 (Closed): Reading list of rationals is too slow
- Winfried Bruns sent me a file with about 100000 rationals (total size about 130Mbytes).
If I read the file in using ...
28 Dec 2020
- 17:56 Support #1555: Software licence
- Here are what we need to do:
* ensure that all copyright lines are correct (Anna and me)
* remove the GPL blurb fro...
22 Dec 2020
- 16:16 Bug #1376: GBasisTimeout: not working as expected
- What is the status of this issue?
- 16:10 Bug #1542: gfan does not "deinitialize"
- A non-solution is to modify the documentation to say that @GMPAllocator@ does not work well with GFan (or else the u...
21 Dec 2020
- 12:33 Support #1555 (Closed): Software licence
- Gereon Kremer asks whether we are willing to release some or all of the source for CoCoA/CoCoALib under a different l...
Also available in: Atom