Activity
From 10 Aug 2014 to 08 Sep 2014
08 Sep 2014
-
12:46 Support #605: Release: CoCoA-5.1.1
- Done for macos > 10.6 and for linux 64bit
05 Sep 2014
-
16:54 Support #616 (Closed): Release: CoCoA-5.1.2
- Everything for the release
<check version number for CoCoALib release>
<cvs checkout in snapshot dir>
cd <snap... -
16:14 Bug #104 (Feedback): Misprints suggestions: Z --> ZZ
- After a last look at the code I agreed with John's choice (2) in mesg 1: just to add the very special cases for "Z" a...
-
11:51 Design #294 (Closed): BuiltInFunctions: General "OneLiner" for arguments of different type
- Documented in
http://cocoa.dima.unige.it/cocoalib/doc/html/BuiltInFunctions.html
and in ICMS slides
https://www.rese... -
11:43 Design #307 (Closed): Value::from makes BigIntValue::fromInt obsolete?
-
11:38 Support #456 (Closed): CoCoAManual: New structure for manual?
-
11:20 Feature #615 (Closed): Resume MayerVietorisTreeN1
- Done
-
11:19 Feature #615 (Closed): Resume MayerVietorisTreeN1
- Add MayerVietorisTreeN1 to CoCoA-5
04 Sep 2014
-
18:31 Support #556 (Closed): CoCoAManual: improve part on tagging
- Checked how it works (I didn't know myself...), moved chapter in "types" (instead of "input/output").
Not perfect, b... -
14:05 Feature #614 (In Progress): Add functions based on MayerVietorisTree
-
14:04 Feature #614: Add functions based on MayerVietorisTree
- Added ...
-
14:03 Feature #614 (In Progress): Add functions based on MayerVietorisTree
- CoCoA-4 had quite a few functions based on MayerVietorisTree (via CoCoAServer).
Port them properly in CoCoA-5. -
12:54 Bug #321 (Closed): interpreter proposes no near misses for "bin"
- After some testing Anna and John approve the idea in comment 8 (already implemented).
We have also increased the m... -
12:39 Support #338 (Closed): MacOS version with static gcc libraries
- Since Mac OS X 10.5 is now more than 5 years old, we have decided to stop worrying about it (for the binary releases).
-
12:32 Design #595 (Closed): rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
-
12:29 Support #488 (Closed): CoCoAManual: Help page for porting old C4 code to C5
-
12:22 Support #286 (Closed): How to test (automatically) a user defined CoCoA function
-
12:18 Bug #552 (Closed): C5 BuiltinFunctions.c fn RingElem
- Anna explains that the ugly interface was devised to allow a C5 user to create another poly ring whose indets have th...
-
12:05 Bug #132 (Closed): BringIn should allow reduction modulo p
- Closing even though it only partly resolves the problems with @BringIn@. I'll create a new, more precise issue.
03 Sep 2014
-
18:25 Bug #279 (Closed): Bug in Radical (actually a RingHom problem)
-
16:04 Support #541 (Resolved): Unify releases for Linux 32 and Linux 64
- I think we've practically resolved this. If Oscar updates his system in the next few days, we'll confirm that everyt...
-
12:41 Support #541: Unify releases for Linux 32 and Linux 64
- Wouldn't compiling with static versions of the libraries solve the problem?
Or perhaps we could distribute with cop... -
16:00 Design #549 (Closed): Automatic conversion from RINGELEM to INT or RAT
- Since the current code has been running without problems for 4+ months, I'm closing. If further closely related issu...
-
15:20 Design #549: Automatic conversion from RINGELEM to INT or RAT
- Here are what I think are the potentially doubtful cases for @INT@:
* @binomial@, @BinomialRepr@, @BinomialReprShift... -
15:03 Design #549: Automatic conversion from RINGELEM to INT or RAT
- Here are the fns which can be applied to @RAT@ according to the C5 online help system:...
-
15:04 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- I implemented a NmzEvaluateHilbertQuasiPolynomial method. It is very close to the implementation for QuasiPoly in coc...
-
11:34 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- I'm unsure. I think in any case we also need an evaluate function like in the library. We have to rewrite it anyway, ...
-
10:32 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- I think this is different because the mathematical structure is indexed by elements of @ZZ/(n)@ rather than indices 1...
-
07:55 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- John Abbott wrote:
> The "shifting" of the indices by 1 could be awkward. I can think of two ways to resolve the ma... -
13:43 Feature #608 (Closed): Emacs UI: C-return for send-line and send-region
- Anna's happy, so closing. I hope it is documented somewhere.
-
13:40 Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?
-
13:39 Support #609 (Closed): Package "empty.cpkg5"
- The package is there; let's see how it works (_i.e._ users find it a helpful adjunct to the documentation).
Closin... -
13:35 Support #548: Printing rings with ID
- I think the current implementation is adequate (rather than fully satisfactory); but I'd like time to think more abou...
-
12:36 Feature #553 (Closed): Port function MantissaAndExponent2
-
12:19 Bug #321: interpreter proposes no near misses for "bin"
- I now have a first impl.
* changed the use of @std::set@ into @set::vector@
* implemented the idea of printing the ... -
07:47 Bug #321: interpreter proposes no near misses for "bin"
- John Abbott wrote:
> I propose the following variation on current behaviour:
> * the suggested names should be in o... -
11:40 Bug #612 (Closed): The C5 gui does not exit properly when using the exit menu entry
- When I close the C5 gui via the menu or the "x" button I get ...
02 Sep 2014
-
23:46 Bug #321: interpreter proposes no near misses for "bin"
- I propose the following variation on current behaviour:
* the suggested names should be in order of increasing _leven... -
14:06 Bug #321: interpreter proposes no near misses for "bin"
- The place to intervene appears to be @Interpreter.C:2775@ in the function @collectSimilarlyNamedIdentifiers@. The pr...
-
23:34 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- The "shifting" of the indices by 1 could be awkward. I can think of two ways to resolve the matter:
* put the *firs... -
18:37 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- added Value::from(QuasiPoly).
... keep in mind that indices in the LIST representing a QuasiPoly start from 1 in CoC... -
11:55 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Almost, I just checked it and the HilbertQuasiPolynomial is not returned at the moment. What is missing is a Value::f...
-
11:23 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- @Christof: is this issue resolved/complete/closable???
-
17:46 Feature #245 (Resolved): Meaningful error for functions defined in "missing" external library
- I applied John's suggestion.
I'd rather find an "automatic" solution (so that we don't risk forgetting or misspellin... -
16:01 Bug #275: Unhelpful error messages when SmallExponent_t is unsigned char.
- I have just (20140902) checked using @typedef unsigned short SmallExponent_t;@ and everything worked fine.
*Reminder... -
14:59 Bug #275 (In Progress): Unhelpful error messages when SmallExponent_t is unsigned char.
- I have just retried the experiment. Several CoCoALib tests fail:...
-
15:37 Bug #611 (New): GUI: qutting provokes Imminent Disaster
- Found in an old email (20101119).
After starting the C5GUI from the command line, when quitting by selecting the a... -
15:33 Design #610 (Closed): Variable It: assign before or after printing
- I found this is an old email (20101119).
Currently given a freestanding top-level expr C5 evaluates it,
prints th... -
14:11 Support #240: GUI compilation: GMP is not naturally thread-safe
- JAA has confirmed (20140902) that the problem persists (with GMP 6.0.0 built without the @--disable-alloca@ flag).
-
12:51 Bug #104: Misprints suggestions: Z --> ZZ
- I have just tried increasing to 1 the max distance for length 1 identifiers. Not sure whether I like the result. He...
-
11:30 Bug #34 (Closed): CoCoAManual: obsolete entries in the manual
-
11:21 Feature #561 (Closed): Emacs UI: unrecognized keywords (ImportByValue...)
-
11:10 Bug #433 (Closed): EMACS UI: trouble with sending a long line
- Accept my solution (already checked in):
* lines longer than 999 chars are sent using @SourceRegion@
* do not worry... -
11:08 Design #546 (Closed): ideal wants LIST of RINGELEM
- After discussing with Anna we have decided to accept the current solution: i.e. that @ideal([x,0,y])@ works as desire...
-
11:03 Bug #594 (Closed): CharPoly(MAT) and MinPoly(MAT) work in different settings: unify behaviaour
-
11:02 Design #607 (Closed): Emacs UI; remove send-buffer?
- Done, checked in, tested... seems fine... closing
-
10:53 Support #290 (In Progress): Which functions are defined in CoCoALibSupplement?
-
08:40 Design #307 (Feedback): Value::from makes BigIntValue::fromInt obsolete?
- I seems it is all done now.
The only call of @fromBool@ is in @Value::from@. -
08:28 Feature #588: Resume code for "gin" (generic initial ideal)
- John Abbott wrote:
> I notice that the current definition will sometimes (almost never?) print out a message about t...
01 Sep 2014
-
18:30 Design #563 (Closed): Remove ZMOD type from CoCoAInterpreter
- Checked everything by eye with Anna; checked in. Closing.
-
14:31 Design #563 (Resolved): Remove ZMOD type from CoCoAInterpreter
- I've removed (commented out) the relevant lines in @Interpreter.C@ and @AST.H@.
I also had to change two packages (@... -
15:47 Feature #25 (Closed): Function "Call"
- Apparently this has already been done (but Anna forgot to "close" properly).
-
15:02 Feature #561 (Resolved): Emacs UI: unrecognized keywords (ImportByValue...)
- Everything seems OK to me (after a perfunctory test).
I suggest closing this issue -- if an omission comes to light,... -
14:50 Design #491 (In Progress): Cleaning: Cruft in CoCoA-5 packages
- Perhaps this task is best achieved by Anna and me together; we should meet occasionally and remove "dead" code from s...
29 Aug 2014
-
12:44 Support #609 (Resolved): Package "empty.cpkg5"
- When I make a new package I copy an old one and empty it, and that's what I suggest to do to people (Elisa ;-) who ne...
-
12:33 Support #609: Package "empty.cpkg5"
- Why do you think it would be useful?
What do you think it should contain?
To be useful I suppose it ought to export... -
12:30 Support #609 (Closed): Package "empty.cpkg5"
- I think a package "packages/empty.cpkg5" would be useful.
-
12:30 Feature #500: Interpreter: is it possible to avoid useless prompts?
- I have checked in the code for automatic prompt suppression (in @Main.C:153@ and @LineProviders.C:85@; but the code i...
-
12:05 Feature #500 (In Progress): Interpreter: is it possible to avoid useless prompts?
- Since C++ is rather less than helpful in this matter, I think a better solution would be to add a command(s?) to the ...
-
11:58 Feature #500: Interpreter: is it possible to avoid useless prompts?
- This appears to be impossible in C++ (version 2003), at least in a fully portable way.
I have found a post which exp... -
11:55 Feature #608: Emacs UI: C-return for send-line and send-region
- Well done John! it works!
(almost: I had to make a tiny change to make it work also on emacs 22)
Now I have no exc...
28 Aug 2014
-
17:42 Feature #608 (Resolved): Emacs UI: C-return for send-line and send-region
- I have added @cocoa5-send-line-or-region@ as well as bindings to @C-RET@ and @M-RET@.
Try it; see what you think (I ... -
16:41 Feature #608: Emacs UI: C-return for send-line and send-region
- John Abbott wrote:
> Not sure I understand what you mean.
> You want @C-return@ to send the region if a region is s... -
16:14 Feature #608: Emacs UI: C-return for send-line and send-region
- Not sure I understand what you mean.
You want @C-return@ to send the region if a region is selected, and otherwise t... -
16:01 Feature #608 (Closed): Emacs UI: C-return for send-line and send-region
- @C-return@ (or ALT/META/..-return) now calls cocoa5-send-line (in addition to the old C-c C-l)
and cocoa5-source-reg... -
16:57 Bug #433: EMACS UI: trouble with sending a long line
- I now have a cleaned solution -- our Emacs code is very "evolutionary" (rather than "intelligent design").
I'll ch... -
15:37 Bug #433: EMACS UI: trouble with sending a long line
- I have an ugly solution that appears to work fine in Emacs 23.2 and 24.1.
Now I'll try to make it neater.
-
14:45 Bug #433: EMACS UI: trouble with sending a long line
- I suggest adopting the @SourceRegion@ solution; it seems fairly unlikely that saving the file could really be a probl...
-
16:44 Feature #352: Should SourceRegion echo the "region"?
- This issue has been idle for 5 months. I think we can close it.
Anna's solution is "ugly" (because it causes many... -
15:56 Design #607: Emacs UI; remove send-buffer?
- OK for removing it (I removed it some time ago from the "CoCoA-5 menu").
Maybe you should redefine the C-c C-b bindi... -
15:43 Design #607 (Closed): Emacs UI; remove send-buffer?
- There is an emacs UI function called @cocoa5-send-buffer@. Its effect is practically identical to that of @cocoa5-so...
-
14:19 Feature #588: Resume code for "gin" (generic initial ideal)
- I notice that the current definition will sometimes (almost never?) print out a message about trying again. This is ...
-
12:54 Bug #321: interpreter proposes no near misses for "bin"
- Now we get slightly different output:...
-
12:43 Bug #104: Misprints suggestions: Z --> ZZ
- Another important function is @maximumDistanceForSimilarIdentifiers@ (@Interpreter.C:921@) which says how many "chang...
-
11:00 Bug #104: Misprints suggestions: Z --> ZZ
- some more tests (just to understand what the algorithm is doing)....
27 Aug 2014
-
18:40 Bug #104 (In Progress): Misprints suggestions: Z --> ZZ
-
18:32 Bug #104: Misprints suggestions: Z --> ZZ
- Some tests:
@ZZ@ is suggested when giving @ZZZ@, or @zz@, so it is indeed in the list.
Maybe the problem is just th... -
18:19 Bug #543 (Closed): Interpreter: problem when calling the manual with trailing spaces and comments
- fixed
-
18:17 Slug #99 (Closed): Function "insert": obsolescent
-
18:12 Feature #588 (Closed): Resume code for "gin" (generic initial ideal)
-
18:11 Feature #518 (Closed): incr/decr functions: to be used in packages
-
18:09 Design #525 (Closed): BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
-
18:06 Bug #378 (Closed): Ungraceful behaviour: Source inside For loop
Also available in: Atom