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... - 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... - 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... - 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...
- 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 ...
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...
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... - 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 ... - 17:32 Bug #1230 (In Progress): PrimaryDecomposition with lex ordering
- Not quite :-/
there is still something dodgy:... - 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...
11 Oct 2019
- 22:18 Support #1311 (In Progress): THINGS TO DO IN GENOVA September 2019
- 22:16 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
- Should we postpone this issue to the release after 5.3.0?
- 22:14 Support #1222: Release CoCoA-5.3.0
- I have revised the title since we changed the planned version number ;-)
- 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...
- 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... - 22:03 Bug #1230 (Resolved): PrimaryDecomposition with lex ordering
- I think this has already been done. Changed status to "resolved".
- 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.
- 21:54 Design #1334: sylvester or SylvesterMat?
- I have renamed @jacobian@ to @JacobianMat@; @jacobian@ is now in obsolescent (both for CoCoA-5 and CoCoALib).
- 18:01 Design #1334: sylvester or SylvesterMat?
- John Abbott wrote:
> Not really related: there is a function *@jacobian@* which returns the jacobian matrix. Should... - 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... - 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...
- 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 ... - 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...
10 Oct 2019
- 19:26 Design #1164 (Closed): Manual: loading manual entries written by users
- 18:41 Design #1327 (Feedback): Inconvenient PolyRingHom, PolyAlgebraHom
- 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...
- 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... - 17:37 Bug #168 (Closed): Type info in CoCoA-5 manual
- 17:35 Bug #1261 (Closed): ASCII function
- Still no reaction. Anyway, there is a test in @exbugs.cocoa5@. So we can close.
- 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...
- 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... - 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
- 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")@... - 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... - 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 ... - 15:53 Design #1334 (In Progress): sylvester or SylvesterMat?
- I vote for @SylvesterMat@
- 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++... - 17:12 Support #1333: Typevectors
- yes, fixed.
I wonder if I should resurrect this package...
- 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...
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 ...
- 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 ... - 14:38 Bug #1335 (Closed): ManExamples: some problems
- I have just run @make ManExamples@, and there are some problems.
Fix them.
- 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...
- 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...
08 Oct 2019
- 21:25 Design #1334 (Closed): sylvester or SylvesterMat?
- CoCoA-5 has a function called *@sylvester@*; should it not be called *@SylvesterMat@*?
- 21:08 Support #1333 (Closed): Typevectors
- In the CoCoA-5 manual there is an entry *@Typevectors@* (which says NYI).
Should it be *@TypeVectors@*?
- 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... - 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...
- 08:57 Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom
- Alternative, without @use@:...
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....
- 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...
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 ...
04 Oct 2019
- 16:50 Design #1164: Manual: loading manual entries written by users
- updated manual
- 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? - 16:16 Bug #1273: NewPolyRing and SymbolRange together make a crash
- Seems to work now, both on Mac and on Linux.
Close?
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... - 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...
- 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...
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 ...
- 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...
- 14:53 Design #1120 (Resolved): Web site
- Can we close this issue now?
- 14:52 Bug #168: Type info in CoCoA-5 manual
- Can we close this now?
- 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@*
(... - 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.
- 14:41 Support #1220 (Closed): NewRingFp obsolescent; superseded by NewZZmod
- 14:35 Support #1241: GDPR: website, mailing list
- We should seek advice about this.
- 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...
- 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.
- 14:27 Design #476: Review utility of package IO
- If the package exports only *@format@*, perhaps that package name should be changed to @format@?
- 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. :-(
- 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?
- 14:19 Support #1217 (Rejected): CoCoA-5 tests directory: cleaning
- This is apparently a duplicate of #1318, so rejecting.
- 14:11 Bug #1321 (Closed): RealRoots fails on -x^2
- I have added @RealRoots(-x^2)@ to the exbugs test suite.
Closing.
- 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.
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...
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 ...
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... - 18:12 Support #1318: Clean CoCoA-5/tests directory
- Some *@TutHokkaido@* tests fail (non-zero exit status in 3 cases).
- 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... - 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 ... - 17:25 Feature #1231 (Closed): system command
- Tested on MacOSX.
Works.
- 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... - 17:13 Bug #1322: SEGV when debugging is active
- Added a CoCoALib test
- 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... - 16:37 Bug #1322 (In Progress): SEGV when debugging is active
- ...
- 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:...
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 ...
25 Sep 2019
- 18:15 Support #1318: Clean CoCoA-5/tests directory
- Here is a list of apparently redundant files:
* @assert.cocoa5@
* TBC
- 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?
- 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.
- 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.
... - 17:58 Bug #1321 (Closed): RealRoots fails on -x^2
- Small failing example:...
- 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...
- 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.
... - 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... - 11:54 Feature #1231 (Feedback): system command
- There is a manual page now.
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...
- 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! - 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.
20 Sep 2019
- 16:10 Feature #1231: system command
- There is currently no manual entry for *@SystemCommand@*.
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... - 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.
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... - 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...
Also available in: Atom