CoCoA Project

19 Apr 2024

22:10 CoCoA-5 0.25 hour (Bug #1794 (Resolved): Strange bug: demo-Osaka2015)

More tests to check John Abbott

22:10 CoCoA-5 Bug #1794 (Resolved): Strange bug: demo-Osaka2015

@random@ is called harmlessly in @exbugs.cocoa5@.
We should check *@ErrMesg.cocoa5@* and *@test-ApproxSolve.cocoa5@*... John Abbott

17:10 CoCoA-5 Design #1709 (Closed): Test tut-CoCoLA2

John Abbott

16 Apr 2024

22:46 CoCoALib 0.10 hour (Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup))

Another example? John Abbott

22:46 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)

This might be another example where "final clean up" is not instant:... John Abbott

22:40 CoCoALib 0.50 hour (Support #1666 (In Progress): MachineInt: chase through ULL changes)

Undo? John Abbott

22:40 CoCoALib Support #1666 (In Progress): MachineInt: chase through ULL changes

I have just removed @long long@ from @MachineInt@ (and had to change one call in @BigIntOps.C@)
There are actually *... John Abbott

22:29 CoCoALib 0.30 hour (Design #925 (In Progress): MachineInt or long for args which are indices (yet again))

More thoughts John Abbott

22:29 CoCoALib Design #925: MachineInt or long for args which are indices (yet again)

Indices into matrices (and other indexable objects, _e.g._ @ModuleElem@?) must be non-negative.
As already noted ind... John Abbott

15 Apr 2024

22:27 CoCoALib Design #1804: Use long long (at least sometimes)?

I think we are close to a decision: not to use @(unsigned) long long@ except perhaps internally.
I don't regard it a... John Abbott

22:27 CoCoALib 0.10 hour (Design #1804 (In Progress): Use long long (at least sometimes)?)

Not yet John Abbott

22:22 CoCoALib Design #1804: Use long long (at least sometimes)?

Winfried Bruns sent the following response by email:... John Abbott

22:22 CoCoALib 0.20 hour (Design #1804 (In Progress): Use long long (at least sometimes)?)

Normaliz John Abbott

10:14 CoCoALib 0.20 hour (Design #1804 (In Progress): Use long long (at least sometimes)?)

Avoid LL/ULL in user interface John Abbott

10:14 CoCoALib Design #1804: Use long long (at least sometimes)?

My current thoughts are that we should avoid using LL/ULL in any (normal) user interfaces, but we may use them intern... John Abbott

19:05 CoCoALib Support #1814: Ensure tests do not need too much RAM

Anna thinks she has found the cause. She'll do some more tests to confirm; then we hope to fix it.
John Abbott

19:05 CoCoALib 0.20 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

Cause found John Abbott

10:09 CoCoALib Support #1814: Ensure tests do not need too much RAM

*Anna* plans to investigate today John Abbott

10:09 CoCoALib 0.10 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

Anna will investigate John Abbott

10:09 CoCoALib 0.10 hour (Design #1800 (In Progress): Conversion from SmallPrime to UNSIGNED long?)

Try it? John Abbott

10:09 CoCoALib Design #1800 (In Progress): Conversion from SmallPrime to UNSIGNED long?

I am quite tempted just to try changing the automatic conversion, but this should probably also be done with some oth... John Abbott

10:08 CoCoALib Feature #828: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)

I think we need a new central issue regard possible redesign of @MachineInt@
John Abbott

10:08 CoCoALib 0.10 hour (Feature #828 (In Progress): MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG))

Need a new central issue John Abbott

10:05 CoCoALib 0.10 hour (Support #1666 (In Progress): MachineInt: chase through ULL changes)

Reconsider? John Abbott

10:05 CoCoALib Support #1666: MachineInt: chase through ULL changes

I wonder if this change should be reconsidered in light of the discussion in #1804?
John Abbott

14 Apr 2024

09:20 CoCoALib 0.20 hour (Design #1804 (In Progress): Use long long (at least sometimes)?)

No typedef John Abbott

09:20 CoCoALib Design #1804: Use long long (at least sometimes)?

The more I think about making a "typedef", the less I am convinced. For convenience I shall suppose it is called *@C... John Abbott

13 Apr 2024

22:21 CoCoALib Design #1804 (In Progress): Use long long (at least sometimes)?

Nico sent the following comment by email:... John Abbott

22:21 CoCoALib 0.20 hour (Design #1804 (In Progress): Use long long (at least sometimes)?)

John Abbott

22:18 CoCoALib 0.40 hour (Design #1801 (In Progress): BuildInfo)

List John Abbott

22:18 CoCoALib Design #1801 (In Progress): BuildInfo

Here is a list of CPP symbols beginning with *@COCOA_@*
* @COCOA_ULONG2LONG@
* @COCOA_ULONGLONG2LONGLONG@
* @COCOA... John Abbott

12 Apr 2024

19:08 CoCoA-5 Design #1709: Test tut-CoCoLA2

I have just checked-in the changes. They should be in the next "internal" release. Hope to resolve #1814 before mak... John Abbott

19:08 CoCoA-5 0.20 hour (Design #1709 (Closed): Test tut-CoCoLA2)

Checked in John Abbott

09 Apr 2024

21:53 CoCoALib Design #1804: Use long long (at least sometimes)?

I am a bit concerned that *@long long@* may incur unnecessary overhead on some platforms.
We could also have a CoC... John Abbott

21:53 CoCoALib 0.10 hour (Design #1804 (In Progress): Use long long (at least sometimes)?)

Concern John Abbott

20:55 CoCoALib Support #1814: Ensure tests do not need too much RAM

I'm not sure if I am recalling correctly the time-line...
* there was a bug in @IsInRadical@ which meant that it alw... John Abbott

20:55 CoCoALib 0.25 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

Not sure John Abbott

08 Apr 2024

21:42 CoCoALib Support #1814: Ensure tests do not need too much RAM

My idea did not produce much gain (neither regarding time nor memory requirement).
There's a loop somewhere which is... John Abbott

21:42 CoCoALib 0.75 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

Uff! John Abbott

20:57 CoCoALib 0.50 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

Strange! John Abbott

20:57 CoCoALib Support #1814: Ensure tests do not need too much RAM

It is not clear to me why @test-SparsePolyRing1-b.C@ should have become slower by a factor of 2.
I'm not surprised b... John Abbott

20:26 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")

Seems OK John Abbott

20:26 CoCoALib Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-"

I have advanced this issue to *resolved* since it seems to be OK now -- thanks Nico for the clarification!
Anna is a... John Abbott

07 Apr 2024

22:48 CoCoALib Support #1814: Ensure tests do not need too much RAM

Strictly this is not CoCoALib but CoCoA-5.
I ran the CoCoA-5 tests with about 0.5GiB memory: there was 1 failure, na... John Abbott

22:48 CoCoALib 0.10 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

CooA-5 tests John Abbott

22:18 CoCoALib Support #1814 (In Progress): Ensure tests do not need too much RAM

Assuming that @ulimit -v@ does what I think/hope it does, I confirm that the only test to fail with a limit of @25000... John Abbott

22:18 CoCoALib 0.10 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

Some progress John Abbott

21:57 CoCoALib 0.20 hour (Support #1814 (In Progress): Ensure tests do not need too much RAM)

Some notes John Abbott

21:57 CoCoALib Support #1814: Ensure tests do not need too much RAM

On my linux box the command *@ulimit -v 1048576@* will limit memory use to 1GiB (which seems a reasonable limit to me... John Abbott

21:55 CoCoALib Support #1814 (In Progress): Ensure tests do not need too much RAM

Ulrich also reported that *@test-SparsePolyRing2@* now needs about 3GiB of RAM at some point. That is rather a lot!
... John Abbott

21:53 CoCoALib 0.50 hour (Slug #1813 (In Progress): Some tests have become slower)

Some notes John Abbott

21:53 CoCoALib Slug #1813 (In Progress): Some tests have become slower

I think the slow down may be due to a change in code in radical (of ideals)" I believe we now speculatively try to co... John Abbott

21:49 CoCoALib Slug #1813 (In Progress): Some tests have become slower

Ulrich reports by email that the test *@test-SparsePolyRing2@* has become significantly slower; also perhaps @test-Sp... John Abbott

20:49 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-"

*AnnA* can you check whether this issue can now be closed?
Ulrich reports that 0.99850 is OK with txt2tags-2.6; I s... John Abbott

20:49 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")

Close? John Abbott

20:42 CoCoA-5 Design #1709 (Resolved): Test tut-CoCoLA2

John Abbott

20:41 CoCoA-5 0.40 hour (Design #1709 (Closed): Test tut-CoCoLA2)

Modified John Abbott

20:41 CoCoA-5 Design #1709: Test tut-CoCoLA2

Ah, oops!
Since Anna did not object, I have just made the change hinted at in my comment 8 above. This should avoid... John Abbott

28 Mar 2024

23:10 CoCoALib Bug #1661 (Closed): Microsoft: cannot compile with signal handling

I think Nico said it is OK now. Closing!
John Abbott

23:10 CoCoALib 0.10 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling)

Closing John Abbott

23:04 CoCoALib Bug #1811 (Resolved): Check include guards

Also the interpreter has CPP symbols without the CoCoA prefix. Is that right?
John Abbott

23:04 CoCoALib 0.20 hour (Bug #1811 (Feedback): Check include guards)

Mostly done John Abbott

23:00 CoCoALib Bug #1811 (Feedback): Check include guards

Some files have include guards without the @CoCoA_@ prefix... John Abbott

26 Mar 2024

17:19 CoCoALib 0.10 hour (Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib)

Michele John Abbott

17:19 CoCoALib Feature #1667: GBasis over ZZ: port to CoCoALib

Michele Toriell is asking for this. There was C++ from when i was in Passau: dig it out, and blow the dust off.
John Abbott

17:14 CoCoALib Feature #598: Syzygy for modules: non-homogeneous module

Good idea to make comprehensive tests.... perhaps not easy.
Why "feedback" and 10% complete?
John Abbott

17:14 CoCoALib 0.10 hour (Feature #598 (In Progress): Syzygy for modules: non-homogeneous module)

Good idea John Abbott

17:12 CoCoA-5 0.10 hour (Feature #1072 (Rejected): syz: apply to ModuleElem?)

Agreed John Abbott

17:12 CoCoA-5 Feature #1072: syz: apply to ModuleElem?

Agreed that we should reject.
John Abbott

25 Mar 2024

19:31 CoCoALib 0.20 hour (Design #1804 (In Progress): Use long long (at least sometimes)?)

Backward compatibility John Abbott

19:31 CoCoALib Design #1804: Use long long (at least sometimes)?

Personally I was hoping to drop support for 32-bit platforms, but @long@ on MinGW is only 32-bits. Does MinGW offer ... John Abbott

19:29 CoCoALib Design #1804 (In Progress): Use long long (at least sometimes)?

Winfried Bruns suggested in issue #1661 to consider using *@long long@* wherever we want more than 32-bits.
Investig... John Abbott

19:16 CoCoALib 0.10 hour (Feature #1797 (New): Add a function CleanupGens making some easy cleaning on the generators?)

Also radical? John Abbott

19:16 CoCoALib Feature #1797: Add a function CleanupGens making some easy cleaning on the generators?

This might be a separate issue: should there also be a similar function which "prepares" the generators for computin... John Abbott

19:05 CoCoALib Design #1802: Tidying ideal generators (for non-polynomial ideals)

First steps:
* remove 0 generators
* if any generator is 1 (or invertible) then the ideal is 1
* for integer ideal... John Abbott

19:05 CoCoALib 0.20 hour (Design #1802 (New): Tidying ideal generators (for non-polynomial ideals))

First steps John Abbott

19:02 CoCoALib Design #1802 (New): Tidying ideal generators (for non-polynomial ideals)

Generalize the ideas of issue #1647 to other types of ideal (and modules?)
John Abbott

18:49 CoCoALib 0.25 hour (Design #1801 (In Progress): BuildInfo)

CoCoALib & CoCoA-5 John Abbott

18:49 CoCoALib Design #1801: BuildInfo

We need to consider the behaviour both in CoCoALib and in CoCoA-5.
Anna suggests that it is more helpful to mainta... John Abbott

18:47 CoCoALib Design #1801 (In Progress): BuildInfo

Three things:
* why do some preprocessor flags have prefix *@COCOA_@* while others have *@CoCoA_@* ?
* for whom are... John Abbott

18:18 CoCoALib Bug #1661 (Resolved): Microsoft: cannot compile with signal handling

John Abbott

18:05 CoCoALib 0.10 hour (Bug #1726 (Closed): Dangling references to temporaries)

Closing John Abbott

18:05 CoCoALib Bug #1726 (Closed): Dangling references to temporaries

I believe I have made all necessary changes. So closing -- it works fine for us... John Abbott

17:49 CoCoALib 0.20 hour (Design #1800 (In Progress): Conversion from SmallPrime to UNSIGNED long?)

Unsigned John Abbott

17:49 CoCoALib Design #1800: Conversion from SmallPrime to UNSIGNED long?

We have long tried to avoid unsigned values because they can cause inconvenient, silent, automatic conversions.
But ... John Abbott

17:47 CoCoALib Design #1800 (In Progress): Conversion from SmallPrime to UNSIGNED long?

Currently there is an "implicit" conversion from @SmallPrime@ to @signed long@.
Should the conversion instead be to ... John Abbott

24 Mar 2024

10:52 CoCoALib 0.25 hour (Design #1799 (New): Clean out OLD CODE?)

Some notes John Abbott

10:52 CoCoALib Design #1799: Clean out OLD CODE?

Apart from being untidy (& possibly embarassing) the old code does sometimes cost time if we have to maintain it.
Wh... John Abbott

10:50 CoCoALib Design #1799 (New): Clean out OLD CODE?

The sources contain some quite old code which is likely no longer used.
We should identify the code and consider rem... John Abbott

22 Mar 2024

22:04 CoCoALib Bug #1661: Microsoft: cannot compile with signal handling

I have been working through Nico's changes. Still undecided about several of them :-/
The 32-bit vs 64-bit problems... John Abbott

22:04 CoCoALib 1.50 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling)

Ugh! John Abbott

21:01 CoCoALib 0.10 hour (Support #302 (In Progress): Compilation on M$Windows: Visual Studio)

Still relevant? John Abbott

21:01 CoCoALib Support #302: Compilation on M$Windows: Visual Studio

Is any of this still relevant?
John Abbott

18:18 CoCoA-5 0.20 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)

Shortcut John Abbott

18:18 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5

I like Anna's possible shortcut from comment 9.
Shall we impl it?
*NOTE* also for CoCoALib? John Abbott

17:53 CoCoALib 0.30 hour (Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup))

More notes John Abbott

17:53 CoCoALib Slug #1394 (In Progress): Oddly slow GBasis computation (slow final cleanup)

Anna points out that the actual cost is the normal form reduction inside the *@isin@* operator. The computation of t... John Abbott

09:35 CoCoALib Bug #1726 (Feedback): Dangling references to temporaries

John Abbott

09:35 CoCoALib Design #1649 (Feedback): Add file SparsePolyOps-vector.C

John Abbott

09:29 CoCoALib Slug #1588: ElimMat is slow

I though we had a class for incremental gaussian reduction. That should be useful in this case!
We can also make ... John Abbott

09:29 CoCoALib 0.10 hour (Slug #1588 (New): ElimMat is slow)

INcr gauss John Abbott

09:23 CoCoALib Design #1798 (New): Computing in sub polyring

Investigate whether it is a good idea to adapt certain operations to compute in a sub polyring (without unnecessary i... John Abbott

21 Mar 2024

20:40 CoCoALib 0.25 hour (Slug #1756 (In Progress): deg(f) is slow if f is long)

Can do better John Abbott

20:40 CoCoALib Slug #1756: deg(f) is slow if f is long

My previous comment just above is correct, but we can sometimes do better.
I think we need to consider just the "low... John Abbott

20:31 CoCoALib 0.20 hour (Bug #1749 (Closed): Configuration hiccups on Mac M1)

John Abbott

20:31 CoCoALib Bug #1749 (Closed): Configuration hiccups on Mac M1

John Abbott

20:29 CoCoALib Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?

I'm too lazy to track down all the functions which ought to be tested, and then to write the corresponding tests.
So... John Abbott

20:29 CoCoALib 0.10 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?)

Closing John Abbott

20:24 CoCoALib Design #1606 (Closed): Return type with const

John Abbott

20:24 CoCoALib 0.10 hour (Design #1606 (Closed): Return type with const)

John Abbott

20:18 CoCoALib 0.75 hour (Bug #1641 (Closed): gcd does not recognize univariate input )

Done! John Abbott

20:18 CoCoALib Bug #1641 (Closed): gcd does not recognize univariate input

I have added some new tests to @test-SparsePolyRing1.C@.
I conform that Anna's example from comment 11 does seems to... John Abbott

10:25 CoCoALib 0.10 hour (Bug #1641 (Closed): gcd does not recognize univariate input )

Ahhh! John Abbott

10:25 CoCoALib Bug #1641: gcd does not recognize univariate input

Ah yes, I do have debugging on.
Do you get a measurable time difference if the ring contains just 3 indets or if it ... John Abbott