Activity
From 26 Jan 2020 to 24 Feb 2020
24 Feb 2020
- 16:56 Bug #1335 (Closed): ManExamples: some problems
- Closing, as I believe the current arrangement is acceptable.
21 Feb 2020
- 14:50 Support #1387 (Closed): John's visit Feb 2020
- 14:18 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have given Klaus a (minimal) executable to use for developing on his computer.
A full executable gave a linker err... - 14:16 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have just had a meeting with Klaus:
* KISS: we do not use sockets at the moment, but instead @CoCoAInterpreter@ se... - 13:01 Feature #1415: thmproving package
- I think @thmproving.cpkg5@ is OK, but the documentation needs to be checked and properly integrated.
- 12:59 Bug #1421 (Feedback): SEGV: error("")
- Not sure what the compilation problem in comment 3 was; it seems that starting CoCoA-5 from inside emacs, might somet...
- 12:44 Bug #1421: SEGV: error("")
- While it is hard to imagine how an empty error description could be useful, it is surely wrong that CoCoA-5 crashes.
...
20 Feb 2020
- 17:06 Bug #1421: SEGV: error("")
- ...
- 17:03 Bug #1421 (In Progress): SEGV: error("")
- Not pretty!!...
- 17:02 Bug #1421 (Closed): SEGV: error("")
- The *@error@* function does not like having an empty string as argument: throws a fatal exception!
Reported vocall... - 16:58 Support #1404: Which commands should "terms" be a keyword for?
- This is what I get at the moment:...
- 16:53 Bug #755: Find out how to compile statically on linux
- Now I wonder if it may not be better to have the version *without* @readline@ being the default: it is less likely to...
- 16:16 Feature #1289 (Feedback): assert-function for cocoa5
- I have checked that *@assert@* exists and works, and is documented...
JAA thinks it is reasonable to include it in 5... - 10:02 Feature #1289: assert-function for cocoa5
- Should @assert@ be in 5.3.0 release?
I've changed target to 5.3.0 so that we discuss it! - 16:05 Support #890 (Feedback): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
- I have improved the documentation (which is where I believe the problem lay).
The impl seems to be reasonable; but i... - 10:04 Support #890: ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
- The doc for @ImportByRef@ and @ImportByValue@ starts with a big warning. Is this still necessary?
Check this issu...
19 Feb 2020
- 11:46 Feature #1415: thmproving package
- Remove thmproving from RelNotes!
- 11:43 Feature #1236 (Closed): Add "socket" devices
- I have just tested, and slightly modified the manual.
Closing.
- 11:31 Feature #1316 (Closed): Matrix row reduction (rref)
- 11:29 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- Perhaps see also issue #1236 to see how I implemented sockets...
- 11:27 Feature #78: Elim ordering and matrix ordering in CoCoA-5
- I think we are quite far from completing this issue. Postponing...
18 Feb 2020
- 12:20 Bug #1420 (In Progress): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- The problem is in the fn @myGBasis@
The impl has too many assertions that @myGBasis@ is empty; just a single asser... - 12:19 Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- I compiled CoCoALib (and CoCoA-5) with debugging active. The last test in @exbug.cocoa5@ fails...
17 Feb 2020
- 15:18 Support #240: GUI compilation: GMP is not naturally thread-safe
- This issue is very old. GMP has surely changed over the last 5 years (but last update was about 2 years ago).
The o... - 15:10 Bug #755: Find out how to compile statically on linux
- I propose:
* make Linux binaries *without* libblas
* make two binaries: the default one with @readline@, and anothe... - 14:54 Support #1387: John's visit Feb 2020
- Visit is over. We managed to do most things :-)
Closing. - 14:51 Feature #1316 (Feedback): Matrix row reduction (rref)
- Removed old impl. Added doc and test.
- 13:59 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz
- Anna can you try compiling the latest version (3.8.4)?
Also note well what you had to do to make it compile.
- 13:58 Support #177: CoCoAManual: General part of the documentation is obsolete: update? discard?
- This is not urgent for Vietnam; postponing. Though it we be good if we could make some progress.
- 13:55 Feature #1372: New function: find ?
- I still prefer postponing this issue to the next version, so that we can discuss better the semantics, and when/if er...
15 Feb 2020
- 23:52 Bug #1335 (Feedback): ManExamples: some problems
- The current state is that only the entries for *@OpenSocket@*, *@ReloadMan@* and *@SystemCommand@* report errors.
I ... - 23:41 Design #990: CoCoA-5 distribution: tidying
- I have unpacked the latest targz "binary" file for CoCoA-5.2.9.
Some files erroneously have "execute" permission:
... - 10:35 Support #1393: GUI with Qt5
- There was not enough time during my visit, so we were unable to look at this. Postponing to next version.
- 10:34 Support #1027: CoCoAManual: add a page with some emacs hints?
- There is a tutorial about the emacs UI. Perhaps this can be extended; or maybe a "basic" and an "advanced" tutorial?
- 10:30 Support #1418 (New): Manual entry for NewPolyRing
- Make the manual entry for *@NewPolyRing@* easier to understand.
- 10:28 Feature #1290 (Closed): NewPolyRing: allow symbols with just head and no indices?
- This seems to work fine now. The manual page needs cleaning; but I'll make a separate issue.
Closing.
- 10:23 Feature #1372: New function: find ?
- @find@ may also behave in a "slightly unexpected" way:...
14 Feb 2020
- 17:35 Feature #1372: New function: find ?
- If the list @L@ contains entries of different types then the fn defn given above might produce an error (since @opera...
- 17:27 Support #1386 (Closed): IsIndetPosPower: behaviour and manual page
- Now it gives @false@.
Added test to @test-bug3.C@.
- 17:10 Bug #1286 (Closed): Website: trouble with the world map
- 13:51 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- I prefer A, John prefers B, so we'll have them both.
Write documentation. - 13:43 Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials
- Names have been improved. Perhaps we'll think of better ones after the COCOA School...
Closing.
- 10:54 Support #1311 (Closed): THINGS TO DO IN GENOVA September 2019
- 10:53 Support #1027: CoCoAManual: add a page with some emacs hints?
- It would be nice to improve this a bit for Vietnam. Do we have enough time to do so?
- 10:50 Support #1312: Wrong links on page about COCOA School in Sapporo
- We should remove the link to Sapporo (since it is no longer relevant).
Our web page is @http://cocoa.dima.unige.i... - 10:48 Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo
- This cannot be solved: the remote has been replaced by something else.
Closing.
- 10:48 Support #1315 (Closed): Manual entry about reporting bugs?
- final minor polishing.
- 09:22 Bug #519 (Closed): GUI: fix DEFINES in makefile
- The old Qt interface has not worked for quite some time.
Also we now handle CPP flags in a different way (via the fi... - 09:08 Support #1344 (Rejected): Clean out OBSOLESCENT
- Anna assumes henceforth *TOTAL RESPONSIBILITY* for @obsolescent.cpkg5@.
She wants to extend it until eternity. Go...
13 Feb 2020
- 18:59 Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing
- 17:22 Feature #1401 (Closed): Parolacce e basi border
- Robbiano dice che il nuovo codice di Long e` sufficiente. MK crede che la vecchia codice (in C++) sia piu` veloce.
... - 17:17 Support #1318 (Closed): Clean CoCoA-5/tests directory
- Marked some tests as *@INACTIVE@* (by changing file name); Anna thinks it is best to keep these tests around, in case...
- 16:39 Feature #673 (Closed): Error message: I was expecting...
- Seems OK now. No doubt the school in Vietnam will be an "interesting" proving ground.
Closing.
- 16:37 Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled
- The option is available unde the CoCoA-5 drop down menu. It remains active only the current emacs session: if you cl...
- 16:30 Feature #1374 (Closed): Add function power to CoCoA-5
- To appease Anna I have implemented the special case of the power of a diagonal matrix in CoCoALib (and removed @Power...
- 16:09 Bug #1385 (Closed): valgrind: reports 456byte leak
- 16:08 Design #474: Eliminate package BinRepr
- Not necessary for this release. The remaining fns should be ported to C++; then we can elim the package.
- 16:04 Bug #946: Function "ideal" evaluates the argument twice
- Maybe the move ctor from C++14 can help here?
Postponed because it will take (a lot of) time to fix.
- 15:50 Bug #1286: Website: trouble with the world map
- The problem remains on the main page for CoCoA-4.7.5.
In any case, we are planning to hide/remove these (very old) p... - 15:44 Support #1368 (Closed): Improve manual for mod
- 15:40 Design #1352 (Closed): cocoa5 (launch) script: sleep time
- 15:40 Feature #1410 (Closed): IsDivisible also for INT
- manual done
- 10:19 Feature #1410: IsDivisible also for INT
- done...
- 15:36 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- A command line flag for the CoCoAInterpreter is now available, but it does not yet open a socket. This will be fixed...
- 15:29 Feature #1415 (In Progress): thmproving package
- I have ported the code. In fact @thmproving.cpkg5@ is already included in 5.3.0, but completely undocumented. Let's...
- 15:27 Feature #1415 (In Progress): thmproving package
- Port old CoCoA-4 package *@thmproving@* to CoCoA-5.
- 14:04 Bug #1412: Emacs UI: font size
- See comment 6 in issue #1358. I think it might be relevant here.
- 14:03 Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- This has been working trouble-free for 3 months. Closing.
- 10:09 Bug #1230 (Closed): PrimaryDecomposition with lex ordering
- I have added the example to @exbugs.cocoa5@
Closing!
- 09:25 Bug #1230 (Feedback): PrimaryDecomposition with lex ordering
- Seems to work now.
We did not note how we fixed the problem in comment 5. :-/
closing? - 09:35 Design #1327 (Closed): Inconvenient PolyRingHom, PolyAlgebraHom
- 09:30 Bug #1383 (Closed): NewPolyRing on MS Windows
- 09:29 Bug #1384 (Closed): NewPolyRing and SymbolRange
- 09:26 Bug #1273 (Closed): NewPolyRing and SymbolRange together make a crash
06 Feb 2020
- 18:45 Bug #1412: Emacs UI: font size
- same here!
- 16:14 Bug #1412 (In Progress): Emacs UI: font size
- An important clarification:
* if I send a line to CoCoA-5 then the magnification remains unaffected
* if I do *@Sou...
05 Feb 2020
- 22:48 Bug #1412: Emacs UI: font size
- On my computer it keeps the big fonts.
Both on emacs-24 and emacs-26. - 22:02 Bug #1412 (Closed): Emacs UI: font size
- With my emacs (ver. 25) I can increase the size of the font using @C-x C-+@.
This also works for a @*cocoa5*@ comint... - 14:12 Feature #1236: Add "socket" devices
- I have made the manual entry better (I hope!)
04 Feb 2020
- 13:35 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have just spoken to Klaus.
JAA will try to modify the interpreter so that it send the "status messages" to a speci...
03 Feb 2020
- 17:47 Bug #1408 (Feedback): CoCoAManual - tex: error if syntax is missing
- done. checked-in.
- 15:08 Bug #1408 (In Progress): CoCoAManual - tex: error if syntax is missing
- Yes, I think this is reasonable. Presumably the entries for the obsolescent commands should simply say which functio...
- 11:32 Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing
- I realized that tex fails if the syntax field of a command is missing, and the error message is not helpful (problem ...
- 16:03 Feature #1410: IsDivisible also for INT
- Yes. I think there are probably just two (main) cases:
* @RINGELEM@ and @RINGELEM@
* @INT@ and @INT@
* not so sur... - 15:48 Feature #1410: IsDivisible also for INT
- John Abbott wrote:
> I have been caught out by this myself on several occasions. I know one can use @mod@ instead, ... - 13:42 Feature #1410 (In Progress): IsDivisible also for INT
- I have been caught out by this myself on several occasions. I know one can use @mod@ instead, but it is more express...
- 13:40 Feature #1410 (Closed): IsDivisible also for INT
- In CoCoALib @IsDivisible@ works for various types of value, including integers.
In CoCoA-5, it expects just a @RINGE...
31 Jan 2020
- 13:57 Design #1407: Tagged values (Hilbert Series)
- Done.
The solution I implemented is this. (a bit like public/private functions in C++)
The package $hp, responsibl... - 11:25 Design #1407: Tagged values (Hilbert Series)
- Yes, i just want to create a "new" Hilbert series without knowing a generating system of the ring corresponding to it...
- 10:46 Design #1407: Tagged values (Hilbert Series)
- Fate wants that I'm facing exactly the same problem!!
And I have a neat idea in mind!
Bernhard: which tags do you...
30 Jan 2020
- 14:14 Design #1407 (Closed): Tagged values (Hilbert Series)
- Bernhard Andraschko has a new program which calculates Hilbert series.
He would like to make it produce a result com...
28 Jan 2020
- 15:56 Bug #1406 (New): Poor memory management?
- I tried something like the following:...
- 15:20 Support #1404: Which commands should "terms" be a keyword for?
- hmmm, you are right.
"terms" should be in the keys for support, monomials, coefficients, at least.
- 14:41 Support #1404 (In Progress): Which commands should "terms" be a keyword for?
- One possibility is that @?terms@ produces the page for @NumTerms@, but that then in the "see also" section there are ...
- 14:26 Support #1404 (Closed): Which commands should "terms" be a keyword for?
- What do you expect the CoCoA-5 manual to respond to the query:...
- 11:57 Design #476: Review utility of package IO
- I have implemented a *@fold@* function in CoCoALib, and exported it to CoCoA-5.
I have not implemented a "smart" f... - 10:54 Bug #713 (Feedback): External libs: interrupting not easy
- Since this issue was created we have also added @SignalWatcher@ to CoCoALib; so this issue is just as relevant to CoC...
- 10:29 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- I think the function that I added is the following...
@(defun cocoa5-send-string (cocoa5-input-line)...)@
I prefe... - 10:15 Bug #1384 (Feedback): NewPolyRing and SymbolRange
Also available in: Atom