Project

General

Profile

Activity

From 08 Feb 2017 to 09 Mar 2017

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

14 Feb 2017

18:08 Feature #1007: (makefile) New "clean" target which does not clean documentation
Checked-in an update to all Makefiles. Hope it works -- I did mess some things up :-(
John Abbott

13 Feb 2017

18:32 Feature #1007: (makefile) New "clean" target which does not clean documentation
John Abbott wrote:
> Should the file @examples/index.html@ be included in the distribution?
> In other words, shoul...
Anna Maria Bigatti
18:24 Feature #1007: (makefile) New "clean" target which does not clean documentation
Should the file @examples/index.html@ be included in the distribution?
In other words, should @make distclean@ delet...
John Abbott
18:22 Feature #1007: (makefile) New "clean" target which does not clean documentation
It seems that the dependencies (in @src/AlgebraicCore/@) are rebuilt whenever @include/CoCoA/library.H@ changes, and ... John Abbott
17:56 Feature #1007: (makefile) New "clean" target which does not clean documentation
John Abbott wrote:
> I'm still undecided where the dependency files should fit into this scheme; internal dependenci...
Anna Maria Bigatti
17:52 Feature #1007: (makefile) New "clean" target which does not clean documentation
I have read through the GNU guidelines. Following them all would be quite hard work.
The "cleaning" targets which w...
John Abbott
 

Also available in: Atom