Activity
From 20 Feb 2020 to 20 Mar 2020
20 Mar 2020
- 13:06 Support #1338: Release CoCoALib-0.99700
- The section in the web page with "Notes" looks a bit strange: _e.g._ "New and renamed files" seems to have two empty ...
- 13:04 Feature #1395: SHA checksum for released code
- I suggest putting the SHA-256 checksum in the "Notes" section on the web page for source releases.
Probably the best...
12 Mar 2020
- 22:28 Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files
- John checked
- 14:50 Design #1446: Start using C++14 "move" capability
- We need to do this piecemeal as many different classes must be considered. Besided modifying the class, we will prob...
- 14:46 Design #1446 (In Progress): Start using C++14 "move" capability
- C++14 (maybe even C++11?) offer an appealing notion of "move ctor" which avoid some deep copies.
We should adapt o... - 14:39 Bug #591: Problem with template instantiation and order of include directives
- What should we do with this issue? The correct "solution" is for us to learn the foibles of C++.
It does highlig... - 14:34 Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- What is the status this issue? Is it now fully resolved?
Anna succeeded (2020-03-11) in compiling on her Mac, pres...
11 Mar 2020
- 17:42 Feature #1395: SHA checksum for released code
- adjusted the page and the release-xxx.sh file to produce the correct files and instructions for publishing.
- 12:26 Feature #1395: SHA checksum for released code
- I think I might be slightly confused. What I wrote above in comments 11 and 12 actually refers to the "binary" relea...
- 11:22 Feature #206: Matrix equation solving: LinKer
- John Abbott wrote:
> Florian suggests that the name *@LinKerZZ@* is superfluous, and that *@LinKer@* should automati...
10 Mar 2020
- 15:47 Feature #1444: HNF: Hermite Normal Form
- Florian has already put a prototype impl (CoCoA-5) in issue #1304. This should be ported to C++.
NTL has HNF whic... - 15:43 Feature #1444 (New): HNF: Hermite Normal Form
- It would be nice to have HNF in CoCoALib.
I can see two cases:
* *(special)* over @ZZ@
* *(general)* over a more... - 15:39 Feature #206: Matrix equation solving: LinKer
- Florian suggests that the name *@LinKerZZ@* is superfluous, and that *@LinKer@* should automatically call @LinKerZZ@ ...
09 Mar 2020
- 16:31 Feature #1395 (Resolved): SHA checksum for released code
- I have also added a quick check that there are no writable files in the subtree to be released.
I have modified @r... - 15:26 Feature #1395: SHA checksum for released code
- So far I have made a small change to @release-linux.sh@.
I have added a line after the @MakeTGZ@ line:... - 16:01 Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files
- I'll check once we have a source TGZ release. When that is clean, I'll close this issue (hopefully today or tomorrow...
- 10:36 Feature #1441 (New): GFan: port CoCoA_5 functions into CoCoALib
- Many useful GFan-based functions are implemented in CoCoA-5.
Port them into CoCoALib.
- 10:25 Support #1338: Release CoCoALib-0.99700
- updated starting page: https://cocoa.dima.unige.it/redmine/
07 Mar 2020
- 08:51 Feature #1212: New function: GBasisByHomog
- Notes for me. In general: M matrix ordering.
If first row of M all positive
m m m 1
M 0
otherwise
1 1 1...
06 Mar 2020
- 17:41 Feature #1434 (Closed): GBasisByHomog for DegLex
- Done.
I had some problems in finding the correct functions to make the matrix.
I'll write some notes about making t... - 16:35 Feature #1427: New function: LawrenceMat
- John Abbott wrote:
> Any objections to changing the return type to @ConstMatrixView@?
> It seems more "natural/effi... - 16:07 Feature #1427 (Closed): New function: LawrenceMat
- 15:48 Feature #1427: New function: LawrenceMat
- Any objections to changing the return type to @ConstMatrixView@?
It seems more "natural/efficient" to me than necess... - 15:43 Feature #1427: New function: LawrenceMat
- What is the definition of _Lawrence lifting_?
I found a paper on ArXiV: @arxiv.org/pdf/1508.05461.pdf@ which gives... - 16:19 Feature #1395: SHA checksum for released code
- If we want to do this, we should delay the release a few days, so we can find out what to do.
- 15:39 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- I think there is good reason to make the other version of this function available, incl. the one Anna proposed, namel...
04 Mar 2020
- 21:02 Feature #1437 (New): Filling matrix row/col from a vector
- I noticed in @SparsePolyOps-MinPoly.C@ that there is a function, @CoefficientsInMatCol@, which is very similar to @co...
- 20:59 Feature #1436 (Closed): Flatten for a matrix
- I happened to see in @SparsePolyOps-MinPoly.C@ that there is a function for "flattening" a matrix.
Do we want to m... - 19:36 Feature #1434 (Closed): GBasisByHomog for DegLex
- This should be easy to fix, hopefully...
- 18:20 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- OK, I have chosen *@CoeffVecWRTSupport@*. Changes already made (but not yet checked in).
*NOTE* I prefer not @Co... - 17:15 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- John Abbott wrote:
> Name: *@CoeffVecWRTBasis@* (or @CoeffListWRTBasis@ in CoCoA-5)
I suggest calling it *@Coeff... - 14:20 Bug #1426 (Closed): Main Makefile: does not rebuild dependencies
- 14:19 Bug #1416 (Closed): IdealOfProjectivePoints and MinGens
- IdealOfProjectivePoints computes GB but cannot determin MinGens.
Neccessary to recompute GBasis with Buchbeger algor... - 14:17 Feature #1433 (New): HilbertDriven Buchberger Algorithm
- just to remember.
03 Mar 2020
- 21:51 Bug #1416: IdealOfProjectivePoints and MinGens
- There are also some other functions which create a GB without having to calculate it, right?
@IdealOfPoints@, ...
- 21:26 Bug #1426 (Feedback): Main Makefile: does not rebuild dependencies
- Found it, and fixed it.
I had accidentally introduced a race condition. Now it should be fine.
I'll do a little ...
28 Feb 2020
- 10:09 Feature #206: Matrix equation solving: LinKer
- I have implemented *@LinKerZZ@* simply by copying the old code from @TmpFactorDir/linalg/Zkernel.c@
The new code pro... - 10:06 Feature #1306: exgcd over integers (ZZ)
- Currently it returns just the cofacs. I had hoped to avoid an include directive in the header file... not so easy.
... - 09:47 Design #1428 (New): DenseMatrix: use template impl for ctors from vec-vec?
- There are 4+4 very similar impls for creating a @DenseMatrix@ from a @vector<vector<STHG>>@.
Consider using a templa...
27 Feb 2020
- 21:05 Feature #1306 (In Progress): exgcd over integers (ZZ)
- I have a first (untested) prototype. Maybe I'll test it tomorrow... too late now.
- 18:37 Feature #1427 (Feedback): New function: LawrenceMat
- Done. Tested, Documented. Checking in.
- 17:30 Feature #1427: New function: LawrenceMat
- essentially done
now testing
- 16:25 Feature #1427 (Closed): New function: LawrenceMat
- Bring LawrenceMat into CoCoALib.
Currenly hidden in @toric.cpkg5@ - 18:04 Feature #206: Matrix equation solving: LinKer
- What is the status of this issue? Surely more than 30% complete?
- 14:55 Feature #1210 (Resolved): New Fn: make public "coefficients" (of poly wrt a given PP basis)
- Name: *@CoeffVecWRTBasis@* (or @CoeffListWRTBasis@ in CoCoA-5)
I have a first (KISS) impl: it takes 2 RingElem, a... - 11:50 Feature #1197 (In Progress): IsZeroDet: new fn
- I have just made a very simplistic first impl: it simply computes the det, and checks whether it is zero. (also chec...
26 Feb 2020
- 22:47 Bug #1426: Main Makefile: does not rebuild dependencies
- It seems to rebuild dependencies only in @src/tests/@.
Too tired to investigate now :-(
- 22:46 Bug #1426 (Closed): Main Makefile: does not rebuild dependencies
- It seemsthat the main @Makefile@ does not rebuild dependencies after a @make veryclean@.
Investigate & fix.
- 11:30 Design #1422 (In Progress): Remove flag IhaveGBasisValue?
- *IMPORTANT* When the task is almost finished, we must review the impl of *@SparsePolyRingBase::IdealImpl::myGBasis@*.
25 Feb 2020
- 18:28 Feature #1212: New function: GBasisByHomog
- Urgent: DegLex (should be easy)
- 17:50 Design #1422: Remove flag IhaveGBasisValue?
- Some notes:
* if the ideal is zero then the GBasis is empty (but correct)
* if our impl assumes that non-empty gbas... - 16:15 Design #1422 (In Progress): Remove flag IhaveGBasisValue?
- As often happens, storing twice an information may lead to problems.
We have the fields @IhaveGBasisValue@ and @myGB... - 17:20 Bug #1423: Radical 0-dim NYI? missing case for GBasisByHomog
- I am pretty sure that this is not new, but i could not quickly find the relevant issue... so I have a new issue (2020...
- 17:19 Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog
- The following is annoying:...
21 Feb 2020
- 20:23 Slug #1375: Radical 0-dim: varied timings
- Here are some test cases I found using a random search (ensuring the gens were x^6+lower, y^6+lower, z^6+lower):
<pr...
Also available in: Atom