Activity
From 13 Feb 2023 to 14 Mar 2023
14 Mar 2023
-
23:07 Feature #1112: New function: IsEmpty
- Just out of curiosity I made yet another test:...
-
- Mmm, so what is the conclusion here?
Originally I had hoped/expected that a simple built-in function would be faster... -
- Do you prefer *@GBasis_TimeOut@* or *@GBasis_Timeout@*?
(and then analogously for *@FactorINT_TimeOut@*)
-
21:58 Feature #1718: FactorINT with time-out
- John Abbott wrote:
> I think I prefer with the underscore... not entirely sure why.
> Should I change *@GBasisTimeo... -
- I think I prefer with the underscore... not entirely sure why.
Should I change *@GBasisTimeout@* to *@GBasis_TimeOut... -
-
- I think I now agree with Anna's comment 15.
If there are long indet names then the user will almost surely have to r... -
- I think the revised documentation is helpful here; enough so, that I shall close the issue.
-
- The *@CheckDependencies@* proposal in comment 12 is a tolerable workaround (for the moment).
The issue of document... -
- *@fold@* and *@ConcatStrings@* are a reasonable compromise. We'll revisit the topic if a specific use-case comes up....
-
- I have just revised the manual entry for *@indent@* and *@IndentStr@*.
I think it makes sense for them to share an e... -
- Added ".. promotion mapping .." (3 lines) and checked in.
Closing.
-
- I added the manual search key "promotion mapping" to CanonicalHom and to matrix
-
- John Abbott wrote:
> I have changed the err mesg to be more comprehensible: "automatic" instead of "auto".
what a... -
- Seems mainly reasonable. My students, those who read the instructions, managed to install it.
-
13 Mar 2023
-
- Documentation done...
10 Mar 2023
-
- John Abbott wrote:
> I like the suggestion of putting a backslash in front of all long indet names:
> * if the inde... -
- I am a little unhappy about @\!\:@ which does look rather ugly.
Maybe it is OK if (at least) one of the indets does... -
- I like the suggestion of putting a backslash in front of all long indet names:
* if the indet name is a greek letter... -
- What is the status of this issue?
I thought it was almost finished.
09 Mar 2023
-
- I have changed the err mesg to be more comprehensible: "automatic" instead of "auto".
I think we can close this is... -
-
- Shall I just do this?
Any objections?
-
- Current state (2023-03-09):
*(A)* and *(B)* and *(C)* have effectively been solved.
For *(D)* there is a workaround... -
- Is there any news from Passau about this issue?
Is there an improved version of *@OperationCommunication.cpkg5@*?
-
-
-
- No one objected to *@FactorINT_TimeOut@*.
I wonder if *@GBasisTimeout@* should be renamed to *@GBasis_TimeOut@* -- w... -
21:41 Support #1675: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows
- I have analysed version 5.4.0 and my currently installed CoCoA version (5.4.1k), compiled on 24 Feb 2023 at 09:59:49 ...
07 Mar 2023
-
- We plan to make a new release quite soon (before the CoCoA School).
I'm hoping Nico Mexis might be willing to make t...
27 Feb 2023
-
- I have just revised the impl in *@coclib.cpkg5@*
Right now there is a local variable which says whether to do a case... -
- A disadvantage of being case insensitive is that it may sometimes produce too much output...
in theory... are there ... -
- At least partly due to memory creation for intermediate computations: restarting CoCoA and swapping the computations...
-
- John Abbott wrote:
> On my current linux box the timings are:
> [...]
On my Mac... -
- John Abbott wrote:
> I do not have @IndentStr@:
> [...]
>
> Can you check in? And write the manual (should be t... -
- done and pre-released for testing
Still to do: manual
16 Feb 2023
-
- For CoCoA School Hue.
Choose the best interface.
14 Feb 2023
-
- **VIETNAM**
We should decide what to complete before the School in Vietnam.
The (pretty hard) deadline should be ... -
- I do not have @IndentStr@:...
-
- On my current linux box the timings are:...
Also available in: Atom