CoCoA » CoCoALib

05 Mar 2021

09:37 Feature #1582: Factorization in K(a,b)[x,y]

Presumably the following approach should work:
* map into @K[a,b,x,y]@ after clearing denoms
* discard any factors ... John Abbott

09:35 Feature #1582 (New): Factorization in K(a,b)[x,y]

Florian would like to have factorization of polynomial over a function field _e.g._ @QQ(a,b)[x,y]@.
This would als... John Abbott

09:22 Design #894: strict enum types: C++11 extension

Where I have felt that it is useful to inject the names from an enum,
I have used the following technique to reprodu... John Abbott

02 Mar 2021

08:54 Design #894: strict enum types: C++11 extension

This is what I got searching for @enum@ in the CoCoALib sources: *(I'll remove lines after having revised the files)*... John Abbott

08:52 Design #894 (In Progress): strict enum types: C++11 extension

This is what I got searching for @enum@ in the CoCoA-5 sources:... John Abbott

01 Mar 2021

21:25 Feature #974 (In Progress): QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints

I have revised impl for @SimplestBinaryRatBetween@ so that it can accept open/closed endpoints... but it still protot... John Abbott

20:26 Feature #1580 (Feedback): New fn prim for polys

I have now integrated *@prim@* into the code (will check in shortly).
Also added documentation (both CoCoALib and Co... John Abbott

12:26 Feature #1580 (In Progress): New fn prim for polys

I now a have prototype impl which works for "towers" of poly rings (even a mix of sparse multivariate and dense univa... John Abbott

25 Feb 2021

17:52 Feature #1580 (Closed): New fn prim for polys

Implement a new function *@prim@*.
Over @QQ@ is should make the coeffs integer and coprime:... John Abbott

23 Feb 2021

10:49 Bug #1579: Readexpr/RingElem: unhelpful error message when input is wrong

Currently permitted expressions require that an exponent be an unsigned integer literal or a possible signed integer ... John Abbott

10:44 Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong

I find the following error message unhelpful... John Abbott

10:25 Design #1538: RingElem from string (ReadExpr)

Should we attempt to produce a better error message for the example given in the original description?
Is it worth i... John Abbott

10:23 Design #1538: RingElem from string (ReadExpr)

I have changed the CoCoA-5 parser so that it produces a warning when given input such as *@2*-1@* or *@3/-1@*. The c... John Abbott

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

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

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

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

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

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

11:02 Design #1529 (Closed): INPUT questions

Closing after 2 months in feedback.
John Abbott

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

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

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

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

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

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

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

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

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

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

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

21:46 Design #1576: cmp for machine integers

The impl of *@IsInRange@* should also be revised...
John Abbott

20:36 Design #1511 (In Progress): Use C++14 constexpr

John Abbott

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