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... - 18:31 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- worked on TmpGReductor: much more readable!!!
- 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... - 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... - 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... - 13:13 Design #1413 (Closed): configure script: MODE option obsolete?
- After discussing with Anna, I have removed the obsolete option *@--mode@*.
- 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...
- 12:22 Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- 12:09 Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks
- Improved doc with Anna's help. Closing.
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!...
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 ...
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...
- 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...
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...
- 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... - 13:45 Bug #1411 (Closed): IsPrimary sometimes wrong
- The @IsPrimary@ sometimes gives a wrong result.
Here is an instance:... - 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... - 13:21 Design #1409: myTestIsPrimary & Co. : fix design
- I added the test to @exbugs.cocoa5@
- 13:20 Design #1409: myTestIsPrimary & Co. : fix design
- This was the error, found by Ashkan Nikseresht (nice feedback! thanks!)...
- 12:58 Design #1409 (Closed): myTestIsPrimary & Co. : fix design
- I spent a few hours fixing a bug in...
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...
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...
- 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...
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!
- 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.
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!
- 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... - 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... - 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.
- 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.
- 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)@ ... - 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 ... - 15:40 Support #618: Instructions for compiling libnormaliz
- Here is what I did:...
- 15:32 Design #769: CoCoALib cone
- What is the status of this issue? Can we close it?
- 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...
26 Jan 2020
- 15:50 Support #1161 (Feedback): Split NumTheory.C into several smaller files
- Now I think this is done:...
- 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... - 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@):...
25 Jan 2020
- 15:35 Design #849: Cleanup MinPoly code
- Better to postpone this?
- 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 ... - 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.*
- 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...
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 :-)
- 17:23 Bug #1308: test-GFan1 fails
- I was lucky 5 month ago... now I cannot even compile gfanlib. @configure@ fails :-(
- 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.
- 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...
- 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...
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... - 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 ...
- 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...
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.
- 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... - 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... - 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...
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?...
- 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...
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 ...
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... - 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 ... - 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... - 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 ... - 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. - 17:34 Feature #1094: Revive code for SelfSaturating GBasis
- No hope to make this in time for 0.99720 (requires too much planning)
- 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 ;-)...
- 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 ...
- 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.
... - 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@?
- 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... - 09:36 Design #1389: myZeroPtr and myOnePtr
- Thanks for the explanation. Now I will remember why.
Also available in: Atom