Project

General

Profile

Activity

From 16 Feb 2017 to 17 Mar 2017

17 Mar 2017

16:18 Design #998 (Feedback): Emacs UI: sending empty input from cocoa5 buffer
This was done some while ago. I've been using the revised version of @cocoa5.el@ for at least a month without any pr... John Abbott
16:12 Bug #1002 (Feedback): Emacs UI: cocoa5-send-line skips too many chars
I made a change to the regexp a while ago. All the examples in the comments above seem to work in a reasonable way.
John Abbott
14:15 Bug #1029 (In Progress): Readline: does not recognize interrupts
I'm still searching for a "ready-to-eat" solution on the internet, and am also reading the readline documentation.
...
John Abbott
13:19 Support #1034 (New): Improve error message when args to (infix operator) IsIn have incompatible types
The infix operator *@IsIn@* accepts many different combinations of arg types.
However, for some non-sensical combina...
John Abbott
11:13 Bug #1032: IsInRadical: fragile code
Here are some examples which suggest that it may be better to decompose a poly into its homog parts when testing memb... John Abbott
11:11 Bug #1032: IsInRadical: fragile code
Here are some cases where behaviour is not ideal:... John Abbott
11:07 Bug #1032 (Closed): IsInRadical: fragile code
The current impls of @IsInRadical@ and @MinPowerInRadical@ are fragile: they give errors when they should/need not.
John Abbott
11:03 Support #1031: ScalarProduct: exact defn and manual page
The manual page seems to be very wrong! It should probably be completely rewritten *after* we have decided exactly w... John Abbott
11:00 Support #1031 (New): ScalarProduct: exact defn and manual page
We must establish the exact definition of *@ScalarProduct@* and rewrite the manual page accordingly. John Abbott
10:55 Feature #633: New operations? ScalarProduct(MODULELEM,LIST), MATRIX * MODULELEM
If we regard @ScalarProduct(A,B)@ as being equivalent to @sum([A[i]*B[i] | i in 1..len(A)])@ then @ScalarProduct@ sho... John Abbott

14 Mar 2017

11:34 Bug #1029: Readline: does not recognize interrupts
A quick search found the following example use of the @readline@ alternative interface:
@http://www.mcld.co.uk/blog/...
John Abbott
11:32 Bug #1029 (Closed): Readline: does not recognize interrupts
Justin C Walker has pointed out that CoCoA-5's current use of @readline@ does not recognize interrupts (_e.g._ Ctrl-C... John Abbott

13 Mar 2017

