Activity

From 06 Feb 2019 to 07 Mar 2019

09:48 Feature #82: C++11 compatibility questions: Warning with clang:... Anna Maria Bigatti

18:16 Design #1225: Move to C++14 (skipping C++11): JAA has checked in latest changes. Hope they work for Anna!
John Abbott
17:17 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 ... John Abbott
16:34 Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis: Fixed.
Now, *guaranteed* computes GBasis if missing, so result is guaranteed.
Testing.
Anna Maria Bigatti
15:10 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,... Anna Maria Bigatti

18:39 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... John Abbott
16:40 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... John Abbott
16:13 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... John Abbott
16:08 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,... John Abbott
15:57 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... John Abbott

18:04 Design #1223 (Closed): NewPolyRing default indet names: John Abbott
16:14 Feature #1251 (Closed): New function: radical for monomial ideal: As for zero-dimensional ideals, implement it so we can pass it to CoCoA-5. Anna Maria Bigatti
12:21 Bug #1250: SEGV: CoCoALib with Normaliz in multithreading: ... Anna Maria Bigatti
12:16 Bug #1250: SEGV: CoCoALib with Normaliz in multithreading: Looking for possible problems in the logs from January to June 2018... Anna Maria Bigatti
12:08 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... John Abbott
12:06 Bug #1250 (Closed): SEGV: CoCoALib with Normaliz in multithreading: Bruns reports (email 2019-03-02) the following SEGV bug:... John Abbott

17:34 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 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 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

17:21 Feature #259: Squarefree(?) GCD-free basis: Should *@GCDFreeBasis_BigInt@* and *@GCDFreeBasis_RingElem@* be renamed to *@CoprimeFactorBasis_BigInt@* and *@Coprim... John Abbott
17:07 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 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 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 Design #1225: Move to C++14 (skipping C++11): Check that the new configuration system works on several different platforms (incl. Microsoft???)
John Abbott

21:35 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 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 Feature #374 (Closed): Porting "IdealOfProjectivePoints": There was just one test. I have just tried it, and it worked. So closing.
John Abbott

Also available in: Atom

CoCoA » CoCoALib