Activity
From 04 Jan 2017 to 02 Feb 2017
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 ...
- 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...
- 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...
- 17:41 CoCoA-5 Support #1006 (In Progress): External dependencies for building
- I failed to install LaTeX on the netbook :-(
- 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?
- 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 ...
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... - 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...
- 16:43 CoCoALib Feature #1005 (Closed): Makefile: install target for CoCoALib
- There should be an *@install@* target for CoCoALib.
- 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... - 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... - 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... - 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...
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@* ... - 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.
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:...
- 15:44 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
- The following works:...
- 08:04 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
- This, not surprisingly, doesn't work ;-)...
- 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... - 07:42 CoCoA-5 Feature #1003: New syntax for creating poly rings?
- Remember the syntax @NewPolyRing(QQ, "x,y,z");@. That's very expressive!
- 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... - 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 ... - 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 ... - 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... - 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 ... - 08:05 CoCoA-5 Feature #996: New function: IdealOfGBasis
- Asking for approval: is this name ok?
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...
- 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)
*... - 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...
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 ...
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...
- 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 ...
- 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... - 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 ... - 19:21 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars
- Here is an example:...
- 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.
... - 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...
- 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...
- 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.
...
23 Jan 2017
- 19:11 CoCoA-5 Design #998 (In Progress): Emacs UI: sending empty input from cocoa5 buffer
- Here is another example:...
- 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...
- 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...
21 Jan 2017
- 22:25 CoCoALib 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@* ...
- 18:07 CoCoALib 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).
- 18:01 CoCoALib 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...
20 Jan 2017
- 16:40 CoCoALib Feature #962: General verbose mode?
- A quick grep suggests that we should check the use of *@clog@* in the following files:
* *@ApproxPts2.C@*
* *@OpenM... - 16:26 CoCoALib 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...
- 15:44 CoCoALib 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... - 15:16 CoCoALib 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... - 14:28 CoCoALib 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... - 14:26 CoCoALib 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...
- 14:11 CoCoALib 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...
19 Jan 2017
- 18:10 CoCoALib Feature #1001: CoCoALib: ideas for student projects
- Here are some ideas:
* write a fn @IsCyclotomic@ for univariate polynomials (based on paper by Bradford+Davenport)
... - 18:05 CoCoALib Feature #1001 (In Progress): CoCoALib: ideas for student projects
- Collect here ideas for potential student projects based on CoCoALib.
- 17:05 CoCoALib 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...
- 14:44 CoCoA-5 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 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"
- Here are some commands which do not appear in the list:...
- 12:53 CoCoA-5 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 CoCoA-5 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
- 18:01 CoCoALib 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_...
- 17:30 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer
- Consider a buffer containing the following:...
- 17:22 CoCoA-5 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 CoCoA-5 Bug #945 (In Progress): Emacs UI: comint buffer silently truncates(?) long lines when sending
- 15:05 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags
- OK, then I should try to change the default behaviour... this evening's "entertainment"? :-/
- 14:49 CoCoALib 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-... - 13:03 CoCoA-5 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 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)
- The following example does nothing embarrassing:...
- 11:38 CoCoA-5 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:...
17 Jan 2017
- 18:20 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags
- @Anna: you can check whether you would have problems by configuring with the option *@--ignore-gmp-cflags@* and then ...
- 15:13 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags
- John Abbott wrote:
> Such a change would not be "backward compatible", but the incompatibility would be noticed only...
15 Jan 2017
- 17:47 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags
- Another email (from Matthias Koeppe) reported much the same problem as Gereon had.
In replying to him, I wondered ...
12 Jan 2017
- 17:11 CoCoA-5 Feature #996 (Closed): New function: IdealOfGBasis
- Consider this case...
11 Jan 2017
- 15:02 CoCoALib Bug #591: Problem with template instantiation and order of include directives
- Mario and I looked in Stroustrup's C++ book (v.4), and the magic phrase appears to be *point-of-instantiation binding...
- 13:24 CoCoA-5 Bug #995 (Resolved): LaTeX(x^10) should use curly brackets
- I think it is enough to change @latex.cpkg5:30@ from @L[I] > 10@ to @L[I] > 9@.
Will check in asap.
- 13:23 CoCoA-5 Bug #995 (Closed): LaTeX(x^10) should use curly brackets
- The latex package handles exponents equal to 10 wrongly: it does not put the exponent in curly brackets.
Fix @late...
10 Jan 2017
- 19:43 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda
- reduced to...
- 11:20 CoCoALib Bug #591: Problem with template instantiation and order of include directives
- There remains the question of how to correctly organize the header files in CoCoALib so that this "wonderful feature"...
- 11:12 CoCoALib Bug #591 (In Progress): Problem with template instantiation and order of include directives
- It really is a C++ trap for the unwary... grrr!
The following code fails to compile because the last line (@iter(v...
09 Jan 2017
- 17:34 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda
- investigating.
On my Mac 33. - 13:36 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda
- I'm trying to compile CoCoA-5.1.5 on my netbook (after a clean reinstall of the system).
To my surprise BOOST inst... - 13:32 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda
- JAA has confirmed the bug (using current internal CVS version).
Marked as urgent because it triggers SEGV, and we ... - 13:28 CoCoA-5 Bug #994 (Closed): SEGV: Toric example from Kazuki Maeda
- 2017 is starting well... :-/
Kazuke Maeda reports the following SEGV problem:
The following repeated computation ... - 16:56 CoCoALib Bug #591: Problem with template instantiation and order of include directives
- The problem persists with g++ 5.3.1. It must be C++ thing, some weird restriction about calling "global" fns from in...
Also available in: Atom