Project

General

Profile

Activity

From 18 Jan 2017 to 16 Feb 2017

16 Feb 2017

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

13 Feb 2017

14:47 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 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 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 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 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 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 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

01 Feb 2017

21:49 Feature #1005: Makefile: install target for CoCoALib
I have added some lines to copy documentation and examples:
* @doc/CoCoALib.pdf@ is copied into @/usr/local/include...
John Abbott
16:51 Feature #1005 (In Progress): Makefile: install target for CoCoALib
I have already written a first *@install@* target for CoCoALib (and a first attempt to use it required a system reins... John Abbott
16:43 Feature #1005 (Closed): Makefile: install target for CoCoALib
There should be an *@install@* target for CoCoALib.
John Abbott
21:44 Bug #1004: In scripts: use portable test for absolute paths
Anna reports that the modified script worked as desired on M$ plaform.
So I have changed the other scripts (which ne...
John Abbott
14:18 Bug #1004 (In Progress): In scripts: use portable test for absolute paths
I have found a plausible solution on StackExchange (256434):
the following (Bourne) shell function was given as a so...
John Abbott
14:10 Bug #1004 (Closed): In scripts: use portable test for absolute paths
Anna has just reported that some scripts give incorrect errors about paths not being absolute.
The problem probabl...
John Abbott
14:07 Support #976: configure: auxiliary scripts should be consistent about error messages
I am happy with the format of the printed error messages. It remains to decide between @/dev/stderr@ and @/dev/stdou... John Abbott

30 Jan 2017

07:55 Feature #1001: CoCoALib: ideas for student projects
Translate a cocoa-5 function from a package into CoCoALib.
* *@GCDList@* (@coclib.cpkg5@)
* *@FactorUnivariate@* ...
Anna Maria Bigatti

23 Jan 2017

15:20 Feature #931: GBasis verbose mode
I set verbosity level to 1965 then tried calling @ImplicitHypesurface@ with the option @ElimTH@, but no verbose messa... John Abbott
15:16 Bug #975: configure: possibly ignore GMP compilation flags
At this point I do not see any purpose in keeping even the option to extract compilation flags from @gmp.h@, so I now... John Abbott

21 Jan 2017

22:25 Bug #975: configure: possibly ignore GMP compilation flags
One thing which puzzles me is that CoCoALib compiles fine and all tests pass on my old MacBook even without *@-m64@* ... John Abbott
18:07 Bug #975 (Feedback): configure: possibly ignore GMP compilation flags
I have changed it on my machines, but cannot currently check in (because cannot make VPN connection).
John Abbott
18:01 Design #999 (Resolved): configuration: include -std=c++03 by default?
After thinking about having to compile+install CoCoA/CoCoALib on numerous recent Linux boxes for the upcoming CoCoALi... John Abbott

20 Jan 2017

16:40 Feature #962: General verbose mode?
A quick grep suggests that we should check the use of *@clog@* in the following files:
* *@ApproxPts2.C@*
* *@OpenM...
John Abbott
16:26 Design #983 (In Progress): Which ostream for verbose/obsolescent log mesgs?
I have just made a first impl of a simple way to choose the log stream. It comprises a hidden global variable (which... John Abbott
15:44 Feature #931 (In Progress): GBasis verbose mode
Which target version should we opt for?
I suggest postponing for a later release (unless you think that this is almo...
John Abbott
15:16 Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView
I have done some cleaning in @MatrixForOrdering.C@, but more still really ought to be done.
After 3 months in feed...
John Abbott
14:28 Feature #1001: CoCoALib: ideas for student projects
Here are some more (weaker?) ideas:
* a fn which produces the simplest non-neg integer matrix giving the same term o...
John Abbott
14:26 Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)
It seems we have taken the approach of making a single function (*@MakeTermOrd@*) which is simplest for the user; lat... John Abbott
14:11 Design #999 (In Progress): configuration: include -std=c++03 by default?
I note that the compilation flag *@-std=c++03@* will cease to be relevant (and may even become "harmful") once we upd... John Abbott

19 Jan 2017

18:10 Feature #1001: CoCoALib: ideas for student projects
Here are some ideas:
* write a fn @IsCyclotomic@ for univariate polynomials (based on paper by Bradford+Davenport)
...
John Abbott
18:05 Feature #1001 (In Progress): CoCoALib: ideas for student projects
Collect here ideas for potential student projects based on CoCoALib. John Abbott
17:05 Design #999: configuration: include -std=c++03 by default?
The compilation flag *@-std=c++03@* is not recognized by the old g++ (version 4.2.1) on my old MacBook Pro, so causes... John Abbott

18 Jan 2017

18:01 Design #999 (Closed): configuration: include -std=c++03 by default?
After having compile CoCoALib on several newish Linux boxes, I have noticed that there are many warnings about @auto_... John Abbott
15:05 Bug #975: configure: possibly ignore GMP compilation flags
OK, then I should try to change the default behaviour... this evening's "entertainment"? :-/
John Abbott
14:49 Bug #975: configure: possibly ignore GMP compilation flags
John Abbott wrote:
> @Anna: you can check whether you would have problems by configuring with the option *@--ignore-...
Anna Maria Bigatti
 

Also available in: Atom