CoCoA » CoCoALib

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

04 Jul 2012

18:33 Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)

another proposal... Anna Maria Bigatti

10:17 Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat)

We should make a special view for a row or column since the C++/STL for calling *submat* is so bad (vector containing... Anna Maria Bigatti

11:20 Feature #203 (Closed): Function to get the Hilbert Polynomial ring from GlobalManager

The function *MakeGlobalHPPowerList(const DenseUPolyRing& P)* in GlobalManager.C creates a list of polynomials.
Its ... Anna Maria Bigatti