CoCoA

01 Mar 2021

21:25 CoCoALib 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

21:13 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?

I have added a short comment to the documentation.
I can see that it might be nice to have a version of @RealRoots... John Abbott

20:26 CoCoALib 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 CoCoALib 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

18:04 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input

I have now removed dot-dot-dot from the prompt prefix.
Also when inside a multi-line comment, the prompt now says *@... John Abbott

25 Feb 2021

17:52 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong

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

10:39 CoCoA-5 Slug #1578: SLUG: RationalSolve slow and stupid

Some ideas:
* if there is a univariate poly, factorize it, and take just the univariate factors; use these to elim a... John Abbott

10:27 CoCoA-5 Bug #1537 (Resolved): EmacUI: strange colours, sometimes

I have just updated issue #1538. This can probably be considered as an acceptable resolution of the problem reported... John Abbott

10:25 CoCoALib 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 CoCoALib 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

22 Feb 2021

23:03 CoCoA-5 Feature #1536 (Feedback): Implement xel?

I have added doc, but no tests (too lazy/tired).
John Abbott

22:00 CoCoA-5 Feature #1536: Implement xel?

Anna has too much else to do. So I have knocked up a quick impl... brain off, just cut-and-paste... and hope!
Per... John Abbott

20:47 CoCoA-5 Bug #1171: RealRoots: first point is sometimes wrong?

We could try to mimic the hack described in issue #1573, where the values are checked at the approx solutions, and re... John Abbott

20:31 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input

I am not convinced of the utility of the dot-dot-dot when the supplementary prompt is non-empty.
It is hard to expla... John Abbott

20:27 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input

The supplementary part of the prompt comes from *@openBlocks@*.
I have no idea how the value of @openBlocks@ is upda... John Abbott

20:25 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input

Here is what my personal CoCoA does currently:... John Abbott

17:31 CoCoA-5 Support #911: CoCoA-5 prompt for incomplete input

I am wondering about enclosing the prompt prefix in square brackets.
I also wonder whether the case of a prefix cont... John Abbott

17:21 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?

I have added a command line option *@--no-prompt@* which forces the function which produces the prompt string to retu... John Abbott

15:22 CoCoA-5 Slug #1578 (New): SLUG: RationalSolve slow and stupid

The following system can easily be solved by hand, but CoCoA is very slow... John Abbott

19 Feb 2021

17:26 CoCoA-5 Bug #1577 (Resolved): radical: lex order, ERROR: Ring is not standard graded

Anna has implemented the obvious workaround: map into a new poly ring (with degrevlex), and then unmap the result.
S... John Abbott

17:00 CoCoA-5 Bug #1396 (Resolved): Website: download page for CoCoA-4 burns CPU

Anna removed some Java script... now seems OK.
John Abbott

09:50 CoCoA-5 Feature #1112: New function: IsEmpty

The function *@IsEmpty@* is slower than explicitly testing for equality to the empty list; why should that be?
He... John Abbott

18 Feb 2021

22:18 CoCoA-5 Feature #1112 (Resolved): New function: IsEmpty

I have just added a first impl to @BuiltInFunctions.C@.
A couple of trivial tests passed.
Still need to: write te... John Abbott

22:07 CoCoA-5 Feature #250 (Feedback): CoCoALib BuildInfo vs CoCoA-5 VersionInfo

The code in @VersionInfo.C@ looks clean and simple to me.
I think this issue has been resolved some time ago.
Movin... John Abbott

22:05 CoCoA-5 Bug #1396: Website: download page for CoCoA-4 burns CPU

