Project

General

Profile

Activity

From 17 Sep 2019 to 16 Oct 2019

16 Oct 2019

22:30 Bug #946: Function "ideal" evaluates the argument twice
I have just run the test given in comment 2; now only the first one evals its arg twice.
Is this easy to fix?
Mov...
John Abbott
22:23 Design #474: Eliminate package BinRepr
This issue has been lingering for years. Now it is marked as *urgent* (so moving it back to target 5.3.0).
*Anna* n...
John Abbott
22:15 Bug #1288 (Feedback): len for RINGELEM ?!?
The CoCoA-5 manual page has already been fixed.
I have just modified @BuiltinFunction-CoCoALib.C@ so that an error...
John Abbott
22:04 Design #1075: LaTeX package: power-product printing
I have just tried a quick test: it is a bit surprising that the resulting strings are different... John Abbott
21:56 Slug #1284 (Feedback): CartesianProductList: too slow
Apparently I checked this in some time ago -- I suppose not long after the previous comment (5 months ago).
Maybe ...
John Abbott

15 Oct 2019

11:49 Slug #948: radical is slow (compared to singular) on these examples
John Abbott wrote:
> My simple idea was just to add say 0.1 to the actual measured time: if minpoly is fast,
> this...
Anna Maria Bigatti

14 Oct 2019

22:29 Slug #948: radical is slow (compared to singular) on these examples
I have just tried modifying the code, but *it does not work as expected.*
In @SparsePolyOps-Ideal0Dim.C@ around l...
John Abbott
22:01 Slug #948: radical is slow (compared to singular) on these examples
We have another funny problem: @MinPoly@ is too fast ;-)
The timeout for @GBasis@ depends only on the time spent in ...
Anna Maria Bigatti
17:32 Bug #1230 (In Progress): PrimaryDecomposition with lex ordering
Not quite :-/
there is still something dodgy:...
Anna Maria Bigatti
17:03 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
John Abbott wrote:
> Should we postpone this issue to the release after 5.3.0?
I think we should aim at 5.3.0.
I...
Anna Maria Bigatti

11 Oct 2019

