Activity
From 11 Feb 2019 to 12 Mar 2019
12 Mar 2019
-
16:40 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Problem with PIE (#3) resurfaced because of a line swap in configure.
Just in case it happens again:
this was solve...
11 Mar 2019
-
- Done and partly tested.
-
18:53 CoCoALib Feature #1249: principal ideal has a Gbasis
- Here are some more minor points (after speaking to Anna on the phone):
* Anna was concerned about potential cost if ... -
- [by John Abbott: moved here from #1249]
-----------------------------
Also if the gens happen to have coprime LTs w... -
- If an ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curre... -
- The distribution had a precompiled @PREPROCESSOR_DEFNS.H@ and @autoconf.mk@ disabling @CoCoA_THREADSAFE_HACK@.
A par... -
- John Abbott wrote:
> JAA has checked in latest changes. Hope they work for Anna!
whateve that was, it compiles a...
07 Mar 2019
-
-
- Warning with clang:...
06 Mar 2019
-
- JAA has checked in latest changes. Hope they work for Anna!
-
- Also if the gens happen to have coprime LTs wrt to current ordering then they are a GBasis. Might be useful to have ...
-
- Fixed.
Now, *guaranteed* computes GBasis if missing, so result is guaranteed.
Testing.
-
- For min polys it might be possible to work with a sub-ideal in a subring. For example,...
05 Mar 2019
-
- So far I have done the following:
* revised and renamed script @cxx03.sh@ into @cxx14.sh@
* revised @configure@ scr... -
- The CoCoA-5 test @test-ApproxSolve.cocoa5@ failed with wrong output: there should have been no output, instead a warn...
-
- Two more comments:
* *(1)* my preference is that computations in CoCoALib be guaranteed correct unless the caller ex... -
- For min polys it might be possible to work with a sub-ideal in a subring. For example,...
-
- The CoCoA-5 test file @test-ApproxSolve.cocoa5@ calls the function @ShapeLemma@, but this function is not in the CoCo...
-
- Note also that if we map into a temporary ring without redundant indets, then we can also choose a convenient term-or...
04 Mar 2019
-
-
- Checked in. Documentation. Tested. Works on Anna's computer.
Closing.
-
- As for zero-dimensional ideals, implement it so we can pass it to CoCoA-5.
-
- JAA notes that the product of zero factors should return a list containing 1 element which is a 0-tuple (namely, the ...
-
- ...
-
- Looking for possible problems in the logs from January to June 2018...
-
- We are searching for suspect code. We are working blind (since we do not have any experience with parallel execution...
-
- Bruns reports (email 2019-03-02) the following SEGV bug:...
01 Mar 2019
-
- If and ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curr... -
- The cause was an incompatibility:
* *(A)* if the ideal supplied has no G-basis then verification was disabled (since... -
- Today we noticed that @ex-Verification1@ failed. What happened is that *@MinPolyQuot@* was called with a (principal)...
26 Feb 2019
-
- Should *@GCDFreeBasis_BigInt@* and *@GCDFreeBasis_RingElem@* be renamed to *@CoprimeFactorBasis_BigInt@* and *@Coprim...
-
- I'm postponing this issue because we already have "coprime factor basis", and it is not yet clear to me whether we ne...
-
- In terms of compilation speed, it is probably not necessary to split @NumTheory.C@; my computer compiled the current ...
-
- This has been "resolved" for 5 months. Moving to "feedback". Hope to close while I'm in Genoa.
-
- Check that the new configuration system works on several different platforms (incl. Microsoft???)
-
- If we use C++11 then this is a relatively simple task (since C++11 already offers a decent "sleep function").
It's... -
- 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
-
- Mi piacerebbe guardare anche il discorso degli errori. Issue #385
-
- The package name should be changed. My temporary version is called *@OperationCommunication.cpkg5@*.
The old code... -
- Kreuzer wants to use various functions (for remote procedure calls) which were defined in the package *@cocoa5.cpkg@*...
-
- I suggest keeping the idea of @ReadExprSemicolon@ in reserve, and adopting a KISS approach now:
* *KISS* the ringele... -
- The manual entry for @RingElem@ is hard to read (and perhaps too long?)
In ptic it is not easy to find the descrip... -
- Currently it is easy to workaround the limitation: just use *@floor(AsRAT(c))@* where @c@ is the ringelem.
Perhaps...
18 Feb 2019
-
- OK, the longer name *@SystemCommand@* is clearer, and anyway the function should only very rarely be called, so succi...
-
> Note that Wikipedia makes a clear distinction between "system call" and "system command". In our case, only "sys...-
- I repeat here something I wrote on "Telegram" (because redmine was down).
The name *@system@* causes a clash with ...
15 Feb 2019
-
- Currently @MSatLinSolve@ appears to accept matrices over finite fields; probably it should require the ring to be cha...
-
- At the moment, input is only via *@GetLine@*, which naturally reads a whole line as a string.
Currently we cannot ... -
- John Abbott wrote:
> After lunch (rather disappointing fish-and-chips in the mensa), I now think that trying to impo... -
- After lunch (rather disappointing fish-and-chips in the mensa), I now think that trying to impose a "list syntax" is ...
-
- Here are some thoughts:
# in the current (prototype) implementation the natural way to read inputs is line-by-line; ... -
- I admit I would have found this useful in a number of occasions.
I had followed the same workaround as Ange...
-
- Yes, I definitely have @READLINE@ -- it works!
It is true that *@READLINE@* is included in the _interpreter,_ and ... -
- John Abbott wrote:
> On my computer *@READLINE@* does not appear even though CoCoAInterpreter has been compiled with... -
- I am now inclined to change my mind about my comment 2 above. As Anna says, the info is directly available from @Ver...
-
- Currently it is implemented as...
-
- 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... -
- OK, convinced.
If he actually wrote a progam where he needed to handle the 1-case (and had to design his own workaro... -
- I do note that *@CartesianProductList([])@* returns *@[]@* without warning (or error, obviously).
I *might* be wil... -
- I can try asking the student again for a copy of his program. However, the student was fairly good at programming, a...
-
- hmmmmm, true.
I had been reasoning too mathematically....
I do not much like it though.
should instead return an... -
- John Abbott wrote:
> What about the other junk in *@io.cpkg@*?
>
> * *@format@* is exported
and is used
> *... -
- What about the other junk in *@io.cpkg@*?
* *@format@* is exported
* *@SprintTrunc@* appears in the CoCoA-5 manua... -
- I have just looked quickly on internet for information about the unix command *@fold@*:
* it seems there are three s... -
- John Abbott wrote:
> JAA thinks we can remove *@StarPrint@* and *@StarPrintFold@* from the CoCoA-5 manual (and also ... -
- 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
-
- OK, I'll test it on Mac when you are in Genova
13 Feb 2019
-
- Presumably the list syntax should be the same as what CoCoA prints: ","-separated entries inside square brackets [].
... -
- Ange asked whether it would be possible to have a function like @ReadExpr@ but which reads a list of ringelem (or a l...
-
- I have used the BOOST "asio" library. On my machine compilation requires the linking flag *@-lpthread@*
-
- I have opted for the following design in the first impl:
@OpenSocket@ creates a @RECORD@ with two fields *@send@* an...
Also available in: Atom