Activity
From 18 Jan 2021 to 16 Feb 2021
16 Feb 2021
-
18:46 Bug #1522: SEGV: avoid long linked lists of loaves in MemPools
- I have just run the test from issue #1337.
With @MemPool@ the program took 473s; disabling @MemPool@ by setting the ... -
- *STATUS 2021-02-16:* I confirm that the RGB took about 0.35s on my computer, while PD took 473s.
*OBSERVATION:* it... -
- After the design change noted in issue #1522#note-10, this issue is probably largely irrelevant now.
The current l... -
- I have now changed the default defn of @myLogCardinality@ so that it throws an exception; the finite fields overwrite...
-
- Since we intend restricting its use to finite fields maybe the fn could be called *@FieldSize@*; error if arg is not ...
-
- I believe that maintenance of *Frobby* has now passed to the Macaulay group (Mike Stillman, _etc._)
We should contac... -
- My usual approach regarding errors and assertions is:
* if the fn is the main public fn for that operation (and docu...
10 Feb 2021
-
- I have added 2 impls to *@utils.H@*; one adapted from "cppreference". Not sure how much I trust this template stuff....
-
- The impl of *@IsInRange@* should also be revised...
-
08 Feb 2021
-
- Also need to revise @test-MachineInt2.C@
Currently I have hacked it to work with the current "implementazione zoppic... -
- Redesign @cmp@ for machine integers so that it works in all cases.
Note that C++20 already @std::cmp_equal@, @std:... -
- I checked that NTL happily uses @long@ for indices into matrices.
So it is reasonable for us to use @long@ for "indi... -
- After discussion with Anna:
* *(A)* a fn which could throw (but only via @CoCoA_ASSERT@) may be declared @noexcept@
...
06 Feb 2021
-
- I have checked all files which I think might benefit from *@noexcept@*, and have changed most functions which can be ...
04 Feb 2021
-
- I am not sure whether a function which has a local static variable can be @noexcept@.
I suppose, so long as the loca...
03 Feb 2021
-
- I have just looked at the code for @DynamicBitset@ (with the intention of putting in @noexcept@),
and noticed that s... -
- I think it might be tricky because inside the loop you need to check if you are at the last position, whereas the new...
02 Feb 2021
-
- There is a second impl of @MachineInt@ in the current sources. The impl was not complete (but it is now).
However...
30 Jan 2021
-
-
- I think everything is nearly sorted out now: the example in comment 8 now finds no problems (even over a much wider r...
29 Jan 2021
-
- Maybe not many functions are applicable _e.g._
* the fn must not call a fn which is not @noexcept@ (with args whic... -
- Scott Meyers recommends using *@noexcept@* where it fits naturally.
Check to see where we can use it.
-
- So far I have done the following files: (update list as files are done)
* *@bool3.H@*
* *@config.H@*
* *@DivMask@*... -
- I think the new version is OK now. I have also put in *@noexcept@* where appropriate.
One inconsistency: we can a... -
15:42 Bug #1571: ker_H needs care
- some verbosity has already been included in the file @HomomorphismOps.C@
-
- The function @ker_H@ is not properly developed/documented.
In particular, there are problems for... -
-
- Anna Maria Bigatti wrote:
> For proper testing I added some verbosity, but I cannot see it.
> [...]
> what am I mi... -
- For proper testing I added some verbosity, but I cannot see it....
-
- work for me
-
- AnnaM think and close this!
-
- John Abbott wrote:
> I have commented out @interreduce@.
> I have renamed the files to @SparsePolyOps-interreduced@... -
-
- And indeed the defn of @log@ for @BigRat@ is simply...
-
- This is not good.
I have increased the factor in the definition of @delta@ to 64: there are still failing cases:
... -
- Here is a simpler failing case:...
28 Jan 2021
-
- I have found what is most likely the cause (after tracing through with the debugger).
The problem was in *@FloorLo... -
- Aha! It seems that @FloorLog10@ sometimes give wrong answers... groan.
With luck that is the root cause.
-
- @FloatStr@ simply calls @MantissaAndExponent10@ to do the main conversion.
Indeed *@MantissaAndExponent10@ behaves w... -
- Operating on @10*q@ produces the same mantissa (with NUL) but without exponent.
Operating on @100*q@ produces a cor... -
- The exponent is wrong by 1: it should be -10.
-
- The bug is more embarrassing than dangerous...
Don't yet have a simpler failing example.
Of course, it came up ... -
- Here is a concrete example:...
26 Jan 2021
-
- While looking for examples for my course computer algebra I wanted to use @GBasisTimeout@. Sometimes the curr impl d...
22 Jan 2021
-
- I have updated the code. Maybe the revised impl is cleaner.
Anyway, it all seems to work. The code is so simple, t... -
- While the impl in BOOST is surely good, I do prefer to keep CoCoALib independent of BOOST (of course, the interpreter...
-
- Not surprisingly the computation mod p is very quick.
BTW the answer to the computation as given is (almost certai... -
- From a demo I showed my students...
I computed a "nasty" 0-dim radical, then wanted to show @MinPowerInIdeal@, but i... -
- I have modified the code so that it avoid recomputing the "radical helpers".
All tests pass. Will clean and then ch... -
- John Abbott wrote:
> There are two more suspect creations of ideals: line 325 and 347.
> I have changed these too, ...
19 Jan 2021
-
- I have modified @RadicalHelpers@ in @SparsePolyOps-RadicalMembership.C@
Seems Ok now. Still testing. -
- Also get:...
-
- Specific example:...
Also available in: Atom