22:18 Support #1311 (In Progress): THINGS TO DO IN GENOVA September 2019
John Abbott
22:16 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
Should we postpone this issue to the release after 5.3.0?
John Abbott
22:14 Support #1222: Release CoCoA-5.3.0
I have revised the title since we changed the planned version number ;-) John Abbott
22:12 Bug #1335: ManExamples: some problems
Running the example on the man page for @StandardInput@ is definitely a problem. I do not know how to fix this (othe... John Abbott
22:06 Feature #1236: Add "socket" devices
It would be good to close this soon.
We should test it on the 3 usual platforms: GNU/Linux seems OK to me, Mac? M...
John Abbott
22:03 Bug #1230 (Resolved): PrimaryDecomposition with lex ordering
I think this has already been done. Changed status to "resolved". John Abbott
22:02 Bug #1274 (Closed): SortBy and SortedBy sometimes give wrong result
This was actually fixed some time ago; I just forgot to tell redmine.
John Abbott
21:54 Design #1334: sylvester or SylvesterMat?
I have renamed @jacobian@ to @JacobianMat@; @jacobian@ is now in obsolescent (both for CoCoA-5 and CoCoALib).
John Abbott
18:01 Design #1334: sylvester or SylvesterMat?
John Abbott wrote:
> Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should...
Anna Maria Bigatti
15:03 Design #1334 (Resolved): sylvester or SylvesterMat?
I have changed the CoCoA-5 manual to use the new name. There was no need to change any tests.
Also added @Sylvest...
John Abbott
12:06 Design #1334: sylvester or SylvesterMat?
Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should it be called *@Jacobi... John Abbott
12:01 Design #1334: sylvester or SylvesterMat?
What should @SylvesterMat@ do if one of the args is 0?
An error must be signalled, but how?
Currently the error is ...
John Abbott
11:57 Design #1334: sylvester or SylvesterMat?
I have now made the impl in C++; more or less a straight copy of the CoCoA-5 code.
It seems to work (on 2 simple e...
John Abbott

10 Oct 2019

19:26 Design #1164 (Closed): Manual: loading manual entries written by users
Anna Maria Bigatti
18:41 Design #1327 (Feedback): Inconvenient PolyRingHom, PolyAlgebraHom
Anna Maria Bigatti
09:42 Design #1327 (Resolved): Inconvenient PolyRingHom, PolyAlgebraHom
The power of the new string syntax: can be defined in one line, and the strings are evaluated in the appropriate ring... Anna Maria Bigatti
18:24 Support #1024 (Closed): CoCoA Manual: consistent spacing in VarName: TYPE
John Abbott wrote:
> To see an example of inconsistency, just type *@?:@* into CoCoA. This gives the page for infix...
Anna Maria Bigatti
17:37 Bug #168 (Closed): Type info in CoCoA-5 manual
Anna Maria Bigatti
17:35 Bug #1261 (Closed): ASCII function
Still no reaction. Anyway, there is a test in @exbugs.cocoa5@. So we can close.
John Abbott
17:27 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
One "advantage" of @BlaBlaVector@ and @BlaBlaList@ is that it help reminds the programmer that indices in the first c... John Abbott
14:54 Feature #1243 (Resolved): New function: Read a string into a list (of RingElem) -- CoCoA-5
what about @RingElems(ring, string)@?
Similar to @RingElem(ring, string)@... or too similar?
One thing I do not l...
Anna Maria Bigatti
09:57 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
reminder: choose name and write doc for cocoa-5 Anna Maria Bigatti
08:41 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
For the moment called (also in CoCoA) @ReadExprVector(ring, string)@.
Example @ReadExprVector(R, "x-1, y^3-2, x*z")@...
Anna Maria Bigatti
17:27 Design #1334: sylvester or SylvesterMat?
John Abbott wrote:
> This fn should be in CoCoALib!
> Move it there and change its name; and put @sylvester@ into o...
Anna Maria Bigatti
16:10 Design #1334: sylvester or SylvesterMat?
This fn should be in CoCoALib!
Move it there and change its name; and put @sylvester@ into obsolescent. Change the ...
John Abbott
15:53 Design #1334 (In Progress): sylvester or SylvesterMat?
I vote for @SylvesterMat@ Anna Maria Bigatti
17:21 Support #1333: Typevectors
Here are some questions:
* roughly how long might it take to resurrect it?
* could it be easily translated into C++...
John Abbott
17:12 Support #1333: Typevectors
yes, fixed.
I wonder if I should resurrect this package...
Anna Maria Bigatti
16:04 Bug #1335: ManExamples: some problems
John Abbott wrote:
> I now see that the errors reported in the examples about hyperplane arrangements are intentiona...
Anna Maria Bigatti

09 Oct 2019

20:41 Bug #1335: ManExamples: some problems
I now see that the errors reported in the examples about hyperplane arrangements are intentional; _i.e._ the example ... John Abbott
14:44 Bug #1335 (In Progress): ManExamples: some problems
Here is a quick summary of the problems with MaxExamples@ (after I have already fixed a few)
*NOTE*: I do not have ...
John Abbott
14:38 Bug #1335 (Closed): ManExamples: some problems
I have just run @make ManExamples@, and there are some problems.
Fix them.
John Abbott
20:29 Support #677: Credits to CoCoA-5 contributors
A simple approach would be to have either a manual page about contributors, or a function which prints out some infor... John Abbott
17:48 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
I think I've done it. ... after lots of tedious little mistakes!
Called @ReadExprVector(ring, string)@ in @RingEl...
Anna Maria Bigatti

08 Oct 2019

21:25 Design #1334 (Closed): sylvester or SylvesterMat?
CoCoA-5 has a function called *@sylvester@*; should it not be called *@SylvesterMat@*?
John Abbott
21:08 Support #1333 (Closed): Typevectors
In the CoCoA-5 manual there is an entry *@Typevectors@* (which says NYI).
Should it be *@TypeVectors@*?
John Abbott
12:03 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom
John Abbott wrote:
> It would be nice if we could produce an easier way to make quotient rings. For example somet...
Anna Maria Bigatti
10:35 Design #1327 (In Progress): Inconvenient PolyRingHom, PolyAlgebraHom
If we find it non-trivial to create a good solution then we really should include some example(s) in the documentatio... John Abbott
08:57 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom
Alternative, without @use@:... Anna Maria Bigatti

07 Oct 2019

17:25 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom
Here is the solution I ended up producing, but I found discovering it to be unnatural.... John Abbott
17:13 Design #1327 (Closed): Inconvenient PolyRingHom, PolyAlgebraHom
I wanted to do in CoCoA-5 an example/exercise from Martin Kreuzer's lecture course on computer algebra.
It turned ou...
John Abbott

05 Oct 2019

12:25 Feature #1290: NewPolyRing: allow symbols with just head and no indices?
Yes, @NewPolyRing(QQ, "alpha")@ is cleaner, simpler, etc.
But if you want to specify several symbols, some of which ...
John Abbott

04 Oct 2019

16:50 Design #1164: Manual: loading manual entries written by users
updated manual Anna Maria Bigatti
16:19 Feature #1290: NewPolyRing: allow symbols with just head and no indices?
It works now. (both Mac and Linux)
However, @NewPolyRing(QQ, "alpha");@ is better, isn't it? ;-)
Close?
Anna Maria Bigatti
16:16 Bug #1273: NewPolyRing and SymbolRange together make a crash
Seems to work now, both on Mac and on Linux.
Close?
Anna Maria Bigatti

02 Oct 2019

16:27 Slug #948 (Resolved): radical is slow (compared to singular) on these examples
I have just tried a few examples, and they seems to be much quicker (but perhaps not as fast as Singular).
Should we...
John Abbott
16:22 Bug #1226 (Closed): ExternalLibs return empty list
This has been in feedback for at least 7 months. I cannot quickly and easily check whether the GSL problem still per... John Abbott
16:17 Support #169: Font for parameters in manual
We should try to work through the manual systematically. Perhaps there should be 26 sub-issues, one for each initial... John Abbott

01 Oct 2019

17:42 Bug #1325 (Closed): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block
When typing in code into a CoCoA-5 buffer, emacs does not recognise that the keyword *@until@* as marking the end of ... John Abbott
17:37 Bug #1104: Eigenvectors: inconsistent return type
Even the example in the manual exhibits this... that's embarrassing. We should decide what to do, and then take acti... John Abbott
14:53 Design #1120 (Resolved): Web site
Can we close this issue now?
John Abbott
14:52 Bug #168: Type info in CoCoA-5 manual
Can we close this now?
John Abbott
14:49 Design #1292: Interpreter: fns which accept INT or RAT
Some cases where it may not be so clear:
* *@den@* and *@num@*
* *@SmoothFactor@*
* *@floor@* and *@ceil@*
(...
John Abbott
14:44 Bug #1230 (In Progress): PrimaryDecomposition with lex ordering
The given example seems to work now. Has this been fixed?
If so, close; otherwise postpone to next version.
John Abbott
14:41 Support #1220 (Closed): NewRingFp obsolescent; superseded by NewZZmod
John Abbott
14:35 Support #1241: GDPR: website, mailing list
We should seek advice about this. John Abbott
14:33 Feature #912: Add TUTORIALs to online manual
I have added two tutorials: one about giving *feedback and reporting bugs*, the other about some *basic emacs* comman... John Abbott
14:31 Slug #709: Speed of some Normaliz calls (NmzComputation)
We should check what happens with current (2019-10-01) versions of CoCoALib and Normaliz. John Abbott
14:27 Design #476: Review utility of package IO
If the package exports only *@format@*, perhaps that package name should be changed to @format@? John Abbott
14:25 Support #1240 (Closed): John's visit Feb 2019
Closing this because the visit is over -- this does not imply that we achieved all that we had hoped to. :-( John Abbott
14:21 Feature #368: port SmithNormalForm (CoCoA-4)package to CoCoA-5
I think Florian had done some implementing; perhaps we can delegate to him?
John Abbott
14:19 Support #1217 (Rejected): CoCoA-5 tests directory: cleaning
This is apparently a duplicate of #1318, so rejecting. John Abbott
14:11 Bug #1321 (Closed): RealRoots fails on -x^2
I have added @RealRoots(-x^2)@ to the exbugs test suite.
Closing.
John Abbott
14:05 Design #1164: Manual: loading manual entries written by users
The manual entry for @ReloadMan@ needs to be updated, assuming that the impl is meant to be public.
John Abbott

30 Sep 2019

20:00 Support #1315 (In Progress): Manual entry about reporting bugs?
I have added a "tutorial" page about giving feedback and reporting bugs.
I was not sure where to put it, but perha...
John Abbott

29 Sep 2019

21:57 Bug #1321 (Feedback): RealRoots fails on -x^2
Indeed I had "fixed" it, but there was a slight mistake: I forgot to guarantee that the LC of the poly handed to the ... John Abbott

27 Sep 2019

18:21 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 Support #1318: Clean CoCoA-5/tests directory
Some *@TutHokkaido@* tests fail (non-zero exit status in 3 cases).
John Abbott
18:09 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 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:25 Feature #1231 (Closed): system command
Tested on MacOSX.
Works.
Anna Maria Bigatti
17:23 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 Bug #1322: SEGV when debugging is active
Added a CoCoALib test John Abbott
16:58 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 Bug #1322 (In Progress): SEGV when debugging is active
... John Abbott
11:02 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 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 Support #1318: Clean CoCoA-5/tests directory
Here is a list of apparently redundant files:
* @assert.cocoa5@
* TBC
John Abbott
14:25 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 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 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 Bug #1321 (Closed): RealRoots fails on -x^2
Small failing example:... John Abbott
15:50 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 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
11:58 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 Feature #1231 (Feedback): system command
There is a manual page now. John Abbott

24 Sep 2019

15:24 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 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 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

20 Sep 2019

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

19 Sep 2019

13:23 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 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 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 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
 

Also available in: Atom