Project

General

Profile

Activity

From 13 Sep 2016 to 12 Oct 2016

12 Oct 2016

18:25 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
The following URL may help:... John Abbott
17:19 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
One easy way to avoid the problem is to paste the line into a buffer in @cocoa5-mode@ (_e.g._ associated to a CoCoA-5... John Abbott
17:15 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
Note that issue #433 dealt with the problem of sending long lines from a @cocoa5-mode@ buffer to the interactive CoCo... John Abbott
17:08 Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending
I sent a long line to an interactive cocoa5 inside emacs (v.24.5).
CoCoA saw only the first part of the input line; ...
John Abbott
16:56 Feature #13: (short) manual for emacs interface
This is probably not the right place, but I happened upon the following web page about problems with Emacs becoming v... John Abbott
16:02 Support #851: Release: CoCoA-5.2.0
Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
(automatize this step)
Anna Maria Bigatti
15:58 Support #851 (In Progress): Release: CoCoA-5.2.0
First round of @make ManExamples@
(checked and made a few fixes in Makefile)
Anna Maria Bigatti
15:07 Design #943: Managing credits
Yes, it would be good to find a way of giving recognition to those who have contributed to CoCoA(Lib).
A possible ...
John Abbott
14:29 Design #943 (In Progress): Managing credits
From #711 (8) (External Libs: print credits?)
If we do implement some scheme for recognising use of external librari...
Anna Maria Bigatti
14:33 Feature #711 (Feedback): External Libs: print credits?
list of linked libraries is printed what cocoa starts.
For the refinements I opened issue #943.
Feedback on this? ...
Anna Maria Bigatti

10 Oct 2016

21:13 Support #940: Check all fns in packages work even without BackwardCompatible.cpkg5
There is quite a lot of "cruft" in the packages: either commented out code or code which I suspect can never be calle... John Abbott
21:04 Support #940 (In Progress): Check all fns in packages work even without BackwardCompatible.cpkg5
I have already make a first pass at cleaning up the packages, but there is still more to do.
The CoCoA-5 tests are...
John Abbott
20:55 Support #940 (Closed): Check all fns in packages work even without BackwardCompatible.cpkg5
Even though (we hope that) all the packages are destined to migrate to CoCoALib, it is probably worth keeping them re... John Abbott
21:09 Support #941: Improve coverage of CoCoA-5 tests
This is likely to be an arduous task, and will surely take a long time.
My hope is that the same tests can still b...
John Abbott
21:07 Support #941 (New): Improve coverage of CoCoA-5 tests
While trying to "modernize" the CoCoA-5 packages, I thought that running the CoCoA-5 tests would be a good way of tra... John Abbott
18:54 Design #929 (In Progress): Clean up CoCoALibSupplement
I had already done some cleaning, so that now @IsConvertible@ is not used.
Now I removed the commented out old code....
Anna Maria Bigatti
18:23 Bug #880 (Feedback): subst should check that indet is in same ring as 1st arg, but does not.
Anna Maria Bigatti
18:23 Bug #880: subst should check that indet is in same ring as 1st arg, but does not.
Done. cvs-ed. Anna Maria Bigatti
17:53 Design #868: Der, Bin: why the capital letter?
Anna Maria Bigatti wrote:
> Every so often we should run the tests without the BackwardCompatible package. (I tho...
John Abbott
17:01 Design #868: Der, Bin: why the capital letter?
John Abbott wrote:
> By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
Yes, that's w...
Anna Maria Bigatti
16:51 Design #868: Der, Bin: why the capital letter?
By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
We could even move @Bin@ to @obsole...
John Abbott
16:05 Design #868: Der, Bin: why the capital letter?
No need to do any change: the official names are indeed @binomial@ and @deriv@ as in cocoalib.
I'd rather keep @Bin@...
Anna Maria Bigatti
15:38 Design #868: Der, Bin: why the capital letter?
My preference is for *@deriv@* in both CoCoALib and CoCoA-5, but that is not backward compatible :-/
I think @deriv@...
John Abbott
14:41 Design #868 (Feedback): Der, Bin: why the capital letter?
Should we change @deriv@ into @der@ in CoCoALib? Anna Maria Bigatti
17:44 Feature #845: Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
I believe this is at a good point, especially for prime cardinality. Elisa? Anna Maria Bigatti
17:05 Feature #877 (Feedback): Easier syntax to make a PRINCIPAL ideal?
Close this issue? I think that @ideal(x)@ is hard to beat ;-) Anna Maria Bigatti
16:04 Design #939: Rename Fact to factorial?
No need to do any change: the official name is indeed @factorial@.
I'd rather keep @Fact@ working smoothly for some ...
Anna Maria Bigatti
15:28 Design #939: Rename Fact to factorial?
In #868 (comment 3) Anna pointed out that the name *@Fact@* could easily be seen as ambiguous (short for *@factorial@... John Abbott
15:21 Design #939 (Closed): Rename Fact to factorial?
I suggest renaming *@Fact@* to *@factorial@*, the same name as used in CoCoALib.
This change is not backward-compati...
John Abbott
15:13 Bug #852 (Feedback): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
Yes, apparently I thought I still needed the version in the xml, but I don't.
I cannot imagine what may go wrong rem...
Anna Maria Bigatti
14:56 Bug #852: fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
It seems this is no longer needed.
... I cannot find any use of version and date in online.C...
another thing I did...
Anna Maria Bigatti
14:38 Support #863 (Feedback): CoCoA-5 manual: IsInteger and IsRational are missing?
I wrote it in June, and forgot to report it.
Feedback now.
Anna Maria Bigatti
14:34 Feature #903: New function CallOnGroebnerFanIdeals: call function on GFan ideals
cvs-ed manual Anna Maria Bigatti
13:44 Feature #903 (Feedback): New function CallOnGroebnerFanIdeals: call function on GFan ideals
added @CallOnGroebnerFanIdeals@. Works fine.
Philosophically a stream would be cleaner, but no time to think about ...
Anna Maria Bigatti
13:51 Feature #927: Add "exit" in addition to "ciao"
I have added the keywords *@exit@* and *@quit@* to the file @cocoa5.el@.
John Abbott
13:40 Bug #918 (Closed): UniversalGBasis: sometimes gives error
Anna Maria Bigatti

08 Oct 2016

22:04 Feature #606: Evaluate in ring operator (was called :: in CoCoA-4)
The suggestion of another function (perhaps called @ReadExprList@) still seems good to me.
Hmmm, but then again a ...
John Abbott
21:59 Feature #909 (Feedback): ReadExpr: decimal point
I think I have fixed it all now.
The comment about changed semantics (comment 5) no longer holds!
Note that @1....
John Abbott

03 Oct 2016

14:13 Bug #757 (Feedback): readline: fix script for finding libreadline
This has been "resolved" for 4 months; moving it to "feedback". I expect the current scripts are not perfect, but th... John Abbott
12:29 Bug #755: Find out how to compile statically on linux
I record that on 2016-05-20 Logar sent the following email (in italian) which says that the critical linux package to... John Abbott

22 Sep 2016

08:41 Design #929 (In Progress): Clean up CoCoALibSupplement
Many functions in CoCoALibSupplement are just there because they need conversion from BigInt to long (or vector of Bi... Anna Maria Bigatti
08:39 Support #290: Which functions are defined in CoCoALibSupplement?
Many functions in CoCoALibSupplement are just there because they need conversion from BigInt to long (or vector of Bi... Anna Maria Bigatti

21 Sep 2016

22:08 Bug #928: ciao, exit, quit can be used not only at top level
Marked as low priority as it probably affects no-one (unless someone is looking for trouble by putting @ciao/exit/qui... John Abbott
22:03 Bug #928 (New): ciao, exit, quit can be used not only at top level
The manual for ciao/exit/quit says the command can be used only at top level. This is apparently not true.... John Abbott
22:00 Feature #927 (Resolved): Add "exit" in addition to "ciao"
What I did to add command "exit".
cd src/CoCoA-5
fgrep Ciao Lexer.C
--> Keyword("Ciao", TT_CIAO)
In Lexer.H ...
John Abbott
21:32 Feature #927: Add "exit" in addition to "ciao"
I think it should not be too hard to add an "exit" command, but this means introducing a new keyword which could, in ... John Abbott
17:52 Feature #927 (Closed): Add "exit" in addition to "ciao"
Anna Maria Bigatti

16 Sep 2016

18:22 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
Tried: John's compilation (for 10.6) works on 10.11.
So for next release we can use his compilation.
(it's on my wh...
Anna Maria Bigatti
17:56 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
I tried the suggestion:... Anna Maria Bigatti
15:57 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
See also this link @http://grauonline.de/wordpress/?p=71@
JAA thinks it could be useful.
John Abbott
15:55 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
The @nm@ function on my computer (Mac OS X 10.6.8) complains that a compiled program from Anna's 10.11 Mac is *@malfo... John Abbott
14:47 Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8
Binary from 10.11 gives @Illegal instruction@ on 10.6.8.
Investigate how to solve this, and at what OS version the...
Anna Maria Bigatti
 

Also available in: Atom