CoCoA

08 Aug 2012

21:02 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

20:15 CoCoA-5 Bug #220 (Resolved): Trouble on Linux: many CoCoA-5 tests fail (0.9952)

Apparently my guess as to the cause was correct; well, replacing the global by function+static var seems to have reso... John Abbott

20:11 CoCoA-5 Bug #217: Makedependencies of CoCoA-5 fails if BOOST is absent

Niko had problems. I found some more (minor) bugs in @configure@.
Everything works as I want on my linux VM; waiti... John Abbott

05 Aug 2012

14:32 CoCoA-5 Bug #217: Makedependencies of CoCoA-5 fails if BOOST is absent

Now I believe I have sorted out the configure script (and Makefiles) so that they work just as well when BOOST is abs... John Abbott

13:23 CoCoA-5 Bug #220: Trouble on Linux: many CoCoA-5 tests fail (0.9952)

Apparently fails in the same way on a Linux virtual machine (running Ubuntu).
The compiler was gcc-4.3.2.
John Abbott

12:51 CoCoA-5 Bug #220 (Closed): Trouble on Linux: many CoCoA-5 tests fail (0.9952)

The only CoCoA-5 tests which passed were: @exsegv@, and @lambdas@. All the others failed. I tried running one manua... John Abbott

03 Aug 2012

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

(for Rong Xiao) Anna Maria Bigatti

19:03 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

18:37 CoCoA-5 Bug #217 (Resolved): Makedependencies of CoCoA-5 fails if BOOST is absent

Awaiting confirmation from Niko Rudak that it works for him.
Will close when he has confirmed.
John Abbott

18:03 CoCoA-5 Bug #217 (Closed): Makedependencies of CoCoA-5 fails if BOOST is absent

If BOOST is absent, @./configure; make@ fails with current version of CoCoALib.
The failure is when rebuilding the d... John Abbott

16:13 CoCoA-5 Feature #216 (In Progress): Janet Bases: port function into CoCoA-5

... after the integration into CoCoALib ;-) Anna Maria Bigatti

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

Integrate code by Mario Albert into CoCoALib Anna Maria Bigatti

16:07 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler

Prototype for gui on linux done.
Snapshot is online but still "server-invisible"
Anna Maria Bigatti

14:27 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler

Prototype working for the textual version on linux.
I had some problems compiling with Normaliz (for OPENMP, which I... Anna Maria Bigatti

01 Aug 2012

17:17 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

previous message lost because redmine logged me out :( here again, but shorter
Value::from() is a big help! Now I ... Christof Soeger

15:09 CoCoA-5 Bug #207 (Closed): BuiltIn Normaliz functions not available in C5 gui

Works fine now, thanks for fixing! Christof Soeger

13:50 Feature #214 (Closed): gmp header location assumption in configure script

In the new Ubuntu 12.04 (at least in 64-bit version) the relation between the gmp library and header is not as assume... Christof Soeger

31 Jul 2012

17:12 CoCoALib 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:53 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler

Instructions:
The first time create a cvs "snapshot" directory:... Anna Maria Bigatti

16:36 CoCoALib 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 CoCoALib 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 CoCoALib Feature #211 (Closed): NBM: add SparsePolyRing as argument for ordering

Anna Maria Bigatti

16:19 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

16:14 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui

Waiting for feedback... does it work now? Anna Maria Bigatti

16:07 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

I've found an easier way to make a RecordValue (why didn't I think of it before?):
instead of making a new field usi... Anna Maria Bigatti

15:26 CoCoA-5 Feature #212 (Closed): NBM: add to CoCoA-5

Some experiments on the Groebner Fan are to be done by Riccomagno et al.
Make it available in CoCoA-5 (first exper... Anna Maria Bigatti

09:40 CoCoALib 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 CoCoALib 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