Activity
From 01 Jun 2016 to 30 Jun 2016
30 Jun 2016
-
13:59 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- I am still a bit perplexed by this issue.
Having @InvMod@ always throw seems to me to be the cleanest and safest s...
29 Jun 2016
-
17:54 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- Perhaps the best approach is not to worry about @noexcept@ at the moment since we have no experience of the feature. ...
-
17:42 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- If we do adopt the idea of different signatures for throwing and non-throwing versions, which approach is better:
* ... -
15:32 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- I have just thought of an argument in favour of Anna's proposed design (namely, different signatures).
In C++11 ther... -
15:21 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- John Abbott wrote:
> Currently the @enum ErrorActionIndicator@ is defined inside @NumTheory.H@;
May we call it @e... -
15:18 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- Currently the @enum ErrorActionIndicator@ is defined inside @NumTheory.H@; probably it should be moved to @utils.H@ s...
-
15:15 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- I have just checked in my impl. Perhaps Anna could have a look at it, and decide whether she thinks it is comprehens...
-
15:12 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- John Abbott wrote:
> Your approach requires me to add 5 new signatures (for a total of 10);
good point!
-
15:01 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- @Anna: your approach is quite possible but it is more awkward than what I have implemented.
My approach has an opt... -
14:45 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- I'd rather have (as I said in comment #10)...
-
12:42 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- I have implemented @enum ErrorActionIndicator { ThrowOnError, NoThrow };@
And the functions now have a 3rd arg @co...
28 Jun 2016
-
21:37 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- John Abbott wrote:
> Perhaps the @NoThrow@ arg as suggested in comment 9 is clearer?
clearer
-
19:41 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- Here is another proposal for the interface:
* @InvMod(r,m)@ throws if the inverse does not exist
* @InvMod(r,m, fla... -
07:26 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- John Abbott wrote:
> Another possible interface is an optional 3rd arg to say not to throw: _e.g._ @InvMod(res,mod,N...
27 Jun 2016
-
22:41 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- Another possible interface is an optional 3rd arg to say not to throw: _e.g._ @InvMod(res,mod,NoThrow)@. This avoids...
-
17:26 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- We can indeed supply two (or more?) fns.
I like @InvMod@ as it currently is: it can be used conveniently inside a fo... -
17:20 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- The documentation was already updated to say that @ERR:DivByZero@ is thrown if the inverse does not exist.
Note th... -
14:40 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- Thinking about it: I would prefer to have 0 if it is relatively costly to determine if it is divisible.
We also ha... -
14:05 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist
- The actual implementations in @NumTheory.C@ do throw rather than return 0 -- I do not know when the code was changed....
-
13:17 CoCoALib Feature #898: New function: cardinality of finite field?
- *@ExtensionDeg@* is certainly clearer than *@ExtnDeg@*. Right now I cannot think of any good reason to push for succ...
-
11:45 CoCoALib Feature #898: New function: cardinality of finite field?
- John Abbott wrote:
> I think it makes most sense to change @LogCardinality@ to @ExtnDeg@ (any other candidate names?... -
11:41 CoCoALib Feature #898 (In Progress): New function: cardinality of finite field?
- I think it makes most sense to change *@LogCardinality@* to *@ExtnDeg@* (any other candidate names?), and then to rej...
-
11:06 CoCoALib Feature #898: New function: cardinality of finite field?
- John Abbott wrote:
> I'm not enthusiastic about a function for computing the cardinality.
> * As Anna recalled, the... -
11:03 CoCoALib Feature #898: New function: cardinality of finite field?
- I'm not enthusiastic about a function for computing the cardinality.
* As Anna recalled, there is already *@LogCardi... -
08:41 CoCoALib Feature #898: New function: cardinality of finite field?
- JAA wrote in issue #107
> JAA wonders whether *@ExtnDeg@* may not be a better name for *@LogCardinality@*. The name ... -
08:37 CoCoALib Feature #898 (In Progress): New function: cardinality of finite field?
- We currently have the function @LogCardinality@ for a finite field.
Should we also have @cardinality@?
Should it wo... -
09:11 CoCoALib Feature #902: New function: FrobeniusMat
- done, cvs-ed.
Needs proper testing -
09:09 CoCoALib Feature #902 (Closed): New function: FrobeniusMat
- Convert code from CoCoA-5
-
09:08 CoCoALib Feature #900: New function: MinPoly of RingElem in quotient ring
- From existing functions in CoCoA-5
-
09:05 CoCoALib Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring
- Convert code from CoCoA-5
-
09:06 CoCoALib Feature #901 (Closed): New function: PrimaryDecomposition0 in CoCoALib
- Convert code from CoCoA-5
-
08:55 CoCoALib Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib)
- Implemented, need proper testing.
-
08:50 CoCoALib Feature #899 (Closed): IsMaximal, IsPrimary for IDEAL (in cocoalib)
- *2017-11*: actual setting of flags is discussed in #924
-
08:48 CoCoALib Feature #107: Recognizing finite fields
- Implementation of @IsMaximal@ for multivariate rings now allows working non-simple extensions.
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... -
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...
-
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...
-
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...
-
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... -
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... -
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 ...
-
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... -
12:21 CoCoALib Support #696 (Closed): test-OrderedRing: activate or eliminate?
-
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... -
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... -
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....
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@
*... -
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... -
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...
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...
-
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...
-
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 ...
-
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...
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... -
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...
-
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...
-
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@
@...
20 Jun 2016
-
15:01 CoCoALib Design #849: Cleanup MinPoly code
- The function @MinPoly@ (and @MinPolyQuot@) should be straight calls to @MinPolyDef/MinPolyDefQuot@
-
14:54 CoCoALib Design #849: Cleanup MinPoly code
- The current functions should be renamed @MinPolyXXQuot(f, I, z)@
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...
-
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... -
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 ... -
15:51 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- We have these (for short lists)...
-
14:39 CoCoA-5 Design #83: C++11 compatibility questions
- What is the difference between issues #82 and #83 (this one)?
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.
-
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... -
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...
-
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 ... -
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...
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... -
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... -
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.
-
14:13 CoCoA-5 Feature #95: Error/warning if fn-proc is neither fn nor proc?
- Here is a simple test case:...
-
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...
-
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...
-
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...
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;...
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...
-
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...
-
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...
-
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...
-
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... -
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...
-
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...
-
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...
-
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 ...
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 ... -
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...
-
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
======... -
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 ... -
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 ... -
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?
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@?
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 ...
-
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...
-
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...
-
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...
-
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... -
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,...
-
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...
-
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... -
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...
-
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...
01 Jun 2016
-
17:05 CoCoALib Support #887: My first compilations with clang
- CoCoA-5 running!!...
Also available in: Atom