CoCoA

29 Jan 2014

19:50 CoCoALib Design #254 (Resolved): How to return a Hilbert Series in CoCoALib

Now all essentially set.
One thing to decide: factorization of denom is now arbitrary:
Normaliz uses a compact form... Anna Maria Bigatti

19:17 CoCoA-5 Feature #270: Distribution for linux

I suggest generalizing this issue to simplifying the _make a distribution_ process on any platform. There should be ... John Abbott

17:51 Bug #238: Cleaner CVS?

JAA has removed all @Makefile_dependencies@ from CVS.
John Abbott

16:41 Bug #238: Cleaner CVS?

In the CoCoA5 dir also @C5Makefile@ is created (together with C5.pro) and depend on @autoconf.mk@.
So I suggest to re... Christof Soeger

17:48 CoCoALib Feature #218 (In Progress): CoCoALib normaliz interface

added HilbertSeries and multiplicity functions Christof Soeger

16:47 CoCoALib Feature #430 (Feedback): Use -fopenmp flag when compiling CoCoALib with libnormaliz

Resolved the outstanding problem -- the flag had to passed correctly to @qmake@.
JAA has fixed the @make-c5makefile.... John Abbott

16:08 CoCoALib Feature #430 (In Progress): Use -fopenmp flag when compiling CoCoALib with libnormaliz

JAA has written a new script, and added a suitable call to @configure@.
Christof confirms that it works for him, exc... John Abbott

15:38 CoCoALib Feature #430 (Closed): Use -fopenmp flag when compiling CoCoALib with libnormaliz

Right now libnormaliz can be included to CoCoALib only without using OpenMP. We did it this way to have an easier sta... Christof Soeger

14:48 CoCoALib Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))

Regarding the conversion @QQ[x]@ to @ZZ[x]@ clearing denominators, JAA thinks the following is a reasonable approach:... John Abbott

13:55 CoCoALib Feature #407 (Feedback): RingElem ctor from mpz_t (from Bruns)

After discussing with Anna and Christof...
* We *reject the idea of using a "marker"* because it is cumbersome, also... John Abbott

12:27 CoCoALib Bug #149: Makefile dependencies

JAA believes the correct approach is to have separate dependencies for *internal* dependencies and for *external* dep... John Abbott

11:59 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

And it also works with gradings:... Christof Soeger

28 Jan 2014

18:18 CoCoALib Design #429 (Closed): factorization: public data fields, or mem fns allowing the fields to be updated.

Christof was surprised to see that the data fields in a @factorization@ are publicly modifiable. He suggested having... John Abbott

18:04 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib

