Activity
From 17 Feb 2020 to 17 Mar 2020
14 Mar 2020
-
21:46 Bug #1443: Illegal instruction
- OK, I do not know what is going on. This is *really annoying!*
I have compiled CoCoA-5 with the *@generic@* opti... -
20:29 Bug #1443: Illegal instruction
- The illegal instruction seems to be coming from the statically linked GMP library -- that is *@libgmp.a@* (and/or @l...
-
12:08 Support #1222: Release CoCoA-5.3.0
- There's a new version of GMP!! Released almost 2 months ago, but I didn't notice.... odd!
12 Mar 2020
-
22:17 Bug #1442 (Closed): CoCoAInterpreter: executable size
- I have sent several stripped executables to Matteo; some have worked, some have not.
Anyway, I am now convinced that... -
13:36 Bug #1442 (Feedback): CoCoAInterpreter: executable size
- Last night I made a release version (stripped, with statically linked @libgmpxx.a@, @libgmp.a@, @libreadline.a@, @lib...
-
15:55 Bug #1443: Illegal instruction
- It could also be that the "illegal instruction" does not come from CoCoA at all, but is in one of the already compile...
-
15:40 Bug #1443: Illegal instruction
- There is information on the web page:...
-
15:33 Bug #1443: Illegal instruction
- It seems that *@--march=i686@* is *not correct*. It says that it does not support x86_64 instruction set :-(
Inves... -
13:32 Support #1445 (New): Automatic way to produce statically linked CoCoAInterpreter
- Find a way to automate what has been discovered in issue #755.
Presumably it would be nice if I could just "downlo...
11 Mar 2020
-
21:34 Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe
- No one seems to care about this issue; I'm pretty sure it has lost all relevance, so I'm closing it.
-
21:28 Design #1348: cocoa5 script for releases
- Regarding comment 7: I spotted the code which checked for 64-bit platform, and complained if not.
Now I'm undecide... -
18:18 Feature #1439: New function: LinearForm
- Added doc for CoCoALib.
Still no test :-/
Close anyway?
-
18:14 Feature #1439: New function: LinearForm
- I have implemented @HomogCompt@. Also accessible from CoCoA-5 (with man page).
No tests, no CoCoALib doc (oops... I... -
16:20 Feature #1439: New function: LinearForm
- What should the fn name be? *@HomogForm@* or *@HomogCompt@*?
-
15:27 Feature #1439: New function: LinearForm
- John Abbott wrote:
> I now have a prototype of *@HomogForm(f,d)@* in C++.
> It seems to be about 30 times faster th... -
13:47 Feature #1439: New function: LinearForm
- I now have a prototype of *@HomogForm(f,d)@* in C++.
It seems to be about 30 times faster than @LinearForm@ in CoCoA... -
14:06 Support #322: Installation instructions (on website)
- Actually this issue was about helping "install" the CoCoA executable on *LINUX*.
Probably we should handle two cas... -
13:40 Support #322: Installation instructions (on website)
- Yes, that is clearer, thanks! As you say, it is also a good idea to test it with some "volunteers" ;-)
It is easi... -
12:25 Support #322: Installation instructions (on website)
- John Abbott wrote:
> The problem was that he had unpacked the zip file in @c:\@, which created a directory with a na... -
12:27 Bug #1443: Illegal instruction
- I'm still waiting for feedback from Matteo.
10 Mar 2020
-
16:21 Bug #755: Find out how to compile statically on linux
- I have just found on StackOverflow that one can use @gcc@ to find where libraries are:...
-
15:56 Bug #755: Find out how to compile statically on linux
- It seems that I must specify both @libtermcap@ and @libtinfo@ statically (and in that order!). On my Ubuntu box they...
-
15:14 Bug #755: Find out how to compile statically on linux
- @libreadline@ on my Ubuntu machine depends on the *@tinfo@* library; I have a static version at *@/usr/lib/x86_64-lin...
-
15:12 Support #1222 (In Progress): Release CoCoA-5.3.0
-
15:07 Bug #1442: CoCoAInterpreter: executable size
- I have changed the @release-linux.sh@ script so that it strips @CoCoAInterpreter@ before making the TGZ file.
We c... -
12:37 Bug #1442: CoCoAInterpreter: executable size
- So, should we put a stripped version of the executable in the official release, or leave the symbol table in there?
... -
11:09 Bug #1442 (In Progress): CoCoAInterpreter: executable size
- After running @strip@ on the executable the size dropped to 15Mbytes. Wow!
Now, why is the Mac version so big? ;... -
11:06 Bug #1442 (Closed): CoCoAInterpreter: executable size
- Why is the last binary release for Linux about 81Mbyte when that for Mac is only 27Mbyte?
The Linux one is surely ... -
14:08 Bug #1443: Illegal instruction
- -Maybe the correct flag is *@-march=i686@*.- *NO! This did not work* (see comment 5)
Presumably this has to be ... -
14:02 Bug #1443 (In Progress): Illegal instruction
- I do not know what the problem can be at the moment.
I would not expect stripping a binary to cause such a problem... -
13:59 Bug #1443 (Closed): Illegal instruction
- I sent a compressed stripped binary to Matteo via email, but he reports a problem with *@Illegal instruction@*.
In... -
13:15 Support #322: Installation instructions (on website)
- A student here had trouble installing CoCoA-5.2.5 on a Microsoft Windows 10 computer.
The problem was that he had ...
09 Mar 2020
-
16:52 Feature #1439: New function: LinearForm
- John Abbott wrote:
> Do we have a function which computes a list of homog compts?
no, we explicitely decided not ... -
15:36 Feature #1439: New function: LinearForm
- Do we have a function which computes a list of homog compts?
-
15:56 Design #990: CoCoA-5 distribution: tidying
- I have just checked the contents of @cocoa-5.3-mac.tgz@.
There are three files whose names begin with dot-underscore... -
13:51 Design #990: CoCoA-5 distribution: tidying
- Anna Maria Bigatti wrote:
> John Abbott wrote:
> > Maybe the commands in the script @FIX_PERMS.sh@ can be put into ... -
11:31 Design #990: CoCoA-5 distribution: tidying
- John Abbott wrote:
> Maybe the commands in the script @FIX_PERMS.sh@ can be put into a shell function in @release-co... -
15:36 Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?
-
15:34 Slug #948: radical is slow (compared to singular) on these examples
- This is almost resolved: we add some extra time when computing the RGB in the main loop.
This works well, but the qu... -
15:28 Bug #1438 (Closed): ABORT for unterminated string literal
- Closing
-
13:18 Support #1258 (Closed): Manual page for CantStop
- Anticipated because it is an example of the main new feature of this release: @GetLine@
(the reason why it is 5.3.0)
-
10:26 Support #1222: Release CoCoA-5.3.0
- updated starting page: https://cocoa.dima.unige.it/redmine/
-
07:31 Support #1440: Surprising parser error: INT+DOT+IDENTIFIER
- vandal ;-)
08 Mar 2020
-
09:24 Support #1440: Surprising parser error: INT+DOT+IDENTIFIER
- I found this behaviour after deliberately feeding random input to CoCoA-5. It survived :-)
-
09:23 Support #1440 (New): Surprising parser error: INT+DOT+IDENTIFIER
- CoCoA correctly gives a parse error given the input *@8.a;@*
The error message is:...
07 Mar 2020
-
11:20 Feature #1439 (Feedback): New function: LinearForm
- updated RelNotes
Checked in everything
-
09:21 Feature #1439 (Resolved): New function: LinearForm
- documentation done
(but checkin later -- flat battery) -
09:17 Feature #1439: New function: LinearForm
- Done (in NotBuiltin.cpkg5)
Funny cases:
if f = 0 returns 0
if GradingDim<>1 returns error
use weights: es:
<pr... -
09:14 Feature #1439 (Closed): New function: LinearForm
- Add function which returns the sum of the summends of degree 1.
06 Mar 2020
-
19:35 Bug #755: Find out how to compile statically on linux
- Sometimes I engage brain before writing, sometimes I don't... (sigh)
When I build CoCoA-5 on my current Linux box,... -
15:11 Bug #755: Find out how to compile statically on linux
- I am now fairly convinced that:
* *default Linux version* should be *without @readline@*
* ideally we also make ava... -
12:24 Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator
-
12:23 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- My testing suggests that this is OK now.
As I wrote in #1438, I now doubt whether it was useful to try to handle "... -
12:05 Bug #1438 (Feedback): ABORT for unterminated string literal
- The fix seems reasonable, and some testing suggests that it is working OK.
Now I wonder whether it was even worth ... -
10:15 Bug #1438: ABORT for unterminated string literal
- Indeed, my suspicion last night was correct.
Now I am considering how best to fix the code. The fix should be ready...
05 Mar 2020
-
22:56 Bug #1438 (In Progress): ABORT for unterminated string literal
- The function fo reading a string literal (which I hacked), correctly throws an "unclosed literal" exception when the ...
-
16:42 Bug #1438: ABORT for unterminated string literal
- May be a consequence of allowing a NUL inside a string?
Surely my fault, anyway :-(
Something to do tonight... sigh! -
16:41 Bug #1438 (Closed): ABORT for unterminated string literal
- Sending just a single *@"@* double quote char will crash CoCoA-5.
I hope to fix later... must dash now.
-
12:03 Bug #1303 (Rejected): Manual looking for "?"
- As previously written, this is not harmful; and it is better to direct our limited resources elsewhere.
Rejecting ... -
12:00 Support #1350: CoCoA manual: entry for operators, shortcuts
- We need to review the purpose of this manual entry.
Maybe it should have little content, but simplify refer to oth...
04 Mar 2020
-
22:32 Feature #1399 (Feedback): CoCoA-5 interpreter: idle/busy indicator
-
22:32 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- I have changed the main eval loop so that @EmptyStatements@ are skipped over without being executed (since they do no...
-
17:00 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- My proposed solution does not work quite as I would like.
With the input *@if n = factorial(10^7) then println "eq... -
22:30 Support #1071: LinKerBasis is user-unfriendly
- The fn *@LinKerBasis@* is in the manual, but the arg checking is still sloppy. We should fix this!
-
22:06 Bug #660: Emacs UI: endfunc does not indent the line
- The important point is that (automatic) indentation works only if the start-keyword is the first text on a line.
T... -
21:53 Bug #660: Emacs UI: endfunc does not indent the line
- I confirm that the bug is still there.
Here is a test case:... -
21:48 Support #1214: CoCoAManual: ensure that LaTeX compilation is "clean"
- I think the only complaint now is that @PlayCantStop@ is a missing reference.
-
21:45 Support #1298 (In Progress): How can user find the indent command?
- I have tried to improve the entry by changing the syntax. Previously it was *@indent(X:OBJECT)@*,
but this meant th... -
21:33 Support #557: CoCoAManual: improve part on input/output
- Currently we have *@GetLine@* and *@StandardInput@* and *@OpenIFile@* and *@OpenIString@*.
Is there much more to s... -
21:31 Feature #1174: package of a function --> of an identifier!
- As Anna said in comment 2: the function @starting@ is able to get the information. So we should look there to see ho...
-
21:28 Bug #669: NUL char in input terminates CoCoA-5
- The relevant source code is mostly likely in @Lexer.C@ around lines 136--137.
Inside @Lexer::getToken@ there is a bi... -
21:19 Bug #669: NUL char in input terminates CoCoA-5
- A couple of days ago I fixed a similar bug in the reading of string literals.
The problem was that the code checked ... -
21:13 Design #610: Variable It: assign before or after printing
- If we make printing interruptible then it would be better to assign to @It@ before printing (o/w the assignment may n...
-
20:30 Bug #1435 (New): Disable readline if input is redirected
- I was surprised to discover that @./cocoa5 < file.cocoa5@ echoed the contents of @file.cocoa5@.
It turns out that ... -
19:31 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz
- Postpone?
I always have trouble with normaliz, and I prefer to focus on cocoa things for this release (I need it for... -
19:29 Feature #1373: GFan also for Microsoft?
- Postponed. I need to finish the release this week for my course in Genova.
No way I can manage this in time. -
19:09 Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry)
- Anna agrees with the proposal to close this issue.
The problems highlighted here are easy to work around (and you ... -
19:01 Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending
-
16:26 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
- This has already been done; see also #672.
-
19:00 Support #1404 (Closed): Which commands should "terms" be a keyword for?
- Anna accepts. Closing.
-
16:22 Slug #1390 (Closed): CoCoA-5 test: radical too slow
-
16:15 Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)
-
16:14 Slug #991: make htmldoc always recreates everything (even if no change was made)
- I made the directory @aux-files/GUI-extra_files/@ unreadable using @chmod@. Then @make veryclean@ followed by @make@...
-
15:59 Slug #991: make htmldoc always recreates everything (even if no change was made)
- John Abbott wrote:
> Not sure who uses *@aux-files/GUI-extra-files/*@* as mentioned in comment 2. Anna???
html. ... -
15:49 Slug #991: make htmldoc always recreates everything (even if no change was made)
- I have just now added dependencies for the generation of the LaTeX version; it now depends also on *@aux-files/TeX.xs...
-
15:41 Feature #781 (Closed): Option to "fold" long lines?
- The current impl fits the KISS philosophy. Since I expect the main use to be *@fold(sprint(value), width)@*, it is n...
-
15:31 Bug #672 (Closed): Emacs UI: strange string literal causes crash
- I have now modified the regexp so that TAB does not match (and this is considered a "normal" rather than a "funny" ch...
-
15:20 Bug #1412 (Resolved): Emacs UI: font size
- I have found one bug/slug... The emacs fn *@process-status@* returns a symbol, not a string; so all the previous te...
-
14:41 Bug #1224 (Closed): Lexer: unclosed multi-line comment
- Some quick tests pass fine. Not worth investing more time here.
Closing.
03 Mar 2020
-
22:23 Bug #1412: Emacs UI: font size
- I have made some improvement. Now "send region" should keep the font magnification.
@M-x cocoa5@ definitely forge... -
22:20 Feature #1372: New function: find ?
- If we do add a @find@ function, it may be nice to allow it to take a list and a predicate......
-
22:14 Design #990: CoCoA-5 distribution: tidying
- Maybe the commands in the script @FIX_PERMS.sh@ can be put into a shell function in @release-common.sh@?
-
22:07 Support #1404 (Feedback): Which commands should "terms" be a keyword for?
- I think it is OK now. It's just a little odd that *@len@* appears in the list, but this is probably to help those po...
-
22:04 Feature #1367 (In Progress): CoCoA-5.3.0: release linked with more recent version of normaliz
- Anna, if you need help with this I can try.
The important thing is to note down what worked in the end.
It would ... -
21:57 Support #1398 (In Progress): Website: hide/delete all the CoCoA-4 stuff?
- Right now, my preference is to leave the web pages for CoCoA-4 in existence, but not to publish any link to them.
It... -
20:56 Bug #672: Emacs UI: strange string literal causes crash
- The current impl thinks that a TAB character is a "funny" character; so sending a line containing a TAB will automati...
-
14:48 Bug #672 (Feedback): Emacs UI: strange string literal causes crash
- I have revised *@cocoa5-send-line@*, and it now seems to work more or less as hoped.
The only remaining problem is... -
14:10 Bug #672: Emacs UI: strange string literal causes crash
- The relevant part of emacs code is probably the function *@cocoa5-send-line@* around line 1400 in file @cocoa5.el@.
... -
13:56 Bug #672: Emacs UI: strange string literal causes crash
- As far as I can tell the problem lies inside the std c++ function @getline@ and the way it interacts with @cin@ (whic...
-
17:29 Feature #1431: Juxtaposition of string literals
- The relevant source code is around line 2100 in @Parser.C@, in the function @Parser::parsePrimary@.
-
15:14 Feature #1431: Juxtaposition of string literals
- The soln in @thmproving.cpkg5@ was to have a long succession of @PrintLn@ commands:...
-
15:08 Feature #1431 (Rejected): Juxtaposition of string literals
- We used to allow this, but then disallowed it in issue #576.
I raise it again because Martin Kreuzer wants to have... -
16:18 Design #1432 (New): Emacs UI: cocoa5-shell-check-process vs. process-status
- What is the difference between *@(cocoa5-shell-check-process)@* which uses @get-buffer-process@, and *@(process-statu...
-
11:54 Bug #1224 (Resolved): Lexer: unclosed multi-line comment
- Surely the unfinished multi-line comment can occur only at the end of the input, so the "end marker" always has to be...
02 Mar 2020
-
22:32 Support #692: Local variables hiding out ones at top level
- I'm now quite undecided about this.
Every so often I do get a warning about one variable hiding another, but it is... -
22:10 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
- Is this still a problem?
Microsoft Windows 7 is now obsolete... -
22:05 Feature #781 (Resolved): Option to "fold" long lines?
- There is now a *@fold@* function for strings which simply inserts a newline every @N@ characters (it does not (curren...
-
21:55 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
- I had forgotten about this "entertaining" issue.
I do not really see anything "dangerous" here; the only slightly ... -
21:45 Design #597: Interpreter.C: remove calls to WrongTypeException
- What is this issue about?
Why is it a good idea to remove *@WrongTypeException@*?
[I'm not saying it is not a goo... -
21:42 Bug #1303 (In Progress): Manual looking for "?"
- So what happens (now) is that the first *@?@* of the search string is discarded.
Presumably *@?<whitespace>?@* is ... -
21:24 Bug #1224: Lexer: unclosed multi-line comment
- Is this still a problem?
I do not observe now the problem about everything staying in "comment colour".
The err... -
21:11 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized
- It seems that a useful Emacs keyword is *@revert@*.
There is @auto-revert-mode@ (and a global version).
Another p... -
20:46 Bug #672: Emacs UI: strange string literal causes crash
- The bug/crash still happens.
Note that by default the CoCoA-5 interpreter is started in Emacs with the option *@--... -
20:37 Bug #669: NUL char in input terminates CoCoA-5
- Maybe @parser::tryToRecover@ is where one needs to look?
-
15:40 Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture"
- The old Qt4 GUI became a zombie a while ago. I think this issue is now too old be relevant any more.
Rejecting. -
15:03 Slug #991 (Resolved): make htmldoc always recreates everything (even if no change was made)
- I think that this has already been done (don't recall when).
In the @Makefile@ in @src/CoCoA-5/CoCoAManual/@ there... -
14:08 Support #1430 (New): HTML manual: search using keywords?
- The CoCoA online manual can be searched using keywords; is it possible (or desirable) to do this also for the HTML ve...
-
14:04 Support #1350: CoCoA manual: entry for operators, shortcuts
- I suggest breaking the page into subsections (or even splitting it into more than one page?): _e.g._ comparison opera...
28 Feb 2020
-
17:52 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- documented
-
17:37 Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5
-
17:08 Design #1120 (Closed): Web site
- All other things will be done as they arise, in their own page.
-
16:44 Bug #1429: Stack overflow reading long list (SEGV)
- Yes, of course, inputting explicitly the long list of integers is not commonplace.
But it is embarrassing that CoCoA... -
16:37 Bug #1429 (In Progress): Stack overflow reading long list (SEGV)
- On my computer @CoCoAInterpreter@ generates a SEGV if I give as input a long list, namely...
27 Feb 2020
26 Feb 2020
-
22:22 Bug #1412: Emacs UI: font size
- I had a quick look online for hints about increased font sizes...
* the emacs function which changes the font size... -
21:03 Bug #1412: Emacs UI: font size
- Clue city!
In @cocoa5.el@ near line 1743 in the fn defn for *@cocoa5-send-region@*,
I commented out the command *... -
20:40 Bug #1412: Emacs UI: font size
- Increased font size was forgotten when:
* had a @*cocoa*@ buffer with no process, and then sent a single line (C-RET... -
17:18 Support #1333 (Resolved): Typevectors
- Mostly done.
Tested by Yong-Su Shin -
16:59 Support #1027 (Feedback): CoCoAManual: add a page with some emacs hints?
- I think the current tutorial is good enough as a first "basic" tutorial; we can add a more advanced one for the next ...
-
16:50 Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)
-
16:32 Feature #1289 (Closed): assert-function for cocoa5
-
16:31 Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- commented out ASSERT.
This may be closed, leaving Design #1422 to do for next release. -
16:27 Bug #1421 (Closed): SEGV: error("")
-
16:24 Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- Anna has checked everything on her computer. Works fine.
Closing.
-
15:25 Bug #1424 (Resolved): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I have checked all uses of @ErrorInfo@ in @Interpreter.C@ (and changed some indentation). It seems OK now.
Added an... -
14:35 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I have tidied (incl. indented comprehensibly) the code. I have tested it with the example in comment 5, and all seem...
-
13:28 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- The impl in @Interpreter.C@ is not as clear as it could be... The relevant function is in lines 3285--3338
*@intrus... -
12:12 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- Here is a test for both ideals and modules.......
-
12:02 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- After looking at the code, I think the same problem exists for modules.
-
15:51 Design #1425 (New): MakeTerm: implement in C++
- Currently *@MakeTerm@* is implemented in @cocolib.cpkg5@.
Move it into C++.
25 Feb 2020
-
22:04 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I have fixed the problem, but want to discuss with Anna before checking in.
The problem was indeed where I said, b... -
21:58 Bug #1424 (In Progress): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I expect the problem isin @Interpreter.C@ at line 3316 where a @CoCoA::ErrorInfo@ is caught, but @InterruptReceived@ ...
-
21:36 Bug #1424: 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- I confirm the bug in 5.2.9.
-
17:29 Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation
- If you call the 'isin' command and want to abort the computation using <ctrl+c>, CoCoA-5 crashes and outputs: ***ERRO...
-
16:24 Bug #1420: IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
- This problems comes from the fact that @IdealOfProjectivePoints@ computes a GBasis, without determining the minimal g...
-
16:07 Bug #1420 (Resolved): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT
-
11:16 Support #1386: IsIndetPosPower: behaviour and manual page
- Added a CooA-5 manual page.
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...
Also available in: Atom