Activity
From 02 Feb 2020 to 02 Mar 2020
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... -
- Is this still a problem?
Microsoft Windows 7 is now obsolete... -
- There is now a *@fold@* function for strings which simply inserts a newline every @N@ characters (it does not (curren...
-
- I had forgotten about this "entertaining" issue.
I do not really see anything "dangerous" here; the only slightly ... -
- What is this issue about?
Why is it a good idea to remove *@WrongTypeException@*?
[I'm not saying it is not a goo... -
- So what happens (now) is that the first *@?@* of the search string is discarded.
Presumably *@?<whitespace>?@* is ... -
- Is this still a problem?
I do not observe now the problem about everything staying in "comment colour".
The err... -
- It seems that a useful Emacs keyword is *@revert@*.
There is @auto-revert-mode@ (and a global version).
Another p... -
- The bug/crash still happens.
Note that by default the CoCoA-5 interpreter is started in Emacs with the option *@--... -
- Maybe @parser::tryToRecover@ is where one needs to look?
-
- The old Qt4 GUI became a zombie a while ago. I think this issue is now too old be relevant any more.
Rejecting. -
- I think that this has already been done (don't recall when).
In the @Makefile@ in @src/CoCoA-5/CoCoAManual/@ there... -
- The CoCoA online manual can be searched using keywords; is it possible (or desirable) to do this also for the HTML ve...
-
- 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
-
-
- All other things will be done as they arise, in their own page.
-
- Yes, of course, inputting explicitly the long list of integers is not commonplace.
But it is embarrassing that CoCoA... -
- On my computer @CoCoAInterpreter@ generates a SEGV if I give as input a long list, namely...
27 Feb 2020
26 Feb 2020
-
- I had a quick look online for hints about increased font sizes...
* the emacs function which changes the font size... -
- Clue city!
In @cocoa5.el@ near line 1743 in the fn defn for *@cocoa5-send-region@*,
I commented out the command *... -
- Increased font size was forgotten when:
* had a @*cocoa*@ buffer with no process, and then sent a single line (C-RET... -
- Mostly done.
Tested by Yong-Su Shin -
- I think the current tutorial is good enough as a first "basic" tutorial; we can add a more advanced one for the next ...
-
-
-
- commented out ASSERT.
This may be closed, leaving Design #1422 to do for next release. -
-
- Anna has checked everything on her computer. Works fine.
Closing.
-
- I have checked all uses of @ErrorInfo@ in @Interpreter.C@ (and changed some indentation). It seems OK now.
Added an... -
- I have tidied (incl. indented comprehensibly) the code. I have tested it with the example in comment 5, and all seem...
-
- The impl in @Interpreter.C@ is not as clear as it could be... The relevant function is in lines 3285--3338
*@intrus... -
- Here is a test for both ideals and modules.......
-
- After looking at the code, I think the same problem exists for modules.
-
- Currently *@MakeTerm@* is implemented in @cocolib.cpkg5@.
Move it into C++.
25 Feb 2020
-
- I have fixed the problem, but want to discuss with Anna before checking in.
The problem was indeed where I said, b... -
- I expect the problem isin @Interpreter.C@ at line 3316 where a @CoCoA::ErrorInfo@ is caught, but @InterruptReceived@ ...
-
- 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...
-
- This problems comes from the fact that @IdealOfProjectivePoints@ computes a GBasis, without determining the minimal g...
-
-
- Added a CooA-5 manual page.
24 Feb 2020
-
- Closing, as I believe the current arrangement is acceptable.
21 Feb 2020
-
-
- I have given Klaus a (minimal) executable to use for developing on his computer.
A full executable gave a linker err... -
- I have just had a meeting with Klaus:
* KISS: we do not use sockets at the moment, but instead @CoCoAInterpreter@ se... -
- I think @thmproving.cpkg5@ is OK, but the documentation needs to be checked and properly integrated.
-
- Not sure what the compilation problem in comment 3 was; it seems that starting CoCoA-5 from inside emacs, might somet...
-
- 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
-
- ...
-
- Not pretty!!...
-
- The *@error@* function does not like having an empty string as argument: throws a fatal exception!
Reported vocall... -
- This is what I get at the moment:...
-
- Now I wonder if it may not be better to have the version *without* @readline@ being the default: it is less likely to...
-
- I have checked that *@assert@* exists and works, and is documented...
JAA thinks it is reasonable to include it in 5... -
- Should @assert@ be in 5.3.0 release?
I've changed target to 5.3.0 so that we discuss it! -
- I have improved the documentation (which is where I believe the problem lay).
The impl seems to be reasonable; but i... -
- The doc for @ImportByRef@ and @ImportByValue@ starts with a big warning. Is this still necessary?
Check this issu...
19 Feb 2020
-
- Remove thmproving from RelNotes!
-
- I have just tested, and slightly modified the manual.
Closing.
-
-
- Perhaps see also issue #1236 to see how I implemented sockets...
-
- I think we are quite far from completing this issue. Postponing...
18 Feb 2020
-
- The problem is in the fn @myGBasis@
The impl has too many assertions that @myGBasis@ is empty; just a single asser... -
- I compiled CoCoALib (and CoCoA-5) with debugging active. The last test in @exbug.cocoa5@ fails...
17 Feb 2020
-
- This issue is very old. GMP has surely changed over the last 5 years (but last update was about 2 years ago).
The o... -
- I propose:
* make Linux binaries *without* libblas
* make two binaries: the default one with @readline@, and anothe... -
- Visit is over. We managed to do most things :-)
Closing. -
- Removed old impl. Added doc and test.
-
- Anna can you try compiling the latest version (3.8.4)?
Also note well what you had to do to make it compile.
-
- This is not urgent for Vietnam; postponing. Though it we be good if we could make some progress.
-
- 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
-
- The current state is that only the entries for *@OpenSocket@*, *@ReloadMan@* and *@SystemCommand@* report errors.
I ... -
- I have unpacked the latest targz "binary" file for CoCoA-5.2.9.
Some files erroneously have "execute" permission:
... -
- There was not enough time during my visit, so we were unable to look at this. Postponing to next version.
-
- There is a tutorial about the emacs UI. Perhaps this can be extended; or maybe a "basic" and an "advanced" tutorial?
-
- Make the manual entry for *@NewPolyRing@* easier to understand.
-
- This seems to work fine now. The manual page needs cleaning; but I'll make a separate issue.
Closing.
-
- @find@ may also behave in a "slightly unexpected" way:...
14 Feb 2020
-
- If the list @L@ contains entries of different types then the fn defn given above might produce an error (since @opera...
-
- Now it gives @false@.
Added test to @test-bug3.C@.
-
-
- I prefer A, John prefers B, so we'll have them both.
Write documentation. -
- Names have been improved. Perhaps we'll think of better ones after the COCOA School...
Closing.
-
-
- It would be nice to improve this a bit for Vietnam. Do we have enough time to do so?
-
- We should remove the link to Sapporo (since it is no longer relevant).
Our web page is @http://cocoa.dima.unige.i... -
- This cannot be solved: the remote has been replaced by something else.
Closing.
-
- final minor polishing.
-
- The old Qt interface has not worked for quite some time.
Also we now handle CPP flags in a different way (via the fi... -
- Anna assumes henceforth *TOTAL RESPONSIBILITY* for @obsolescent.cpkg5@.
She wants to extend it until eternity. Go...
13 Feb 2020
-
-
- Robbiano dice che il nuovo codice di Long e` sufficiente. MK crede che la vecchia codice (in C++) sia piu` veloce.
... -
- Marked some tests as *@INACTIVE@* (by changing file name); Anna thinks it is best to keep these tests around, in case...
-
- Seems OK now. No doubt the school in Vietnam will be an "interesting" proving ground.
Closing.
-
- The option is available unde the CoCoA-5 drop down menu. It remains active only the current emacs session: if you cl...
-
- To appease Anna I have implemented the special case of the power of a diagonal matrix in CoCoALib (and removed @Power...
-
-
- Not necessary for this release. The remaining fns should be ported to C++; then we can elim the package.
-
- Maybe the move ctor from C++14 can help here?
Postponed because it will take (a lot of) time to fix.
-
- 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... -
-
-
- manual done
-
- done...
-
- A command line flag for the CoCoAInterpreter is now available, but it does not yet open a socket. This will be fixed...
-
- I have ported the code. In fact @thmproving.cpkg5@ is already included in 5.3.0, but completely undocumented. Let's...
-
- Port old CoCoA-4 package *@thmproving@* to CoCoA-5.
-
- See comment 6 in issue #1358. I think it might be relevant here.
-
- This has been working trouble-free for 3 months. Closing.
-
- I have added the example to @exbugs.cocoa5@
Closing!
-
- Seems to work now.
We did not note how we fixed the problem in comment 5. :-/
closing? -
-
-
-
06 Feb 2020
-
- same here!
-
- An important clarification:
* if I send a line to CoCoA-5 then the magnification remains unaffected
* if I do *@Sou...
05 Feb 2020
-
- On my computer it keeps the big fonts.
Both on emacs-24 and emacs-26. -
- With my emacs (ver. 25) I can increase the size of the font using @C-x C-+@.
This also works for a @*cocoa5*@ comint... -
- I have made the manual entry better (I hope!)
04 Feb 2020
-
- 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
-
- done. checked-in.
-
- Yes, I think this is reasonable. Presumably the entries for the obsolescent commands should simply say which functio...
-
- I realized that tex fails if the syntax field of a command is missing, and the error message is not helpful (problem ...
-
- Yes. I think there are probably just two (main) cases:
* @RINGELEM@ and @RINGELEM@
* @INT@ and @INT@
* not so sur... -
- John Abbott wrote:
> I have been caught out by this myself on several occasions. I know one can use @mod@ instead, ... -
- I have been caught out by this myself on several occasions. I know one can use @mod@ instead, but it is more express...
-
- In CoCoALib @IsDivisible@ works for various types of value, including integers.
In CoCoA-5, it expects just a @RINGE...
Also available in: Atom