Project

General

Profile

Activity

From 27 May 2016 to 25 Jun 2016

25 Jun 2016

21:54 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Support #696 (Closed): test-OrderedRing: activate or eliminate?
John Abbott
12:19 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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:56 CoCoA-5 Bug #748 (Feedback): Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
Anna says it seems to work mostly OK for her (on emacs 22 or 23). She did report a problem with sending only part of... John Abbott
16:15 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Design #849: Cleanup MinPoly code
The function @MinPoly@ (and @MinPolyQuot@) should be straight calls to @MinPolyDef/MinPolyDefQuot@ Anna Maria Bigatti
14:54 CoCoALib Design #849: Cleanup MinPoly code
The current functions should be renamed @MinPolyXXQuot(f, I, z)@ Anna Maria Bigatti

17 Jun 2016

22:24 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
We have these (for short lists)... Anna Maria Bigatti
14:39 CoCoA-5 Design #83: C++11 compatibility questions
What is the difference between issues #82 and #83 (this one)? John Abbott

16 Jun 2016

17:18 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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
11:46 CoCoA-5 Bug #748: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
I have a possible solution: I have copied @comint-get-old-input-default@ into @cocoa5.el@ then edited it so that it a... John Abbott

15 Jun 2016

16:59 CoCoA-5 Bug #748 (In Progress): Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
A possible work-around seems to be to set @comint-use-prompt-regexp@ to @t@.
The implementation of @comint-get-old...
John Abbott
13:59 CoCoA-5 Bug #748: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
This continues to bother me; it seems to be a "feature" of emacs 24.5 (on several machines).
Strangely I looked on i...
John Abbott
14:35 CoCoALib 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
14:13 CoCoA-5 Feature #95: Error/warning if fn-proc is neither fn nor proc?
Here is a simple test case:... John Abbott
13:55 CoCoA-5 Support #890 (In Progress): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
I am guessing that @ImportByRef@ and @ImportByValue@ may be used only for importing local variables in an outer lexic... John Abbott
13:47 CoCoA-5 Support #890: ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
While @TopLevel@ and @ImportByRef@ are very similar there is a difference: namely, that @TopLevel@ will search only i... John Abbott
13:42 CoCoA-5 Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
While cleaning, I found some old CoCoA-5 "bugs". In this case there are two simple examples where @ImportByRef@ give... John Abbott

14 Jun 2016

09:42 CoCoA-5 Bug #755: Find out how to compile statically on linux
John Abbott wrote:
> In fact, I would be tempted to make the version which needs @libblas@ less immediately obvious;...
Anna Maria Bigatti

13 Jun 2016

20:56 CoCoA-5 Bug #755: Find out how to compile statically on linux
Until we resolve this issue I would suggest making publicly available a minimal version of CoCoA-5 which does not dep... John Abbott
20:40 CoCoALib 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 CoCoALib 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:38 CoCoA-5 Bug #757: readline: fix script for finding libreadline
I have modified the @readline@ scripts so that they accept only absolute paths as input. Recall that there can be pr... John Abbott
19:25 CoCoA-5 Bug #757 (Resolved): readline: fix script for finding libreadline
I have hacked the various scripts, and now it works on my MacBook.
However, I have just re-read the earlier commen...
John Abbott
20:35 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

00:26 CoCoA-5 Feature #888: Escaped newline to allow a long line to be split into several "physical lines"
Unfortunately there are probably some places where backslash-newline cannot be blindly inserted without changing the ... John Abbott
00:15 CoCoA-5 Feature #888: Escaped newline to allow a long line to be split into several "physical lines"
I have just checked what happens with @bash@ (which also uses the backslash-newline convention): it may appear inside... John Abbott
00:05 CoCoA-5 Feature #888: Escaped newline to allow a long line to be split into several "physical lines"
I was surprised not to find this issue already in redmine; I'm sure we have talked about it (in the distant past... p... John Abbott
00:00 CoCoA-5 Feature #888 (New): Escaped newline to allow a long line to be split into several "physical lines"
Some languages allow long lines to be split into several "physical lines" by inserting an escaped-newline which is si... John Abbott
23:50 CoCoA-5 Slug #875 (In Progress): Interpreter is too slow reading a big polynomial
I have taken one of Mario's big polys: this one is about 6Mbyte when printed out.
I tried to ways of converting th...
John Abbott
21:58 CoCoA-5 Slug #875: Interpreter is too slow reading a big polynomial
The solution to use @ReadExpr(P, "poly-as-a-string")@ works tolerably well from the point of view of the interpreter,... John Abbott
15:37 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Support #887: My first compilations with clang
CoCoA-5 running!!... Anna Maria Bigatti

31 May 2016

15:55 CoCoALib Support #887: My first compilations with clang
... another thing I don't really know the meaning of:... Anna Maria Bigatti
15:49 CoCoALib Support #887: My first compilations with clang
I expect this is well under control ;-)... Anna Maria Bigatti
15:27 CoCoALib Support #887: My first compilations with clang
... I'm not quite sure what this refers to...... Anna Maria Bigatti
15:16 CoCoALib 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 CoCoALib 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
 

Also available in: Atom