Project

General

Profile

Activity

From 13 Jan 2020 to 11 Feb 2020

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

15 Jan 2020

22:51 Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup)
The following computation seems to spend more time in "clean up" than elsewhere; is this reasonable?... John Abbott
22:15 Bug #1319 (Feedback): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
It is probably best to regard this as resolved, and just test it as is.
Perhaps it is not perfect, but I think the c...
John Abbott

14 Jan 2020

21:52 Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
I have just repeated the steps described in comment 4, and this time it worked as hoped.
I have a *doubt*: in the ...
John Abbott

13 Jan 2020

20:49 Feature #357: Constructor for vectors? CoCoAVector
John Abbott wrote:
> Recalling part of my comment 13:
> One aspect we could implement, which C++ does not, is the n...
Anna Maria Bigatti
20:13 Feature #357: Constructor for vectors? CoCoAVector
Recalling part of my comment 13:
One aspect we could implement, which C++ does not, is the notion of "list of elems ...
John Abbott
18:38 Feature #357: Constructor for vectors? CoCoAVector
Re-reading the comments I think it's not worth it.
I went through all the code and removed all calls to @CoCoAVect...
Anna Maria Bigatti
18:34 Feature #966 (Resolved): New function or explain: first and last for a vector?
OK, I think we should not make a function in lib.
I added an example in ex-c++.C.
Now I realized that there is a ...
Anna Maria Bigatti
18:23 Feature #1212: New function: GBasisByHomog
This works fine now, but only for few orderings.
The general case will not be done for this release. Postponing.
Anna Maria Bigatti
17:34 Feature #1094: Revive code for SelfSaturating GBasis
No hope to make this in time for 0.99720 (requires too much planning)
Anna Maria Bigatti
17:20 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
Example: so I know where to find one ;-)... Anna Maria Bigatti
16:42 Slug #1238 (Resolved): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
The real solution is using @RingElems@, this new function is actually quite useful for other things too, and also in ... Anna Maria Bigatti
16:00 Design #1391: RingElems: syntax with [ and ] ?
We could have a @RingElemList@ in CoCoA-5.
I have defined a function in @NotBuiltin.cpkg5@. About to check it in.
...
Anna Maria Bigatti
12:11 Design #1391 (In Progress): RingElems: syntax with [ and ] ?
Could it make sense to have a "variant" fn which accepts @[@ and @]@?
Maybe @RingElemVec@ or @RingElemList@?
John Abbott
11:24 Design #1391: RingElems: syntax with [ and ] ?
It is compatible with @NewPolyRing(QQ, "x,y,z")@.
I prefer not to add the brackets because then we have to make th...
Anna Maria Bigatti
09:36 Design #1389: myZeroPtr and myOnePtr
Thanks for the explanation. Now I will remember why.
Anna Maria Bigatti
 

Also available in: Atom