Activity
From 19 May 2015 to 17 Jun 2015
11 Jun 2015
-
08:28 Feature #732 (Feedback): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4)
- mostly done (with some more cleaning and testing to do)
-
- Luis Garcia wrote a package for CoCoA-4. Port it to CoCoA-5.
-
-
- First prototype
-
- Implement Primary Decomposition in CoCoA-5
10 Jun 2015
-
- > *REPLY (JAA)* I think what confused me was that in the CoCoA-5 output window the cursor was at the end of the outpu...
08 Jun 2015
-
- John Abbott wrote:
> I recently tried using @C-c C-p@ and found it unhelpful; so I "stupidly" tried it a second time,...
06 Jun 2015
-
23:04 Bug #148: C-c C-p in emacs goes to wrong line
- I recently tried using @C-c C-p@ and found it unhelpful; so I "stupidly" tried it a second time, and found that it wa...
-
- The emacs command @C-c C-f@ send a @source@ command to CoCoA-5, so CoCoA-5 reads the file on disk which may not be th...
-
- I think a "global variable" is a reasonable design for this task.
There is a "philosophical" question: is a qualif... -
- I would like to have a user controllable "verbosity level" in a package. How should this be done?
I had thought o...
02 Jun 2015
-
- It is not quite as easy as I had hoped. Every so often zero polynomials pop up in awkward places (_e.g._ to be facto...
-
- I have disabled the zero-dimensionality check if the coeff ring is a finite field.
In one simple test that seems t... -
- Is it just enough to skip the check for zero-dimensionality in this case?
(if so, that's a really simple fix)
-
- I ran the example given in issue #723 which tries to compute all rational solutions over a finite field of a homogene...
-
- Yes and no. I thought the topic had come up recently, but did not find it on redmine.
Perhaps the manual page for @... -
- Is this what you want? (From the manual ;-)...
-
- The existing function @indets("s")@ almost does what I want except that the result is a list rather than an @INTMAP@....
-
- Here is an example I want to run (NB it is very slow)...
-
- I would like to be able to refer to multi-index indets in a poly ring using their multiple indices... where the ring ...
-
13:19 Feature #719: Readline: consider creating a textual interpreter with readline
- A commandline option to disable readline is probably a good idea. It is the most flexible.
You can then also add some... -
- I have just read some documentation for @readline@ and also looked online. We're not the first people to have proble...
-
- Clearly, I was too hasty with my hack to add @readline@ :-(
I know @READLINE@ appears twice at the start -- don't ... -
- And it also works fine for me. Is it also possible to include a tab-completion? :)
Only problem is that the tests of... -
- My first try was not successfull. Durign the configure I got...
01 Jun 2015
-
- Depending on the source files would maybe be to much. It can not know how to recompile the external library.
What I ...
30 May 2015
-
- If we do implement some scheme for recognising use of external libraries, probably we should also do something simila...
26 May 2015
-
- (I had to do a bit of updating and adaptations) it compiles and works well.
Under emacs, both in shell and in comi...
25 May 2015
-
- Strictly the headers for @readline@ are needed only for compiling @LineProviders.C@.
Similarly @libreadline.a@ is ne...
24 May 2015
-
- It's not perfect (_e.g._ prints out READLINE twice in the list of ext libs).
Checking in anyway, as I must go now.
-
- I have just updated @configure@. If a quick test passes, I'll check in.
Currently it is a bit of a hack: _e.g._ it ...
22 May 2015
-
- John Abbott wrote:
> What to do?
> * *(A)* one possibility is to offer a command line arg to @CoCoAInterpreter@ whi... -
- The CoCoA-5 tests passed with @readline@ active. So I have checked in (to reduce the risk of losing the code).
St... -
- Compilation of @CoCoAInterpreter@ with require the option @-lreadline@ if the readline library is to be used.
-
- There is some problem with lines longer than 1023 chars. I think it is an Emacs/comint problem because cutting and p...
-
- I had to change just one line in @Main.C@ (and add some @#include@ directives).
What to do?
* *(A)* one possibili... -
- I have an apparently working first prototype :-)
-
- JAA does not want to make @readline@ mandatory for compiling CoCoALib, nor even CoCoA-5.
So @readline@ will become a... -
- I have downloaded and built readline-6.3.
Building was non-trivial: by default it compiled 32-bit (not compatible ... -
- @CoCoAInterpreter@ works just fine because the default streams in @libnormaliz@ are @cout@ and/or @cerr@ which is wha...
21 May 2015
-
- libnormaliz needs to be informed of two output streams: one for logging info (in "verbose" mode), the other for error...
-
- This was discussed in March 2009 via email. I will copy the essence of the messages here.
Christof would greatly ... -
- It is probably best to KISS: _i.e._ just have a straightforward signal handler which simply sets the flag. If this p...
-
- Attempts to profile the running program on my computer failed :-(
@gprof@ does not work properly in MacOSX, and ther... -
- With Christof we ran a side-by-side comparison (on my machine) with "verbose" activated.
The run under CoCoA-5 was a... -
- On my machine (MacBook Pro with OSX 10.5.8, compiler version 4.2.1)
Normaliz 2.12 took 9mins (about 550s)
CoCoA-5 ... -
- Here is the original Normaliz input file (called @5x5.in@ in their source tree):...
-
- Here is body of the CoCoALib code I used to speed testing in CoCoALib:...
-
- Here is the input I was giving to CoCoA-5...
20 May 2015
-
- ... I liked it so much I also changed *RandomTupleIndices*, *IsZeroRow*, *IsZeroCol*.
The code becomes shorter and e... -
-
- I have implemented in *Interpreter.C* the function *evalArgAsLong* returning a *long*.
I tested it on the definition... -
-
- Anna Maria Bigatti wrote:
> the general @init@ file now works well.
> I don't think there is a particular need for ... -
- Added *Introduction to RINGHOM* and *Composition of RINGHOM*
-
- Improve chapter on RINGHOM
-
- All done: Renamed it *MinSubsetOfGens* and documented
-
- Now I'm less sure about using a @std::map@ since it might be difficult and/or costly to make it threadsafe.
Probab... -
- I spoke to Christof about the idea of recording when ext libs are actually used (_e.g._ see my suggestion of counters...
-
- I have checked in @RandomSubsetIndices@ and @RandomTupleIndices@ (in CoCoALib); also the interface fns in @BuiltinFun...
-
- John Abbott wrote:
> I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names ... -
- Checked in.
You'll have to remove @interrupt.C@ from @src/AlgebraicCore/Makefile@ until I can check those files in..... -
- John Abbott wrote:
> Where should the new functions go?
>
> Currently they are in a new file @combinatorics.C@ be... -
- Where should the new functions go?
Currently they are in a new file @combinatorics.C@ because I could not see any ... -
- I have added defns to CoCoALib of @RandomSubsetIndices@ and @RandomTupleIndices@. These names are very long :-/
N... -
-
- documentation done (and cvs'ed)
When we implement the "Indices" in CoCoALib we'll remove them from "NotBuiltin".
... -
- I added to NotBuiltin.cpkg the functions...
-
- I suggest having also @RandomTuple(n,r)@ which is indeed pretty simple: in CoCoA...
-
- John Abbott wrote:
> On line 126 when @indent@ prints out a submodule, it prints out the letter @F@ (in a string). ... -
- 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 wrote:
> I think it has just been forgotten; it seems like a good idea to me. Indeed now that direct pr... -
- First run of...
19 May 2015
-
- The C5 GUI still prints out the packages as they are loaded. Fix!
-
- I think that @Banner.C@ is a reasonable place to put it. I have cleaned up the code slightly; it now also prints out...
Also available in: Atom