Activity
From 17 Feb 2019 to 18 Mar 2019
18 Mar 2019
- 18:53 CoCoALib Design #1257 (In Progress): C++14: use nullptr
- I have done the header files. There may still be one or zeroes which escaped me (but I hope not). Next are the .C f...
- 11:24 CoCoALib Design #1257 (Closed): C++14: use nullptr
- From C++11 there is the constant *@nullptr@* for the null pointer.
Update our (C++) code to use it!
- 14:42 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- Here are the aspects to be addressed next:
* how to serialize rings (_i.e._ follow previous format, but passing ring... - 14:38 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- Anna has cleaned the file so that it is syntactically OK.
Now we must look at the semantics. - 14:33 CoCoALib Support #1161: Split NumTheory.C into several smaller files
- Current state:
* *@NumTheory.C@*
* *@NumTheory-ContFrac.C@*
* *@NumTheory-CoprimeFactorBasis.C@*
* *@NumTheory-pr... - 14:10 CoCoALib Feature #1227: exgcd; solve Bezout equation
- I prefer to defer this question until later, until when we have decided what exactly @exgcd@ should do (and whether i...
15 Mar 2019
- 17:59 CoCoALib Bug #1256: RingID: different values in test-output on different platforms
- Anna uses @clang@ on MacOS, while I use @g++@ on Linux.
We get different outputs for @test-output@: its seems that t... - 17:56 CoCoALib Bug #1256 (Closed): RingID: different values in test-output on different platforms
- In @test-output@ Anna and I get different outputs (due to different RingIDs) because we use different platforms.
I... - 17:31 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
- I have changed the @configure@ script so that it prints out a clearer summary.
I have changed the @Makefile@ so that... - 17:25 CoCoA-5 Feature #1236 (Feedback): Add "socket" devices
- Anna prefers the longer field names. Code cleaned, and checked-in. Anna will test.
Doc updated.
- 15:41 CoCoA-5 Feature #1236: Add "socket" devices
- I have updated the CoCoA-5 manual.
I have modified the code so that @OpenSocket@ returns a record with 4 fields: *...
14 Mar 2019
- 13:35 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Here is an effect of the idea of testing the remaining factor for primality....
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
- 19:18 CoCoALib Feature #1249: principal ideal has a Gbasis
- 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 ... - 19:16 CoCoALib Design #1255: Ideals with trivial GBasis
- [by John Abbott: moved here from #1249]
-----------------------------
Also if the gens happen to have coprime LTs w... - 19:14 CoCoALib Design #1255 (New): Ideals with trivial GBasis
- If an ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curre... - 16:03 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
- The distribution had a precompiled @PREPROCESSOR_DEFNS.H@ and @autoconf.mk@ disabling @CoCoA_THREADSAFE_HACK@.
A par... - 15:16 CoCoALib Design #1225: Move to C++14 (skipping C++11)
- John Abbott wrote:
> JAA has checked in latest changes. Hope they work for Anna!
whateve that was, it compiles a...
07 Mar 2019
- 09:49 CoCoA-5 Design #83 (In Progress): C++11 compatibility questions
- 09:48 CoCoALib Feature #82: C++11 compatibility questions
- Warning with clang:...
06 Mar 2019
- 18:16 CoCoALib Design #1225: Move to C++14 (skipping C++11)
- JAA has checked in latest changes. Hope they work for Anna!
- 17:17 CoCoALib Feature #1249 (In Progress): principal ideal has a Gbasis
- Also if the gens happen to have coprime LTs wrt to current ordering then they are a GBasis. Might be useful to have ...
- 16:34 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis
- Fixed.
Now, *guaranteed* computes GBasis if missing, so result is guaranteed.
Testing.
- 15:10 CoCoALib Feature #1254 (New): New function: MinPoly for pseudo-zero-dimensional ideals
- For min polys it might be possible to work with a sub-ideal in a subring. For example,...
05 Mar 2019
- 18:39 CoCoALib Design #1225 (In Progress): Move to C++14 (skipping C++11)
- So far I have done the following:
* revised and renamed script @cxx03.sh@ into @cxx14.sh@
* revised @configure@ scr... - 16:40 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis
- The CoCoA-5 test @test-ApproxSolve.cocoa5@ failed with wrong output: there should have been no output, instead a warn...
- 16:13 CoCoALib Bug #1248 (In Progress): MinPolyQuot: guaranteed and ideal without GBasis
- Two more comments:
* *(1)* my preference is that computations in CoCoALib be guaranteed correct unless the caller ex... - 16:08 CoCoALib Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis
- For min polys it might be possible to work with a sub-ideal in a subring. For example,...
- 16:36 CoCoA-5 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...
- 15:57 CoCoALib Feature #1103 (In Progress): Pseudo-zero-dim ideals
- 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
- 18:04 CoCoALib Design #1223 (Closed): NewPolyRing default indet names
- 18:00 CoCoA-5 Feature #1247 (Closed): sleep function
- Checked in. Documentation. Tested. Works on Anna's computer.
Closing.
- 16:14 CoCoALib Feature #1251 (Closed): New function: radical for monomial ideal
- As for zero-dimensional ideals, implement it so we can pass it to CoCoA-5.
- 12:30 CoCoA-5 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 ...
- 12:21 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
- ...
- 12:16 CoCoALib Bug #1250: SEGV: CoCoALib with Normaliz in multithreading
- Looking for possible problems in the logs from January to June 2018...
- 12:08 CoCoALib Bug #1250 (In Progress): SEGV: CoCoALib with Normaliz in multithreading
- We are searching for suspect code. We are working blind (since we do not have any experience with parallel execution...
- 12:06 CoCoALib Bug #1250 (Closed): SEGV: CoCoALib with Normaliz in multithreading
- Bruns reports (email 2019-03-02) the following SEGV bug:...
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... - 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... - 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)...
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...
- 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...
- 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 ...
- 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.
- 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???)
- 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... - 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...
21 Feb 2019
- 17:55 CoCoA-5 Support #1240: John's visit Feb 2019
- Mi piacerebbe guardare anche il discorso degli errori. Issue #385
- 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... - 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@*...
- 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... - 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... - 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...
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...
- 10:37 CoCoA-5 Feature #1231: system command
> Note that Wikipedia makes a clear distinction between "system call" and "system command". In our case, only "sys...- 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 ...
Also available in: Atom