Project

General

Profile

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...
John Abbott
18:12 CoCoA-5 Support #1318: Clean CoCoA-5/tests directory
Some *@TutHokkaido@* tests fail (non-zero exit status in 3 cases).
John Abbott
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...
John Abbott
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 ...
John Abbott
17:33 CoCoALib Bug #905 (Closed): txt2tags: double quotes wrong in LaTeX
John Abbott
17:27 CoCoALib Bug #1317 (Closed): txt2tags: LaTeX/PDF section numbers over 99 in TOC
Works reasonably well for me. Closing.
John Abbott
17:25 CoCoA-5 Feature #1231 (Closed): system command
Tested on MacOSX.
Works.
Anna Maria Bigatti
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...
John Abbott
17:13 CoCoA-5 Bug #1322: SEGV when debugging is active
Added a CoCoALib test John Abbott
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...
Anna Maria Bigatti
16:37 CoCoA-5 Bug #1322 (In Progress): SEGV when debugging is active
... John Abbott
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:... John Abbott

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 ... John Abbott

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
John Abbott
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?
John Abbott
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.
John Abbott
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.
...
John Abbott
17:58 CoCoA-5 Bug #1321 (Closed): RealRoots fails on -x^2
Small failing example:... John Abbott
17:13 CoCoALib Feature #1283 (Closed): Printing for (prime) finite fields
Where should the documentation go? John Abbott
16:04 CoCoALib Feature #1283 (Resolved): Printing for (prime) finite fields
John Abbott
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.
John Abbott
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... John Abbott
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.
...
John Abbott
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...
John Abbott
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.
John Abbott
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.
...
John Abbott
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!)
John Abbott
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...
John Abbott
11:54 CoCoA-5 Feature #1231 (Feedback): system command
There is a manual page now. John Abbott
08:00 CoCoALib Bug #1317 (Feedback): txt2tags: LaTeX/PDF section numbers over 99 in TOC
Fixed. CVSed. Anna Maria Bigatti
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... Anna Maria Bigatti

24 Sep 2019

18:51 CoCoALib Bug #905 (Feedback): txt2tags: double quotes wrong in LaTeX
John Abbott
15:51 CoCoALib Bug #1317: txt2tags: LaTeX/PDF section numbers over 99 in TOC
we need to play with the arguments in ... Anna Maria Bigatti
15:47 CoCoALib Bug #1317: txt2tags: LaTeX/PDF section numbers over 99 in TOC
Anna thinks this may be easy to resolve.
John Abbott
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...
John Abbott
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... John Abbott
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!
John Abbott
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.
John Abbott
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... Anna Maria Bigatti
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...
Anna Maria Bigatti

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@? John Abbott
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... John Abbott
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...
John Abbott
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:... John Abbott
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:... John Abbott
11:49 CoCoALib Bug #1211: HilbertSeries should check grading
JAA confirms that this bug still exists in the current build (2019-09-23).
John Abbott

20 Sep 2019

16:10 CoCoA-5 Feature #1231: system command
There is currently no manual entry for *@SystemCommand@*.
John Abbott

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...
John Abbott
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.
John Abbott

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...
John Abbott
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... John Abbott

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... John Abbott

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. Anna Maria Bigatti
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 ...
Anna Maria Bigatti

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...
John Abbott
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...
John Abbott
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.... John Abbott
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... John Abbott
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...
John Abbott
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...
John Abbott
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 ... John Abbott
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...
John Abbott
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... John Abbott
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:... John Abbott
10:30 CoCoALib Bug #1310: RealRoots: gives odd number of roots for deg 6 irred poly
I now have a simpler failing example:... John Abbott

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!*
John Abbott
13:53 CoCoALib Bug #1310 (Closed): RealRoots: gives odd number of roots for deg 6 irred poly
The following looks to be wrong:... John Abbott
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... John Abbott
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... John Abbott
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... John Abbott
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...
John Abbott

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... John Abbott
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:... John Abbott
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...
John Abbott
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...
John Abbott
11:23 CoCoA-5 Bug #1307 (Closed): Linking problem
I have recently tried to compile @CoCoAInterpreter@ with (several) external libraries selected.
The compilation fail...
John Abbott

02 Sep 2019

16:47 CoCoALib Feature #1306: exgcd over integers (ZZ)
Name *@extgcd@*?
I prefer with the *'t'*
Anna Maria Bigatti
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... John Abbott
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...
John Abbott
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...
Anna Maria Bigatti
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...
John Abbott
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?
Anna Maria Bigatti
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... John Abbott
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...
John Abbott
 

Also available in: Atom