CoCoA Project

01 Mar 2019

17:34 CoCoALib Feature #1249 (Closed): principal ideal has a Gbasis

If and ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curr... John Abbott

17:20 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis

The cause was an incompatibility:
* *(A)* if the ideal supplied has no G-basis then verification was disabled (since... John Abbott

17:14 CoCoALib Bug #1248 (Closed): MinPolyQuot: guaranteed and ideal without GBasis

Today we noticed that @ex-Verification1@ failed. What happened is that *@MinPolyQuot@* was called with a (principal)... John Abbott

26 Feb 2019

17:21 CoCoALib Feature #259: Squarefree(?) GCD-free basis

Should *@GCDFreeBasis_BigInt@* and *@GCDFreeBasis_RingElem@* be renamed to *@CoprimeFactorBasis_BigInt@* and *@Coprim... John Abbott

17:07 CoCoALib Feature #4: Squarefree GCD-free basis

I'm postponing this issue because we already have "coprime factor basis", and it is not yet clear to me whether we ne... John Abbott

16:42 CoCoALib Support #1161: Split NumTheory.C into several smaller files

In terms of compilation speed, it is probably not necessary to split @NumTheory.C@; my computer compiled the current ... John Abbott

16:26 CoCoALib Design #1223 (Feedback): NewPolyRing default indet names

This has been "resolved" for 5 months. Moving to "feedback". Hope to close while I'm in Genoa.
John Abbott

16:17 CoCoALib Design #1225: Move to C++14 (skipping C++11)

Check that the new configuration system works on several different platforms (incl. Microsoft???)
John Abbott

11:42 CoCoA-5 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... John Abbott

11:38 CoCoA-5 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... John Abbott

21 Feb 2019

17:55 CoCoA-5 Support #1240: John's visit Feb 2019

Mi piacerebbe guardare anche il discorso degli errori. Issue #385
John Abbott

12:10 CoCoA-5 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... John Abbott

12:05 CoCoA-5 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@*... John Abbott

09:57 CoCoA-5 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... John Abbott

09:19 CoCoA-5 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... John Abbott

09:17 CoCoA-5 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... John Abbott

18 Feb 2019

11:11 CoCoA-5 Feature #1231: system command

OK, the longer name *@SystemCommand@* is clearer, and anyway the function should only very rarely be called, so succi... John Abbott

09:50 CoCoA-5 Feature #1231: system command

I repeat here something I wrote on "Telegram" (because redmine was down).
The name *@system@* causes a clash with ... John Abbott

15 Feb 2019

22:46 CoCoA-5 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... John Abbott

16:07 CoCoA-5 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 ... John Abbott

13:33 CoCoA-5 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 ... John Abbott

12:10 CoCoA-5 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; ... John Abbott

14:54 CoCoA-5 Bug #1226: ExternalLibs return empty list

Yes, I definitely have @READLINE@ -- it works!
It is true that *@READLINE@* is included in the _interpreter,_ and ... John Abbott

13:15 CoCoA-5 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... John Abbott

14:49 CoCoA-5 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... John Abbott

12:54 CoCoA-5 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... John Abbott

12:50 CoCoA-5 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... John Abbott

13:44 CoCoA-5 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... John Abbott

13:09 CoCoA-5 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... John Abbott

13 Feb 2019

15:58 CoCoA-5 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 [].
... John Abbott

15:55 CoCoA-5 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... John Abbott

15:53 CoCoA-5 Feature #1236: Add "socket" devices

I have used the BOOST "asio" library. On my machine compilation requires the linking flag *@-lpthread@* John Abbott

15:51 CoCoA-5 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... John Abbott

08 Feb 2019

21:35 CoCoALib Design #1242 (In Progress): C++14: Use type auto where appropriate

When we switch to C+11/C++14 consider replacing some explicit type declarations with *@auto@*. John Abbott

21:17 CoCoALib Feature #4: Squarefree GCD-free basis

The "squarefree" version should only be for polynomials because it is too costly (in general) to tell if an integer i... John Abbott

20:56 CoCoALib Feature #374 (Closed): Porting "IdealOfProjectivePoints"

There was just one test. I have just tried it, and it worked. So closing.
John Abbott

20:53 CoCoA-5 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... John Abbott

20:41 CoCoA-5 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... John Abbott

20:38 CoCoA-5 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 ... John Abbott

20:21 CoCoA-5 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... John Abbott