Project

General

Profile

Activity

From 16 Jan 2020 to 14 Feb 2020

14 Feb 2020

16:10 Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
This is related but not quite the same as #1378.
The point is this: if we let more time to compute the partial GBase...
Anna Maria Bigatti
16:05 Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout
We have seen how changing the timeout for GBasis can affect the time dramatically.
Should we make a function @Radica...
Anna Maria Bigatti
15:38 Slug #1375: Radical 0-dim: varied timings
Now the problem is: which time limit to give to GBasis computations?
Currently there is "variable bound" + "fixed ...
Anna Maria Bigatti
14:01 Design #1391 (Resolved): RingElems: syntax with [ and ] ?
Made it more robust with empty list. Anna Maria Bigatti
13:26 Feature #91: Return type & name for "indets" of a PP
The name is now *@IndetsIn@* the same name for the analogous fn for @RingElem@.
John Abbott
11:01 Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files
Anna tried her script for making a source code TGZ file. We found just 3 spurious files: these have been removed.
I...
John Abbott
10:58 Design #1409 (Closed): myTestIsPrimary & Co. : fix design
Appears to work now. Closing.
John Abbott
10:21 Feature #966 (Closed): New function or explain: first and last for a vector?
I have moved the example into a new file *@ex-c++-vector2.C@* which illustrates how to "translate" the CoCoA-5 functi... John Abbott
09:33 Bug #1416: IdealOfProjectivePoints and MinGens
and this doesn't.... Anna Maria Bigatti
09:18 Bug #1416 (In Progress): IdealOfProjectivePoints and MinGens
The following works:... John Abbott
09:00 Bug #1416 (Closed): IdealOfProjectivePoints and MinGens
Juan Migliore found this weird bug:... Anna Maria Bigatti

13 Feb 2020

