Activity
From 24 Jan 2021 to 22 Feb 2021
18 Feb 2021
- 17:21 Design #1558: CpuTimeLimit: more frequent clock checks
- I have revised the impl based on the results from yesterday's speed tests.
The current impl seems to work acceptab...
17 Feb 2021
- 20:33 Design #1558: CpuTimeLimit: more frequent clock checks
- I have done a speed test using the "quick" example from comment 4.
The speed penalty when I limited the number of it... - 11:16 Design #1538 (Resolved): RingElem from string (ReadExpr)
- I have just checked what the code does (or seems like it should do).
The current impl is:
* reading from @istream@ ... - 11:06 Design #1547 (Feedback): Require decimal mode for ostream?
- I have changed most/all output fns so that they *assert* that the @ostream@ is in decimal mode.
Contrast with input ... - 10:27 Design #1547 (Resolved): Require decimal mode for ostream?
- I have now added assertions to printing for @BigInt@, @BigRat@ (which anyway prints a @BigInt@), @PPMonoidElem@, and ...
- 10:09 Design #1547 (In Progress): Require decimal mode for ostream?
- I do not like the idea of converting a @BigInt@ or @BigRat@ to a non-decimal string via normal output operators.
[We... - 11:02 Design #1529 (Closed): INPUT questions
- Closing after 2 months in feedback.
- 11:01 Design #1523 (Closed): Input fns: action when when istream is in bad state?
- Closing after 2 months in feedback.
*One last change: input fns throw if @istream@ is not in decimal mode* - 10:02 Bug #1473: isystem not working as expected
- *Anna:* can you check whether this is still a problem?
I suppose it is, but since I do not have access to your Mac, ... - 09:59 Design #794 (Rejected): ar gives warnings on fedora 23
- This now very outdated (curr version of Fedora is 33) -- rejecting.
I do not recall getting warnings on my Ubuntu in...
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 ... - 18:13 Slug #1337: PrimaryDecomposition: a interesting/pathological example
- *STATUS 2021-02-16:* I confirm that the RGB took about 0.35s on my computer, while PD took 473s.
*OBSERVATION:* it... - 18:03 Design #786 (Resolved): MemPool: review min and max loaf sizes
- After the design change noted in issue #1522#note-10, this issue is probably largely irrelevant now.
The current l... - 17:34 Feature #898: New function: cardinality of finite field?
- I have now changed the default defn of @myLogCardinality@ so that it throws an exception; the finite fields overwrite...
- 17:27 Feature #898: New function: cardinality of finite field?
- Since we intend restricting its use to finite fields maybe the fn could be called *@FieldSize@*; error if arg is not ...
- 17:19 Feature #1219: Frobby version number
- I believe that maintenance of *Frobby* has now passed to the Macaulay group (Mike Stillman, _etc._)
We should contac... - 13:43 Bug #1575: DynamicBitset missing arg checks
- My usual approach regarding errors and assertions is:
* if the fn is the main public fn for that operation (and docu...
10 Feb 2021
- 22:11 Design #1576 (In Progress): cmp for machine integers
- I have added 2 impls to *@utils.H@*; one adapted from "cppreference". Not sure how much I trust this template stuff....
- 21:46 Design #1576: cmp for machine integers
- The impl of *@IsInRange@* should also be revised...
- 20:36 Design #1511 (In Progress): Use C++14 constexpr
08 Feb 2021
- 16:13 Design #1576: cmp for machine integers
- Also need to revise @test-MachineInt2.C@
Currently I have hacked it to work with the current "implementazione zoppic... - 16:12 Design #1576 (In Progress): cmp for machine integers
- Redesign @cmp@ for machine integers so that it works in all cases.
Note that C++20 already @std::cmp_equal@, @std:... - 15:29 Design #925: MachineInt or long for args which are indices (yet again)
- I checked that NTL happily uses @long@ for indices into matrices.
So it is reasonable for us to use @long@ for "indi... - 15:00 Design #1572: Use noexcept
- After discussion with Anna:
* *(A)* a fn which could throw (but only via @CoCoA_ASSERT@) may be declared @noexcept@
...
06 Feb 2021
- 22:00 Design #1572 (Resolved): Use noexcept
- I have checked all files which I think might benefit from *@noexcept@*, and have changed most functions which can be ...
04 Feb 2021
- 14:49 Design #1572 (In Progress): Use noexcept
- 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
- 18:20 Bug #1575 (New): DynamicBitset missing arg checks
- I have just looked at the code for @DynamicBitset@ (with the intention of putting in @noexcept@),
and noticed that s... - 18:18 Feature #1419: DynamicBitset::IamAll1s
- 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
- 17:04 Design #934 (In Progress): MachineInt: change semantics?
- There is a second impl of @MachineInt@ in the current sources. The impl was not complete (but it is now).
However...
30 Jan 2021
- 20:21 Bug #1570 (Feedback): FloatStr sometimes produces NUL chars
- 18:47 Bug #1570: FloatStr sometimes produces NUL chars
- 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
- 20:19 Design #1572: Use noexcept
- Maybe not many functions are applicable _e.g._
* the fn must not call a fn which is not @noexcept@ (with args whic... - 20:18 Design #1572 (Resolved): Use noexcept
- Scott Meyers recommends using *@noexcept@* where it fits naturally.
Check to see where we can use it.
- 20:16 Design #1511: Use C++14 constexpr
- So far I have done the following files: (update list as files are done)
* *@bool3.H@*
* *@config.H@*
* *@DivMask@*... - 20:12 Feature #152 (Closed): Replace bool3 by tribool
- 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@
- 15:40 Bug #1571 (New): ker_H needs care
- The function @ker_H@ is not properly developed/documented.
In particular, there are problems for... - 15:27 Bug #1484 (Feedback): ker bug (quotientinghom for R/ideal())
- 15:26 Bug #1484: ker bug (quotientinghom for R/ideal())
- Anna Maria Bigatti wrote:
> For proper testing I added some verbosity, but I cannot see it.
> [...]
> what am I mi... - 09:45 Bug #1484: ker bug (quotientinghom for R/ideal())
- For proper testing I added some verbosity, but I cannot see it....
- 12:00 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- work for me
- 11:52 Feature #958: New function: multiplicity and dim
- AnnaM think and close this!
- 11:31 Feature #1488: BuiltIn Interreduce-Function
- John Abbott wrote:
> I have commented out @interreduce@.
> I have renamed the files to @SparsePolyOps-interreduced@... - 11:26 Design #1563 (Closed): BigRat: ctor from machine int
- 10:00 Bug #1570: FloatStr sometimes produces NUL chars
- And indeed the defn of @log@ for @BigRat@ is simply...
- 09:56 Bug #1570: FloatStr sometimes produces NUL chars
- This is not good.
I have increased the factor in the definition of @delta@ to 64: there are still failing cases:
... - 09:31 Bug #1570: FloatStr sometimes produces NUL chars
- Here is a simpler failing case:...
28 Jan 2021
- 21:37 Bug #1570: FloatStr sometimes produces NUL chars
- I have found what is most likely the cause (after tracing through with the debugger).
The problem was in *@FloorLo... - 20:35 Bug #1570: FloatStr sometimes produces NUL chars
- Aha! It seems that @FloorLog10@ sometimes give wrong answers... groan.
With luck that is the root cause.
- 19:48 Bug #1570: FloatStr sometimes produces NUL chars
- @FloatStr@ simply calls @MantissaAndExponent10@ to do the main conversion.
Indeed *@MantissaAndExponent10@ behaves w... - 19:25 Bug #1570: FloatStr sometimes produces NUL chars
- Operating on @10*q@ produces the same mantissa (with NUL) but without exponent.
Operating on @100*q@ produces a cor... - 19:17 Bug #1570 (In Progress): FloatStr sometimes produces NUL chars
- The exponent is wrong by 1: it should be -10.
- 19:13 Bug #1570: FloatStr sometimes produces NUL chars
- The bug is more embarrassing than dangerous...
Don't yet have a simpler failing example.
Of course, it came up ... - 19:12 Bug #1570 (Closed): FloatStr sometimes produces NUL chars
- Here is a concrete example:...
26 Jan 2021
- 13:47 Design #1558: CpuTimeLimit: more frequent clock checks
- While looking for examples for my course computer algebra I wanted to use @GBasisTimeout@. Sometimes the curr impl d...
Also available in: Atom