Activity
From 17 Jul 2012 to 15 Aug 2012
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.
... - 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... - 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 ... - 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... - 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...
03 Aug 2012
- 19:08 Feature #219 (Closed): myDeriv for RingDenseUPolyClean still missing
- (for Rong Xiao)
- 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... - 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 ...
- 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...
- 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...
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
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... - 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.
- 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... - 15:24 Feature #211 (Closed): NBM: add SparsePolyRing as argument for ordering
- 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,... - 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...
- 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... - 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 ... - 09:40 Feature #40: Squarefree factorization - Alessio d'Ali`
- Next meeting will be in September; exact day still to be decided.
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...
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)
- 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...
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...
Also available in: Atom