Activity
From 17 Aug 2015 to 15 Sep 2015
15 Sep 2015
- 22:34 Slug #777: SLUG: elimination
- I'm not sure how long the elim took (perhaps 20-30mins?)
The input is simple, the output not even that large (deg=72)... - 22:31 Slug #777 (In Progress): SLUG: elimination
- The following @elim@ is very slow... why?...
- 21:54 Bug #776: FloatStr prints a NUL character
- JAA is sure that smaller examples exist (but too tired to search now).
*NOTE* it seems that redmine does not like ha... - 21:53 Bug #776 (Closed): FloatStr prints a NUL character
- @FloatStr@ prints out a NUL character in some cases....
- 20:18 Feature #775: PPMonoid with 1 extra "exponent"?
- If I recall well, this is what Schoenemann said Singular does.
Maybe we could restrict the accepted orderings to j... - 20:15 Feature #775 (New): PPMonoid with 1 extra "exponent"?
- It might be worth offering a @PPMonoid@ whose internal repr for a PP contains an expv and one extra @long@.
If the... - 20:11 Support #774 (Closed): Rename file PPMonoidEvZZ
- The file @PPMonoidEvZZ@ contains a class called @PPMonoidBigEv@; change the file name?
- 16:15 Slug #773: DMPZmerge: make non-recursive
- Problem was signalled by email (from Winfried Bruns, Bogdan Ichim on 2015-09-14). It appears to be a stack overflow:...
- 16:14 Slug #773 (Closed): DMPZmerge: make non-recursive
- The fn @DMPZmerge@ is recursive; this is a problem when dealing with large polys.
Rewrite it to be iterative.
06 Sep 2015
- 14:04 Design #769: CoCoALib cone
- I think the CoCoALib cone should always exist. Even if it can do basically nothing. But otherwise a user would have t...
04 Sep 2015
- 20:14 Design #769: CoCoALib cone
- Anders pointed out that normaliz's interpretation of "const" is probably more threadsafe than gfan's
- 17:49 Design #769 (In Progress): CoCoALib cone
- Here is a suggested design.
A CoCoALib cone object typically contains both a normaliz cone and a gfan cone. Obvio... - 15:19 Design #769: CoCoALib cone
- Normaliz 2.99 now includes the "double cone" idea we had used in CoCoALib; this means that the CoCoALib impl can be s...
03 Sep 2015
- 16:50 Design #769 (In Progress): CoCoALib cone
- Make a cone type which includes Normaliz and Gfan cones.
- 11:41 Feature #758 (In Progress): configure: have option to say to look for external libs
- Christof reports having seen a form like @--with-extlib=system@ to mean that @extlib@ is automatically sought in the ...
02 Sep 2015
- 13:01 Feature #765 (In Progress): ExternalLib-CDD: (needed by GFan)
- Compilation of CDD needed some tweaking, expecially making it compatible with GFan.
(see documentation for ExternalL... - 11:11 Design #764: ExternalLib: simplify configuration
- All the external libraries now have symbolic links in @configuration/ExternalLibs/{include,lib}@.
Then it should be ... - 10:57 Design #764 (Closed): ExternalLib: simplify configuration
- I've recently added GFan. (in @configure@ file)
It took me a few hours (modifying settings for Frobby) to get all t...
01 Sep 2015
- 12:14 Design #763: GlobalManager: initialization compatible with initialization of external libs
- Here is why the situation could be quite "delicate".
Prior to using CoCoALib and GfanLib some initialization must ... - 11:39 Design #763: GlobalManager: initialization compatible with initialization of external libs
- There is no problem with @libnormaliz@ because it does nothing fancy.
- 11:38 Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs
- [during meeting in Aarhus]
Anders asked about the following scenario:
a program uses both CoCoALib and GfanLib, an... - 12:08 Slug #742: View PP exponent vector (and order vector?) as an array of long?
- For me all the timings are the same:...
- 11:30 Slug #742: View PP exponent vector (and order vector?) as an array of long?
- Could someone else try to run the test program on a decent machine with a recent compiler?
My conclusion from the ... - 11:21 Feature #180: GlobalManager: registration of global variables
- [during meeting in Aarhus with Anders, Anna and Christof]
It was pointed out that external libs may want to store Co... - 11:17 Feature #638: Time limit: let user specify time limit for a computation
- My comment in note 2 about using the system "alarm" mechanism might fit in quite well with the @CheckForInterrupt@ me...
- 11:09 Feature #762: ExternalLib-GFan: first prototype
- What do we want?
- cones (CoCoACone=NmzCone+GFan, or two separate implementations inheriting from a base class)
- f...
30 Aug 2015
- 16:46 Feature #762: ExternalLib-GFan: first prototype
- Get inspiration from Macaulay2:
http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.8.2/share/doc/Macaulay2/gfanInter...
28 Aug 2015
- 09:02 Feature #762 (Closed): ExternalLib-GFan: first prototype
- Make a first prototype of communication with GFan.
(more evolved and specific tasks will be separate issues)
Also available in: Atom