Activity
From 30 Aug 2019 to 28 Sep 2019
27 Sep 2019
- 18:21 CoCoA-5 Support #1318: Clean CoCoA-5/tests directory
- @test-output.cocoa5@ fails with "wrong output" ???
If run inside emacs using C-c C-f, the test produces no output... - 18:12 CoCoA-5 Support #1318: Clean CoCoA-5/tests directory
- Some *@TutHokkaido@* tests fail (non-zero exit status in 3 cases).
- 18:09 CoCoA-5 Support #1318 (Resolved): Clean CoCoA-5/tests directory
- Here are the tests which we might want to keep:
* *@packages.cocoa5@*
* *@parameters.cocoa5@*
* *@protection.cocoa... - 17:42 CoCoA-5 Bug #1286: Website: trouble with the world map
- The result is mostly satisfactory. Now I see a symbol of "broken image" rather than a thumbnail map.
If I click on ... - 17:33 CoCoALib Bug #905 (Closed): txt2tags: double quotes wrong in LaTeX
- 17:27 CoCoALib Bug #1317 (Closed): txt2tags: LaTeX/PDF section numbers over 99 in TOC
- Works reasonably well for me. Closing.
- 17:25 CoCoA-5 Feature #1231 (Closed): system command
- Tested on MacOSX.
Works.
- 17:23 CoCoA-5 Support #1314: Emacs UI: open manual pages in a separate frame?
- Perhaps we need a separate process to show the manual pages?
A possibility is to run a whole separate CoCoA-5 sess... - 17:13 CoCoA-5 Bug #1322: SEGV when debugging is active
- Added a CoCoALib test
- 16:58 CoCoA-5 Bug #1322 (Closed): SEGV when debugging is active
- Silly problem, when you know it...
There was a debugging call @CoCoA_ASSERT(myMinGens().empty())@ (causing an infini... - 16:37 CoCoA-5 Bug #1322 (In Progress): SEGV when debugging is active
- ...
- 11:02 CoCoA-5 Bug #1322 (Closed): SEGV when debugging is active
- Seems to work fine if compiled without *@--debug@*, but several tests fail (SEGV) when @--debug@ is active:...
26 Sep 2019
- 16:46 CoCoA-5 Bug #1321 (In Progress): RealRoots fails on -x^2
- I thought I had already fixed this bug. Indeed the code is there inside @RealRoots2@; the code assumed that the arg ...
25 Sep 2019
- 18:15 CoCoA-5 Support #1318: Clean CoCoA-5/tests directory
- Here is a list of apparently redundant files:
* @assert.cocoa5@
* TBC
- 14:25 CoCoA-5 Support #1318 (Closed): Clean CoCoA-5/tests directory
- There are some old files in @CoCoA-5/tests/@ which seems no longer to be used. Perhaps delete them?
- 18:14 CoCoA-5 Support #1027: CoCoAManual: add a page with some emacs hints?
- JAA has written a first draft of a *tutorial for using the Emacs UI*; it will need to be expanded/improved.
- 17:18 CoCoA-5 Support #1027: CoCoAManual: add a page with some emacs hints?
- A possibility is to put the web page(s) referred to in comment 2 into a local file, so that it is always accessible.
... - 17:58 CoCoA-5 Bug #1321 (Closed): RealRoots fails on -x^2
- Small failing example:...
- 17:13 CoCoALib Feature #1283 (Closed): Printing for (prime) finite fields
- Where should the documentation go?
- 16:04 CoCoALib Feature #1283 (Resolved): Printing for (prime) finite fields
- 14:33 CoCoALib Feature #1283: Printing for (prime) finite fields
- Anna says OK to my "hack".
Now I need to document and check everything in.
- 15:50 CoCoA-5 Bug #1320: CoCoA-5 manual: incorrect empty line in syntax box (in PDF file)
- This seems to be related to commands which return no result, or which have extra "descriptions" inside the syntax par...
- 15:49 CoCoA-5 Bug #1320 (New): CoCoA-5 manual: incorrect empty line in syntax box (in PDF file)
- In the PDF version there are "unhappy" empty lines at the end of some boxes around the "syntax" of some commands.
... - 15:29 CoCoALib Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- The point is that @make veryclean@ also deletes (most of?) the files generated by configuration.
Something is evid... - 15:13 CoCoALib Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- The error mesgs appear when the makefile tries to rebuild the dependencies.
- 15:11 CoCoALib Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- I did something like the following, and ended with lots of error messages about @PREPROCESSOR_DEFNS.H@ not existing.
... - 14:28 CoCoALib Support #1263: Tidy CoCoALib test directory
- Anna approves of merging the exbugs into a single file, and to including @CoCoA/library.H@.
Do this (soon!)
- 11:58 CoCoA-5 Feature #1231: system command
- Currently, any output from the system command is sent to @stdout@ (so might be lost if a GUI is being used).
Perhaps... - 11:54 CoCoA-5 Feature #1231 (Feedback): system command
- There is a manual page now.
- 08:00 CoCoALib Bug #1317 (Feedback): txt2tags: LaTeX/PDF section numbers over 99 in TOC
- Fixed. CVSed.
- 07:38 CoCoALib Feature #1209: New function: HasPositiveGrading
- We decided (personal discussion) to implement it only for @ring@, because the real utility of this function is for co...
24 Sep 2019
- 18:51 CoCoALib Bug #905 (Feedback): txt2tags: double quotes wrong in LaTeX
- 15:51 CoCoALib Bug #1317: txt2tags: LaTeX/PDF section numbers over 99 in TOC
- we need to play with the arguments in ...
- 15:47 CoCoALib Bug #1317: txt2tags: LaTeX/PDF section numbers over 99 in TOC
- Anna thinks this may be easy to resolve.
- 15:12 CoCoALib Bug #1317 (Closed): txt2tags: LaTeX/PDF section numbers over 99 in TOC
- In the index/table-of-contents there is no enough space for section numbers greater than 99.
The section number ov... - 15:24 CoCoA-5 Support #1314 (In Progress): Emacs UI: open manual pages in a separate frame?
- One possible approach would be to write the manual page to a file (perhaps inside @/tmp@ somewhere), then open the fi...
- 15:03 CoCoA-5 Bug #1286 (Feedback): Website: trouble with the world map
- Anna thinks she has found a decent compromise. Anyway the CPU burning has stopped.
Feedback! - 14:53 CoCoA-5 Bug #1286: Website: trouble with the world map
- Anna has got rid of the CPU burning part. Still trying to find a decent compromise for when the map cannot be shown.
- 10:50 CoCoALib Feature #1209: New function: HasPositiveGrading
- Apparently we decided to remove the function I was going to use (@IsPosiveGrading@ with two args), but in the time be...
- 10:16 CoCoALib Feature #1209 (In Progress): New function: HasPositiveGrading
- Now I understand what I meant.
+ There is a function called @IsPositiveGrading@ taking a weight matrix for input. T...
23 Sep 2019
- 13:00 CoCoALib Feature #1209: New function: HasPositiveGrading
- Do you simply mean a @GradingDim@ function which can be applied to a @PPMonoid@ or a @SparsePolyRing@?
- 12:54 CoCoALib Slug #1170: SmoothFactor: slow when a factor is found
- An idea (in C++) is to have a sort of @SmoothFactor@ iterator which can be told to continue from where it has reached...
- 12:41 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- I have run the profiler.
A lot of time is spent in *@AreDistinct(vector<symbol>)@*; presumably the call is around @r... - 12:20 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- Here is another case where it is surprisingly slow:...
- 12:16 CoCoALib Slug #1238: ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- 2019-09-23 This is still very slow. Here is a specific test case:...
- 11:49 CoCoALib Bug #1211: HilbertSeries should check grading
- JAA confirms that this bug still exists in the current build (2019-09-23).
20 Sep 2019
- 16:10 CoCoA-5 Feature #1231: system command
- There is currently no manual entry for *@SystemCommand@*.
19 Sep 2019
- 13:23 CoCoA-5 Feature #1316: Matrix row reduction (rref)
- What exactly should the user interface be?
* Just return the rref?
* return rref and a transformation?
* must th... - 13:21 CoCoA-5 Feature #1316 (Closed): Matrix row reduction (rref)
- Julian Danner would like a function for computing the "row reduced echelon form" (rref) of a matrix.
18 Sep 2019
- 10:23 CoCoA-5 Support #1315: Manual entry about reporting bugs?
- What ways do we have for reporting bugs? Email to @cocoa@? Write it on redmine? Email a person?
Suitable keywor... - 10:21 CoCoA-5 Support #1315 (Closed): Manual entry about reporting bugs?
- After reading about the problems with *@=@* and *@;@* in aquamacs, I thought "Why didn't he just report the bug norma...
13 Sep 2019
- 11:30 CoCoALib Support #1263: Tidy CoCoALib test directory
- I added a new "exbug" to one of the @test-bugN.C@ files, and noticed that it was quite a nuisance having to add all t...
12 Sep 2019
- 09:44 CoCoA-5 Support #1312: Wrong links on page about COCOA School in Sapporo
- Elisa e Michele: Esistono ancora le pagine ufficiali del corso sul sito dell'universita'? io non le riesco a trovare.
- 08:33 CoCoA-5 Support #1314: Emacs UI: open manual pages in a separate frame?
- It could be quite tricky to implement.
Anyway, I think it should be a separate window, not buffer.
Opening another ...
11 Sep 2019
- 21:07 CoCoA-5 Support #1314 (In Progress): Emacs UI: open manual pages in a separate frame?
- Martin Kreuzer says he likes the manual pages to appear separate from the output of commands.
I can see his point, e... - 21:04 CoCoA-5 Support #1027: CoCoAManual: add a page with some emacs hints?
- I would also like some information which does not require access to internet.
I notice that CoCoA-5 no longer ment... - 15:47 CoCoA-5 Feature #1313 (New): Automatic conversion from RINGELEM to INT
- CoCoA-5 can be awkward about not "recognising" that a value is an integer....
- 14:24 CoCoA-5 Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo
- The links to course details on the web page for the 2018 School in Sapporo lead to something about "alien (species) i...
- 14:14 CoCoA-5 Support #1311: THINGS TO DO IN GENOVA September 2019
- Here is a list of files *@ex-*.C@* which are not compiled by the @Makefile@:
* ex-BenchmarkToolkit.C, ex-DellaCorte... - 13:55 CoCoA-5 Support #1311: THINGS TO DO IN GENOVA September 2019
- Here is a short list of things to do:
* make interim release
* start planning release for next COCOA School
Anna... - 13:53 CoCoA-5 Support #1311 (Closed): THINGS TO DO IN GENOVA September 2019
- This is a pseudo-issue: I have created it just to gather together issue we should should try to address while I'm in ...
- 13:51 CoCoALib Bug #905: txt2tags: double quotes wrong in LaTeX
- This is still a problem. It would be nice to fix it before a deadline on 29th Sept!
I am also not convinced by th... - 13:41 CoCoA-5 Bug #1286 (In Progress): Website: trouble with the world map
- The CPU burning problem continues to exist apparently even without visiting the site in private mode (but I have forg...
- 11:29 CoCoALib Bug #1310 (Feedback): RealRoots: gives odd number of roots for deg 6 irred poly
- I have found a bug, and fixed it! It produces reasonable answers on the two tests mentioned above:...
- 10:30 CoCoALib Bug #1310: RealRoots: gives odd number of roots for deg 6 irred poly
- I now have a simpler failing example:...
10 Sep 2019
- 17:32 CoCoALib Bug #1310 (In Progress): RealRoots: gives odd number of roots for deg 6 irred poly
- There appear to be two real roots: approx -4.00095 and 1.05
@RootBound(f)@ gives about 2.95; *this is wrong!* - 13:53 CoCoALib Bug #1310 (Closed): RealRoots: gives odd number of roots for deg 6 irred poly
- The following looks to be wrong:...
- 12:26 CoCoALib Design #1309: SmoothFactor: allow limit = 1?
- I have just changed the code to allow limit=1. All tests and examples pass (which suggests that the tests were not v...
- 11:58 CoCoALib Design #1309: SmoothFactor: allow limit = 1?
- There are two separate impls for @SmoothFactor@ (one for @MachineInt@ and one for @BigInt@). One allowed the limit 1...
- 11:41 CoCoALib Design #1309 (In Progress): SmoothFactor: allow limit = 1?
- The original reason for imposing the limit was to help users detect "obviously silly" function calls. Now I think th...
- 11:36 CoCoALib Design #1309 (Closed): SmoothFactor: allow limit = 1?
- The @SmoothFactor@ function tries to factorize integers by dividing by all primes up to a specified limit.
Current...
05 Sep 2019
- 16:29 CoCoALib Bug #1308: test-GFan1 fails
- How much backward compatibility should be maintained? It might be too tricky; perhaps we should just require that us...
- 16:27 CoCoALib Bug #1308 (Closed): test-GFan1 fails
- I have moved to @gfanslib-0.6.2@ and now @test-GFan1@ produces the following error:...
- 16:17 CoCoA-5 Bug #1307 (Closed): Linking problem
- The problem was that I was trying to link against libraries which I had compiled before installing the new OS.
Recom... - 11:28 CoCoA-5 Bug #1307: Linking problem
- My platform is Ubuntu 18.04, and the compiler is @gcc version 7.4.0@.
The compiler says it was configured with the... - 11:23 CoCoA-5 Bug #1307 (Closed): Linking problem
- I have recently tried to compile @CoCoAInterpreter@ with (several) external libraries selected.
The compilation fail...
02 Sep 2019
- 16:47 CoCoALib Feature #1306: exgcd over integers (ZZ)
- Name *@extgcd@*?
I prefer with the *'t'*
- 16:12 CoCoALib Feature #1306: exgcd over integers (ZZ)
- The cofactors are defined only modulo the lattice of "syzygies" (kernel of the row matrix); the hope is that the vect...
- 16:08 CoCoALib Feature #1306 (In Progress): exgcd over integers (ZZ)
- Implement a general extended gcd over the integers.
The idea is that the cofactors should be reasonably small.
Pr... - 16:31 CoCoA-5 Feature #1305: Create a directory
- I much prefer having @CreateDirectory@.
In fact, I'd like it to give a warning if the directory already exists,
(an... - 16:15 CoCoA-5 Feature #1305: Create a directory
- I prefer not to jump straight to C++17 (as it is only 2019).
We can probably use the BOOST impl since CoCoA-5 requir... - 15:56 CoCoA-5 Feature #1305: Create a directory
- I agree it would be nice.
Do you want to do it now, or wait a bit before going all the way to C++17? - 15:45 CoCoA-5 Feature #1305: Create a directory
- It seems that C++17 includes a portable command for creating directories (@create_directory@), so this would make por...
- 15:39 CoCoA-5 Feature #1305 (New): Create a directory
- Ange asked about a command in CoCoA for creating a directory.
Do we want to offer such a command?
Perhaps @OpenOFil...
Also available in: Atom