CoCoA » CoCoALib

08 Aug 2012

21:02 Feature #223 (Closed): Automatic mapping of RingElems

Bruns has "complained" about the lack of automatic mapping of @RingElem@ values from a coeff ring to a poly ring.
... John Abbott

20:47 Feature #221: Better RingElems

At the moment JAA *sees no advantage* to the current "restrictive" regime for @RingElem@ values.
JAA is not sure i... John Abbott

20:22 Feature #221 (Closed): Better RingElems

Bruns suggests:
* allow default ctor for @RingElem@ (value could be 0 in @ZZ@)
* allow assignment of @RingElem@ to ... John Abbott

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

Bruns suggests inserting no spaces.
This is the easiest solution. We should try it, and decide how readable polyn... John Abbott

20:31 Feature #222 (In Progress): Printing polynomials - spaces between terms

Bruns points out that spaces are inserted in an asymmetrical manner between terms when printing a polynomial. For in... John Abbott

03 Aug 2012

19:08 Feature #219 (Closed): myDeriv for RingDenseUPolyClean still missing

(for Rong Xiao) Anna Maria Bigatti

19:03 Feature #218: CoCoALib normaliz interface

Christof Soeger wrote:
> The Normaliz::cone functions are now all returning results instead of having them as a firs... Anna Maria Bigatti

15:46 Feature #218 (Closed): CoCoALib normaliz interface

The Normaliz::cone functions are now all returning results instead of having them as a first reference parameter. We ... Christof Soeger

19:00 Feature #213: test-Normaliz1.C

"This test should only check if the communication with libnormaliz works correctly and not be a complete test of libn... Anna Maria Bigatti

15:33 Feature #213: test-Normaliz1.C

Added a test. It is the polytope example from the Normaliz example files. The test of the result could be more extens... Christof Soeger

02 Aug 2012

16:12 Feature #215 (Closed): Janet Bases: check and include code in CoCoALib (first prototype)

Integrate code by Mario Albert into CoCoALib Anna Maria Bigatti

31 Jul 2012

17:12 Feature #213 (Closed): test-Normaliz1.C

for Christof: could you design a simple test with known output for Normaliz in src/test/test-Normaliz1.C?
The old te... Anna Maria Bigatti

16:36 Feature #211: NBM: add SparsePolyRing as argument for ordering

Eva and her colleagues will test the code over the next few days. If no problems arise, I'll close the issue. John Abbott

16:30 Feature #211: NBM: add SparsePolyRing as argument for ordering

Hacked Laura's code. It seems to work on some simple tests.
Code needs tidying, but that's low priority... John Abbott

15:24 Feature #211 (Closed): NBM: add SparsePolyRing as argument for ordering

Anna Maria Bigatti

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

Here are some sample inputs (which we can use for testing):
* @- 1@ the same as @-1@
* @(-1)@ this is an expression,... John Abbott

15:39 Feature #209: ReadExpr: input polynomials in CoCoALib

In the previous note I suggest that _erroneous but syntactically correct_ input is easy to handle. The case of _synt... John Abbott

15:09 Feature #209: ReadExpr: input polynomials in CoCoALib

The case of incorrect input which is syntactically correct seems to be easy:
* the input string is converted success... John Abbott

14:42 Feature #209: ReadExpr: input polynomials in CoCoALib

We must decide how to handle white space inside RingElem inputs.
As a rule-of-thumb we should accept as input (at ... John Abbott

09:40 Feature #40: Squarefree factorization - Alessio d'Ali`

Next meeting will be in September; exact day still to be decided.
John Abbott

30 Jul 2012

15:35 Feature #209: ReadExpr: input polynomials in CoCoALib

JAA thinks polynomial input should accept expressions built from integer constants, symbols (with integer constant in... John Abbott