Activity
From 14 Jul 2012 to 12 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.
... -
- At the moment JAA *sees no advantage* to the current "restrictive" regime for @RingElem@ values.
JAA is not sure i... -
- Bruns suggests:
* allow default ctor for @RingElem@ (value could be 0 in @ZZ@)
* allow assignment of @RingElem@ to ... -
- Bruns suggests inserting no spaces.
This is the easiest solution. We should try it, and decide how readable polyn... -
- Bruns points out that spaces are inserted in an asymmetrical manner between terms when printing a polynomial. For in...
-
- Apparently my guess as to the cause was correct; well, replacing the global by function+static var seems to have reso...
-
- Niko had problems. I found some more (minor) bugs in @configure@.
Everything works as I want on my linux VM; waiti...
05 Aug 2012
-
- Now I believe I have sorted out the configure script (and Makefiles) so that they work just as well when BOOST is abs...
-
- Apparently fails in the same way on a Linux virtual machine (running Ubuntu).
The compiler was gcc-4.3.2.
-
- 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)
-
- 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 ...
-
- "This test should only check if the communication with libnormaliz works correctly and not be a complete test of libn...
-
- 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
-
- Awaiting confirmation from Niko Rudak that it works for him.
Will close when he has confirmed.
-
- If BOOST is absent, @./configure; make@ fails with current version of CoCoALib.
The failure is when rebuilding the d... -
- ... after the integration into CoCoALib ;-)
-
- Integrate code by Mario Albert into CoCoALib
-
- Prototype for gui on linux done.
Snapshot is online but still "server-invisible"
-
- Prototype working for the textual version on linux.
I had some problems compiling with Normaliz (for OPENMP, which I...
01 Aug 2012
-
- previous message lost because redmine logged me out :( here again, but shorter
Value::from() is a big help! Now I ... -
- Works fine now, thanks for fixing!
-
- 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
-
- for Christof: could you design a simple test with known output for Normaliz in src/test/test-Normaliz1.C?
The old te... -
- Instructions:
The first time create a cvs "snapshot" directory:... -
- Eva and her colleagues will test the code over the next few days. If no problems arise, I'll close the issue.
-
- Hacked Laura's code. It seems to work on some simple tests.
Code needs tidying, but that's low priority... -
-
- Here are some sample inputs (which we can use for testing):
* @- 1@ the same as @-1@
* @(-1)@ this is an expression,... -
- In the previous note I suggest that _erroneous but syntactically correct_ input is easy to handle. The case of _synt...
-
- The case of incorrect input which is syntactically correct seems to be easy:
* the input string is converted success... -
- We must decide how to handle white space inside RingElem inputs.
As a rule-of-thumb we should accept as input (at ... -
- Waiting for feedback... does it work now?
-
- 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... -
- Some experiments on the Groebner Fan are to be done by Riccomagno et al.
Make it available in CoCoA-5 (first exper... -
- Next meeting will be in September; exact day still to be decided.
30 Jul 2012
-
- JAA thinks polynomial input should accept expressions built from integer constants, symbols (with integer constant in...
25 Jul 2012
-
- Merged with code by C.Soeger for *NormalizComputation* (initialization from @map@, call from cocoa-5)
-
- normaliz comutations using @long@ might fail and using @mpz@ will take 10 times as long.
The cone implementation i...
24 Jul 2012
-
- It would be nice if one could read polynomials from an input stream the way we write them, for example as...
19 Jul 2012
-
- fixed and cvs-ed
-
- I get an linker error because some libnormaliz functions cannot find some gmp functions. To correct this the libnorma...
17 Jul 2012
-
-
- open until we make experiments with C++11
16 Jul 2012
-
- Now "configure" exports to *configuration/autoconf.mk* <lib>_FLAG (e.g. NORMALIZ_FLAG = -DCoCoA-with-Normaliz) and <l...
Also available in: Atom