Project

General

Profile

Activity

From 22 Jan 2017 to 20 Feb 2017

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

03 Feb 2017

23:03 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 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 Feature #1007: (makefile) New "clean" target which does not clean documentation
There are some (GNU) guidelines here:... John Abbott
15:26 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 Feature #1007: (makefile) New "clean" target which does not clean documentation
Another candidate for the name: *@halfclean@*
John Abbott
11:36 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 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 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 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 Support #1006 (In Progress): External dependencies for building
I failed to install LaTeX on the netbook :-( John Abbott
16:29 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 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

30 Jan 2017

07:53 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 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 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
The following works:... John Abbott
08:04 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 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 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 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 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 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 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 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 Feature #996: New function: IdealOfGBasis
Asking for approval: is this name ok?
Anna Maria Bigatti

26 Jan 2017

00:49 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 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 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 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 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 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 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 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 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars
Here is an example:... John Abbott
19:19 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 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 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 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 Design #998 (In Progress): Emacs UI: sending empty input from cocoa5 buffer
Here is another example:... John Abbott
 

Also available in: Atom