Activity
From 11 Jul 2012 to 09 Aug 2012
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.
... - 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... - 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 ... - 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... - 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...
- 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...
- 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...
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...
- 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.
- 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...
03 Aug 2012
- 19:08 CoCoALib Feature #219 (Closed): myDeriv for RingDenseUPolyClean still missing
- (for Rong Xiao)
- 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... - 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 ...
- 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...
- 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...
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.
- 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... - 16:13 CoCoA-5 Feature #216 (In Progress): Janet Bases: port function into CoCoA-5
- ... after the integration into CoCoALib ;-)
- 16:12 CoCoALib Feature #215 (Closed): Janet Bases: check and include code in CoCoALib (first prototype)
- Integrate code by Mario Albert into CoCoALib
- 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"
- 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...
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 ... - 15:09 CoCoA-5 Bug #207 (Closed): BuiltIn Normaliz functions not available in C5 gui
- Works fine now, thanks for fixing!
- 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...
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... - 16:53 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- Instructions:
The first time create a cvs "snapshot" directory:... - 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.
- 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... - 15:24 CoCoALib Feature #211 (Closed): NBM: add SparsePolyRing as argument for ordering
- 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,... - 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...
- 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... - 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 ... - 16:14 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
- Waiting for feedback... does it work now?
- 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... - 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... - 09:40 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Next meeting will be in September; exact day still to be decided.
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...
25 Jul 2012
- 14:45 CoCoALib Feature #210: Normaliz: "double" cone for speed and safety
- Merged with code by C.Soeger for *NormalizComputation* (initialization from @map@, call from cocoa-5)
- 14:36 CoCoALib 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...
24 Jul 2012
- 17:17 CoCoALib 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...
19 Jul 2012
- 19:06 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
- fixed and cvs-ed
- 17:18 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
- I get an linker error because some libnormaliz functions cannot find some gmp functions. To correct this the libnorma...
17 Jul 2012
- 15:00 CoCoA-5 Bug #207 (Feedback): BuiltIn Normaliz functions not available in C5 gui
- 14:37 CoCoA-5 Slug #31 (In Progress): theValue makes copy
- open until we make experiments with C++11
16 Jul 2012
- 12:50 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
- Now "configure" exports to *configuration/autoconf.mk* <lib>_FLAG (e.g. NORMALIZ_FLAG = -DCoCoA-with-Normaliz) and <l...
13 Jul 2012
- 15:59 CoCoA-5 Bug #166 (Closed): Dim/Multiplicity with Lex ordering -- NYI
- Closed: see related issue
- 14:22 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Now a cone is created from the input. The conversion of the input type string is forwarded to libnormaliz, currently ...
11 Jul 2012
- 15:49 CoCoALib Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio has added some paragraphs about primitivization, including examples to show that Bernardin's algorithm does n...
- 15:24 CoCoA-5 Bug #207: BuiltIn Normaliz functions not available in C5 gui
- ... work in progress ...
- 11:56 CoCoA-5 Support #208 (Closed): describe $package
- *Functions("$binrepr");* from CoCoA-4 doesn't work and has been replaced by
*describe ("$binrepr");* (as the error m... - 11:14 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
- Now there are dedicated files *BuiltInFunctions-GSL* and *BuiltInFunctions-Normaliz* for these two external libraries...
Also available in: Atom