Activity
From 18 Jan 2017 to 16 Feb 2017
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 :-(
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... - 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... - 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 ...
- 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... - 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...
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...
- 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?...
- 15:35 Feature #1007: (makefile) New "clean" target which does not clean documentation
- There are some (GNU) guidelines here:...
- 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... - 15:12 Feature #1007: (makefile) New "clean" target which does not clean documentation
- Another candidate for the name: *@halfclean@*
- 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 ...
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 ...
- 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...
- 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...
- 17:41 Support #1006 (In Progress): External dependencies for building
- I failed to install LaTeX on the netbook :-(
- 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?
- 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 ...
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.
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:...
- 15:44 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
- The following works:...
- 08:04 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
- This, not surprisingly, doesn't work ;-)...
- 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... - 07:42 Feature #1003: New syntax for creating poly rings?
- Remember the syntax @NewPolyRing(QQ, "x,y,z");@. That's very expressive!
- 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... - 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 ... - 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 ... - 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... - 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 ... - 08:05 Feature #996: New function: IdealOfGBasis
- Asking for approval: is this name ok?
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...
- 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)
*... - 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...
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 ...
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...
- 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 ...
- 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... - 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 ... - 19:21 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars
- Here is an example:...
- 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.
... - 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...
- 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...
- 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.
...
23 Jan 2017
- 19:11 Design #998 (In Progress): Emacs UI: sending empty input from cocoa5 buffer
- Here is another example:...
19 Jan 2017
- 14:44 Support #1000: CoCoAManual for "all cocoa commands"
- This is issue 1000! What a shame it is such a boring matter... well, I suppose most of the issues are rather dull :-/
- 12:55 Support #1000: CoCoAManual for "all cocoa commands"
- Here are some commands which do not appear in the list:...
- 12:53 Support #1000 (Closed): CoCoAManual for "all cocoa commands"
- Which commands should appear in the list produced when asking the manual for *@all cocoa commands@*?
At the moment... - 12:51 Feature #912: Add TUTORIALs to online manual
- Now that I have a CoCoA minicourse planned for late February, it is a good time to reactivate this task.. but how to ...
18 Jan 2017
- 17:30 Design #998: Emacs UI: sending empty input from cocoa5 buffer
- Consider a buffer containing the following:...
- 17:22 Design #998 (Closed): Emacs UI: sending empty input from cocoa5 buffer
- What should the correct behaviour be when sending "empty input" to CoCoA-5 from a @cocoa5-mode@ buffer in Emacs.
C... - 17:17 Bug #945 (In Progress): Emacs UI: comint buffer silently truncates(?) long lines when sending
- 13:03 Design #997 (In Progress): Using protected variable names for "bound variables" (e.g. for, try...endtry)
- I note also that "protected names" are allowed as formal parameters for user defined fns: _e.g._ the following works ...
- 11:44 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
- The following example does nothing embarrassing:...
- 11:38 Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry)
- I was surprised the following did not produce any error about protected variables:...
Also available in: Atom