Project

General

Profile

Activity

From 02 Nov 2020 to 01 Dec 2020

01 Dec 2020

14:03 CoCoA-5 Feature #1541: foreach with ref to list entry?
If we choose to extend CoCoA-5, there are 2 obvious approaches:
* modify @foreach@ so that it uses references --- ob...
John Abbott
13:58 CoCoA-5 Feature #1541 (New): foreach with ref to list entry?
Julian Danner asks whether it would be possible to have a version of @foreach@ which operates on a reference to the l... John Abbott
12:13 CoCoA-5 Support #1298: How can user find the indent command?
I am tempted to remove the example of using @indent@ with 2 args: it occupies a lot of vertical space, but conveys li... John Abbott
12:08 CoCoA-5 Support #1298: How can user find the indent command?
Maybe this should be a new issue? I was surprised at what @indent@ did when given a module:... John Abbott

26 Nov 2020

16:33 CoCoA-5 Support #322: Installation instructions (on website)
I must check what happens for old MacOS
Anna Maria Bigatti
16:29 CoCoALib Design #1391: RingElems: syntax with [ and ] ?
My copy works ok, but I must devise tests.
John Abbott
16:24 CoCoA-5 Bug #1537: EmacUI: strange colours, sometimes
John Abbott wrote:
> A possible way to address the problem is to discourage users from typing *@/-@* by making it is...
Anna Maria Bigatti
16:20 CoCoA-5 Feature #1536: Implement xel?
Anna will impl in CoCoAlib, and then make accessible to CoCoA-5.
John Abbott
16:06 CoCoA-5 Feature #1536: Implement xel?
One difference between @QQ[x,y,z],xel@ and @QQ[z,y,x],lex@ is that the order in which the idents are printed is diffe... John Abbott
14:37 CoCoA-5 Feature #1536 (In Progress): Implement xel?
Very good reasoning.
Indeed some researchers have opposite standards, calling lex (and degrevlex) what we call xel (...
Anna Maria Bigatti
15:52 CoCoA-5 Feature #1535: New functions: argmin, argmax
I like the idea. We need another mane for the funzion with indices. Anna Maria Bigatti

23 Nov 2020

10:18 CoCoA-5 Design #1520 (Feedback): Replace BOOST_FOREACH by new C++14 range for syntax
I have checked in my changes. Let's hope everything works fine! John Abbott

20 Nov 2020

15:04 CoCoA-5 Design #1520: Replace BOOST_FOREACH by new C++14 range for syntax
We still need to see where the new the @for@ syntax can be used in cocoalib -- that is issue #1346.
Maybe I should...
John Abbott
15:01 CoCoA-5 Design #1520 (Resolved): Replace BOOST_FOREACH by new C++14 range for syntax
I think I have done most of the code in @src/CoCoA-5@.
It compiles and the CoCoA-5 tests all pass.
I made the chang...
John Abbott
14:11 CoCoA-5 Design #1540: Double power
I would like to maintain reasonable compatibility between the way CoCoA-5 parses expressions and the way @RingElem@ o... John Abbott
13:35 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
Apparently the ability to suppress prompts could be useful for the ApCoCoA interface.
For that application, it wou...
John Abbott
11:36 CoCoA-5 Bug #1539 (Feedback): Website: installation instructions for Microsoft
Anna Maria Bigatti
11:35 CoCoA-5 Bug #1539: Website: installation instructions for Microsoft
fixed
Anna Maria Bigatti
11:27 CoCoA-5 Bug #1539: Website: installation instructions for Microsoft
What was nice was that Bernhard wrote "shouldn't cocoa-5.2 be cocoa-5.2?"
So even bug reporters can make typos ;-)
John Abbott
08:56 CoCoA-5 Design #1530: VersionInfo -- better field names?
Done.
I added "Boost" only in BuiltinFunctions.C.
I have also the code for adding it in ExternalLibs.C (commented o...
Anna Maria Bigatti

17 Nov 2020

22:53 CoCoALib Design #1538 (In Progress): RingElem from string (ReadExpr)
The input functions are quite messy: not really a coherent design philosophy.
It seems that *@ReadExpr@* gives err...
John Abbott
22:33 CoCoA-5 Support #322: Installation instructions (on website)
Last week a student came with some problems with making CoCoA work on her MacBook; most of these are dealt with elsew... John Abbott
20:31 CoCoA-5 Bug #1537: EmacUI: strange colours, sometimes
A possible way to address the problem is to discourage users from typing *@/-@* by making it issue a warning.
As a...
John Abbott
20:26 CoCoA-5 Bug #1537: EmacUI: strange colours, sometimes
This is probably not solvable :-(
I changed the emacs syntax declaration for "minus" into just a plain "." (punctu...
John Abbott
20:11 CoCoA-5 Bug #1537: EmacUI: strange colours, sometimes
Here is some doc about emacs;... John Abbott
20:02 CoCoA-5 Bug #1537: EmacUI: strange colours, sometimes
Around line 335 in @cocoa5.el@ there is this... John Abbott
19:48 CoCoA-5 Bug #1537: EmacUI: strange colours, sometimes
As far as I can tell the following "digraphs" are recognized as starting a comment:
slash-star, slash-slash, slash-m...
John Abbott
13:49 CoCoA-5 Bug #1537 (In Progress): EmacUI: strange colours, sometimes
I have tried a few tests. slash-minus seems to be recognised as a comment start; I have tried slash-char where char w... John Abbott
13:19 CoCoA-5 Design #1540 (In Progress): Double power
If we do look at handling exponents, it might be nice to improve the error mesg when a negative exponent is given wit... John Abbott

16 Nov 2020

18:07 CoCoA-5 Design #1540: Double power
I think CoCoA should give a warning or even an error. Currently, it gives neither!
On my computer I got *@x^8@*
...
John Abbott
18:05 CoCoA-5 Design #1540 (Closed): Double power
What do you think CoCoA does with the following input?... John Abbott
09:43 CoCoA-5 Bug #1539 (Closed): Website: installation instructions for Microsoft
The installation instructions for Microsoft refer to the directory *@C:\cocoa-5.2\emacs@* instead of *@C:\cocoa-5.3\e... John Abbott

13 Nov 2020

18:29 CoCoALib Design #1391: RingElems: syntax with [ and ] ?
The C++ version does not work: @WhatsNext@ causes too much trouble :-(
Groan...
John Abbott
14:36 CoCoALib Design #1391: RingElems: syntax with [ and ] ?
Remove the CoCoA-5 and make it call the cocoalib version.
John Abbott
16:00 CoCoA-5 Design #1530: VersionInfo -- better field names?
*Anna will do the following*
(1) move the info about BOOST into the subrecord @ExternalLibs@ (_i.e._ added to the li...
John Abbott
14:34 CoCoA-5 Design #1530: VersionInfo -- better field names?
and add Boost into the ExternalLibs record Anna Maria Bigatti
15:48 CoCoA-5 Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+
Anna could you do the following on your old MacBook:
(1) download the official distrib
(2) follow the instructions ...
John Abbott
14:26 CoCoA-5 Support #1534: Install CoCoA-5 on MacOS-10.15+
I have had trouble installing CoCoA-5 from our website on my old mac.
John Abbott
15:20 CoCoALib Design #1538: RingElem from string (ReadExpr)
My personal opinion is that I do not like *@1/-2@* and *@2*-3@*; they both look like typos to me. Perhaps the user m... John Abbott
15:04 CoCoALib Design #1538: RingElem from string (ReadExpr)
Similar problem for *@RingElem(QQ, "2*-3");@*
John Abbott
14:59 CoCoALib Design #1538 (Closed): RingElem from string (ReadExpr)
What should the following do... John Abbott
14:48 CoCoA-5 Bug #1537 (Closed): EmacUI: strange colours, sometimes
... Anna Maria Bigatti
11:23 CoCoA-5 Feature #1536: Implement xel?
The matter was raised by Bernhard Andraschko. His argument is below:... John Abbott
11:19 CoCoA-5 Feature #1536 (Closed): Implement xel?
At the moment CoCoA-5 does not recognise the keyword @xel@ for specifying a term order when defining a new ring.
I...
John Abbott

12 Nov 2020

13:47 CoCoA-5 Feature #1535: New functions: argmin, argmax
Here is a little background/motivation.
I demoed to the students how one can impl in CoCoA-5 the algm to compute a m...
John Abbott

11 Nov 2020

15:11 CoCoA-5 Feature #1535: New functions: argmin, argmax
I clearly prefer @argmin@, since its easier to type and lower-case is also more common in mathematics, but (as for ma... Julian Danner
11:25 CoCoA-5 Feature #1535: New functions: argmin, argmax
What should the names be?
In most contexts they are written @argmin@ (or maybe @arg min@ with a space).
Should be u...
John Abbott
11:23 CoCoA-5 Feature #1535: New functions: argmin, argmax
Should this actually be in CoCoALib?
Might it be handy to have a version which returns the index (or indices) of t...
John Abbott
11:20 CoCoA-5 Feature #1535 (In Progress): New functions: argmin, argmax
Here is a first prototype in CoCoA-5... John Abbott
11:14 CoCoA-5 Feature #1535 (In Progress): New functions: argmin, argmax
Proposal:
create new functions @argmin@ and @argmax@ which operate on lists.
The idea is that they return an/all ...
John Abbott

10 Nov 2020

19:57 CoCoA-5 Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+
Review the instructions for installing CoCoA-5.3 on MacOS.
Unfortunately it seems that an administrator account an...
John Abbott
14:11 CoCoALib Feature #1532: Convenient RingHom pseudo-ctors
It might be possible to extend the impl give above to handle quotients of poly rings, and perhaps also "towers" of po... John Abbott
14:07 CoCoA-5 Bug #1531 (Feedback): CRASH: arithmetic with HilbertSeries (tagged object)
John Abbott
13:58 CoCoA-5 Design #1530 (In Progress): VersionInfo -- better field names?
I suggest for the "Num bits" fields to the names *@NumBits_MachineInt@*, *@NumBits_MachineLong@* and *@NumBits_Small... John Abbott

09 Nov 2020

21:13 CoCoALib Feature #1466: Ops += *= etc for Matrices?
It is not clear to me how to implement @+=@ etc. better than the naive way, and maintain exception safety.
It migh...
John Abbott
21:02 CoCoALib Bug #1233: factor SEGV -- too large characteristic
Revised example (now that we're mostly 64 bit)... John Abbott

06 Nov 2020

14:24 CoCoALib Feature #1532: Convenient RingHom pseudo-ctors
Florian mentions that Singular has something called *@imap@*...
John Abbott
14:07 CoCoALib Feature #1532 (In Progress): Convenient RingHom pseudo-ctors
Here is a prototype in CoCoA-5... we would also need a version for cocoalib!!... John Abbott
13:20 CoCoALib Feature #1532: Convenient RingHom pseudo-ctors
Here is the example Florian wanted:... John Abbott
13:14 CoCoALib Feature #1532 (In Progress): Convenient RingHom pseudo-ctors
CoCoALib should offer some convenient pseudo-ctors for @RingHom@.
One example would be from @QQ[x,y,z]@ into @QQ(x...
John Abbott
13:56 CoCoA-5 Design #1533: RingElem and IndetSymbols not compatible
The obvious convenient solution would be to allow @RingElem@ to accept the @RECORD@ produced by @IndetSymbols@.
Migh...
John Abbott
13:54 CoCoA-5 Design #1533 (In Progress): RingElem and IndetSymbols not compatible
John Abbott
13:34 CoCoA-5 Design #1533 (In Progress): RingElem and IndetSymbols not compatible
The funcrions @RingElem@ and @IndetSymbols@ are sort-of-inverses; but we could perhaps do better?... John Abbott

05 Nov 2020

19:00 CoCoA-5 Bug #1531: CRASH: arithmetic with HilbertSeries (tagged object)
At least + is commutative: @HilbertSeries(...)+1@ also causes a crash!
I have modified @Interpreter.C@, and checked ...
John Abbott
15:12 CoCoA-5 Bug #1531: CRASH: arithmetic with HilbertSeries (tagged object)
I have just tried using my last idea @rightOp->getType()->isProperSybstypeOf(..)@.
It compiled, and now produces a v...
John Abbott
15:07 CoCoA-5 Bug #1531 (In Progress): CRASH: arithmetic with HilbertSeries (tagged object)
The troublesome call is on line 1536 of @Interpreter.C@.
The problem is that @rightType@ has @dispatchIndex@ equal t...
John Abbott
14:41 CoCoA-5 Bug #1531 (Closed): CRASH: arithmetic with HilbertSeries (tagged object)
The following input causes an assertion failure, followed by abort:... John Abbott

04 Nov 2020

20:41 CoCoALib Design #1529: INPUT questions
One mild concern is that the reading fns in C++ try to accept the maximum length initial string which gives "valid" i... John Abbott
20:25 CoCoALib Design #1529 (In Progress): INPUT questions
The code for reading a @BigRat@ can read it either as a fraction @N/D@ or as a decimal @Int.frac@.
For the "decima...
John Abbott
20:06 CoCoALib Design #1529: INPUT questions
Ooops! I have had a look a what happens when a @BigInt@ is read... and I found a bug :-(
For @BigInt@ no space is...
John Abbott
17:41 CoCoALib Design #1529: INPUT questions
Regarding point *(1)*... what should input of a @BigRat@ do with the following input streams?
* *@1/2@* -->JAA: ...
John Abbott
17:33 CoCoALib Design #1529: INPUT questions
One possibility would be to require that an integer literal start with a decimal digit: _e.g._ there is no problem in... John Abbott
13:35 CoCoALib Slug #1517: RandomLinearForm
I presume the timings in comment 4 were with @unsigned short@ as @SmallExponent_t@ (otherwise CoCoA has suddenly beco... John Abbott
12:30 CoCoA-5 Design #1530: VersionInfo -- better field names?
I would like @VersionInfo@ to tell me also how many bits are in @SmallExponent_t@ (since this does seem to affect exe... John Abbott
12:28 CoCoA-5 Design #1530 (Closed): VersionInfo -- better field names?
The order of the fields printed by @VersionInfo@ is alphabetical. This means that some pieces of info are ordered st... John Abbott
12:25 CoCoA-5 Feature #250: CoCoALib BuildInfo vs CoCoA-5 VersionInfo
Is this issue still relevant?
Close? Reject?
John Abbott
12:06 CoCoA-5 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
Currently the script reports a very succinct error message if the executables cannot run (probably due to shared libr... John Abbott
10:48 CoCoA-5 Bug #1527 (Feedback): Inadequate error message on incorrect list access
I have checked in the code.
John Abbott

03 Nov 2020

22:19 CoCoA-5 Feature #1293: Vim Plugin for CoCoA
Can we make the link for the imminent (interim) release?
John Abbott
22:17 CoCoA-5 Bug #1527: Inadequate error message on incorrect list access
This is what happens now:... John Abbott
21:12 CoCoA-5 Bug #1527 (Resolved): Inadequate error message on incorrect list access
I have made a change (by adding a call to mem fn @asRightValue@).
Now the code seems to be doing more or less what I...
John Abbott
22:11 CoCoA-5 Feature #1479 (Feedback): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
Here is a little doc (where should it really go?)
The new script expects one of two possibilities for the @bin/@ d...
John Abbott
22:03 CoCoA-5 Support #1459 (Closed): Manual entries for mod and div
John Abbott
21:03 CoCoALib Slug #897 (Feedback): SimplestBigRatBetween: why is it so slow?
I have checked in (despite the presence of some experimental changes).
John Abbott
20:51 CoCoALib Design #1391 (Feedback): RingElems: syntax with [ and ] ?
I have implemented *@RingElemVec@*; the code is mostly shared with @RingElems@.
John Abbott

02 Nov 2020

22:20 CoCoA-5 Bug #1527: Inadequate error message on incorrect list access
I do not understand lines 146 and 147 in @AST.H@.
They seem to say that everything can be indexed by both INT and ST...
John Abbott
22:17 CoCoA-5 Bug #1527: Inadequate error message on incorrect list access
Na toll:... John Abbott
21:45 CoCoA-5 Bug #1527: Inadequate error message on incorrect list access
There is a fn *@canBeIndexedByBigInt@*, but there does not seem to be a @canBeIndexedByString@*.
Maybe I should ma...
John Abbott
21:42 CoCoA-5 Bug #1527: Inadequate error message on incorrect list access
I have a partial fix: the error mesg now says "Expecting type STRING" if the value being indexed is a @RECORD@ otherw... John Abbott
 

Also available in: Atom