CoCoA

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

01 Feb 2017

21:49 CoCoALib 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 CoCoALib 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 CoCoALib Feature #1005 (Closed): Makefile: install target for CoCoALib

There should be an *@install@* target for CoCoALib.
John Abbott

21:44 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #1001: CoCoALib: ideas for student projects

Translate a cocoa-5 function from a package into CoCoALib.
* *@GCDList@* (@coclib.cpkg5@)
* *@FactorUnivariate@* ... Anna Maria Bigatti

07:53 CoCoA-5 Feature #737: Elementary transcendental functions (sin, cos, tan, log, exp)

I have a package myself called @taylor@.
Maybe I could show it to you and decide. Anna Maria Bigatti

27 Jan 2017

15:59 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)

Think about the following valid CoCoA-5 code:... John Abbott

15:44 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)

The following works:... John Abbott

08:04 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)

This, not surprisingly, doesn't work ;-)... Anna Maria Bigatti

15:54 CoCoA-5 Feature #1003 (In Progress): New syntax for creating poly rings?

I do not believe that there will be ambiguity: consider the expression *@OBJ[string]@*
* if *@OBJ@* is a record the... John Abbott

07:42 CoCoA-5 Feature #1003: New syntax for creating poly rings?

Remember the syntax @NewPolyRing(QQ, "x,y,z");@. That's very expressive!
Anna Maria Bigatti

07:40 CoCoA-5 Feature #1003: New syntax for creating poly rings?

Neat idea, but I think we would still have the ambiguity between:
@K["x"]@ and @F["factors"]@ for records (very usef... Anna Maria Bigatti

15:50 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"

Is it possible to make links/references from normal manual pages to/from the page about CoCoA commands?
I note that ... John Abbott

07:51 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"

(I thought I had already replied on this one, strange...)
As is (think of the pdf version), the manual only knows ... Anna Maria Bigatti

15:46 CoCoA-5 Feature #912: Add TUTORIALs to online manual

Anna would you be willing to help me propel this issue forwards over the next month.
The minicourse will be on 27+28... John Abbott

07:53 CoCoA-5 Feature #912: Add TUTORIALs to online manual

John Abbott wrote:
> Here is a proposal for how we could organize tutorials as manual pages in CoCoA-5.
> Tutorial ... Anna Maria Bigatti

08:05 CoCoA-5 Feature #996: New function: IdealOfGBasis

Asking for approval: is this name ok?
Anna Maria Bigatti

26 Jan 2017

00:49 CoCoA-5 Feature #1003: New syntax for creating poly rings?

One problem it does not solve is how to write something like @QQ[alpha]/(alpha^2-2)@ since we cannot create the ideal... John Abbott

00:46 CoCoA-5 Feature #1003: New syntax for creating poly rings?

Some advantages are:
* do not need operator *@::=@* to introduce special syntax (valid only in a special context)
*... John Abbott

00:40 CoCoA-5 Feature #1003 (In Progress): New syntax for creating poly rings?

Here is an idea which could make creating poly rings a "normal case" rather than a "special case".
Instead of havi... John Abbott

25 Jan 2017

08:35 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

John Abbott wrote:
> I reiterate my suggestion to make @cocoa5-send-line@ send nothing to CoCoA-5 if the line it is ... Anna Maria Bigatti

24 Jan 2017

21:12 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

The following file will give different results (but no errors) if you read the whole file in one go, or send the file... John Abbott

19:55 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

I think Anna might like to skip over minus signs since she sometimes uses a line of minus signs to separate sections ... John Abbott

19:31 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

This leads naturally to the question: which chars do we want to skip over?
At least: Newline, space and tab.
Anyt... John Abbott

19:25 CoCoA-5 Bug #1002 (In Progress): Emacs UI: cocoa5-send-line skips too many chars

The problem lies in the "mysterious" regexp given to @skip-chars-forward@.
Currently the regexp is *@"-*\n-*"@* but ... John Abbott

19:21 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

Here is an example:... John Abbott

19:19 CoCoA-5 Bug #1002 (Closed): Emacs UI: cocoa5-send-line skips too many chars

While trying to understand how @cocoa5-send-line@ works, I discovered that it can skip too far forwards sometimes.
... John Abbott

19:35 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

I reiterate my suggestion to make @cocoa5-send-line@ send nothing to CoCoA-5 if the line it is on contains only white... John Abbott

18:56 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

Another possibility is to make @cocoa5-send-line@ insert a newline into the buffer if the line (is non-empty and) doe... John Abbott

08:27 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

John Abbott wrote:
> Here is another example:
> [...]
> where the last line does not have a "newline" at the end.
... Anna Maria Bigatti

23 Jan 2017

19:11 CoCoA-5 Design #998 (In Progress): Emacs UI: sending empty input from cocoa5 buffer

Here is another example:... John Abbott

15:20 CoCoALib 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 CoCoALib 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