Project

General

Profile

Activity

From 02 Feb 2017 to 03 Mar 2017

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...
John Abbott

02 Mar 2017

16:15 CoCoA-5 Feature #744 (Closed): Handle interrupts more helpfully
Anna Maria Bigatti
16:12 CoCoA-5 Bug #757 (Closed): readline: fix script for finding libreadline
Anna Maria Bigatti
15:51 CoCoALib Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
JAA should also check the value of ULONG2LONG... perhaps need a template approach?
John Abbott
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...
Anna Maria Bigatti
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.
John Abbott
14:50 CoCoALib Design #934: MachineInt: change semantics?
After personal discussion in Kassel: I agree. Anna Maria Bigatti
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 < ???
Anna Maria Bigatti
13:51 CoCoALib Feature #958: New function: multiplicity and dim
Still to do: non-homogenous input Anna Maria Bigatti
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...
Anna Maria Bigatti
13:46 CoCoALib Feature #931: GBasis verbose mode
Set 100 for first GBasis printouts Anna Maria Bigatti
13:39 CoCoALib Feature #931: GBasis verbose mode
John Abbott wrote:
> In the meantime, Anna plans to add the appropriate verbosity lines to @myDoGBasisElimFirst@.
...
Anna Maria Bigatti
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... John Abbott
13:46 CoCoALib Feature #961: New function: ReducedGBasis
John Abbott wrote:
> I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
done.
Sho...
Anna Maria Bigatti
11:24 CoCoALib Feature #961: New function: ReducedGBasis
I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
* the name *@ReducedGBasis@* gives...
John Abbott
13:44 CoCoALib Feature #902 (Closed): New function: FrobeniusMat
Anna Maria Bigatti
13:44 CoCoALib Feature #962: General verbose mode?
Changed interface (after personal discussion in Kassel):... Anna Maria Bigatti
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 ...
John Abbott
13:31 CoCoALib Feature #957 (Feedback): New function: HasGBasis
Anna Maria Bigatti
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... Anna Maria Bigatti
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. John Abbott

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...
John Abbott
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...
John Abbott
14:16 CoCoALib Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
The problem continues to arise with the following simplified compilation command:... John Abbott
14:06 CoCoALib Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
Here we have a minimal failing example:... John Abbott
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...
John Abbott
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...
John Abbott
14:15 CoCoA-5 Feature #927 (Closed): Add "exit" in addition to "ciao"
Anna Maria Bigatti
14:11 CoCoA-5 Feature #954 (Closed): New function: StdBasis (standard basis)
Anna Maria Bigatti
14:10 CoCoA-5 Feature #959 (Closed): New function: SymmetricPolys
Anna Maria Bigatti
13:35 CoCoA-5 Bug #995 (Closed): LaTeX(x^10) should use curly brackets
Anna Maria Bigatti
13:34 CoCoA-5 Bug #880 (Closed): subst should check that indet is in same ring as 1st arg, but does not.
Anna Maria Bigatti
13:33 CoCoA-5 Bug #870 (Feedback): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
Anna Maria Bigatti
13:31 CoCoA-5 Bug #852 (Closed): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
Anna Maria Bigatti

25 Feb 2017

11:11 CoCoALib Support #1013: GlobalManager: name of object in examples (and tests)
> Would *@InitializeCoCoA@* be more comprehensible?
Perfect!
Redmine Admin

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...
John Abbott
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 ...
John Abbott
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...
John Abbott
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? John Abbott
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?
John Abbott
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...
John Abbott
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 ...
John Abbott
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...
John Abbott

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. John Abbott

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.
John Abbott

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...
John Abbott
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...
John Abbott
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...
John Abbott
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...
John Abbott
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...
John Abbott
13:23 CoCoALib Feature #82: C++11 compatibility questions
How does this issue differ from issue #83? John Abbott
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...
John Abbott
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... John Abbott
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...
John Abbott

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...
Anna Maria Bigatti

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...
Anna Maria Bigatti
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...
John Abbott
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...
John Abbott
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...
John Abbott
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...
Anna Maria Bigatti

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... John Abbott
18:20 CoCoALib Feature #1008 (Feedback): square function
All tests pass. I have now checked in the change. ==> feedback
John Abbott

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 :-(
John Abbott

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...
Anna Maria Bigatti
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...
John Abbott
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 ... John Abbott
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...
Anna Maria Bigatti
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...
John Abbott
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...
John Abbott
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?)
John Abbott
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...
Anna Maria Bigatti

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...
John Abbott
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... John Abbott
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...
John Abbott

10 Feb 2017

17:33 CoCoALib Feature #962: General verbose mode?
I think we should set some rules like:
1 - 9 (or to 99) reserved for users.
100 - ?? for higher cocoa/cocolib fu...
Anna Maria Bigatti

03 Feb 2017

23:03 CoCoA-5 Feature #1007: (makefile) New "clean" target which does not clean documentation
If we regard the "compiled" documentation files as part of the standard distribution (which is probably a very reason... John Abbott
17:00 CoCoA-5 Feature #1007: (makefile) New "clean" target which does not clean documentation
I have a first implementation, but will refrain from checking in until I have done some more tests (over the weekend?... John Abbott
15:35 CoCoA-5 Feature #1007: (makefile) New "clean" target which does not clean documentation
There are some (GNU) guidelines here:... John Abbott
15:26 CoCoA-5 Feature #1007: (makefile) New "clean" target which does not clean documentation
What does *@make clean@* do? And what should it do?
It seems that it does exactly what I want... (now that I hav...
John Abbott
15:12 CoCoA-5 Feature #1007: (makefile) New "clean" target which does not clean documentation
Another candidate for the name: *@halfclean@*
John Abbott
11:36 CoCoA-5 Feature #1007: (makefile) New "clean" target which does not clean documentation
What purpose does the file @wordlist.txt@ serve? Is it used just by the Emacs interface? If so, shouldn't it be in ... John Abbott

02 Feb 2017

22:27 CoCoA-5 Feature #1007: (makefile) New "clean" target which does not clean documentation
I found that the targets for building the CoCoA-5 documentation *always* rebuild it even when it's not necessary. I ... John Abbott
18:00 CoCoA-5 Feature #1007 (In Progress): (makefile) New "clean" target which does not clean documentation
What should such a target be called? It should delete those files which depend on the platform (_i.e._ compiled code... John Abbott
17:38 CoCoA-5 Feature #1007 (Closed): (makefile) New "clean" target which does not clean documentation
Since the problem with external dependencies seem to be mostly associated with the documentation, it would be helpful... John Abbott
17:41 CoCoA-5 Support #1006 (In Progress): External dependencies for building
I failed to install LaTeX on the netbook :-( John Abbott
16:29 CoCoA-5 Support #1006: External dependencies for building
Can we make it simpler? Reduce the dependencies on external software?
What do we need java for?
John Abbott
16:28 CoCoA-5 Support #1006 (In Progress): External dependencies for building
I am trying to build and install CoCoA-5 from source on a "bare-bones" Linux box.
It is proving to be quite tedious ...
John Abbott
 

Also available in: Atom