CoCoA » CoCoALib

01 Mar 2014

10:06 Feature #209: ReadExpr: input polynomials in CoCoALib

added RingElemInput in documentation (cvs-ed)
(work in progress) Anna Maria Bigatti

10:03 Support #452: Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners)

I added an entry to the CoCoALib documentation. (cvs-ed)
Just started
Anna Maria Bigatti

09:31 Support #452 (Closed): Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners)

Code is very readable, but some documentation would be nice, wouldn't it?
*2014-07* the documentation is in doc/tx... Anna Maria Bigatti

28 Feb 2014

17:10 Feature #426: ConvertTo with optional arg to give more helpful error message

added example and documentation (cvs-ed) Anna Maria Bigatti

16:30 Feature #426 (Feedback): ConvertTo with optional arg to give more helpful error message

Jon implemented this and forgot to say it?
anyway it is very nice:
code was... Anna Maria Bigatti

19 Feb 2014

21:20 Feature #442 (New): Eigenvectors

Clean up impl of @eigenvectors@ and translate it into C++.
Ideally it should perhaps use algebraic extensions? John Abbott

18 Feb 2014

17:17 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

Thanks Christof for trying the hacked code. I'm both surprised and relieved that there was no significant improvemen... John Abbott

16:11 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

I tried the change. It is really hard to tell if there is a difference. It seems to be slightly faster on some exampl... Christof Soeger

13 Feb 2014

12:02 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

Christof could you make some further tests after modifying slightly the OpenMP version of the @OrdvArith@ code I sent... John Abbott

12 Feb 2014

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

My non-authorative solution is... Winfried Bruns

11 Feb 2014

20:10 Feature #440: Port RealRoots to C++

Make the code prefer "binary rationals" as much as possible; exploit this fact when evaluating the polynomial. In an... John Abbott

20:04 Feature #440 (New): Port RealRoots to C++

Port the @RealRoots@ code to C++ so that it is accessible to CoCoALib users!
I hope that a well-written port might... John Abbott

09 Feb 2014

16:52 Support #438: Polynomial multiplication (product of RingElem)

I am sorry for having raised a non-issue.
Regarding NumTerms: is it a data field of the polynomial or is it compu... Winfried Bruns

16:08 Support #438: Polynomial multiplication (product of RingElem)

Winfried Bruns wrote:
> I think it is a question that needs careful testing before any changes should be done. As ob... Anna Maria Bigatti

12:48 Support #438: Polynomial multiplication (product of RingElem)

I think it is a question that needs careful testing before any changes should be done. As observed by John and mentio... Winfried Bruns

09:50 Support #438 (In Progress): Polynomial multiplication (product of RingElem)

In @SparsePolyRing.C -- myMul@ there is this code... Anna Maria Bigatti

08 Feb 2014

15:40 Support #438: Polynomial multiplication (product of RingElem)

[from an email sent to Bruns] I do recall that there are complications for inserting the terms in the correct order; ... John Abbott

15:33 Support #438 (In Progress): Polynomial multiplication (product of RingElem)

Bruns asks whether @f*g@ and @g*f@ take the same time or whether one way round is better than the other. He mentions... John Abbott

15:18 Feature #437 (In Progress): MemPool: order free blocks?

Computation speed in C5 often degrades over time; I think this may be due to loss of data locality in the RAM. In an... John Abbott

15:14 Feature #142 (In Progress): Improve threadsafety

John Abbott

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

This function seems to be optimal.
What is the authorative function for the converse transformation ZZ[X] --> QQ[X] ? Winfried Bruns

07 Feb 2014

00:47 Feature #436 (New): Improve UPoly eval at BigRat for binary rational

It should be possible to make @EvalUPoly@ faster for binary rationals (_i.e._ whose denom is a power of 2)
John Abbott

04 Feb 2014

19:42 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

On our compute server with 20 threads the performance was about 5% better with the OpenMP adaptation for some medium ... Christof Soeger

03 Feb 2014

18:53 Feature #222: Printing polynomials - spaces between terms

I notice in @SparsePolyRing.C:551@ that there is a check via @IsPrintAtom@. The documentation says _true iff arg doe... John Abbott

18:24 Feature #222: Printing polynomials - spaces between terms

In note 6 I unwittingly overlooked some (important?) points: for instance I did not consider compound coefficients in... John Abbott

17:37 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

CVS
time nmzIntegrate -E CondEffPlurSymm-100
nmzIntegrate -E CondEffPlurSymm-100 218,09s user 0,69s system 385% cpu... Christof Soeger

12:43 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

OK, I'll try to rewrite it -- maybe even this afternoon while invigilating!
John Abbott

11:47 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

I did some tests and the timings were exactly the same. So I checked again. I only have a version which still include... Christof Soeger

11:07 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE

Yes, I still have it and will give it a try. Christof Soeger

15:27 Design #432: Semantics of IsPrintedWithMinus

Anna rightly asked how should TwinFloats be handled.
Right now, I'm undecided. I'm quite sure that any polynomial... John Abbott

12:49 Design #432 (In Progress): Semantics of IsPrintedWithMinus

If we follow the suggestion in note 6 of issue #222 then we need to define @IsPrintedWithMinus@ only for numerical ri... John Abbott

01 Feb 2014

10:20 Feature #222: Printing polynomials - spaces between terms

I would prefer a symmetric appearance, either no space around the + sign or a blank on bothsides.
But it is a mat... Winfried Bruns

31 Jan 2014

20:32 Feature #222: Printing polynomials - spaces between terms

This issue has been sitting idle for a year. We should decide, and then implement!
*Addendum:* JAA thinks that a le... John Abbott

20:29 Design #432 (In Progress): Semantics of IsPrintedWithMinus

We should clarify what the semantics of @IsPrintedWithMinus@ are.
I suggest that if @IsPrintedWithMinus(x)@ gives ... John Abbott

20:25 Design #429 (In Progress): factorization: public data fields, or mem fns allowing the fields to be updated.

John and Anna talked about Christof's proposal, and both believe it is a good idea! :-)
John will look at existing... John Abbott

20:17 Bug #413 (Feedback): OrdvArith: use of a single buffer is NOT THREADSAFE

@Christof, I have unclosed the issue because Anna proposed to redo your long computation using impl *(B)*, just to co... John Abbott

19:47 Feature #431 (Resolved): NewPolyRing_DMPI has no constructor with a predefined PPM

Wow I wrote something that actually works?? :-)
Bonus extra 10% for this issue :-)
Now I'll have to write a test,... John Abbott

11:16 Feature #431 (In Progress): NewPolyRing_DMPI has no constructor with a predefined PPM

John implemented it. Works for me. Christof Soeger