Project

General

Profile

Activity

From 31 Dec 2019 to 29 Jan 2020

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

12 Jan 2020

19:00 Design #1389 (Rejected): myZeroPtr and myOnePtr
JAA thinks this proposal should be *REJECTED* because it is unsafe.
The crucial point is that if the data fields @...
John Abbott

10 Jan 2020

17:07 Design #1391 (Closed): RingElems: syntax with [ and ] ?
I was a little surprised that @RingElems(P, "[x,y]")@ produced a run-time error.
Would it make sense to allow an i...
John Abbott
15:57 Design #1366: Should configure remove the file ERR_MESGS if it’s empty?
I have checked and this has not yet been done completely.
It seems that the easy solution is to use the *@trap@* fac...
John Abbott
12:29 Bug #1380 (Closed): Make IsZeroDim more robust
John Abbott
12:17 Bug #1379 (Closed): Fails to recognize zero-dim ideal
Should there also be more tests where the result is @false@? Probably little point. I could add a couple of really ... John Abbott

09 Jan 2020

22:29 Design #982 (Closed): Catching interrupts in example progs?
John Abbott
13:42 Design #982 (Resolved): Catching interrupts in example progs?
I now disagree with my comment 3 (above), and think that it is (usually) best to create the @SignalWatcher@ just afte... John Abbott
22:28 Bug #1260 (Resolved): Fix file permissions after using CVS
I think I sent my file (*@FIX_PERMS.sh@*) to Anna via email; and I believe she said it worked mostly OK for her.
She...
John Abbott
22:22 Feature #259 (Closed): Squarefree(?) GCD-free basis
These fns were already mentioned in the previous release (0.99650).
Closing after spending 3 months in _feedback_.
John Abbott
22:17 Feature #303 (Closed): Rows and Columns of a matrix
Last comment was 8 months ago. The code is there (presumably added then); it is documented.
A comment says there ar...
John Abbott
22:10 Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages
A quick search with @fgrep@ shows that all error mesgs are printed out on @/dev/stderr@
No doubt another check will ...
John Abbott
22:02 Slug #792 (Closed): configure: search for libgmp too slow
On my main machine @gmp-find.sh@ (with SSD) takes less than 1s; on the little "netbook" it took about 2.8s.
Faster m...
John Abbott
20:57 Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
I think I have found out what the problem is: in some (all?) @Makefile@ the dependencies file has a declared dependen... John Abbott
14:56 Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
Here is what happened (I think):
* changed version number (CoCoALib and CoCoA-5)
* configure again
* start to buil...
John Abbott
14:46 Bug #1319 (In Progress): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
This is a bit tricky.
As far as I can see, @make veryclean@ deletes @include/CoCoA/PREPROCESSOR_DEFNS.H@, but then...
John Abbott
17:18 Feature #1277 (In Progress): Gaussian row reduction
I have a prototype which seems to work.
It is very simple: accepts a matrix, and returns a matrix. No smarts inside...
John Abbott
17:01 Design #1389 (In Progress): myZeroPtr and myOnePtr
I think the clue is in the line above about @MemPool@.
In the dtor for the ring the fields are destroyed in revers...
John Abbott
16:11 Design #1389 (Rejected): myZeroPtr and myOnePtr
every concrete ring have these lines (in .C file)... Anna Maria Bigatti
13:55 Support #1265: Unregistered TXT files in doc
Postponing because this is not essential for the next release, and choosing _status quo_ seems to be harmless while a... John Abbott
13:52 Feature #1388: GlobalManager: create SignalWatcher internally?
Is there any disadvantage to creating a @SignalWatcher@ always?
I think it incurs essentially no run-time cost.
A...
John Abbott
13:47 Feature #1388 (New): GlobalManager: create SignalWatcher internally?
Should the @GlobalManager@ have the ability to create a @SignalWatcher@?
If so, should the default be to create a @S...
John Abbott
13:32 Support #1353: configure script help
I think that the _documentation_ for the @configure@ script is clear enough now; so am moving this issue to _feedback... John Abbott
13:27 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
It is not quite as simple as I wrote in the previous comment.
The option *@--with-boost=@* will automatically caus...
John Abbott
13:21 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
There is the configiration option *@--no-boost@* which automatically inhibits building CoCoA-5 (well, it is supposed ... John Abbott
12:27 Design #1366 (Feedback): Should configure remove the file ERR_MESGS if it’s empty?
I think that this has been done now... I suppose someone should check properly. :-/
John Abbott

08 Jan 2020

23:04 Bug #1362: GBasis verbose mode: some output is on cerr/clog
Here is a test case:... John Abbott

07 Jan 2020

14:48 Feature #1381: Type ideal for ZZ[x[1..n]]
I think the question was intended as: "can we let the user define an ideal over ZZ[x[1..n]]?"
Now it gives an error:...
Anna Maria Bigatti
14:28 Feature #1381: Type ideal for ZZ[x[1..n]]
JAA moved this to @CoCoALib@.
I think this will not be possible before the CoCoA School in early March (or, at lea...
John Abbott

06 Jan 2020

06:46 Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]]
Is it possible to add the type ideal for the ring ZZ[x[1..n]]? Elisa Palezzato
 

Also available in: Atom