Activity
From 21 Oct 2019 to 19 Nov 2019
19 Nov 2019
- 16:49 CoCoALib Support #1276 (Closed): Release 0.99650
18 Nov 2019
- 10:51 CoCoA-5 Feature #1364: Emacs UI: start cocoa5 with system command enabled
- John Abbott wrote:
> Here are two possible ways to implement:
> * *(A)* new emacs commands _e.g._ *@cocoa5-with-sys...
15 Nov 2019
- 15:40 CoCoA-5 Feature #1364: Emacs UI: start cocoa5 with system command enabled
- Ange's situation is that she has the source code in @file.cocoa5@ and wants to send it to CoCoA-5 with @SystemCommand...
- 15:30 CoCoA-5 Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled
- Ange wants to use @SystemCommand@ inside some of her code, but when she starts CoCoA-5 from inside emacs @SystemComma...
- 15:28 CoCoA-5 Support #677: Credits to CoCoA-5 contributors
- * *Manual page* this is probably simplest to implement (and likely to suffice for all or almost all uses)
* *Functi...
14 Nov 2019
- 19:22 CoCoALib Design #982: Catching interrupts in example progs?
- I have modified @ex-empty.C@ so that it creates a @SignalWatcher@ immediately after @GlobalManager@, and also has a h...
- 19:17 CoCoALib Bug #1362: GBasis verbose mode: some output is on cerr/clog
- I have mostly fixed this. There are also very many commented out debugging prints to clog. Some I have removed; but...
- 09:49 CoCoALib Bug #1362 (In Progress): GBasis verbose mode: some output is on cerr/clog
- In *@TmpGReductor.C@* there are numerous print commands onto *@clog@*; the commands are called only after checking *@...
- 15:28 CoCoALib Feature #1360 (In Progress): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- JAA prefers to delay this so there is time to make more checks...
13 Nov 2019
- 16:56 CoCoA-5 Slug #1363: Emacs UI: slow with long lines
- Original location of link was ...
- 16:55 CoCoA-5 Slug #1363 (In Progress): Emacs UI: slow with long lines
- I have found mention of *@so-long.el@* for emacs which is supposed to help with long lines.
We should investigate.
- 14:59 CoCoALib Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog
- With @VerbosityLevel@ set to 150, some output when computing a gbasis is on stderr instead of stdout: _e.g._...
12 Nov 2019
- 14:48 CoCoALib Bug #1361 (Closed): Compilation fails when compiling with libgsl
- If I compile cocoalib 0.99601 with libgsl (version 2.6-1) using:...
09 Nov 2019
- 21:45 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- Checked into CVS.
I had added a fn for sending a string to the running *cocoa5* buffer; I have not yet altered any f... - 09:18 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- Tried on two (oldish) version of emacs.
Both work.
07 Nov 2019
- 20:17 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I noticed quite a lot of "almost duplication" in the *@cocoa5.el@* file. We should try to reduce that: more work for...
- 18:37 CoCoA-5 Feature #1358 (In Progress): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I have a first version which seems to work: after *@(goto (point-max))@* I have inserted *@(move-beginning-of-line ni...
- 17:43 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I think it is probably a good idea to clear the last line (assuming this can be done reasonably easily in emacs).
...
05 Nov 2019
- 14:26 CoCoALib Design #982: Catching interrupts in example progs?
- On my machine all examples are faster than 5s, but several took more than 2s.
I have made some (local) changes to ma... - 11:49 CoCoALib Design #982 (In Progress): Catching interrupts in example progs?
- There are two example progs for interrupts (*@ex-interrupt1.C@* and *@ex-interrupt2.C@*).
I am not sure that they ar...
04 Nov 2019
- 11:01 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- John Abbott wrote:
> Anna suggested *@--only-cocoalib@*
>
> JAA prefers that the default be "only cocoalib", and ...
01 Nov 2019
- 10:28 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- Anna suggested *@--only-cocoalib@*
JAA prefers that the default be "only cocoalib", and that an option must be giv... - 10:22 CoCoALib Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- Considering adding configuration option(s) to specify:
* compile just cocoalib
* compile cocoalib and also also CoC...
31 Oct 2019
- 18:34 CoCoALib Support #1276: Release 0.99650
- ...
- 16:24 CoCoALib Support #1276: Release 0.99650
- Valgrind OK...
- 15:55 CoCoALib Bug #1248 (Closed): MinPolyQuot: guaranteed and ideal without GBasis
- 11:17 ApCoCoA Feature #1328: New ApCoCoA UI
- Next meeting is 2019-11-21 at 11:00.
AIM: *get interactive window and history mechanism working.*
30 Oct 2019
- 22:44 CoCoA-5 Slug #480: gcd too slow for large degree univariate poly
- This slug still exists: on my current machine, top reports that CoCoA-5 is using 13Gbyte of memory. The computation ...
- 22:39 CoCoALib Slug #952 (Closed): GCD very slow
- It is no longer very slow; no sure how fast it is (seems to be instant).
Closing.
- 22:32 CoCoALib Bug #986: GFan: require version newer than 0.6
- *2019-10-30* Update: I now have gfanlib-0.6.2 (released 2018-09-28 according to GFanlib website).
However it sti... - 22:23 CoCoALib Slug #1359: gcd: low degree but big coeffs can be slow
- If the number of steps in the PRS is very small then a direct method may well be better than the modular method.
T... - 22:21 CoCoALib Slug #1359 (New): gcd: low degree but big coeffs can be slow
- gcd of low degree polys with big coeffs can be too slow....
- 22:16 CoCoALib Bug #1113 (Closed): gcd crashes (Floating point exception)
- *2019-10-30* I have just tried the example in comment 1, and it no longer crashes. No idea when it was resolved.
... - 22:10 CoCoALib Feature #1218 (In Progress): 32-bit or 64-bit preprocessor macro?
- Exactly what wordsize assumptions do we want to make?
* *(A)* 32-bits or not (meaning more than 32?)
* *(B)* 32-... - 21:56 CoCoALib Feature #1218: 32-bit or 64-bit preprocessor macro?
- *2019-10-30* I have just checked, and CoCoALib and CoCoA-5 both compile, run and all tests pass on my little 32-bit m...
- 21:51 CoCoALib Feature #1219: Frobby version number
- There was recent email from Bjarke Roune stating that he will no longer be able to maintain Frobby.
We should contac... - 21:47 CoCoALib Feature #1282: subresultant
- Note that there is already *@SubresultantSeq@* in @SparsePolyOps-resultant@.
Where did this impl come from? Is it a... - 21:44 CoCoALib Slug #1324 (In Progress): Improve RootBound
- Here is a family of examples where factorization may not work so well:
let @f@ be a product of @x^k-1@ where the @k@... - 16:09 CoCoA-5 Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- When using the Emacs UI, possibly confusing problems can arise if the user has started to type some input in the exec...
- 11:20 CoCoA-5 Support #1222: Release CoCoA-5.3.0
- I have compiled CoCoA-5 (current CVS) on my little 32-bit netbook (with @readline@ but no other extlibs). Compilatio...
- 11:08 CoCoALib Support #1276: Release 0.99650
- FWIW I have compiled CoCoALib on my old "netbook" which is 32-bit. All tests passed.
- 11:06 ApCoCoA Design #1357: How to connect GUI to cocoa5 executable?
- I wonder how this was achieved with CoCoA-4.
I do not believe that we implemented any special in CoCoA-4 to enable... - 11:02 ApCoCoA Design #1357 (New): How to connect GUI to cocoa5 executable?
- The GUI needs to start a separate process for CoCoA-5, and then be able to send inputs to CoCoA-5, and receive output...
29 Oct 2019
- 19:44 CoCoALib Feature #1347 (Closed): New function: ctor of PPVector with vector<RingElem>
- Documented (and modernized its doc file)
- 16:21 CoCoALib Feature #1332 (Closed): New function: vector of RingElem from string -- in CoCoALib
- documented in @RingElem.txt@
- 12:37 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- Checked in @IndetsIn(vector<RingElem>)@
- 12:20 CoCoA-5 Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- The usual trick to ensure that header files are read only once is to define a CPP variable the first time the header ...
- 12:04 CoCoALib Design #1355 (New): TmpLDP uses srand and time
- The code in *@TmpLDP.C@* uses old C functions *@time@* and *@srand@*.
Try to update the code to clean, modern C++.
- 12:00 CoCoALib Design #1295 (Closed): Never use "using namespace .." in header files
- I must have done this some time ago; no doubt shortly after it was reported.
I have just removed some @using names... - 11:30 ApCoCoA Feature #1354: ApCoCoA: separate window for manual
- Here are some design details which must be sorted out before much can be implemented:
* which XML tags are used in t... - 11:25 ApCoCoA Feature #1354 (New): ApCoCoA: separate window for manual
- The ApCoCoA UI must offer a means of opening manual pages in a separate window.
The content of this window must be... - 10:58 CoCoALib Support #1353: configure script help
- I have another suggestion: add the flag *@--only-lib@* that does @--no-boost --no-readline@ and does not compile coc...
28 Oct 2019
- 12:31 CoCoALib Support #1353: configure script help
- Ahhh. I see your point.
For CoCoALib the option *@--no-boost@* does nothing (since CoCoALib does not use BOOST, I... - 11:48 CoCoALib Support #1353: configure script help
- I think that @--no-boost@ should be listed as a CoCoALib option, because it can compile without boost, instead of a C...
27 Oct 2019
- 21:16 CoCoALib Support #1353 (In Progress): configure script help
- I have just compiled CoCoALib with the option *@--no-boost@*, and everything worked fine (as I expected/hoped). Of c...
- 21:13 CoCoALib Support #1353 (Closed): configure script help
- Bruns recently asked (by email) if configuring CoCoALib with *@--no-boost@* will work OK.
I believe CoCoALib does ... - 21:10 CoCoALib Slug #792 (In Progress): configure: search for libgmp too slow
- I think this may already be almost done. Let's finish it soon!
- 21:06 CoCoALib Support #976: configure: auxiliary scripts should be consistent about error messages
- Let's finish this soon! Boosted priority, and brought target version forward.
I think it is almost done anyway... b...
26 Oct 2019
- 09:53 CoCoA-5 Bug #1325 (Closed): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- tried. works. closed.
- 09:11 CoCoA-5 Bug #1325 (Feedback): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- I have made the changes which I think are right for having *@until@* recognized as an end-keyword.
I have tried to c... - 08:47 CoCoA-5 Feature #673: Error message: I was expecting...
- John Abbott wrote:
> Mind you, anyone who types in any of the above is just being a vandal (mmm, me too?)
Now cal...
25 Oct 2019
- 18:27 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- Added sleep to ConfigEmacs mac and linux
- 18:06 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- updated accordingly the scripts in @release-files/@
- 16:17 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- Good point! I think we should set the same timings in the installation script (for Mac it's called @ConfigEmacs@)
- 14:07 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- One could argue that this is relatively unimportant for normal users (_i.e._ those who download CoCoA-5) since they _...
- 14:01 CoCoA-5 Design #1352 (In Progress): cocoa5 (launch) script: sleep time
- A slightly previous version of the script would sleep for 1 sec, print error mesg, sleep for 1 sec, then exit.
An ... - 13:39 CoCoA-5 Design #1352 (Closed): cocoa5 (launch) script: sleep time
- The usual way to start CoCoA-5 is to run the script *@cocoa5@*.
This script runs some quick basic checks then call... - 15:57 CoCoA-5 Bug #1325: Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- I now see that in *@cocoa5.el@* there are two very similar constants: *@cocoa5-endkeywords-list@* and *@cocoa5-end-bl...
- 15:39 CoCoA-5 Bug #1325 (Resolved): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- I think I may have solved this (without actually understanding what the emacs-lisp code does).
I have changed the ... - 15:27 CoCoA-5 Bug #1325: Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
- Here is a test case:...
- 15:12 CoCoA-5 Feature #673 (Feedback): Error message: I was expecting...
- I have tried some more tests. Mostly it seems OK, but it is possible to confuse the parser:...
- 13:34 CoCoA-5 Bug #1351: Clean up package points.cpkg
- I was surprised by the following line in @points.cpkg5@...
- 13:31 CoCoA-5 Bug #1351 (New): Clean up package points.cpkg
- I noticed some old code in *@points.cpkg@* which does not work in CoCoA-5.
In any case, most functions in that pac... - 13:28 CoCoA-5 Support #1350: CoCoA manual: entry for operators, shortcuts
- I have added *@<=@* and *@>@* and *@>=@* to the list at the top of the page.
I also noticed that there appears to ... - 13:26 CoCoA-5 Support #1350 (New): CoCoA manual: entry for operators, shortcuts
- The first time I use the online manual in CoCoA-5, I always get a warning about the *@operators, shortcuts@* page bei...
- 11:55 CoCoA-5 Feature #504: New operators: += -= *= /=
- Here is a command for finding lines which contain commands like *@A := A + blah@* or some other operator -- it does f...
- 11:46 CoCoA-5 Feature #504: New operators: += -= *= /=
- One big advantage of rejecting the idea of introducing *@+=@* and friends is that there would be no need to fiddle ar...
24 Oct 2019
- 23:11 CoCoA-5 Feature #673: Error message: I was expecting...
- CVS-ed. Also CoCoA-5 tests pass :-)
- 23:00 CoCoA-5 Feature #673 (Resolved): Error message: I was expecting...
- Not really sure how to do this cleanly, so I have "hacked" the class @Token@ in @Lexer.H@ (near line 243) by adding a...
- 23:06 CoCoA-5 Support #530: Interpreter error message: "for" with missing "do"
- Oh, that is strange.
I suppose the parser thinks that @10 x@ is more likely a typo for @10*x@, but that @10 3@ is pr... - 15:38 CoCoALib Feature #1349: ideal ctor where given gens are a gbasis
- Here is the background for my request.
I want to modify @MinPolyQuot@ so that it accepts "relatively zero-dim idea... - 15:27 CoCoALib Feature #1349 (In Progress): ideal ctor where given gens are a gbasis
- I would like to create a new ideal from a list which I know is a (reduced) GBasis.
How should I do this?
In fact,... - 15:00 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
- I have just added (in @SparsePolyOps-RingElem.C@) an impl for @IndetsIn(const std::vector<RingElem>&)@.
The result i... - 08:23 CoCoA-5 Design #1348 (Feedback): cocoa5 script for releases
- I recovered the check on 32/64 bits for linux even though we no longer distribute 32-bit.
(but this way the user get...
23 Oct 2019
- 18:51 CoCoA-5 Design #1348: cocoa5 script for releases
- I made a new release for mac and for linux on the webpage.
- 18:19 CoCoA-5 Design #1348 (Resolved): cocoa5 script for releases
- Done, I believe.
Now testing comes.
- 14:48 CoCoA-5 Design #1348 (In Progress): cocoa5 script for releases
- I have updated the release-* scripts for Linux, Mac and Microsoft.
CVS-ed.
- 14:43 CoCoA-5 Design #1348: cocoa5 script for releases
- I have noticed that @cocoa5-linux@ still includes the trick for choosing between 32-bit and 64-bit executables. Isn'...
- 14:35 CoCoA-5 Design #1348: cocoa5 script for releases
- The bug the student had found had been fixed (ages ago?) in our "private" version of @cocoa5@, but the change was nev...
- 14:34 CoCoA-5 Design #1348 (Closed): cocoa5 script for releases
- A student today reported a problem with CoCoA-5 on her Mac: we released a "bad" version of the @cocoa5@ start-up scri...
22 Oct 2019
- 11:10 CoCoA-5 Slug #1284 (Closed): CartesianProductList: too slow
- 11:04 CoCoA-5 Bug #1288 (Closed): len for RINGELEM ?!?
21 Oct 2019
- 23:00 CoCoA-5 Slug #1270 (In Progress): RationalSolve: use MinPolyQuot instead of elim
- Here is an example which shows that @RationalSolve@ can be unreasonably slow:...
- 18:50 CoCoALib Feature #1347 (Feedback): New function: ctor of PPVector with vector<RingElem>
- Done, tested, cvs-ed.
To do: documentation. - 18:49 CoCoALib Feature #1347 (Closed): New function: ctor of PPVector with vector<RingElem>
- While updating the code for monomial ideals using the new range-based for loop I realized how many times I need to in...
- 18:45 CoCoALib Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- 18:44 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- used massively for monomial ideals.
Tested.
cvs-ed. - 12:27 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- We should maintain a list of files to change and/or a list of files already changed.
* @SparsePolyOps-ideal-monomial... - 12:26 CoCoALib Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- Since C++11 there is a new "range-based" *@for@* loop.
Employ it where appropriate in CoCoALib. - 12:29 CoCoALib Design #1242: C++14: Use type auto where appropriate
- I have created a new issue (#1346) about using the new *@for@* loop syntax; please put relevant progress reports ther...
- 12:06 CoCoALib Design #1242: C++14: Use type auto where appropriate
- John Abbott wrote:
> * use *@auto@* instead of the explicit type for C++ iterators (usu. the explicit type is "unrea...
Also available in: Atom