Project

General

Profile

Activity

From 21 Apr 2015 to 20 May 2015

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...
Anna Maria Bigatti
19:53 Feature #317 (Resolved): BuiltInFunctions: evalArgAsLong
Anna Maria Bigatti
19:49 Feature #317: BuiltInFunctions: evalArgAsLong
I have implemented in *Interpreter.C* the function *evalArgAsLong* returning a *long*.
I tested it on the definition...
Anna Maria Bigatti
19:12 Feature #485 (Resolved): Initialization for CoCoA-5: file init.cocoa5
Anna Maria Bigatti
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 ...
Anna Maria Bigatti
19:11 Support #717: CoCoAManual: improve part on RINGHOM
Added *Introduction to RINGHOM* and *Composition of RINGHOM* Anna Maria Bigatti
19:08 Support #717 (Closed): CoCoAManual: improve part on RINGHOM
Improve chapter on RINGHOM Anna Maria Bigatti
19:06 Feature #704 (Feedback): rename MinGensGeneral?
All done: Renamed it *MinSubsetOfGens* and documented Anna Maria Bigatti
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...
John Abbott
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... John Abbott
17:57 Feature #622: New function: RandomSubset
I have checked in @RandomSubsetIndices@ and @RandomTupleIndices@ (in CoCoALib); also the interface fns in @BuiltinFun... John Abbott
17:20 Feature #622: New function: RandomSubset
John Abbott wrote:
> I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names ...
Anna Maria Bigatti
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.....
John Abbott
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...
Anna Maria Bigatti
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 ...
John Abbott
13:50 Feature #622: New function: RandomSubset
I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names are very long :-/
N...
John Abbott
12:48 Feature #622 (Feedback): New function: RandomSubset
Anna Maria Bigatti
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".
...
Anna Maria Bigatti
11:41 Feature #622: New function: RandomSubset
I added to NotBuiltin.cpkg the functions... Anna Maria Bigatti
10:38 Feature #622: New function: RandomSubset
I suggest having also @RandomTuple(n,r)@ which is indeed pretty simple: in CoCoA... Anna Maria Bigatti
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). ...
Anna Maria Bigatti
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... John Abbott
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...
Anna Maria Bigatti
12:34 Support #616: Release: CoCoA-5.1.2
First run of... Anna Maria Bigatti

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!
John Abbott
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... John Abbott

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...
John Abbott
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...
John Abbott
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...
John Abbott
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-... John Abbott
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... John Abbott
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... John Abbott
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...
John Abbott
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 ... John Abbott
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...
Anna Maria Bigatti
17:10 Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?
Anna Maria Bigatti
16:57 Support #706 (Resolved): meaningful error for IDEAL <= IDEAL
Done. Anna Maria Bigatti
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... John Abbott
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...
John Abbott
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 :-(...
Anna Maria Bigatti
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... John Abbott
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.
Anna Maria Bigatti
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... John Abbott
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... John Abbott
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... John Abbott
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 ... John Abbott

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... John Abbott
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... John Abbott
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...
John Abbott
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...
John Abbott
09:51 Feature #700 (Feedback): Which external libs are present?
John Abbott

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...
Anna Maria Bigatti
11:27 Feature #704 (Closed): rename MinGensGeneral?
there are two functions: *MinGens* (for homogeneous case) and *MinGensGeneral* (trivial algorithm for non homogenous ... Anna Maria Bigatti
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...
Anna Maria Bigatti
10:55 Bug #643 (Feedback): GenRepr fails if there are zero generators
Done (hilop.cpkg5) Anna Maria Bigatti
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.
Anna Maria Bigatti
09:03 Feature #702 (New): Add more operations for modules
Anna Maria Bigatti

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... John Abbott
16:41 Feature #700: Which external libs are present?
Done.
Just fiddling with the string returned by...
Anna Maria Bigatti
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...
John Abbott
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.
John Abbott

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...
Anna Maria Bigatti
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... John Abbott
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...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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... Anna Maria Bigatti

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...
John Abbott

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? ...
John Abbott
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@)... John Abbott

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?
John Abbott
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 ...
Anna Maria Bigatti

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 ;-)
...
Anna Maria Bigatti
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...
John Abbott
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... John Abbott
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 ... John Abbott
 

Also available in: Atom