Anna Maria Bigatti wrote:
> Constructors:
> (RingElem num, factorization<RingElem> DenFactors) -- general
> (vecto... Christof Soeger

18:04 CoCoALib Bug #413 (Feedback): OrdvArith: use of a single buffer is NOT THREADSAFE

Somewhat unexpectedly Christof's tests shows that approach *(C)* is as fast as approach *(B)* but it is also simpler ... John Abbott

18:00 CoCoALib Bug #428 (Feedback): PPMonoidOv is not threadsafe

Christof's tests have all gone well.
The change was simple (but a bit tedious/ugly).
I've even checked-in the code ... John Abbott

12:12 CoCoALib Bug #428: PPMonoidOv is not threadsafe

JAA has modified the code to use local buffers if @CoCoA_THREADSAFE_HACK@ has a positive value.
*15:00* Christof say... John Abbott

12:09 CoCoALib Bug #428 (Closed): PPMonoidOv is not threadsafe

@PPMonoidOv@ uses a "global" buffer much as @OrdvArith@ did.
This is not threadsafe -- Christof has observed crashes... John Abbott

17:55 CoCoALib Support #195 (Feedback): OrdvArith documentation needs rewriting

The doc should now be essentially complete.
Also greatly improved doc for @PPOrdering@.
John Abbott

15:06 CoCoALib Support #195: OrdvArith documentation needs rewriting

A first version of the doc has been written! It even includes comments about thread-safety! John Abbott

17:48 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

Since the HilbertSeries is now availabe in CoCoALib, I also added it to NmzComputation. Example:... Christof Soeger

14:59 CoCoALib Support #234 (Feedback): Update/Improve geobucket documentation

Anna Maria Bigatti

14:48 CoCoALib Feature #233 (Feedback): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>

Final decision is for ConvertTo<BigInt> and ConvertTo<BigRat> Anna Maria Bigatti

14:45 Support #425 (In Progress): Osnabrueck 2014-01

Anna Maria Bigatti

14:40 CoCoA-5 Bug #418 (Feedback): What does interreduce do?

All done Anna Maria Bigatti

13:59 CoCoALib Design #427: Error names and error messages (current design)

Many errors now are called *Not...* (e.g. *NotNonZero*) but that's ambiguous/confusing.
Suggestion: rename them *Need... Anna Maria Bigatti

10:39 CoCoALib Design #427 (In Progress): Error names and error messages (current design)

As a sub-issue of re-designing errors here we note the suggested names. Anna Maria Bigatti

12:13 CoCoALib Feature #248 (Feedback): IsDivisible for RingElem with nice interface

All done (I think) Anna Maria Bigatti

27 Jan 2014

16:11 CoCoALib Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message

The *@ConvertTo@* fn is used extensively in the interface between the C5 interpreter and the CoCoALin fns which actua... John Abbott

15:26 Support #425: Osnabrueck 2014-01

Bruns mentioned sometime ago (1 year?) that CoCoALib-0.9951 was about 20% faster than a later version.
*20140127:* C... John Abbott

14:49 Support #425 (Closed): Osnabrueck 2014-01

Here's what we hope to do during the week here. John Abbott

14:36 CoCoA-5 Feature #367: implement LF/DF for an ideal

LF(ideal) done.
(cvs tomorrow)
Anna Maria Bigatti

13:53 CoCoA-5 Feature #367 (In Progress): implement LF/DF for an ideal

code for LF of a polynomial implemented in october 2012
Anna Maria Bigatti

12:13 CoCoALib Feature #209 (In Progress): ReadExpr: input polynomials in CoCoALib

Anna, Christof & John propose the following for an initial impl:
* input polys are terminated by newline
* the whole ... John Abbott

25 Jan 2014

22:10 CoCoALib Bug #413 (In Progress): OrdvArith: use of a single buffer is NOT THREADSAFE

We should discuss this in Osnabrueck next week.
*(A)* the solution using local buffers in every fn that needs one is... John Abbott

24 Jan 2014

20:47 CoCoA-5 Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5

In issue #313 I have posted an impl of @ElimOrdMat@ which creates a matrix for elimination orderings. This fn lets o... John Abbott

20:40 CoCoALib Feature #313: Elim(vector<long>) as PPOrderingCtor

Anna told me she has an impl (of exactly what I don't recall).
Let's make it available -- I'd like it to be availabl... John Abbott

20:30 CoCoA-5 Bug #418 (Resolved): What does interreduce do?

It would be good to get this issue closed ASAP; it is not especially urgent, but I'd like it fixed before the Alg Com... John Abbott

13:54 CoCoA-5 Design #424: Emacs UI: Name of emacs init file

If we were to use *@.emacs.d/@* then we could put *@cocoa.el@* there; this could make installation easier?
I doubt... John Abbott

12:16 CoCoA-5 Design #424: Emacs UI: Name of emacs init file

Anna is unconvinced by the idea of forcing the user to accept a whole directory. Perhaps we could use the alternativ... John Abbott

11:51 CoCoA-5 Bug #423 (Feedback): Emacs UI: semicolon does not work in emacs-24.3

Using lastest CVS, a quick test passed fine on my machine --> changing state to "feedback".
John Abbott

23 Jan 2014

13:47 CoCoA-5 Bug #423: Emacs UI: semicolon does not work in emacs-24.3

Solved (luckily easier than I feared).
Replaced @last-command-char@ with @last-command-event@
tested on emacs 22,... Anna Maria Bigatti

11:39 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal

Will it be possible to have this fixed by Easter? (_i.e._ before I need it for the Alg Comp course) John Abbott

22 Jan 2014

17:26 CoCoA-5 Design #424 (In Progress): Emacs UI: Name of emacs init file

The current distribution for M$ already includes a *@.emacs.d@* directory, so it is certainly possible to create one,... John Abbott

16:37 CoCoA-5 Design #424: Emacs UI: Name of emacs init file

John Abbott wrote:
> Starting emacs-24.3 with the current (M$) distribution produced a warning about the file name *... Anna Maria Bigatti

16:29 CoCoA-5 Design #424 (In Progress): Emacs UI: Name of emacs init file

Starting emacs-24.3 with the current (M$) distribution produced a warning about the file name *@_emacs@* being obsole... John Abbott

16:23 CoCoA-5 Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3

The current @cocoa5@ emacs code does not work well in emacs 24.3.
Try creating a new @file.cocoa5@ and type into it:... John Abbott

16:13 CoCoA-5 Feature #381: Emacs User Interface: Easier binding for sending a line to cocoa-5

I think it works fine (but then I probably don't use @cua-mode@).
It works also with emacs-24.3.
Any chance of clos... John Abbott

16:09 CoCoA-5 Feature #352: Should SourceRegion echo the "region"?

I have been using @SourceRegion@ for several months now, and definitely appreciate the fact that it does not fill my ... John Abbott

21 Jan 2014

18:11 CoCoA-5 Bug #279: Bug in Radical (actually a RingHom problem)

Here's an old(?) failing case; posting here so that we have a test suite.... John Abbott

16 Jan 2014

16:57 CoCoALib Feature #209: ReadExpr: input polynomials in CoCoALib

Would it make sense to discuss this when we go to Osnabrueck? (in 10 days' time)
*Note: remember this KISS philosophy!* John Abbott

16:38 CoCoA-5 Support #179: TeX documentation for CoCoA-5

> * I had wanted to write 2^31 in the description of a fn, but this caused LaTeX to fail with an error (about missing... Anna Maria Bigatti

16:31 CoCoA-5 Support #179: TeX documentation for CoCoA-5

I've just built the CoCoA-5 LaTeX-PDF documentation; there are several minor problems.
* JAA thinks the fn names in ... John Abbott

07 Jan 2014

16:09 CoCoA-5 Bug #422: Bug or feature for protected name? (Use command)

Damn!!! Emacs is failing to read my entire archive of emails about CoCoALib/CoCoA-5
John Abbott

12:49 CoCoA-5 Feature #421: Allow user to give a name to a ring (in C5)

I remember an old discussion about this topic.
There is this problem (which was not possibible in CoCoA-4)... Anna Maria Bigatti

06 Jan 2014

00:42 CoCoA-5 Bug #422: Bug or feature for protected name? (Use command)

There was an email discussion 2010-11-22 & 2010-11-23.
Perhaps add a summary *here*??
It is peculiar that... John Abbott

00:35 CoCoA-5 Bug #422 (New): Bug or feature for protected name? (Use command)

From email of 2010-11-19
Is this the behaviour we want?... John Abbott

00:26 CoCoA-5 Feature #421 (New): Allow user to give a name to a ring (in C5)

In C4 the command @R ::= QQ[x,y];@ automatically gave the name @R@ to the created ring.
There was a _trick_ to cater... John Abbott

00:20 CoCoALib Feature #420: Allow user to give a name to a ring

From emails exchanged on 2010-11-05...
Anna notes that short printed names are helpful when printing out resolutio... John Abbott

00:14 CoCoALib Feature #420 (New): Allow user to give a name to a ring

In C4 rings had names (single upper case letter, or of the form @R#n@ for integer @n@)
In C5 they do not have name... John Abbott

12:43 CoCoA-5 Feature #419: FloatStr

While we're looking at the C++ version of @FloatStr@ (which works via @MantExp@), try profiling on some larger values... John Abbott

12:37 CoCoA-5 Feature #419 (Closed): FloatStr

@FloatStr@ still uses interpreted C5 code; change it to use the C++ version (which is usefully faster for large numbe... John Abbott