CoCoA

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