11:19 Bug #1028: Readline: cursor moves wrongly when at start of line with a prompt
There is a (minor?) problem on my old MacBook: typing Ctrl-A when the cursor is at the right-end of the line does som... John Abbott
10:59 Bug #1028 (Resolved): Readline: cursor moves wrongly when at start of line with a prompt
I think I have just been lucky (or was it Giovanni's good design?).
I have just edited @ReadLineProvider::doReadNext...
John Abbott
10:52 Bug #1028: Readline: cursor moves wrongly when at start of line with a prompt
As Justin C Walker pointed out, the @readline@ command can accept a string arg which is printed as the prompt.
Cur...
John Abbott
10:49 Bug #1028 (Closed): Readline: cursor moves wrongly when at start of line with a prompt
Problem reported by Justin C Walker via email.
To exhibit problem: start CoCoA-5 (with readline) in a terminal; ty...
John Abbott

10 Mar 2017

13:06 Bug #946: Function "ideal" evaluates the argument twice
Despite the *urgent* status I have postponed this to the next version. After all it is principally a matter of effic... John Abbott

09 Mar 2017

18:01 Bug #946: Function "ideal" evaluates the argument twice
I think this is far too difficult for this release.
I suggest moving it to next.
Anna Maria Bigatti
17:18 Bug #946: Function "ideal" evaluates the argument twice
For an *urgent* issue, this is making very slow progress :-(
Perhaps someone (who??) should produce a test file wh...
John Abbott
17:31 Slug #1025: Example of slow LEX GBasis computation
This is really unrelated: it is an ideal with a surprisingly "large" DegRevLex RGBasis... John Abbott
16:30 Slug #1025: Example of slow LEX GBasis computation
More examples: these all have support a 3-subset of supp((x+y+z)^3+x) and coeffs +1 or -1... John Abbott
14:14 Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?
Would it be a good idea to add a page with a few basic emacs commands to the CoCoA-5 online manual? John Abbott
14:12 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized
There is an emacs function *@diff-buffer-with-file@*.
Another possibility is to run *@sum@* on the buffer contents...
John Abbott

08 Mar 2017

23:59 Slug #1025: Example of slow LEX GBasis computation
Here are some more slow examples:... John Abbott
18:56 Slug #1025: Example of slow LEX GBasis computation
Here are some simple-looking ideals whose lex GBs cannot be computed (in reasonable time) by CoCoA-5.1.5:... John Abbott
18:58 Design #1020 (In Progress): Rename minimalized(I) into IdealOfMinGens(I)?
See also the discussion in issue #996 about which bool3 flags can be (ought to be) copied, and which cannot.
John Abbott
18:43 Feature #996 (In Progress): New function: IdealOfGBasis
I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in CoCoALib.
Now that yo...
John Abbott
08:44 Feature #996: New function: IdealOfGBasis
John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3...
Anna Maria Bigatti
17:03 Feature #737: Elementary transcendental functions (sin, cos, tan, log, exp)
I've checked it in (not documented).... Anna Maria Bigatti

07 Mar 2017

21:17 Slug #1025: Example of slow LEX GBasis computation
Send the output to a file! (over 40Mbytes)
Biggest coeffs are from the 3rd last polynomial; but several others are...
John Abbott
21:15 Slug #1025 (In Progress): Example of slow LEX GBasis computation
I am putting this example here just not to lose it:... John Abbott

06 Mar 2017

21:52 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
John Abbott wrote:
> I like @IdealOfMinGens@.
> I do not much like @minimalize(I)@, so suggest making it obsolescen...
Anna Maria Bigatti
17:40 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
I like @IdealOfMinGens@.
I do not much like @minimalize(I)@, so suggest making it obsolescent.
Presumably @IdealO...
John Abbott
16:02 Design #1020 (Closed): Rename minimalized(I) into IdealOfMinGens(I)?
I have added @IdealOfGBasis(I)@ to cocoa-5.
It is like saying @ideal(GBasis(I))@ and @SetGBasisAsGens@ (not availabl...
Anna Maria Bigatti
19:17 Feature #996: New function: IdealOfGBasis
John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3...
Anna Maria Bigatti
17:41 Feature #996: New function: IdealOfGBasis
As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3@) from the original i... John Abbott
17:45 Support #973: GroebnerFanIdeals: verbosity and output style
Now using @IdealOfGBasis@, so that the generators of the ideals are the different GBasis.... Anna Maria Bigatti
17:08 Support #1024: CoCoA Manual: consistent spacing in VarName: TYPE
To see an example of inconsistency, just type *@?:@* into CoCoA. This gives the page for infix operators. It looks ... John Abbott
17:06 Support #1024 (Closed): CoCoA Manual: consistent spacing in VarName: TYPE
Most entries in the CoCoAManual include a succinct description of the syntax like the following... John Abbott
17:00 Support #521: Manual: automatically check all examples
This seems a duplicate of #558, closed for CoCoA-5.1.0 Easter14.
Unless you mean to check also the output (then it...
Anna Maria Bigatti
16:55 Support #521: Manual: automatically check all examples
Done (again, long time ago...). It is called by... Anna Maria Bigatti
16:50 Support #1023 (Closed): CoCoAManual for verbosity: how to find which levels? how to find which functions?
@SetVerbosityLevel/VerbosityLevel@ allow to have verbosity.
Some functions now use them.
This should be reported in...
Anna Maria Bigatti
16:44 Bug #170 (Closed): CoCoAManual HTML: page for "Try"
in log:
Revision 1.19 2012/05/25 13:07:23 abbott
Cleaned entry for "Try".
Revision 1.14 2012/03/09 17:00:2...
Anna Maria Bigatti
16:35 Bug #170 (Feedback): CoCoAManual HTML: page for "Try"
As far as I can tell, this has already been done... no idea by whom, or when. John Abbott
16:40 Feature #1021: CoCoA Manual: search should ignore multiple spaces
I suggest transforming the search string as follows:
* replace all TABs (and any other whitespace chars) by plain sp...
John Abbott
16:38 Feature #1021 (Closed): CoCoA Manual: search should ignore multiple spaces
Some CoCoA online manual pages have titles containing spaces.
Searching for such a page with a search string contain...
John Abbott

02 Mar 2017

16:15 Feature #744 (Closed): Handle interrupts more helpfully
Anna Maria Bigatti
16:12 Bug #757 (Closed): readline: fix script for finding libreadline
Anna Maria Bigatti
15:23 Support #973: GroebnerFanIdeals: verbosity and output style
now prints
* with verbosity >=10 (each call of recursive, CallOnRecursive)
. with verbosity >=20 (each call of Get...
Anna Maria Bigatti
14:19 Design #1018 (Closed): Interpreter: limit range for ".." operator
Currently there is no check for the arguments of @..@
Limit the input!
for example upper-lower < ???
Anna Maria Bigatti
13:28 Feature #1017 (Rejected): New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
Write a new function to modify an ideal so that removes the current set of generators and substitutes it with the GBa... Anna Maria Bigatti

01 Mar 2017

14:15 Feature #927 (Closed): Add "exit" in addition to "ciao"
Anna Maria Bigatti
14:11 Feature #954 (Closed): New function: StdBasis (standard basis)
Anna Maria Bigatti
14:10 Feature #959 (Closed): New function: SymmetricPolys
Anna Maria Bigatti
13:35 Bug #995 (Closed): LaTeX(x^10) should use curly brackets
Anna Maria Bigatti
13:34 Bug #880 (Closed): subst should check that indet is in same ring as 1st arg, but does not.
Anna Maria Bigatti
13:33 Bug #870 (Feedback): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
Anna Maria Bigatti
13:31 Bug #852 (Closed): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
Anna Maria Bigatti

22 Feb 2017

16:16 Feature #912: Add TUTORIALs to online manual
I have added some hasty tutorials... no doubt it is clear that they have been hastily written. John Abbott

21 Feb 2017

14:22 Feature #912: Add TUTORIALs to online manual
There is less than a week to go to the mini-course. It would be nice to make some progress with the tutorials.
John Abbott

20 Feb 2017

16:40 Feature #1012: Chebyshev polynomials
The functions have existed for some time, but have never been documented.
Also compare speed of CoCoALib impl with...
John Abbott
16:39 Feature #1012 (Closed): Chebyshev polynomials
There is a CoCoA-5 package called @chebyshev.cpkg5@.
There are also CoCoALib fns for computing the chebyshev polynom...
John Abbott
16:20 Feature #1011: Random seed fn
An interactive CoCoA-5 session will always generate the same sequence of (pseudo-)random numbers.
In CoCoA-4 there w...
John Abbott
16:16 Feature #1011 (Closed): Random seed fn
CoCoA-4 has a @Seed@ fn for resetting the global random number generator.
Make it (or something equivalent) availa...
John Abbott
 

Also available in: Atom