17:46 Feature #91 (Closed): Return type & name for "indets" of a PP
This has already been done, apparently.
There is a fn called *@indets@* which returns a @vector<long>@ being a list ...
John Abbott
16:21 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
I looked for @iterator@ and changed in a few more files. (can't remember which)
Not so many left to do.
Anna Maria Bigatti
15:09 Feature #658 (Closed): Indets actually in a poly (or vector or matrix)
Implemented *@IndetsProd@* -- advantage is that it gives same interface in CoCoALib as in CoCoA-5. *@IndetsIn@* is a... John Abbott
14:24 Feature #658: Indets actually in a poly (or vector or matrix)
After discussing with Anna, she wants the result to be a polynomial (which is a 1-monomial) whose value is the produc... John Abbott
14:08 Feature #1395: SHA checksum for released code
Anna confirms that she has @shasum@ on her computer.
The main question remaining is how to use the SHA sum in a se...
John Abbott
11:12 Support #26: Redmine Administration
It would be helpful to have a short "manual" for redmine which explains how to do some operations (_e.g._ create a ne... John Abbott
11:06 Support #1353 (Closed): configure script help
Anna finds current @--help@ doc acceptable. Closing.
*NOTE* the help will almost certainly change when #1360 is i...
John Abbott
10:55 Support #1338 (In Progress): Release CoCoALib-0.99700
John Abbott
10:30 Bug #935 (Closed): ElimMat, ElimHomogMat: complain about zero or negative weights
The code calls @IsNonNegGrading@ (see @MatrixForOrdering.C@ around lines 959 and 973).
I presume @IsNonNegGrading@ ...
John Abbott
10:09 Feature #958: New function: multiplicity and dim
Yet to be fixed: non homogeneous input.
(postponed again)
Anna Maria Bigatti

12 Feb 2020

18:17 Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
Anna Maria Bigatti
16:39 Design #1184 (Feedback): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
Anna Maria Bigatti
15:49 Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
I checked. The class declaration is in @SparsePolyIter.H@.
There are only to functions defined in @SparsePolyOps-Ri...
Anna Maria Bigatti
18:14 Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog
Removed all calls to clog. Replaced with VERBOSE. Anna Maria Bigatti
16:35 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
The name was changed about 4 years ago (late 2015 or early 2016).
The name @MakeTermOrdMat@ is more sensible; we w...
John Abbott
16:28 Support #613: Which ubuntu / debian packages are needed to compile CoCoA
This info is useful for people who want to download the source and compile; it is not necessary for the imminent rele... John Abbott
16:16 Bug #1260 (Closed): Fix file permissions after using CVS
When should we run the script?
It would be nice if it could be run automatically (and "often"), but it cannot really...
John Abbott
16:11 Support #1161 (Closed): Split NumTheory.C into several smaller files
John Abbott
16:11 Design #1326: Modify function myElim so that it returns ideal? (not quite)
I prefer to create a new ideal, and not to change the existing one.
Note that an exception-safe impl almost certai...
John Abbott
15:57 Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?
At some point I put in the @trap@ command. It seems to have worked OK for the last month or so.
Closing.
John Abbott
15:49 Support #1263: Tidy CoCoALib test directory
I have merged @test-bug5@ into @test-bug2@ and @test-bug4@ into @test-bug3@.
*SPEED CHECK* compilation of all tes...
John Abbott
15:35 Design #849: Cleanup MinPoly code
After so much time I think "Why bother?". Mathematically it is nice and clean, practically it is next to pointless, ... Anna Maria Bigatti
15:26 Feature #1277 (Closed): Gaussian row reduction
I have added a test to @test-matrix2.C@.
John Abbott
15:17 Feature #1277 (Feedback): Gaussian row reduction
Now documented. CoCoALib and CoCoA-5.
Do we really need a test?
John Abbott
15:00 Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore
I have rearranged the root @Makefile@: there is a new phony target @before-compiling@ which builds @include/CoCoA/lib... John Abbott
14:46 Bug #2: Makefile problem in ROOT and/or src/AlgebraicCore
Here is a *bad idea*: in the root @Makefile@ I simply removed the dependency of @check@ on @library@. This _does not... John Abbott
14:51 Design #1414 (In Progress): Make class RingElemVector?
I have a personal test implementation called @ex-RingElemVector.C@ Anna Maria Bigatti
14:49 Design #1414 (In Progress): Make class RingElemVector?
Should we implement a class for list/vector of RingElem, all guaranteed to be in hte same ring? (a bit like PPVector)... Anna Maria Bigatti
14:43 Feature #357 (Rejected): Constructor for vectors? CoCoAVector
Discussed in person, and agreed to *reject* it. Anna Maria Bigatti
09:35 Slug #1238 (Closed): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
checked-in. Anna Maria Bigatti
09:07 Slug #1238 (Feedback): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
Anna Maria Bigatti
08:48 Design #1409: myTestIsPrimary & Co. : fix design
Fixed all functions @myTest...@ so that they return void.
Now the compiler should help if something is not done prop...
Anna Maria Bigatti

11 Feb 2020

18:33 Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled
The warning seems to be harmless: it worked on my Linux box, and it works on Anna's Mac despite the warnings.
We d...
John Abbott
18:31 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
worked on TmpGReductor: much more readable!!! Anna Maria Bigatti
18:28 Bug #1308 (Closed): test-GFan1 fails
Annd and I spent quite a long time getting the latest versions of CDD and GFAN to compile, and work with CoCoALib.
A...
John Abbott
18:09 Bug #1362 (Feedback): GBasis verbose mode: some output is on cerr/clog
Anna has changed all prints in @TmpGReductors@ to use the stream produced by @VerboseLog@.
Compiles & all tests pa...
John Abbott
18:07 Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately
I have decided also to put "short-cuts" for bad ostreams inside the mem fns which produce output.
This is not really...
John Abbott
13:13 Design #1413 (Closed): configure script: MODE option obsolete?
After discussing with Anna, I have removed the obsolete option *@--mode@*.
John Abbott
12:41 Design #1413 (Closed): configure script: MODE option obsolete?
The help for @configure@ says there is a *@--mode@* option, but looking at the code in the @configure@ script, it see... John Abbott
12:22 Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
John Abbott
12:09 Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks
Improved doc with Anna's help. Closing.
John Abbott

07 Feb 2020

12:19 Slug #1394: Oddly slow GBasis computation (slow final cleanup)
Here is another example (with *@DegRevLex@*). The "Final clean up" consumes 99% of the time!... John Abbott

05 Feb 2020

13:35 Design #1409: myTestIsPrimary & Co. : fix design
I like the suggestion to change the fn to *@void@*. Still we should discuss it when I'm there.
Also we should look ...
John Abbott

04 Feb 2020

13:48 Feature #1395: SHA checksum for released code
Florian has reported a problem with our being "naughty" about making a new release without changing the version numbe... John Abbott
13:38 Design #1409: myTestIsPrimary & Co. : fix design
The corrected code should be in 0.99700.
We should discuss the design when I'm in Genoa. Maybe we can finish this f...
John Abbott

03 Feb 2020

15:42 Bug #1411 (Closed): IsPrimary sometimes wrong
This was a duplicate of #1409; server problems in Genoa meant I didn't know/notice that Anna had already resolved thi... John Abbott
14:43 Bug #1411 (Resolved): IsPrimary sometimes wrong
I think it is OK now.
The problem was in @SparsePolyOps-ideal-ZeroDim.C@ around line 295. The result was computed...
John Abbott
13:45 Bug #1411 (Closed): IsPrimary sometimes wrong
The @IsPrimary@ sometimes gives a wrong result.
Here is an instance:...
John Abbott
15:39 Design #1409 (In Progress): myTestIsPrimary & Co. : fix design
I fixed this as well. Anyway, we can merge when I'm in Italy (hopefully).
I agree that the use of @myAssignPrimar...
John Abbott
13:21 Design #1409: myTestIsPrimary & Co. : fix design
I added the test to @exbugs.cocoa5@ Anna Maria Bigatti
13:20 Design #1409: myTestIsPrimary & Co. : fix design
This was the error, found by Ashkan Nikseresht (nice feedback! thanks!)... Anna Maria Bigatti
12:58 Design #1409 (Closed): myTestIsPrimary & Co. : fix design
I spent a few hours fixing a bug in... Anna Maria Bigatti

31 Jan 2020

10:29 Feature #1395: SHA checksum for released code
I suppose the GPG signatures give a better guarantee of correctness.
Probably we should try both ways, and see how...
John Abbott

29 Jan 2020

22:24 Bug #986 (In Progress): GFan: require version newer than 0.6
*2020-01-28* I have written to Anders. He is willing to put a @GFANLIB_VERSION@ CPP macro in future versions (starti... John Abbott
12:07 Feature #1395: SHA checksum for released code
I have just stumbled across "GPG" signatures for software. There is a description at @https://www.gnupg.org/gph/en/m... John Abbott

28 Jan 2020

15:46 Feature #1405: New fn: interreduction
Julian already has an impl which works for him/
We should decide exact semantics and API.
*After* Vietnam!
John Abbott
15:45 Feature #1405 (Closed): New fn: interreduction
Add a new function to perform interreduction of a list of polys.
Julian already has an impl.
John Abbott

27 Jan 2020

18:03 Support #613: Which ubuntu / debian packages are needed to compile CoCoA
We should check the situation, and add appropriate advice in the release notes! John Abbott
17:58 Feature #4 (Rejected): Squarefree GCD-free basis
I am rejecting this issue.
The "squarefree" part is too risky/costly for large integer args.
It could be done for p...
John Abbott
17:55 Bug #2 (Resolved): Makefile problem in ROOT and/or src/AlgebraicCore
It still happens -- in a sense.
It is not really harmful; just a bit annoying.
If I do @make lib@ then it compi...
John Abbott
17:48 Design #854 (In Progress): Function MakeTermOrd should be renamed MakeTermOrdMat?
Currently we have @MakeTermOrd@ both in CoCoALib and CoCoA-5.
Acceptable? Close?
Last comment was 2 years ago.
John Abbott
17:43 Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?
This was presumably done about 4 years ago, but we forgot to close the issue...
Closing now.
John Abbott
17:35 Slug #722: valuation slow for large inputs
The timings on my current machine (Fujitsu) are:
@FactorMultiplicity(2, N)@ about 16s
@FactorMultiplicity(5, N)@ ...
John Abbott
17:30 Support #256: Improve doc about ordering/grading for poly rings
It would be nice to finish this issue... possible for 0.99700?
[not really urgent, but its has been lingering for a ...
John Abbott
15:40 Support #618: Instructions for compiling libnormaliz
Here is what I did:... John Abbott
15:32 Design #769: CoCoALib cone
What is the status of this issue? Can we close it?
John Abbott
15:25 Design #932 (Closed): CoCoALib configuration: BOOST dependency
Since we moved to C++11/C++14 we can use an atomic C++ counter instead of the threadsafe code; so I have already dele... John Abbott

26 Jan 2020

15:50 Support #1161 (Feedback): Split NumTheory.C into several smaller files
Now I think this is done:... John Abbott
09:53 Support #26: Redmine Administration
Should we close this issue? Is it quite old, and I think we have learned to use redmine reasonably well.
Accordin...
John Abbott
09:44 Slug #969 (Feedback): Output to bad stream (operator<< and myOutput): just return immediately
Here is a simple program I have used for testing (just printing of @BigInt@):... John Abbott

25 Jan 2020

15:35 Design #849: Cleanup MinPoly code
Better to postpone this?
John Abbott
15:29 Design #855: Copyright and authorship?
Any progress here?
I have noticed many files still do not have Abbott and Bigatti as copyright holders; I usually ...
John Abbott
15:26 Feature #658 (Resolved): Indets actually in a poly (or vector or matrix)
Comment 18 about says that I have checked the code in (seems to be true!)
*Still no doc; and probably no examples.*
John Abbott
15:20 Design #1391: RingElems: syntax with [ and ] ?
The issue about allowing @[...]@ or not is similar (in my mind) to the issue about a semicolon at the end *@ReadExprS... John Abbott

24 Jan 2020

22:34 Bug #1308 (Feedback): test-GFan1 fails
I blindly followed the advice in the error mesg, and now it seems to work.
Checking in :-)
John Abbott
17:23 Bug #1308: test-GFan1 fails
I was lucky 5 month ago... now I cannot even compile gfanlib. @configure@ fails :-(
John Abbott
22:10 Bug #1402 (Resolved): gfan: installation problem: configure reports cdd.h present but cannot be compiled
Now CoCoALib compiles with GFan, but @test-GFan1@ give the same problem as mentioned in #1308.
John Abbott
22:03 Bug #1402 (In Progress): gfan: installation problem: configure reports cdd.h present but cannot be compiled
It seems that @configure@ was giving just a warning (which is probably not a good sign). Anyway, it also created the... John Abbott
17:26 Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled
I have installed @cddlib-094j@, or so I believe -- a header file reports 0.94i as the version.
I then tried:
<pre...
John Abbott

18 Jan 2020

20:05 Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
Should the "get-row" or "get-col" function make a copy or just refer to the original matrix?
Making a copy could b...
John Abbott
19:59 Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
We could even use the names *@row@* and *@col@*, so sample uses would be ... John Abbott
19:47 Bug #1264 (In Progress): Remove unnecessary files before making CoCoALib release TGZ files
We should make a few tests to see what actually happens with the current scripts.
While it should be harmless to a...
John Abbott

17 Jan 2020

22:20 Design #1377 (Feedback): CpuTimeLimit: limit "intervals" between full checks
I think the current impl is acceptable; so moving to _feedback_. Doc seems OK too.
John Abbott
15:43 Feature #1395: SHA checksum for released code
To release source code we should do the following:
# generate TARGZ file (maybe also TAR.XZ which is usually smalle...
John Abbott
15:32 Feature #1395 (In Progress): SHA checksum for released code
Original request came from Winfried Bruns (via email on 2020-01-17).
The purpose of the SHA-256 checksum is to pro...
John Abbott
15:24 Feature #1395 (Closed): SHA checksum for released code
Winfried Bruns requests that we make available also an SHA-256 checksum for code that we distribute.
This seems to...
John Abbott
 

Also available in: Atom