Project

General

Profile

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 ... John Abbott
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...
John Abbott

12 Mar 2020

22:28 Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files
John checked Anna Maria Bigatti
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... John Abbott
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...
John Abbott
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...
John Abbott
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...
John Abbott

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. Anna Maria Bigatti
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... John Abbott
11:22 Feature #206: Matrix equation solving: LinKer
John Abbott wrote:
> Florian suggests that the name *@LinKerZZ@* is superfluous, and that *@LinKer@* should automati...
Anna Maria Bigatti

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...
John Abbott
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...
John Abbott
15:39 Feature #206: Matrix equation solving: LinKer
Florian suggests that the name *@LinKerZZ@* is superfluous, and that *@LinKer@* should automatically call @LinKerZZ@ ... John Abbott

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...
John Abbott
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:...
John Abbott
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... John Abbott
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.
John Abbott
10:25 Support #1338: Release CoCoALib-0.99700
updated starting page: https://cocoa.dima.unige.it/redmine/ Anna Maria Bigatti

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...
Anna Maria Bigatti

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...
Anna Maria Bigatti
16:35 Feature #1427: New function: LawrenceMat
John Abbott wrote:
> Any objections to changing the return type to @ConstMatrixView@?
> It seems more "natural/effi...
Anna Maria Bigatti
16:07 Feature #1427 (Closed): New function: LawrenceMat
John Abbott
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...
John Abbott
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...
John Abbott
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.
John Abbott
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... John Abbott

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... John Abbott
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...
John Abbott
19:36 Feature #1434 (Closed): GBasisByHomog for DegLex
This should be easy to fix, hopefully... Anna Maria Bigatti
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...
John Abbott
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...
Anna Maria Bigatti
14:20 Bug #1426 (Closed): Main Makefile: does not rebuild dependencies
John Abbott
14:19 Bug #1416 (Closed): IdealOfProjectivePoints and MinGens
IdealOfProjectivePoints computes GB but cannot determin MinGens.
Neccessary to recompute GBasis with Buchbeger algor...
Anna Maria Bigatti
14:17 Feature #1433 (New): HilbertDriven Buchberger Algorithm
just to remember. Anna Maria Bigatti

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@, ...
John Abbott
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 ...
John Abbott

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...
John Abbott
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.
...
John Abbott
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...
John Abbott

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.
John Abbott
18:37 Feature #1427 (Feedback): New function: LawrenceMat
Done. Tested, Documented. Checking in. Anna Maria Bigatti
17:30 Feature #1427: New function: LawrenceMat
essentially done
now testing
Anna Maria Bigatti
16:25 Feature #1427 (Closed): New function: LawrenceMat
Bring LawrenceMat into CoCoALib.
Currenly hidden in @toric.cpkg5@
Anna Maria Bigatti
18:04 Feature #206: Matrix equation solving: LinKer
What is the status of this issue? Surely more than 30% complete?
John Abbott
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...
John Abbott
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... John Abbott

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 :-(
John Abbott
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.
John Abbott
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@*.
John Abbott

25 Feb 2020

18:28 Feature #1212: New function: GBasisByHomog
Urgent: DegLex (should be easy) Anna Maria Bigatti
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...
John Abbott
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...
Anna Maria Bigatti
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... John Abbott
17:19 Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog
The following is annoying:... John Abbott

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...
John Abbott
 

Also available in: Atom