Activity
From 08 Feb 2019 to 09 Mar 2019
07 Mar 2019
05 Mar 2019
- 16:36 Support #1252 (New): ShapeLemma: no manual entry
- The CoCoA-5 test file @test-ApproxSolve.cocoa5@ calls the function @ShapeLemma@, but this function is not in the CoCo...
04 Mar 2019
- 18:00 Feature #1247 (Closed): sleep function
- Checked in. Documentation. Tested. Works on Anna's computer.
Closing.
- 12:30 Bug #1239 (Closed): CartesianProductList: case of just 1 entry in list
- JAA notes that the product of zero factors should return a list containing 1 element which is a 0-tuple (namely, the ...
26 Feb 2019
- 11:42 Feature #1247 (In Progress): sleep function
- If we use C++11 then this is a relatively simple task (since C++11 already offers a decent "sleep function").
It's... - 11:38 Feature #1247 (Closed): sleep function
- Consider adding a "sleep function" to CoCoA-5.
This could be useful in an interactive context (_e.g._ the "Can't S...
21 Feb 2019
- 17:55 Support #1240: John's visit Feb 2019
- Mi piacerebbe guardare anche il discorso degli errori. Issue #385
- 12:10 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- The package name should be changed. My temporary version is called *@OperationCommunication.cpkg5@*.
The old code... - 12:05 Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg"
- Kreuzer wants to use various functions (for remote procedure calls) which were defined in the package *@cocoa5.cpkg@*...
- 09:57 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- I suggest keeping the idea of @ReadExprSemicolon@ in reserve, and adopting a KISS approach now:
* *KISS* the ringele... - 09:19 Support #1245 (New): Online manual entry for RingElem needs to be improved
- The manual entry for @RingElem@ is hard to read (and perhaps too long?)
In ptic it is not easy to find the descrip... - 09:17 Feature #857: floor, ceil, and NearestInt for RingElem in CoCoA-5?
- Currently it is easy to workaround the limitation: just use *@floor(AsRAT(c))@* where @c@ is the ringelem.
Perhaps...
18 Feb 2019
- 11:11 Feature #1231: system command
- OK, the longer name *@SystemCommand@* is clearer, and anyway the function should only very rarely be called, so succi...
- 10:37 Feature #1231: system command
> Note that Wikipedia makes a clear distinction between "system call" and "system command". In our case, only "sys...- 09:50 Feature #1231: system command
- I repeat here something I wrote on "Telegram" (because redmine was down).
The name *@system@* causes a clash with ...
15 Feb 2019
- 22:46 Bug #1244 (In Progress): MSatLinSolve: req minor improvements
- Currently @MSatLinSolve@ appears to accept matrices over finite fields; probably it should require the ring to be cha...
- 16:07 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- At the moment, input is only via *@GetLine@*, which naturally reads a whole line as a string.
Currently we cannot ... - 14:28 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- John Abbott wrote:
> After lunch (rather disappointing fish-and-chips in the mensa), I now think that trying to impo... - 13:33 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- After lunch (rather disappointing fish-and-chips in the mensa), I now think that trying to impose a "list syntax" is ...
- 12:10 Feature #1243 (In Progress): New function: Read a string into a list (of RingElem) -- CoCoA-5
- Here are some thoughts:
# in the current (prototype) implementation the natural way to read inputs is line-by-line; ... - 11:54 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- I admit I would have found this useful in a number of occasions.
I had followed the same workaround as Ange...
- 14:54 Bug #1226: ExternalLibs return empty list
- Yes, I definitely have @READLINE@ -- it works!
It is true that *@READLINE@* is included in the _interpreter,_ and ... - 14:29 Bug #1226: ExternalLibs return empty list
- John Abbott wrote:
> On my computer *@READLINE@* does not appear even though CoCoAInterpreter has been compiled with... - 13:15 Bug #1226: ExternalLibs return empty list
- I am now inclined to change my mind about my comment 2 above. As Anna says, the info is directly available from @Ver...
- 12:06 Bug #1226: ExternalLibs return empty list
- Currently it is implemented as...
- 14:49 Bug #1239 (Resolved): CartesianProductList: case of just 1 entry in list
- Good, we're agreed. I've fixed it too -- we'll merge when I'm in Genoa.
I do still have a minor doubt about the emp... - 14:37 Bug #1239: CartesianProductList: case of just 1 entry in list
- OK, convinced.
If he actually wrote a progam where he needed to handle the 1-case (and had to design his own workaro... - 12:54 Bug #1239: CartesianProductList: case of just 1 entry in list
- I do note that *@CartesianProductList([])@* returns *@[]@* without warning (or error, obviously).
I *might* be wil... - 12:50 Bug #1239 (In Progress): CartesianProductList: case of just 1 entry in list
- I can try asking the student again for a copy of his program. However, the student was fairly good at programming, a...
- 12:21 Bug #1239: CartesianProductList: case of just 1 entry in list
- hmmmmm, true.
I had been reasoning too mathematically....
I do not much like it though.
should instead return an... - 14:13 Design #476: Review utility of package IO
- John Abbott wrote:
> What about the other junk in *@io.cpkg@*?
>
> * *@format@* is exported
and is used
> *... - 13:44 Design #476: Review utility of package IO
- What about the other junk in *@io.cpkg@*?
* *@format@* is exported
* *@SprintTrunc@* appears in the CoCoA-5 manua... - 13:09 Design #476: Review utility of package IO
- I have just looked quickly on internet for information about the unix command *@fold@*:
* it seems there are three s... - 12:14 Design #476: Review utility of package IO
- John Abbott wrote:
> JAA thinks we can remove *@StarPrint@* and *@StarPrintFold@* from the CoCoA-5 manual (and also ... - 11:59 Support #1241: GDPR: website, mailing list
- The mailing list is now under google, so I believe we have nothing to do about that.
I need to understand better abo...
14 Feb 2019
- 14:36 Feature #1236: Add "socket" devices
- OK, I'll test it on Mac when you are in Genova
13 Feb 2019
- 15:58 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- Presumably the list syntax should be the same as what CoCoA prints: ","-separated entries inside square brackets [].
... - 15:55 Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5
- Ange asked whether it would be possible to have a function like @ReadExpr@ but which reads a list of ringelem (or a l...
- 15:53 Feature #1236: Add "socket" devices
- I have used the BOOST "asio" library. On my machine compilation requires the linking flag *@-lpthread@*
- 15:51 Feature #1236 (In Progress): Add "socket" devices
- I have opted for the following design in the first impl:
@OpenSocket@ creates a @RECORD@ with two fields *@send@* an...
08 Feb 2019
- 20:53 Support #1241 (New): GDPR: website, mailing list
- We should check that our website is GDPR compliant -- I have some doubts about the "visitor counter".
Strictly we sh... - 20:41 Bug #1226 (Feedback): ExternalLibs return empty list
- Can we make the function return also the versions of the external libraries as in *@VersionInfo@*?
Is it worth doing... - 20:38 Support #1240: John's visit Feb 2019
- Qui sotto sono le cose che sper(iam)o di fare durante la mia visita:
* sincronizzare col CVS
* far funzionare VPN ... - 20:21 Support #1240 (Closed): John's visit Feb 2019
- Questo e` un compito finto. Il suo scopo e` solo di raccogliere (nel primo commento?) un elenco delle cose da fare d...
Also available in: Atom