Activity
From 12 Feb 2017 to 13 Mar 2017
13 Mar 2017
-
11:19 CoCoA-5 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...
-
10:59 CoCoA-5 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... -
10:52 CoCoA-5 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... -
10:49 CoCoA-5 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...
10 Mar 2017
-
19:18 CoCoALib Design #1019: CPP flags in installed library
- The tests are producing strange results: it seems that there is some mysterious problem with the threadsafe counter :...
-
19:17 CoCoALib Design #1019: CPP flags in installed library
- I now have a first impl of the "preprocessor definitions" header file.
One question which has just arisen is the f... -
13:06 CoCoA-5 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...
09 Mar 2017
-
18:01 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- I think this is far too difficult for this release.
I suggest moving it to next.
-
17:18 CoCoA-5 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... -
17:31 CoCoA-5 Slug #1025: Example of slow LEX GBasis computation
- This is really unrelated: it is an ideal with a surprisingly "large" DegRevLex RGBasis...
-
16:30 CoCoA-5 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...
-
14:14 CoCoA-5 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?
-
14:12 CoCoA-5 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...
08 Mar 2017
-
23:59 CoCoA-5 Slug #1025: Example of slow LEX GBasis computation
- Here are some more slow examples:...
-
18:56 CoCoA-5 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:...
-
18:58 CoCoA-5 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.
-
18:43 CoCoA-5 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... -
08:44 CoCoA-5 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... -
18:35 CoCoALib Design #1019: CPP flags in installed library
- After some consideration I think it is best to put all the CPP "flags" into a single header file, then any files whic...
-
17:03 CoCoA-5 Feature #737: Elementary transcendental functions (sin, cos, tan, log, exp)
- I've checked it in (not documented)....
-
15:26 CoCoALib Bug #1026: JanetBasis gives error indet index out of range
- There is a certain irony in finding this problem just 5 minutes after Mario left for good...
Is the implementation... -
15:24 CoCoALib Bug #1026 (New): JanetBasis gives error indet index out of range
- The following input gives an error:...
07 Mar 2017
-
21:17 CoCoA-5 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... -
21:15 CoCoA-5 Slug #1025 (In Progress): Example of slow LEX GBasis computation
- I am putting this example here just not to lose it:...
06 Mar 2017
-
21:52 CoCoA-5 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... -
17:40 CoCoA-5 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... -
16:02 CoCoA-5 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... -
19:37 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- Winfried Bruns wrote:
> Why not have a function for decomposing a polynomial into its homogeneous components? There ... -
19:14 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- Here is the function.
I'm still uncertain whether this should be part of cocoalib or not.
Anyway it may be copied... -
17:50 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- Why not have a function for decomposing a polynomial into its homogeneous components? There is one in NmzIntegrate.
-
16:50 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- CoCoALib currently offers @deg@ (or equiv. @StdDeg@) and @wdeg@. These functions throw an exception if the ring has ...
-
16:44 CoCoALib Feature #1022 (New): New "LF" function which is based on StdDeg
- [2017-03-06] Bruns requested by email to have a function like *@LF@* which works with respect to the standard grading...
-
19:17 CoCoA-5 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... -
17:41 CoCoA-5 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...
-
17:45 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- Now using @IdealOfGBasis@, so that the generators of the ideals are the different GBasis....
-
17:08 CoCoA-5 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 ...
-
17:06 CoCoA-5 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...
-
17:00 CoCoA-5 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... -
16:55 CoCoA-5 Support #521: Manual: automatically check all examples
- Done (again, long time ago...). It is called by...
-
16:50 CoCoA-5 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... -
16:44 CoCoA-5 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... -
16:35 CoCoA-5 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.
-
16:40 CoCoA-5 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... -
16:38 CoCoA-5 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... -
13:30 CoCoALib Design #1019: CPP flags in installed library
- *NOTE* I have just learned that if you press return while typing in the comment "subject" line, redmine then "finishe...
-
11:45 CoCoALib Design #1019: CPP flags in installed library
- Here is a list of the CoCoA CPP flags:
* *@CoCoA_ULONG2LONG@*
* *@CoCoA_THREADSAFE_HACK@*
* *@CoCoA_DEBUG@*
* *@C...
05 Mar 2017
-
21:20 CoCoALib Design #1019: CPP flags in installed library
- To me it seems that approach *(A)* is less convenient and more risky/annoying (since any problem is reported only aft...
-
21:13 CoCoALib Design #1019 (In Progress): CPP flags in installed library
- Recently Bruns reported a compilation problem (see #1015) which turned out to be a problem of missing CPP flags. A s...
-
21:01 CoCoALib Design #1019 (Closed): CPP flags in installed library
- What is the best way to ensure that any important CPP flags are correctly set when using CoCoALib?
One approach is...
03 Mar 2017
-
15:12 CoCoALib Bug #1015 (Feedback): Bruns SEGV: SparsePolyIter/DMPI problem
- I have now added a similar check for ULONG2LONG. It's all a nasty hack, but seems to work.
Checked-in too. Now I...
02 Mar 2017
-
16:15 CoCoA-5 Feature #744 (Closed): Handle interrupts more helpfully
-
16:12 CoCoA-5 Bug #757 (Closed): readline: fix script for finding libreadline
-
15:51 CoCoALib Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- JAA should also check the value of ULONG2LONG... perhaps need a template approach?
-
15:23 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- now prints
* with verbosity >=10 (each call of recursive, CallOnRecursive)
. with verbosity >=20 (each call of Get... -
15:22 CoCoALib Feature #202 (In Progress): MatrixView/function for viewing a single row or column (RowMat, ColMat)
- Implemented (using @submat@).
Still have to write tests and doc.
-
14:50 CoCoALib Design #934: MachineInt: change semantics?
- After personal discussion in Kassel: I agree.
-
14:19 CoCoA-5 Design #1018 (Closed): Interpreter: limit range for ".." operator
- Currently there is no check for the arguments of @..@
Limit the input!
for example upper-lower < ???
-
13:51 CoCoALib Feature #958: New function: multiplicity and dim
- Still to do: non-homogenous input
-
13:34 CoCoALib Feature #958: New function: multiplicity and dim
- John Abbott wrote:
> What exactly does multiplicity do?
>
> I made the mistake of trying to compute @multiplicity... -
13:46 CoCoALib Feature #931: GBasis verbose mode
- Set 100 for first GBasis printouts
-
13:39 CoCoALib Feature #931: GBasis verbose mode
- John Abbott wrote:
> In the meantime, Anna plans to add the appropriate verbosity lines to @myDoGBasisElimFirst@.
... -
11:08 CoCoALib Feature #931: GBasis verbose mode
- Answer to previous question is that internally Anna uses a hack: she calls @myDoGBasisElimFirst@ rather than the gene...
-
13:46 CoCoALib Feature #961: New function: ReducedGBasis
- John Abbott wrote:
> I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
done.
Sho... -
11:24 CoCoALib Feature #961: New function: ReducedGBasis
- I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
* the name *@ReducedGBasis@* gives... -
13:44 CoCoALib Feature #902 (Closed): New function: FrobeniusMat
-
13:44 CoCoALib Feature #962: General verbose mode?
- Changed interface (after personal discussion in Kassel):...
-
13:31 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- It seems to me that this will be covered by the "braced constructor" for C++ vectors that appeared in C++11.
What ... -
13:31 CoCoALib Feature #957 (Feedback): New function: HasGBasis
-
13:28 CoCoA-5 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...
-
11:16 CoCoALib Feature #1016 (Closed): ReducedGBasis for RingWeyl (and other non-commutative rings)
- Implement @ReducedGBasis@ for @RingWeyl@ and other potential future non-commutative rings.
01 Mar 2017
-
18:04 CoCoALib Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- I have now added an automatic check for @CoCoA_THREADSAFE_HACK@.
If you compile the library with one setting and try... -
14:43 CoCoALib Bug #1015 (Resolved): Bruns SEGV: SparsePolyIter/DMPI problem
- The problem goes away if the flag *@-DCoCoA_THREADSAFE_HACK@* is added to the compilation line.
At the moment I do... -
14:16 CoCoALib Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- The problem continues to arise with the following simplified compilation command:...
-
14:06 CoCoALib Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- Here we have a minimal failing example:...
-
13:40 CoCoALib Bug #1015 (In Progress): Bruns SEGV: SparsePolyIter/DMPI problem
- The problem arises under the following conditions:
* CoCoALib is configured with @--threadsafe-hack@ and @--no-boost... -
13:37 CoCoALib Bug #1015 (Closed): Bruns SEGV: SparsePolyIter/DMPI problem
- Winfried Bruns reported a SEGV problem by email.
The following code will exhibit it: @F@ is a poly with a single t... -
14:15 CoCoA-5 Feature #927 (Closed): Add "exit" in addition to "ciao"
-
14:11 CoCoA-5 Feature #954 (Closed): New function: StdBasis (standard basis)
-
14:10 CoCoA-5 Feature #959 (Closed): New function: SymmetricPolys
-
13:35 CoCoA-5 Bug #995 (Closed): LaTeX(x^10) should use curly brackets
-
13:34 CoCoA-5 Bug #880 (Closed): subst should check that indet is in same ring as 1st arg, but does not.
-
13:33 CoCoA-5 Bug #870 (Feedback): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
-
13:31 CoCoA-5 Bug #852 (Closed): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
25 Feb 2017
-
11:11 CoCoALib Support #1013: GlobalManager: name of object in examples (and tests)
- > Would *@InitializeCoCoA@* be more comprehensible?
Perfect!
24 Feb 2017
-
17:54 CoCoALib Bug #1014 (In Progress): RowMat, ColMat with arg an empty list/vector
- Another (mild?) incompatibility is that in CoCoA-5 @RowMat@ and @ColMat@ accept as input lists of INT and/or RAT.
In... -
17:49 CoCoALib Bug #1014: RowMat, ColMat with arg an empty list/vector
- At the moment JAA thinks that giving an error is probably better.
Is there a situation where one might reasonably ... -
17:45 CoCoALib Bug #1014: RowMat, ColMat with arg an empty list/vector
- In CoCoA-5 one can call @RowMat([])@ and @ColMat([])@ to produce a matrix 1x0 or 0x1.
In CoCoALib a similar call pro... -
17:39 CoCoALib Bug #1014 (In Progress): RowMat, ColMat with arg an empty list/vector
- What should @RowMat@ and @ColMat@ do if given am empty list/vector as argument?
-
17:51 CoCoALib Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
- What should these functions do if the matrix is 0-by-C or R-by-0?
Return a 0-by-1 or 1-by-0 matrix? -
17:42 CoCoALib Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
- Another possibility: uglier, but possibly clearer?
* *@RowMatView@*
* *@ColMatView@*
The intention is that the r... -
14:16 CoCoALib Support #1013: GlobalManager: name of object in examples (and tests)
- In just a couple of days I shall have to present CoCoALib and its examples.
Indeed, I shall probably concentrate on ... -
14:13 CoCoALib Support #1013 (New): GlobalManager: name of object in examples (and tests)
- At the moment all CoCoALib examples use the name *@CoCoAFoundations@* for the @GlobalManager@ object.
Is there a b...
22 Feb 2017
-
16:16 CoCoA-5 Feature #912: Add TUTORIALs to online manual
- I have added some hasty tutorials... no doubt it is clear that they have been hastily written.
21 Feb 2017
-
14:22 CoCoA-5 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.
20 Feb 2017
-
16:40 CoCoA-5 Feature #1012: Chebyshev polynomials
- The functions have existed for some time, but have never been documented.
Also compare speed of CoCoALib impl with... -
16:39 CoCoA-5 Feature #1012 (Closed): Chebyshev polynomials
- There is a CoCoA-5 package called @chebyshev.cpkg5@.
There are also CoCoALib fns for computing the chebyshev polynom... -
16:20 CoCoA-5 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... -
16:16 CoCoA-5 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... -
13:40 CoCoALib Feature #872 (In Progress): LinSolve for matrices over FFp
- Currently I am just adding the "keyword" *@MatrixFp@*
Some code has already been written, and it is in the file @sr... -
13:23 CoCoALib Feature #82: C++11 compatibility questions
- How does this issue differ from issue #83?
-
13:19 CoCoALib Feature #1010: C++11: Mario's Hilbert scheme code
- Mario makes essential use of various C++11 featues (_e.g._ @auto@ variable declarations).
The problem is that CoCo... -
13:14 CoCoALib Feature #1010 (New): C++11: Mario's Hilbert scheme code
- Mario would like to incorporate his Hilbert scheme code, but to do so he must compile with c++11 (because he uses sev...
-
13:12 CoCoALib Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- @Winfried: could you check whether this problem persists in the latest version of CoCoALib?
There is version from 16...
17 Feb 2017
-
08:00 CoCoALib Slug #777: SLUG: elimination
- Apart from the improvements we can do for @elim@ (and are about to do ;-)
I think @myFinalizeGBasis@ can be improved...
16 Feb 2017
-
13:27 CoCoALib Slug #1009 (Closed): coefficients for MinPoly e Frobenius
- The function creating the vector of coefficients (wrt a QB) can be improved.
(this is an internal and costly functio... -
13:17 CoCoALib Slug #777: SLUG: elimination
- The same example computed using @MinPolyQuot@ is much faster: about 0.2s :-)
Maybe @elim@ can be programmed to us... -
13:14 CoCoALib Slug #777 (In Progress): SLUG: elimination
- I happened upon the file for the example, and tried it with @SetVerbosityLevel(1999)@.
It seems that much of the tim... -
12:45 CoCoALib Feature #962: General verbose mode?
- How about starting with just two ranges?
1--9 for users
10--??? for CoCoA packages and CoCoALib
I had also consi... -
08:36 CoCoALib Feature #962: General verbose mode?
- I prefer the mnemonic number of digits. So I suggest
1 digit -- free for users
2 digits -- cocoalib and cocoa pac...
15 Feb 2017
-
18:40 CoCoALib Feature #962: General verbose mode?
- Anna's idea of reserving certain ranges for different "levels" of function appeals to me. I think her ranges are too...
-
18:20 CoCoALib Feature #1008 (Feedback): square function
- All tests pass. I have now checked in the change. ==> feedback
14 Feb 2017
-
18:08 CoCoA-5 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 :-(
13 Feb 2017
-
18:32 CoCoA-5 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... -
18:24 CoCoA-5 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... -
18:22 CoCoA-5 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 ...
-
17:56 CoCoA-5 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... -
17:52 CoCoA-5 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... -
14:47 CoCoALib Bug #1004 (Feedback): In scripts: use portable test for absolute paths
- No problems has been reported so far, so moving to "feedback".
I think the solution I have chosen should be compat... -
14:44 CoCoALib Feature #1008 (Resolved): square function
- OK, then we agree to eliminate the function @square@. It will disappear the next time I do a check in (later today?)
-
09:44 CoCoALib Feature #1008: square function
- If we had a @square@ we should document how it differs from @power(x,2)@. So I think we'd better not.
If we have @m...
12 Feb 2017
-
16:20 CoCoALib Feature #1008 (In Progress): square function
- So far we have not really felt the need for a @square@ function in CoCoALib (presumably).
So maybe it does not mak... -
16:19 CoCoALib Feature #1008: square function
- A search for @square@ showed that there had been a @square@ function for @RingElem@, but that it was removed (presuma...
-
16:14 CoCoALib Feature #1008 (Closed): square function
- In @utils.H@ there is a fn called @square@ defined only for @double@. It used only in @ApproxPts.C@.
I am sure th...
Also available in: Atom