Activity
From 12 Jan 2014 to 10 Feb 2014
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... - 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... - 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...
- 09:50 Support #438 (In Progress): Polynomial multiplication (product of RingElem)
- In @SparsePolyRing.C -- myMul@ there is this code...
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; ...
- 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...
- 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...
- 15:14 Feature #142 (In Progress): Improve threadsafety
- 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] ?
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)
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 ...
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...
- 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...
- 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... - 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!
- 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...
- 11:07 Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFE
- Yes, I still have it and will give it a try.
- 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... - 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...
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...
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... - 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 ... - 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... - 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...
- 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,... - 11:16 Feature #431 (In Progress): NewPolyRing_DMPI has no constructor with a predefined PPM
- John implemented it. Works for me.
30 Jan 2014
- 18:59 Bug #413 (Closed): OrdvArith: use of a single buffer is NOT THREADSAFE
- Several test were successful. I consider it as done.
- 17:18 Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
- Anna pointed out that is already a fn *@ClearDenom@* which does almost what is wanted: it multiplies the polynomial b...
- 17:02 Feature #209 (Feedback): ReadExpr: input polynomials in CoCoALib
- Official part of CoCoALib now.
Even with example in
example/ex-PolyInput2.C
(still missing: documentation)
- 14:10 Feature #209 (Resolved): ReadExpr: input polynomials in CoCoALib
- Example program is done and working fully:
reads any kind expression with + - * / ^ ()
They key was John Abbott's... - 16:36 Feature #431 (Closed): NewPolyRing_DMPI has no constructor with a predefined PPM
- We would like to do ...
- 16:30 Feature #407: RingElem ctor from mpz_t (from Bruns)
- To summarize, there are now the following constructors:...
- 14:01 Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz
- For me it now works fine. With and without libnormaliz.
- 10:38 Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz
- without --with-libnormaliz it still tries to check and get
nm: '': No such file
29 Jan 2014
- 19:50 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... - 17:48 Feature #218 (In Progress): CoCoALib normaliz interface
- added HilbertSeries and multiplicity functions
- 16:47 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.... - 16:08 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... - 15:38 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...
- 14:48 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:...
- 13:55 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... - 12:27 Bug #149: Makefile dependencies
- JAA believes the correct approach is to have separate dependencies for *internal* dependencies and for *external* dep...
28 Jan 2014
- 18:18 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...
- 18:04 Design #254: How to return a Hilbert Series in CoCoALib
- Anna Maria Bigatti wrote:
> Constructors:
> (RingElem num, factorization<RingElem> DenFactors) -- general
> (vecto... - 18:04 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 ...
- 18:00 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 ... - 12:12 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... - 12:09 Bug #428 (Closed): PPMonoidOv is not threadsafe
- @PPMonoidOv@ uses a "global" buffer much as @OrdvArith@ did.
This is not threadsafe -- Christof has observed crashes... - 17:55 Support #195 (Feedback): OrdvArith documentation needs rewriting
- The doc should now be essentially complete.
Also greatly improved doc for @PPOrdering@.
- 15:06 Support #195: OrdvArith documentation needs rewriting
- A first version of the doc has been written! It even includes comments about thread-safety!
- 14:59 Support #234 (Feedback): Update/Improve geobucket documentation
- 14:48 Feature #233 (Feedback): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
- Final decision is for ConvertTo<BigInt> and ConvertTo<BigRat>
- 13:59 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... - 10:39 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.
- 12:13 Feature #248 (Feedback): IsDivisible for RingElem with nice interface
- All done (I think)
27 Jan 2014
- 16:11 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...
- 12:13 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 ...
25 Jan 2014
- 22:10 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...
24 Jan 2014
- 20:40 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...
16 Jan 2014
- 16:57 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!*
Also available in: Atom