CoCoA » CoCoALib

25 Jun 2016

21:54 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

In this case I think that the "backward compatibility" aspect is of relatively little importance.
If someone has use... John Abbott

19:02 Bug #860 (Feedback): Check impl of RingTwinFloatImpl::myIsRational

This has largely been completed; there remains only the mystery as to why @SimplestBigRatBetween@ is too slow -- this... John Abbott

18:58 Slug #897 (Closed): SimplestBigRatBetween: why is it so slow?

Investigations in issue #860 showed that @SimplestBigRatBetween@ was mysteriously slower than expected (and than an e... John Abbott

16:40 Feature #896 (In Progress): myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat?

I note there could be a "mild inconsistency" in the @RingTwinFloat@ implementation: let @N@ be a @BigInt@ and @x@ a t... John Abbott

14:33 Feature #896: myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat?

Here are the new mem fns which every ring would have to offer:
* @myIsEqual(RingElem, MachineInt)@
* @myIsEqual(Rin... John Abbott

14:28 Feature #896: myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat?

Here are some pros and cons:
* *(+)* avoid making temporary ring-elem values (wasteful new-delete cycle);
* *(+)* s... John Abbott

14:09 Feature #896 (In Progress): myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat?

Currently all comparisons between a @RingElem@ and a @MachineInt@ (or @BigInt@ or @BigRat@) entails first converting ... John Abbott

14:11 Design #859 (Closed): Twin-float: comparisons and equality test

I have updated the documentation for @RingTwinFloat@.
In practice the current impl of @myCmp@ deals first with the... John Abbott

12:21 Support #696 (Closed): test-OrderedRing: activate or eliminate?

John Abbott

12:19 Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision

This has been in feedback for 3 months without any reports of problems.
Apparently the (new-ish?) test @test-Ordered... John Abbott

12:08 Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS

I have added a new test (@test-bug7.C@) for this issue.
Since there have been no problems for 3 months, I am closing... John Abbott

11:40 Bug #895: NumDigits: sometimes gives wrong answer

I have just tried a quick experiment comparing speeds: let @N := 10^(10^9);@
* @NumDigits(N,10)@ takes less than 0.... John Abbott

24 Jun 2016

16:53 Bug #895: NumDigits: sometimes gives wrong answer

Which variants of @NumDigits@ should exist and what should they be called?
* base 10 possible name @NumDigits10@
*... John Abbott

16:26 Bug #895 (In Progress): NumDigits: sometimes gives wrong answer

The GMP function is guaranteed to be fast (very fast!).
The correct definition is @NumDigits(N,base) = 1 + FloorLo... John Abbott

16:22 Bug #895 (Closed): NumDigits: sometimes gives wrong answer

@NumDigits@ is a direct call to the CoCoALib fn called @NumDigits@ which is a direct call to the GMP fn @mpz_sizeinba... John Abbott

22 Jun 2016

16:15 Design #891: Replace auto_ptr in preparation for C++11?

I have looked on the internet for "clever" ways to make our code compatible with both C++03 and C++11 (using @auto_pt... John Abbott

13:26 Design #891: Replace auto_ptr in preparation for C++11?

Just a quick note about doing a global replacement of @auto_ptr@ by @unique_ptr@. Open all files in emacs, then use ... John Abbott

13:24 Design #891 (In Progress): Replace auto_ptr in preparation for C++11?

I have just globally replaced @auto_ptr@ with @unique_ptr@.
Just 1 line in @TmpJBMill.C@ needed to be changed to get... John Abbott

21 Jun 2016

14:47 Design #894 (In Progress): strict enum types: C++11 extension

Apparently C++11 offers "strongly typed enum" which do not have automatic conversion to integer values.
This seems... John Abbott

14:37 Feature #873: bool3: add some logical operations?

On the other hand, if we choose not to be "clever" then we can use normal (inline?) functions which always evaluate a... John Abbott

14:17 Feature #873: bool3: add some logical operations?

I would like that the definitions of @and3@ and @or3@ behave just like the built-in logical operators @operator&&@ an... John Abbott

13:12 Design #891: Replace auto_ptr in preparation for C++11?

Here are the files which use @std::auto_ptr@:
@GlobalManager.H@
@MemPool.H@
@SparsePolyRing.H@
@SugarDegree.H@
@... John Abbott

20 Jun 2016

15:01 Design #849: Cleanup MinPoly code

The function @MinPoly@ (and @MinPolyQuot@) should be straight calls to @MinPolyDef/MinPolyDefQuot@ Anna Maria Bigatti

14:54 Design #849: Cleanup MinPoly code

The current functions should be renamed @MinPolyXXQuot(f, I, z)@ Anna Maria Bigatti

17 Jun 2016

22:24 Design #891: Replace auto_ptr in preparation for C++11?

A quick check we should do is to string-replace all @auto_ptr@ with @unique_ptr@ and see if the code compiles cleanly... John Abbott

22:23 Design #891: Replace auto_ptr in preparation for C++11?

Obviously we are not the first to encounter this problem.
My understanding is that @std::unique_ptr@ is intended a... John Abbott

22:17 Design #891 (Closed): Replace auto_ptr in preparation for C++11?

Compiling CoCoALib with @--std=c++11@ produces lots of warnings about @std::auto_ptr@ being deprecated
Reportedly ... John Abbott

15:51 Feature #357: Constructor for vectors? CoCoAVector

We have these (for short lists)... Anna Maria Bigatti

16 Jun 2016

17:18 Design #827: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)

What is the status of this issue?
I'm hoping it can be closed quickly and easily for the next (imminent) release.
John Abbott

17:14 Bug #814: PPOrdering: matrix ordering, what rings are allowed.

What is the answer to the original question?
Comment 1 proposed an answer, and asked for discussion. The other co... John Abbott

17:09 Feature #800: PPMonoidSparse: impl of sparse PPs

As reported in issue #842 execution speed is sometimes very disappointing, so currently it may not be such a good ide... John Abbott

17:03 Design #789: NumTheory: behaviour of InvMod when inverse does not exist

We could also offer 2 functions: @InvMod@ which throws, and @InvModNoThrow@ which returns 0.
To maintain backward ... John Abbott

15 Jun 2016

14:35 Bug #547: elim using RingTwinFloat triggers error "SERIOUS"

I have confirmed that both examples still trigger @ERR::SERIOUS@ with 5.1.5 on CoCoALib 0.99543.
John Abbott

13 Jun 2016

20:40 Feature #889 (In Progress): configure script: give summary of warnings at end

I have modified the @configure@ script so that the last line of output recalls all warnings. It seemed to work for M... John Abbott

14:09 Feature #889 (Closed): configure script: give summary of warnings at end

The CoCoALib @configure@ script can produce warnings during its execution, however these easily become invisible/igno... John Abbott

20:35 Feature #759 (In Progress): Configuration: where to keep source for test compilations?

Some scripts contain the source code inside themselves (as here-documents), others rely on an external existing (in a... John Abbott

15:32 Bug #593: Temporary directories used during configuration

Another advantage of using @/tmp@ is that scripts no longer need to test whether they are being run from the CoCoA ro... John Abbott

11:39 Bug #593: Temporary directories used during configuration

After waiting for several configure-make cycles to complete on the fixed machine here in Kassel, I have concluded tha... John Abbott

14:11 Bug #867: Compilation Error: C++11 and old GMP-Version

I have opened issue #889 which should resolve this issue (if my understanding of the problem is correct, namely that ... John Abbott

10 Jun 2016

17:32 Bug #756: frobby (v0.9.0) does not compile with g++-4.8

John Abbott wrote:
> Can you tell your compiler (clang/llvm) to use the old standard? You will have to look in the ... Anna Maria Bigatti

17:21 Bug #756: frobby (v0.9.0) does not compile with g++-4.8

Can you tell your compiler (clang/llvm) to use the old standard? You will have to look in the documentation to see h... John Abbott

17:08 Bug #756: frobby (v0.9.0) does not compile with g++-4.8

I've found this ;-)
[[https://github.com/Macaulay2/M2/issues/66]]
I copy here the reply from Bjarke Roune
======... Anna Maria Bigatti

16:55 Bug #756: frobby (v0.9.0) does not compile with g++-4.8

I do not recognise the error message you have posted.
Do you have to tell your compiler to use the C++03 standard ... John Abbott

16:50 Bug #756: frobby (v0.9.0) does not compile with g++-4.8

John Abbott wrote:
> OK, I have change the documentation. Could you check to see if it makes sense?
I believe I ... Anna Maria Bigatti

16:09 Bug #756: frobby (v0.9.0) does not compile with g++-4.8

OK, I have changed the documentation. Could you check to see if it makes sense? John Abbott

08 Jun 2016

15:46 Bug #756: frobby (v0.9.0) does not compile with g++-4.8

Could you write the changes in the documentation @ExternalLibs-Frobby.txt@?
Anna Maria Bigatti

06 Jun 2016

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

For aesthetics: now changes sign to the LinKer matrix (so that the entries corresponding to the "pivots" are "1" inst... Anna Maria Bigatti

13:47 Support #887: My first compilations with clang

John Abbott wrote:
> I like the idea of adding some hints about compiling external libraries. I already have some n... Anna Maria Bigatti

13:31 Support #887: My first compilations with clang

I like the idea of adding some hints about compiling external libraries. I already have some notes (but perhaps they... John Abbott

13:28 Support #887: My first compilations with clang

The warnings about infinite recursion correspond to code which has a comment @BUG BUG BUG@; I suppose I'll fix it wh... John Abbott

01 Jun 2016

17:05 Support #887: My first compilations with clang

CoCoA-5 running!!... Anna Maria Bigatti

31 May 2016

15:55 Support #887: My first compilations with clang

... another thing I don't really know the meaning of:... Anna Maria Bigatti

15:49 Support #887: My first compilations with clang

I expect this is well under control ;-)... Anna Maria Bigatti

15:27 Support #887: My first compilations with clang

... I'm not quite sure what this refers to...... Anna Maria Bigatti

15:16 Support #887: My first compilations with clang

*This is just a local problem with files not in cvs*
The file @/include/CoCoA/TmpSBStats.H@ contains the line... Anna Maria Bigatti

15:14 Support #887 (Closed): My first compilations with clang

I've just updated to MacOS 10.11 (from 10.6).
Here I note the problems and remarks on the first compilations. Anna Maria Bigatti