The problem still exists :-(
John Abbott

22:03 CoCoA-5 Design #474: Eliminate package BinRepr

It looks to me as though this could easily be converted into C++ (in CoCoALib).
Perhaps just an afternoon suffices..... John Abbott

22:00 CoCoA-5 Bug #1215 (Feedback): RationalSolve: gives "Error: must be non-zero"

Is this issue a *duplicate* of issue #724?
I think so. Anyway, I tried the example mentioned in the description, an... John Abbott

17:21 CoCoALib 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 CoCoALib 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

19:03 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice

I have just checked in my revised code (even though it still needs to be cleaned).
We must develop a proper test s... John Abbott

18:33 CoCoA-5 Design #1540 (Resolved): Double power

I think I have solved the main problem and also the one mentioned in comment 2.
Solution is not elegant, but I do no... John Abbott

11:16 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Design #1529 (Closed): INPUT questions

Closing after 2 months in feedback.
John Abbott

11:01 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

14:41 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice

I might have fixed this (for ideals)... and probably introduced some new weird bugs.... the interpreter code is not e... John Abbott

14:09 CoCoA-5 Slug #1392 (Resolved): ApproxSolve: another slow example

The example given is quite quick now (0.5s on my computer).
Marking as "resolved" (don't know by whom or when).
John Abbott

14:04 CoCoA-5 Bug #1574: ApproxSolveTF

The code seems to be a bit convoluted. It'll take time to work out what it is supposed to be doing... not today!
John Abbott

13:43 CoCoALib 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

15 Feb 2021

22:49 CoCoA-5 Bug #1577: radical: lex order, ERROR: Ring is not standard graded

The full error mesg is:... John Abbott

22:48 CoCoA-5 Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded

This should not happen:... John Abbott

22:20 CoCoA-5 Bug #1567 (Feedback): Radical in non-zero char

I have check in the changes (some time ago). So moving status to _feedback_. John Abbott

12 Feb 2021

12:19 CoCoA-5 Bug #724 (Resolved): RationalSolve: wrongly complains about non zero-dim even in finite char

The example from issue #723 is way too slow to act as a test case -- do we have a more sane test case? How about the... John Abbott

12:16 CoCoA-5 Feature #723: Referring to indets with multiple indices from a polyring

The example in comment 2 is slow because it takes along time to test @IsZeroDim@ _i.e._ compute a GB.
I stopped th... John Abbott

11:54 CoCoA-5 Slug #1270 (Feedback): RationalSolve: use MinPolyQuot instead of elim

I have just tried the example from comment 5, and @RationalSolve@ is now tolerably fast (less than 2s).
John Abbott

11 Feb 2021

00:13 CoCoA-5 Support #1252: ShapeLemma: no manual entry

What is the status of this issue?
John Abbott

00:12 CoCoA-5 Bug #1573 (Resolved): ApproxSolve: very imprecise

I have now added an extra loop which checks the values of the polys at the points found.
If the values are not "heur... John Abbott

00:08 CoCoA-5 Bug #1216 (Feedback): RationalSolve: gives wrong answer

I have implemented the new field names, and updated doc, tests, manual.
New state: Feedback. John Abbott

17:56 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

> Possible names are *@AffinePts@* and *@ProjectivePts@* (or *@ProjPts@*).
I vote for *@AffinePts@* and *@Projecti... Anna Maria Bigatti

10 Feb 2021

22:11 CoCoALib 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 CoCoALib Design #1576: cmp for machine integers

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

21:33 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

Feedback and constructive criticism are welcome!
I'd like to close this issue soon.
John Abbott

21:28 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

Now I wonder what the names of the fields in the records should be.
It may be sensible to use different names for th... John Abbott

20:50 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

Anna has approved the suggestion in comment 13 (just above) about returning a record.
Now I must impl, and revise th... John Abbott

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

John Abbott

09 Feb 2021

15:22 CoCoA-5 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized

I got caught out by this just a short while ago.
I have searched on internet, but there does not seem to be an eas... John Abbott

08 Feb 2021

16:13 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

05 Feb 2021

15:41 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

I am wondering about changing the return value of @RationalSolve@ into a record, _e.g._
*currently* we get... John Abbott

04 Feb 2021

21:05 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

I have modified my copy of the code. It now behaves more "predictably".
*@RationalSolve@* now searches only for _... John Abbott

14:49 CoCoALib 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 CoCoALib 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 CoCoALib 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

17:48 CoCoA-5 Bug #1574: ApproxSolveTF

I have set the target version as 5.3.6, but maybe it could be postponed?
It is a bit strange that the solution [0,... John Abbott

17:46 CoCoA-5 Bug #1574 (New): ApproxSolveTF

@ApproxSolveTF@ is not documented. Maybe that is a good thing...... John Abbott

17:26 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

I now think it might be better to avoid the "clever" function @RationalSolve@ which tries to guess whether it should ... John Abbott

02 Feb 2021

17:04 CoCoALib 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

31 Jan 2021

10:43 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer

Bernhard Andraschko reportes the following:... John Abbott