CoCoA » CoCoALib

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

25 Jul 2012

14:45 Feature #210: Normaliz: "double" cone for speed and safety

Merged with code by C.Soeger for *NormalizComputation* (initialization from @map@, call from cocoa-5)
Anna Maria Bigatti

14:36 Feature #210 (Closed): Normaliz: "double" cone for speed and safety

normaliz comutations using @long@ might fail and using @mpz@ will take 10 times as long.
The cone implementation i... Anna Maria Bigatti

24 Jul 2012

17:17 Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib

It would be nice if one could read polynomials from an input stream the way we write them, for example as... Anna Maria Bigatti

11 Jul 2012

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

Alessio has added some paragraphs about primitivization, including examples to show that Bernardin's algorithm does n... John Abbott

10 Jul 2012

15:10 Feature #206: Matrix equation solving: LinKer

Added *LinKer* to CoCoA-5 and test.
Added test for CoCoAlib (added into ex-matrix3, written for _brother function_... Anna Maria Bigatti

10:17 Feature #206: Matrix equation solving: LinKer

Written *LinKerByGauss* for matrices with entries in a field.
The code uses *RankAndGauss(M, ncols)* which compute... Anna Maria Bigatti

09:40 Feature #206 (In Progress): Matrix equation solving: LinKer

find all solutions M*x = 0 Anna Maria Bigatti

05 Jul 2012

17:59 Bug #149: Makefile dependencies

another possibility would be to check in (and distribute) @Makefile_dependencies@ without external libraries (_i.e._ ... Anna Maria Bigatti

11:14 Feature #203: Function to get the Hilbert Polynomial ring from GlobalManager

Currently it is available calling the function... Anna Maria Bigatti

10:40 Feature #30 (Closed): SwapRows, Cols

Anna Maria Bigatti

10:11 Bug #85 (Closed): QuotientRing problem

Now it works. I can't remember fixing it and how, but obviously someone did... Anna Maria Bigatti

09:49 Support #205 (New): Example for change of coordinates with coeffs in a matrix

Add to *ex-RingHom3* an example for a change like *x --> A*x* Anna Maria Bigatti