Activity
From 07 Jan 2020 to 05 Feb 2020
05 Feb 2020
- 22:48 CoCoA-5 Bug #1412: Emacs UI: font size
- On my computer it keeps the big fonts.
Both on emacs-24 and emacs-26. - 22:02 CoCoA-5 Bug #1412 (Closed): Emacs UI: font size
- With my emacs (ver. 25) I can increase the size of the font using @C-x C-+@.
This also works for a @*cocoa5*@ comint... - 14:12 CoCoA-5 Feature #1236: Add "socket" devices
- I have made the manual entry better (I hope!)
- 13:35 CoCoALib 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 CoCoALib 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 CoCoALib 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... - 13:35 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have just spoken to Klaus.
JAA will try to modify the interpreter so that it send the "status messages" to a speci...
03 Feb 2020
- 17:47 CoCoA-5 Bug #1408 (Feedback): CoCoAManual - tex: error if syntax is missing
- done. checked-in.
- 15:08 CoCoA-5 Bug #1408 (In Progress): CoCoAManual - tex: error if syntax is missing
- Yes, I think this is reasonable. Presumably the entries for the obsolescent commands should simply say which functio...
- 11:32 CoCoA-5 Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing
- I realized that tex fails if the syntax field of a command is missing, and the error message is not helpful (problem ...
- 16:03 CoCoA-5 Feature #1410: IsDivisible also for INT
- Yes. I think there are probably just two (main) cases:
* @RINGELEM@ and @RINGELEM@
* @INT@ and @INT@
* not so sur... - 15:48 CoCoA-5 Feature #1410: IsDivisible also for INT
- John Abbott wrote:
> I have been caught out by this myself on several occasions. I know one can use @mod@ instead, ... - 13:42 CoCoA-5 Feature #1410 (In Progress): IsDivisible also for INT
- I have been caught out by this myself on several occasions. I know one can use @mod@ instead, but it is more express...
- 13:40 CoCoA-5 Feature #1410 (Closed): IsDivisible also for INT
- In CoCoALib @IsDivisible@ works for various types of value, including integers.
In CoCoA-5, it expects just a @RINGE... - 15:42 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1411 (Closed): IsPrimary sometimes wrong
- The @IsPrimary@ sometimes gives a wrong result.
Here is an instance:... - 15:39 CoCoALib 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 CoCoALib Design #1409: myTestIsPrimary & Co. : fix design
- I added the test to @exbugs.cocoa5@
- 13:20 CoCoALib Design #1409: myTestIsPrimary & Co. : fix design
- This was the error, found by Ashkan Nikseresht (nice feedback! thanks!)...
- 12:58 CoCoALib Design #1409 (Closed): myTestIsPrimary & Co. : fix design
- I spent a few hours fixing a bug in...
31 Jan 2020
- 13:57 CoCoA-5 Design #1407: Tagged values (Hilbert Series)
- Done.
The solution I implemented is this. (a bit like public/private functions in C++)
The package $hp, responsibl... - 11:25 CoCoA-5 Design #1407: Tagged values (Hilbert Series)
- Yes, i just want to create a "new" Hilbert series without knowing a generating system of the ring corresponding to it...
- 10:46 CoCoA-5 Design #1407: Tagged values (Hilbert Series)
- Fate wants that I'm facing exactly the same problem!!
And I have a neat idea in mind!
Bernhard: which tags do you... - 10:29 CoCoALib 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...
30 Jan 2020
- 14:14 CoCoA-5 Design #1407 (Closed): Tagged values (Hilbert Series)
- Bernhard Andraschko has a new program which calculates Hilbert series.
He would like to make it produce a result com...
29 Jan 2020
- 22:24 CoCoALib 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 CoCoALib 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:56 CoCoA-5 Bug #1406 (New): Poor memory management?
- I tried something like the following:...
- 15:46 CoCoALib 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 CoCoALib Feature #1405 (Closed): New fn: interreduction
- Add a new function to perform interreduction of a list of polys.
Julian already has an impl.
- 15:20 CoCoA-5 Support #1404: Which commands should "terms" be a keyword for?
- hmmm, you are right.
"terms" should be in the keys for support, monomials, coefficients, at least.
- 14:41 CoCoA-5 Support #1404 (In Progress): Which commands should "terms" be a keyword for?
- One possibility is that @?terms@ produces the page for @NumTerms@, but that then in the "see also" section there are ...
- 14:26 CoCoA-5 Support #1404 (Closed): Which commands should "terms" be a keyword for?
- What do you expect the CoCoA-5 manual to respond to the query:...
- 11:57 CoCoA-5 Design #476: Review utility of package IO
- I have implemented a *@fold@* function in CoCoALib, and exported it to CoCoA-5.
I have not implemented a "smart" f... - 10:54 CoCoA-5 Bug #713 (Feedback): External libs: interrupting not easy
- Since this issue was created we have also added @SignalWatcher@ to CoCoALib; so this issue is just as relevant to CoC...
- 10:29 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I think the function that I added is the following...
@(defun cocoa5-send-string (cocoa5-input-line)...)@
I prefe... - 10:15 CoCoA-5 Bug #1384 (Feedback): NewPolyRing and SymbolRange
27 Jan 2020
- 18:03 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Support #618: Instructions for compiling libnormaliz
- Here is what I did:...
- 15:32 CoCoALib Design #769: CoCoALib cone
- What is the status of this issue? Can we close it?
- 15:25 CoCoALib 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 CoCoALib Support #1161 (Feedback): Split NumTheory.C into several smaller files
- Now I think this is done:...
- 09:53 CoCoALib 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 CoCoALib 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 CoCoALib Design #849: Cleanup MinPoly code
- Better to postpone this?
- 15:29 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1308: test-GFan1 fails
- I was lucky 5 month ago... now I cannot even compile gfanlib. @configure@ fails :-(
- 22:10 CoCoALib 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 CoCoALib 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 CoCoALib 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... - 21:32 CoCoA-5 Feature #1401: Parolacce e basi border
- L'idea che il codice di Kaspar (BB in C++) muoia dispiace a Martin.
Ma non vedo proprio perche' io devo pagare il ... - 15:00 CoCoA-5 Feature #1401: Parolacce e basi border
- Maybe Long can do this. I certainly do not want to.
Why the F*** does Martin get his students to produce so much ... - 14:59 CoCoA-5 Feature #1401 (Closed): Parolacce e basi border
- Martin vuole che il vecchio pacchetto per le basi border sia tradotto in CoCoA-5.
Sono 1400 righe scritte da scimpan... - 21:20 CoCoA-5 Bug #1403 (In Progress): RingID: remove this function?
- Long insisted that if this function exists then there *must* also be a function which given the index would return th...
- 17:54 CoCoA-5 Bug #1403: RingID: remove this function?
- Maybe we should change the doc to say that people should not normally us this function?
- 17:52 CoCoA-5 Bug #1403 (In Progress): RingID: remove this function?
- Long completely fails to understand why this function should not be used.
Delete it?
- 15:53 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- Here is what I get currently:...
- 11:41 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have just modified @Interpreter.C@ so that it prints out @[WAITING FOR INPUT]@ and @[RUNNING]@.
A few quick tests ... - 11:32 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have just spoken to Kreuzer, and he showed me that the old ApCoCoA GUI would indicate either "Calculation in progre...
23 Jan 2020
- 17:32 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- Perhaps the relevant function is @Interpreter::readAndExecute@, not sure though... (too busy with other stuff curren...
- 15:05 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I looked through the CoCoA-4 code (which used a Qt interface).
The situation is different from Klaus's problem becau...
22 Jan 2020
- 15:01 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- A problem with watching for the prompt is that a user program might print out a copy of the prompt inside some string...
- 09:58 CoCoA-5 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- For cocoa5 it's easy: if there is no prompt, then it is busy.
That was not the case for cocoa-4, which had no prompt... - 13:53 CoCoA-5 Support #1400 (In Progress): Title of manual entry: tutorial on operations on polynomials
- I wanted to show my students how they could use the CoCoA on-line manual to find the function *@monomials@* knowing o...
- 13:49 CoCoA-5 Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials
- I have just added a new tutorial about operations on polynomials.
I think its title could be better. Suggestions?
- 10:46 CoCoA-5 Bug #1397 (In Progress): Crashes if CoCoAHelp.xml is missing
- The problem is in the constructor (I think)...
- 10:07 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing
- I see that this give error with no crash (loading extra manuals). This was what worried me most....
- 10:03 CoCoA-5 Bug #1397: Crashes if CoCoAHelp.xml is missing
- ouch!
it should never happen, really.
But it is *bad*. I'll fixi it.
21 Jan 2020
- 20:36 CoCoA-5 Feature #1399 (In Progress): CoCoA-5 interpreter: idle/busy indicator
- I still have the C4 source code, but also have very little desire to delve into it to find out what was done for the ...
- 20:24 CoCoA-5 Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator
- Klaus Nguetsa is building a new GUI for ApCoCoA+CoCoA-5.
He would like to emulate the feature on the old C4 GUI wh... - 20:22 CoCoA-5 Support #1398: Website: hide/delete all the CoCoA-4 stuff?
- I have put 5.3.0 as the target, since it would be good to do the cleaning before releasing 5.3.0, but it is not neces...
- 20:21 CoCoA-5 Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?
- Proposal: hide or remove all pages about CoCoA-4 (and its manual).
We could perhaps add a sentence that anyone who... - 15:33 CoCoA-5 Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing
- If I make a manual query when the file @CoCoAHelp.xml@ is not found where expected, an @UNCAUGHT CoCoA ERROR@ happens...
19 Jan 2020
- 10:56 CoCoA-5 Support #1315: Manual entry about reporting bugs?
- BTW what was the original problem? Was it ever resolved? I suppose it was reported via email (?); when?
Why is the... - 10:52 CoCoA-5 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
- I believe this is not urgent, and it would also require some time and effort to achieve, so postponing.
Not sure why... - 10:47 CoCoA-5 Slug #1390 (Feedback): CoCoA-5 test: radical too slow
- I have removed @ulimit@ from @RunTests.sh@.
All tests pass, even with debugging active.
Now all CoCoA-5 tests tog...
18 Jan 2020
- 20:40 CoCoA-5 Bug #1335: ManExamples: some problems
- I have commented out the example for @StandardInput@. Hopefully the user will understand...
- 20:18 CoCoA-5 Support #1344: Clean out OBSOLESCENT
- Check the manual. Perhaps genuinely remove the fns which are only commented out?
- 20:05 CoCoALib 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 CoCoALib 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 CoCoALib 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... - 19:24 CoCoA-5 Bug #1396: Website: download page for CoCoA-4 burns CPU
- I'll think about it and investigate
- 15:00 CoCoA-5 Bug #1396: Website: download page for CoCoA-4 burns CPU
- I am inclined to remove the web pages about downloading CoCoA-4.
If we really want to continue to make it availabl... - 14:59 CoCoA-5 Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU
- By chance I landed on the download page for CoCoA-4 -- apparently we still have such a page!
It caused Firefox on ...
17 Jan 2020
- 22:20 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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...
16 Jan 2020
- 16:31 CoCoA-5 Slug #1392 (In Progress): ApproxSolve: another slow example
- We (Robbiano and I) found a way to solve it quickly: compute the radical first!...
- 14:10 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- Added test to @test-MatrixSpecial1.C@
- 12:28 CoCoA-5 Design #1334 (Closed): sylvester or SylvesterMat?
- There is no test, but otherwise the code looks fine. Closing.
- 12:19 CoCoA-5 Support #1350: CoCoA manual: entry for operators, shortcuts
- The standard arithmetic operators were not listed (plus, minus, times, divide, power). Maybe others too? We should ...
- 12:17 CoCoA-5 Feature #1372: New function: find ?
- This is probably a very useful issue, but I prefer to add new functions after the next release (unless this fn is nee...
- 12:15 CoCoA-5 Bug #1230: PrimaryDecomposition with lex ordering
- This seems to work for me now.
We must add a test to @exbugs.cocoa5@; we can simply copy the failing case from the...
15 Jan 2020
- 22:51 CoCoALib 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 CoCoALib 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 CoCoALib 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
- 21:35 CoCoA-5 Support #1393 (Feedback): GUI with Qt5
- Ulrich von der Ohe has written saying that he appears to have a working GUI with Qt5 (on his Linux box).
He has se... - 20:52 CoCoA-5 Slug #1392: ApproxSolve: another slow example
- It took about 3mins on my computer: anyway not more than 220s.
- 20:48 CoCoA-5 Slug #1392 (Closed): ApproxSolve: another slow example
- Here is another seemingly simple system where @ApproxSolve@ is unexpectedly slow...
- 20:49 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis
- No hope to make this in time for 0.99720 (requires too much planning)
- 17:20 CoCoALib 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 CoCoALib 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:35 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- As discussed in #1931, there are now two functions:
(A) @RingElems(RING, STRING)@ example @RingElems(P, "x*y,z")@
... - 16:00 CoCoALib 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 CoCoALib 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 CoCoALib 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... - 12:16 CoCoA-5 Slug #1390 (Resolved): CoCoA-5 test: radical too slow
- I separated the file into two files
@radical0dim.cocoa5@ and @radical.cocoa5@.
Even though the function is the same... - 09:36 CoCoALib Design #1389: myZeroPtr and myOnePtr
- Thanks for the explanation. Now I will remember why.
12 Jan 2020
- 19:00 CoCoALib 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 @...
10 Jan 2020
- 17:08 CoCoA-5 Slug #1390: CoCoA-5 test: radical too slow
- I have disabled the slow test, and checked in.
Now all CoCoA-5 tests complete in 12s instead of 23s
- 15:56 CoCoA-5 Slug #1390 (In Progress): CoCoA-5 test: radical too slow
- The @radical.cocoa5@ test took 160s (2 min 40s) on the netbook.
I propose simply commenting out that last slow cas... - 17:07 CoCoALib 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... - 15:57 CoCoALib 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... - 12:29 CoCoALib Bug #1380 (Closed): Make IsZeroDim more robust
- 12:17 CoCoALib 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 ...
09 Jan 2020
- 22:29 CoCoALib Design #982 (Closed): Catching interrupts in example progs?
- 13:42 CoCoALib 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...
- 22:28 CoCoALib 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... - 22:22 CoCoALib 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_. - 22:17 CoCoALib 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... - 22:10 CoCoALib 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 ... - 22:02 CoCoALib 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... - 21:15 CoCoA-5 Feature #1316 (In Progress): Matrix row reduction (rref)
- I have put a simple implementation into the current "internal" version of CoCoALib (and CoCoA-5).
It is called *@rre... - 21:08 CoCoA-5 Bug #1384 (Resolved): NewPolyRing and SymbolRange
- It appears to work fine for me (Linux).
- 17:40 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- Done and cvs-ed.
I cleaned up the code in the 3 files @RingDistr..@ and ediffed them so they are a little bit more s... - 12:21 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- Now using @ERR::Empty@ (maybe not ideal, but better)...
- 12:00 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- My opinion:
What should SymbolRange do if there are no indets in the range?
empty list (non error)
What should... - 20:57 CoCoALib 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...
- 14:56 CoCoALib 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... - 14:46 CoCoALib 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... - 20:49 CoCoA-5 Slug #1390: CoCoA-5 test: radical too slow
- On my computer with debugging the test @radical.cocoa5@ takes more than 60s. It is just about tolerably fast when I ...
- 20:46 CoCoA-5 Slug #1390 (Closed): CoCoA-5 test: radical too slow
- The CoCoA-5 test @radical.cocoa5@ is too slow: it takes longer than all the other CoCoA-5 tests combined.
The culp... - 20:39 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- What is the status of this issue? It is written in a way which suggests that an implementation exists somewhere, but...
- 20:29 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- Not sure how to improve the situation here.
In a sense, all tests passing should mean that CoCoA-5 is "clean"; if ... - 17:18 CoCoALib 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... - 17:01 CoCoALib 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... - 16:11 CoCoALib Design #1389 (Rejected): myZeroPtr and myOnePtr
- every concrete ring have these lines (in .C file)...
- 14:19 CoCoA-5 Bug #1385 (Feedback): valgrind: reports 456byte leak
- My fault: I have forgotten to @delete@ some memory obtained via @operator new@.
I have corrected the impl of @Signal... - 13:55 CoCoALib 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...
- 13:52 CoCoALib 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... - 13:47 CoCoALib 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... - 13:32 CoCoALib 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...
- 13:27 CoCoALib 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... - 13:21 CoCoALib 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 ...
- 12:27 CoCoALib 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. :-/
- 11:56 CoCoA-5 Feature #1374 (Feedback): Add function power to CoCoA-5
- I have just added a manual entry for @power@. I also removed the keyword @power@ from the entry for @DiagMat@.
- 11:46 CoCoA-5 Bug #1356: CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- Postpone because it is not urgent/important. It should be a simple change, but I prefer to do it when there is less ...
- 11:43 CoCoA-5 Support #1368 (Feedback): Improve manual for mod
- I have updated the manual entry; I think it is clear now.
- 11:35 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- This has been working fine for about 2 months; so moving to _feedback_.
- 11:33 CoCoA-5 Support #1386: IsIndetPosPower: behaviour and manual page
- John Abbott wrote:
> What should @IsIndetPosPower(x/x)@ give?
> Error or @false@?
> I expected @false@ but actuall... - 11:31 CoCoA-5 Support #1344 (In Progress): Clean out OBSOLESCENT
- I have just commented out all fns in @obsolescent.cpkg5@ which have been there at least 4 years.
All CoCoA-5 tests p... - 11:25 CoCoA-5 Bug #1383 (Feedback): NewPolyRing on MS Windows
- 11:21 CoCoA-5 Bug #1382 (Closed): SEGV: should have been harmless
- tested on MacOS. OK.
- 10:02 CoCoA-5 Support #1387 (In Progress): John's visit Feb 2020
- Here is a list of *PREPARATIONS* before the visit:
* issues which have been in _feedback_ for some time should be cl...
08 Jan 2020
- 23:04 CoCoALib Bug #1362: GBasis verbose mode: some output is on cerr/clog
- Here is a test case:...
- 16:41 CoCoA-5 Bug #1382: SEGV: should have been harmless
- All tests pass, and I have checked in.
- 16:05 CoCoA-5 Bug #1382 (Feedback): SEGV: should have been harmless
- The clue from @valgrind@ was very helpful.
The fn @CommonDenom@ did not check for the case of an empty list (and the... - 15:47 CoCoA-5 Bug #1382: SEGV: should have been harmless
- @valgrind@ suggests that the problem arose inside a call to @CommonDenom@ when it called @IsPolyRing@ (which called @...
- 15:44 CoCoA-5 Bug #1382 (In Progress): SEGV: should have been harmless
- According to gdb, the program crashed in line 48 of @SmartPtrIRC.H@
I wonder what that means 8-|
- 16:08 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- I confirm it works fine on MacOS.
- 15:03 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- Both Bernhard and Peter confirm that everything is fine using the "interim" release 5.2.5; they did comment that the ...
- 09:37 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- According to Peter Mader it also works on Linux with this version, so I think we can close this thread.
- 09:19 CoCoA-5 Bug #1383 (Resolved): NewPolyRing on MS Windows
- Can we now close this issue as it seems to be completely resolved using the latest release of CoCoA-5?
Anyway, a tes... - 01:02 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- The error code displayed after calling the function ...
07 Jan 2020
- 21:59 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- In any case we should add an example like this as a new "official" test.
- 16:31 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- JAA says the bug is not present on current internal version of CoCoA-5 compiled and running on Linux.
The error me... - 16:29 CoCoA-5 Bug #1383 (Closed): NewPolyRing on MS Windows
- Bernhard Andraschko reports that the following causes a crash on MS Windows 10 Pro (10.0.17763)...
- 21:53 CoCoA-5 Support #1387: John's visit Feb 2020
- * Perhaps arrange for the last few (1, 2, 3?) messages sent to the CoCoA mailing list to be easily accessible from th...
- 21:51 CoCoA-5 Support #1387: John's visit Feb 2020
- Here is a list of things to do (mostly references to other issues):
* fix SEGV bug (#1382)
* look at #1375 and #137... - 21:50 CoCoA-5 Support #1387 (Closed): John's visit Feb 2020
- This issue is to gather things to do during John's visit.
- 21:30 CoCoA-5 Support #1386: IsIndetPosPower: behaviour and manual page
- What should @IsIndetPosPower(x/x)@ give?
Error or @false@?
I expected @false@ but actually got an error.
- 21:22 CoCoA-5 Support #1386 (Closed): IsIndetPosPower: behaviour and manual page
- There is no manual page for @IsIndetPosPower@.
- 20:51 CoCoA-5 Bug #1385: valgrind: reports 456byte leak
- Here is the output from @valgrind@:...
- 20:49 CoCoA-5 Bug #1385 (Closed): valgrind: reports 456byte leak
- I ran @valgrind@ on @CoCoAInterpreter@ taking input from @/dev/null@ (_i.e._ empty input).
The resulting report sa... - 16:45 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- Here is a session sample:...
- 16:42 CoCoA-5 Bug #1384 (Closed): NewPolyRing and SymbolRange
- What should @SymbolRange@ do if there are no indets in the range?
What should @NewPolyRing@ do if the result of @Sy... - 16:07 CoCoA-5 Bug #1382: SEGV: should have been harmless
- I was using CoCoA-5 to look for some examples to show the students. It was a surprise when it SEGV'd :-(
- 16:06 CoCoA-5 Bug #1382 (Closed): SEGV: should have been harmless
- I get a SEGV with the following input (no SEGV if the number of loop iters is 100)....
- 14:48 CoCoALib 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:... - 14:28 CoCoALib 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...
Also available in: Atom