Activity
From 01 Jan 2014 to 30 Jan 2014
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!*
06 Jan 2014
- 00:20 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... - 00:14 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...
Also available in: Atom