CoCoA » CoCoALib

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... John Abbott

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:... John Abbott

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... John Abbott

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@
... John Abbott

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 ... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

30 Jan 2021

20:21 Bug #1570 (Feedback): FloatStr sometimes produces NUL chars

John Abbott

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... John Abbott

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... John Abbott

20:18 Design #1572 (Resolved): Use noexcept

Scott Meyers recommends using *@noexcept@* where it fits naturally.
Check to see where we can use it.
John Abbott

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@*... John Abbott

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... John Abbott

15:42 Bug #1571: ker_H needs care

some verbosity has already been included in the file @HomomorphismOps.C@
Anna Maria Bigatti

15:40 Bug #1571 (New): ker_H needs care

The function @ker_H@ is not properly developed/documented.
In particular, there are problems for... Anna Maria Bigatti

15:27 Bug #1484 (Feedback): ker bug (quotientinghom for R/ideal())

Anna Maria Bigatti

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... Anna Maria Bigatti

09:45 Bug #1484: ker bug (quotientinghom for R/ideal())

For proper testing I added some verbosity, but I cannot see it.... Anna Maria Bigatti

12:00 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?

work for me Anna Maria Bigatti

11:52 Feature #958: New function: multiplicity and dim

AnnaM think and close this! Anna Maria Bigatti

11:31 Feature #1488: BuiltIn Interreduce-Function

John Abbott wrote:
> I have commented out @interreduce@.
> I have renamed the files to @SparsePolyOps-interreduced@... Anna Maria Bigatti

11:26 Design #1563 (Closed): BigRat: ctor from machine int

John Abbott

10:00 Bug #1570: FloatStr sometimes produces NUL chars

And indeed the defn of @log@ for @BigRat@ is simply... John Abbott

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:
... John Abbott

09:31 Bug #1570: FloatStr sometimes produces NUL chars

Here is a simpler failing case:... John Abbott

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... John Abbott

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.
John Abbott

19:48 Bug #1570: FloatStr sometimes produces NUL chars

@FloatStr@ simply calls @MantissaAndExponent10@ to do the main conversion.
Indeed *@MantissaAndExponent10@ behaves w... John Abbott

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... John Abbott

19:17 Bug #1570 (In Progress): FloatStr sometimes produces NUL chars

The exponent is wrong by 1: it should be -10.
John Abbott

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 ... John Abbott

19:12 Bug #1570 (Closed): FloatStr sometimes produces NUL chars

Here is a concrete example:... John Abbott

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... John Abbott

22 Jan 2021

20:44 Feature #152 (Resolved): Replace bool3 by tribool

I have updated the code. Maybe the revised impl is cleaner.
Anyway, it all seems to work. The code is so simple, t... John Abbott

17:15 Feature #152 (In Progress): Replace bool3 by tribool

While the impl in BOOST is surely good, I do prefer to keep CoCoALib independent of BOOST (of course, the interpreter... John Abbott

16:22 Slug #1569: IsInRadical too slow (test-RadicalMembership)

Not surprisingly the computation mod p is very quick.
BTW the answer to the computation as given is (almost certai... John Abbott

15:09 Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)

From a demo I showed my students...
I computed a "nasty" 0-dim radical, then wanted to show @MinPowerInIdeal@, but i... John Abbott

15:05 Bug #1565 (Feedback): IsInRadical: gives "weird" error

I have modified the code so that it avoid recomputing the "radical helpers".
All tests pass. Will clean and then ch... John Abbott

10:34 Bug #1484: ker bug (quotientinghom for R/ideal())

John Abbott wrote:
> There are two more suspect creations of ideals: line 325 and 347.
> I have changed these too, ... Anna Maria Bigatti

19 Jan 2021

14:03 Bug #1565 (In Progress): IsInRadical: gives "weird" error

I have modified @RadicalHelpers@ in @SparsePolyOps-RadicalMembership.C@
Seems Ok now. Still testing. John Abbott

13:27 Bug #1565: IsInRadical: gives "weird" error

Also get:... John Abbott

13:25 Bug #1565 (Closed): IsInRadical: gives "weird" error

Specific example:... John Abbott

15 Jan 2021

21:15 Feature #206: Matrix equation solving: LinKer

The source of *@LinKerBasis@* looks a bit dodgy.
Given a matrix it does what is expected; but it also works for a _l... John Abbott

21:07 Feature #206: Matrix equation solving: LinKer

This was originally in issue #122; moving it to here.
What is the difference between @LinKer@ and @LinKerBasis@?
... John Abbott

21:09 Feature #122 (Closed): Porting "LinKer"

This seems to be a *duplicate* of #206; since there is more info under that index, I'm closing this one. John Abbott

09:18 Feature #122: Porting "LinKer"

What is the difference between *@LinKer@* and *@LinKerBasis@*?
Is @LinKerBasis@ essentially the same as @GetCols(Lin... John Abbott

18:01 Support #1265 (In Progress): Unregistered TXT files in doc

Progress chart:
* *@SmallPrime.txt@* removed because very out of date
* _fill in as progress is made_ John Abbott

17:55 Design #1563 (Feedback): BigRat: ctor from machine int

I have now changed all calls @BigRat(...,1)@ into just @BigRat(...)@ in examples, tests, and source code.
Checking i... John Abbott

17:08 Design #1563 (Resolved): BigRat: ctor from machine int

I have added 2 new ctors (one from @MachineInt@ and one from @BigInt@).
They are @explicit@ (as is the ctor for @Big... John Abbott

17:05 Design #1563: BigRat: ctor from machine int

I have just discussed with Anna. Bruns's argument is persuasive: our original decision was to protect the user again... John Abbott

16:18 Design #1563 (In Progress): BigRat: ctor from machine int

There were 2 reasons for prohibiting ctor from a machine int: ambiguity of BigInt(0) since 0 could also be interprete... John Abbott

15:39 Design #1563 (Closed): BigRat: ctor from machine int

Bruns asks the following "why?"... John Abbott

17:13 Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)

*IMPORTANT UPDATE*(2021-01-15) this decision has now been reversed in issue #1563 John Abbott

10:02 Feature #1559: Default ctor for rings

The class *@ring@* does have a default ctor (which assigns @RingZZ()@ as initial value).
In contrast, @SparsePolyRin... John Abbott

14 Jan 2021

14:31 Feature #206: Matrix equation solving: LinKer

The fn *@LinKerZZ@* is available in my copy of CoCoA-5, but there is no doc.
The doc for CoCoALib seems explicit.
... John Abbott

14:27 Feature #122: Porting "LinKer"

Has this already been done? There are two fns in CoCoA-5: @LinKer@ and @LinKerBasis@.
What about @LinKerZZ@?
John Abbott

12 Jan 2021

14:32 Design #1558: CpuTimeLimit: more frequent clock checks

I have modified the impl so that it triggers only when the CPU time limit has been exceeded, but it does try to call ... John Abbott

11 Jan 2021

11:09 Design #1562 (New): matrix.H and MatrixView.H

To be able to use the type @ConstMatrixView@ I need to include @matrix.H@ rather than @MatrixView.H@.
Is this reas... John Abbott

10:19 Support #1561 (New): Doc for module term orderings

The documentation for module term orderings is unhelpful (to put it politely).
I wanted to find out whether a @Fre... John Abbott

08:55 Design #1558: CpuTimeLimit: more frequent clock checks

John Abbott wrote:
> Now I am wondering whether it may not make more sense to base @CpuTimeLimit@ on the "steady clo... Anna Maria Bigatti