Activity
From 24 Apr 2015 to 23 May 2015
22 May 2015
- 18:44 Feature #719: Readline: consider creating a textual interpreter with readline
- John Abbott wrote:
> What to do?
> * *(A)* one possibility is to offer a command line arg to @CoCoAInterpreter@ whi... - 18:35 Feature #719: Readline: consider creating a textual interpreter with readline
- The CoCoA-5 tests passed with @readline@ active. So I have checked in (to reduce the risk of losing the code).
St... - 18:25 Feature #719: Readline: consider creating a textual interpreter with readline
- Compilation of @CoCoAInterpreter@ with require the option @-lreadline@ if the readline library is to be used.
- 18:17 Feature #719: Readline: consider creating a textual interpreter with readline
- There is some problem with lines longer than 1023 chars. I think it is an Emacs/comint problem because cutting and p...
- 18:04 Feature #719: Readline: consider creating a textual interpreter with readline
- I had to change just one line in @Main.C@ (and add some @#include@ directives).
What to do?
* *(A)* one possibili... - 17:45 Feature #719: Readline: consider creating a textual interpreter with readline
- I have an apparently working first prototype :-)
- 16:52 Feature #719: Readline: consider creating a textual interpreter with readline
- JAA does not want to make @readline@ mandatory for compiling CoCoALib, nor even CoCoA-5.
So @readline@ will become a... - 16:46 Feature #719 (In Progress): Readline: consider creating a textual interpreter with readline
- I have downloaded and built readline-6.3.
Building was non-trivial: by default it compiled 32-bit (not compatible ... - 14:14 Feature #720: External libs: specifying I/O streams (initialization?)
- @CoCoAInterpreter@ works just fine because the default streams in @libnormaliz@ are @cout@ and/or @cerr@ which is wha...
21 May 2015
- 17:53 Feature #720 (New): External libs: specifying I/O streams (initialization?)
- libnormaliz needs to be informed of two output streams: one for logging info (in "verbose" mode), the other for error...
- 17:47 Feature #719 (Closed): Readline: consider creating a textual interpreter with readline
- This was discussed in March 2009 via email. I will copy the essence of the messages here.
Christof would greatly ... - 15:23 Bug #713 (In Progress): External libs: interrupting not easy
- It is probably best to KISS: _i.e._ just have a straightforward signal handler which simply sets the flag. If this p...
- 11:57 Slug #709: Speed of some Normaliz calls (NmzComputation)
- Attempts to profile the running program on my computer failed :-(
@gprof@ does not work properly in MacOSX, and ther... - 11:34 Slug #709: Speed of some Normaliz calls (NmzComputation)
- With Christof we ran a side-by-side comparison (on my machine) with "verbose" activated.
The run under CoCoA-5 was a... - 11:26 Slug #709: Speed of some Normaliz calls (NmzComputation)
- On my machine (MacBook Pro with OSX 10.5.8, compiler version 4.2.1)
Normaliz 2.12 took 9mins (about 550s)
CoCoA-5 ... - 11:19 Slug #709: Speed of some Normaliz calls (NmzComputation)
- Here is the original Normaliz input file (called @5x5.in@ in their source tree):...
- 11:17 Slug #709: Speed of some Normaliz calls (NmzComputation)
- Here is body of the CoCoALib code I used to speed testing in CoCoALib:...
- 11:15 Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)
- Here is the input I was giving to CoCoA-5...
20 May 2015
- 20:09 Feature #317: BuiltInFunctions: evalArgAsLong
- ... I liked it so much I also changed *RandomTupleIndices*, *IsZeroRow*, *IsZeroCol*.
The code becomes shorter and e... - 19:53 Feature #317 (Resolved): BuiltInFunctions: evalArgAsLong
- 19:49 Feature #317: BuiltInFunctions: evalArgAsLong
- I have implemented in *Interpreter.C* the function *evalArgAsLong* returning a *long*.
I tested it on the definition... - 19:12 Feature #485 (Resolved): Initialization for CoCoA-5: file init.cocoa5
- 17:31 Feature #485: Initialization for CoCoA-5: file init.cocoa5
- Anna Maria Bigatti wrote:
> the general @init@ file now works well.
> I don't think there is a particular need for ... - 19:11 Support #717: CoCoAManual: improve part on RINGHOM
- Added *Introduction to RINGHOM* and *Composition of RINGHOM*
- 19:08 Support #717 (Closed): CoCoAManual: improve part on RINGHOM
- Improve chapter on RINGHOM
- 19:06 Feature #704 (Feedback): rename MinGensGeneral?
- All done: Renamed it *MinSubsetOfGens* and documented
- 18:33 Feature #711: External Libs: print credits?
- Now I'm less sure about using a @std::map@ since it might be difficult and/or costly to make it threadsafe.
Probab... - 18:16 Feature #711: External Libs: print credits?
- I spoke to Christof about the idea of recording when ext libs are actually used (_e.g._ see my suggestion of counters...
- 17:57 Feature #622: New function: RandomSubset
- I have checked in @RandomSubsetIndices@ and @RandomTupleIndices@ (in CoCoALib); also the interface fns in @BuiltinFun...
- 17:20 Feature #622: New function: RandomSubset
- John Abbott wrote:
> I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names ... - 15:40 Feature #622: New function: RandomSubset
- Checked in.
You'll have to remove @interrupt.C@ from @src/AlgebraicCore/Makefile@ until I can check those files in..... - 15:28 Feature #622: New function: RandomSubset
- John Abbott wrote:
> Where should the new functions go?
>
> Currently they are in a new file @combinatorics.C@ be... - 15:22 Feature #622: New function: RandomSubset
- Where should the new functions go?
Currently they are in a new file @combinatorics.C@ because I could not see any ... - 13:50 Feature #622: New function: RandomSubset
- I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names are very long :-/
N... - 12:48 Feature #622 (Feedback): New function: RandomSubset
- 12:04 Feature #622: New function: RandomSubset
- documentation done (and cvs'ed)
When we implement the "Indices" in CoCoALib we'll remove them from "NotBuiltin".
... - 11:41 Feature #622: New function: RandomSubset
- I added to NotBuiltin.cpkg the functions...
- 10:38 Feature #622: New function: RandomSubset
- I suggest having also @RandomTuple(n,r)@ which is indeed pretty simple: in CoCoA...
- 15:42 Bug #716: NotBuiltin.cpkg5: indent for MODULE
- John Abbott wrote:
> On line 126 when @indent@ prints out a submodule, it prints out the letter @F@ (in a string). ... - 15:19 Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE
- On line 126 when @indent@ prints out a submodule, it prints out the letter @F@ (in a string). Is this right? I supp...
- 13:10 Support #548 (Resolved): Printing rings with ID
- John Abbott wrote:
> I think it has just been forgotten; it seems like a good idea to me. Indeed now that direct pr... - 12:34 Support #616: Release: CoCoA-5.1.2
- First run of...
19 May 2015
- 17:24 Feature #652: Flag to enable/disable printing of list of loaded packages
- The C5 GUI still prints out the packages as they are loaded. Fix!
- 13:38 Feature #711: External Libs: print credits?
- I think that @Banner.C@ is a reasonable place to put it. I have cleaned up the code slightly; it now also prints out...
18 May 2015
- 21:35 Bug #713: External libs: interrupting not easy
- GNU has some useful looking documentation:
@http://www.gnu.org/software/libc/manual/html_node/Signal-Sets.html#Signa... - 21:09 Bug #713: External libs: interrupting not easy
- I am considering the following behaviour:
* each time ctrl-C is received a counter is increased
* if the CoCoA inte... - 21:01 Bug #713: External libs: interrupting not easy
- I have found this web page which gives some advice:
@http://stackoverflow.com/questions/103280/portable-way-to-catch... - 16:31 Bug #713: External libs: interrupting not easy
- Christof has tried some experiments with GAP, and he noticed that a single ctrl-C appeared to do nothing, but 2 ctrl-...
- 16:25 Bug #713: External libs: interrupting not easy
- Another possible (simple) approach is to offer a command line flag which stops @CoCoAInterpreter@ from intercepting s...
- 15:44 Bug #713: External libs: interrupting not easy
- Perhaps the best solution would be to leave the code as it is, and to write better documentation. After all a call t...
- 15:42 Bug #713: External libs: interrupting not easy
- Remember that a (portable) signal handler cannot do much.
Christof was puzzled when running some Normaliz tests th... - 15:35 Bug #713 (Closed): External libs: interrupting not easy
- @CoCoAInterpreter@ intercepts @SIGTERM@ signals; this means that a long computation happening inside an external lib ...
- 17:14 Bug #698 (Resolved): Emacs UI: problems with packages on windows
- John Abbott wrote:
From issue #699:
<quote>
JAA notes that Emacs lisp has the built-in variable system-type whic... - 17:10 Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- 16:57 Support #706 (Resolved): meaningful error for IDEAL <= IDEAL
- Done.
- 15:24 Bug #712 (In Progress): External Libs: missing dependencies in Makefiles
- The CoCoALib binaries related to Normaliz (_e.g._ *@ExternalLibs-Normaliz.o@*) do not depend on the Normaliz source f...
- 15:20 Feature #708: ExternalLib Normaliz: verbose flag?
- Christof says that Normaliz uses a @bool@.
Should CoCoALib simply follow what Normaliz does for its normaliz relat... - 15:02 Feature #711: External Libs: print credits?
- Anna Maria Bigatti wrote:
> Done in init.cpkg5.... but that's not good: it does not see the "--no-preamble" flag :-(... - 12:21 Feature #711: External Libs: print credits?
- We would like authors to cite CoCoA when they use in the their research. Presumably then they should also cite any e...
- 12:12 Feature #711 (In Progress): External Libs: print credits?
- Done in init.cpkg5.... but that's not good: it does not see the "--no-preamble" flag :-(
undoing it.
- 11:11 Feature #711: External Libs: print credits?
- I propose printing out a message about external libraries at the same time as the banner is printed out -- and the me...
- 11:05 Feature #711: External Libs: print credits?
- One piece of software printed out a message every time a Normaliz function was called: this produced thousands of mes...
- 10:59 Feature #711 (Closed): External Libs: print credits?
- At the Normaliz workshop I noticed that two other pieces of software printed out "credits" when external libraries we...
- 10:38 Feature #700: Which external libs are present?
- It would also be nice if there were an indication of which version of each external library is present. The ability ...
17 May 2015
- 10:33 Slug #709: Speed of some Normaliz calls (NmzComputation)
- *TO DO* JAA can try the same computation but from CoCoALib; perhaps some time is spent converting to CoCoA-5 data str...
- 10:17 Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)
- JAA has done a few speed comparisons between calling @normaliz@ directly from the command line and calling @NmzComput...
- 10:12 Feature #708: ExternalLib Normaliz: verbose flag?
- Some ideas are:
* a global flag which says what the default verbosity is
* an optional arg to calls to Normaliz whi... - 09:55 Feature #708 (Closed): ExternalLib Normaliz: verbose flag?
- Is it possible to make Normaliz be verbose from the CoCoA-5 interface?
Christof says he/they often find it help to s... - 09:51 Feature #700 (Feedback): Which external libs are present?
15 May 2015
- 14:01 Support #706 (Closed): meaningful error for IDEAL <= IDEAL
- CoCoA-4 had the syntax @I <= J@ which is now computed via @IsContained(I, J)@.
Investigate on how to return a meanin... - 11:27 Feature #704 (Closed): rename MinGensGeneral?
- there are two functions: *MinGens* (for homogeneous case) and *MinGensGeneral* (trivial algorithm for non homogenous ...
- 11:03 Feature #466 (Feedback): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
- Anna Maria Bigatti wrote:
> Added entry "All CoCoA Commands".
> It only gives the list of entries with type "comman... - 10:55 Bug #643 (Feedback): GenRepr fails if there are zero generators
- Done (hilop.cpkg5)
- 09:05 Feature #702: Add more operations for modules
- Add more module operations: +, colon, ...
Not much to do for CoCoA-5: most of the work is proper design in CoCoALib. - 09:03 Feature #702 (New): Add more operations for modules
13 May 2015
- 17:20 Feature #700: Which external libs are present?
- JAA and AMB think that there is little need to have a similar function in CoCoALib since there are the CPP defines @C...
- 16:41 Feature #700: Which external libs are present?
- Done.
Just fiddling with the string returned by... - 12:09 Feature #700: Which external libs are present?
- Some ideas:
* a function @ExternalLibs@ which returns a list of strings
* a function @HaveExternalLib@ which expect... - 12:08 Feature #700 (Closed): Which external libs are present?
- It might be nice to have a way in CoCoA-5 to know which external libs are actually present.
12 May 2015
- 18:20 Bug #699: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- John Abbott wrote:
> JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information abo... - 17:13 Bug #699: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- JAA notes that Emacs lisp has the built-in variable *@system-type@* which gives information about which OS is running...
- 17:09 Bug #699: Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- Anna Maria Bigatti wrote:
> So, we cannot remember why we did this change: probably to allow spaces in path.
We r... - 16:47 Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
- In earlier versions @cocoa5-executable@ was @CoCoAInterpreter@.
Now it is the script @cocoa5@ (and this caused prob... - 15:36 Bug #698: Emacs UI: problems with packages on windows
- The problem was solved and tested on a student's computer.
It is enough to add one line in the file *<cocoadir>/emac... - 15:29 Bug #698 (Closed): Emacs UI: problems with packages on windows
- The recent installation of CoCoA for the Computer Algebra course in Genoa showed a problem on Windows in finding pack...
11 May 2015
- 14:43 Bug #697 (Closed): Interpreter: Avoid outputting an empty line after each line of input
- CoCoA-5 prints an empty line after each input line which outputs nothing.
Might be related to the fact that standa...
08 May 2015
- 13:32 Feature #622 (In Progress): New function: RandomSubset
- Following CoCoALib conventions the return type should be @vector<long>@.
What should the values in the vector be? ... - 11:21 Feature #652: Flag to enable/disable printing of list of loaded packages
- The excesive verbosity has arisen again: @Rank@ was exported from 2 packages (@BackwardCompatible@ and @obsolescent@)...
04 May 2015
- 15:43 Support #692: Local variables hiding out ones at top level
- In the example given I note that @x@ is actually a *protected* variable -- perhaps even more reason for a warning?
- 15:11 Support #692 (Rejected): Local variables hiding out ones at top level
- In function definitions local variables hiding outer ones are signalled by a Warning.
At top level not. This might ...
24 Apr 2015
- 17:59 Feature #622: New function: RandomSubset
- Let's start with just yours, for many reasons:
- it is simpler, as you said
- indeed that's also what I needed ;-)
... - 11:23 Feature #622: New function: RandomSubset
- We could simply have both; that way the user can choose which is more convenient (or efficient).
If we do choose t... - 11:20 Feature #622: New function: RandomSubset
- I wanted a @RandomSubset@ function which generated a random subset of @1..n@ of cardinality @r@. I was surprised whe...
- 11:34 Feature #531: Package protected variables should know which package protected them
- I do find it annoying when CoCoA says that name @XYZ@ is a package-exported variable but then does not tell me which ...
Also available in: Atom