Activity
From 05 Sep 2015 to 04 Oct 2015
24 Sep 2015
- 18:23 Feature #762: ExternalLib-GFan: first prototype
- (Rudimentary) documentation is done.
- 18:11 Feature #762 (Closed): ExternalLib-GFan: first prototype
- First prototype is done and working!!
Current design is:
- cone functions are in CoCoALib
- GroebnerFan algorithm ... - 18:22 Feature #780 (In Progress): GroebnerFan/ExternalLib-GFan: improve package
- In the package there are lots of operations on integers and those would surely be faster in cocoalib (at some point)....
- 18:16 Feature #780 (In Progress): GroebnerFan/ExternalLib-GFan: improve package
- First prototype is working.
Investigate and improve it, and implement it in cocoalib.
22 Sep 2015
- 11:15 Slug #773: DMPZmerge: make non-recursive
- It does! Thanks for the fix!
*NOTE* phew! Thanks for the confirmation :-)
21 Sep 2015
- 14:20 Slug #773 (Feedback): DMPZmerge: make non-recursive
- I have checked in a cleaned up version of the new code.
I hope Christof will verify that this version is still fine.
- 13:48 Slug #773: DMPZmerge: make non-recursive
- I can confirm that it is working with your quickly hacked code!
18 Sep 2015
- 14:41 Slug #773: DMPZmerge: make non-recursive
- I have now rewritten the hacked code in a cleaner way, but shall still wait for confirmation from the Normaliz group ...
17 Sep 2015
- 22:10 Bug #779: Makefile: problem not seeing when files in TmpFactorDir need to be rebuilt
- Since files in @TmpFactorDir@ change very rarely, it is probably not worth fixing the @Makefile@. The time would be ...
- 22:08 Bug #779 (New): Makefile: problem not seeing when files in TmpFactorDir need to be rebuilt
- @make@ did not notice when I modified the file @src/AlgebraicCore/TmpFactorDir/multivariate/DMPZ.c@ so did not recomp...
- 21:54 Slug #773 (In Progress): DMPZmerge: make non-recursive
- I have had a "quick hack" at the code. The CoCoA/CoCoALib tests all pass, but I'm not sure that any of them actually...
- 20:26 Design #778 (In Progress): CRTMill::myAddInfo accept modulus 1 or not?
- The possible approaches are:
(A) always give error when an input modulus is 1 (but awkward for starting a CRT loop)
... - 20:21 Design #778: CRTMill::myAddInfo accept modulus 1 or not?
- JAA found the bug when trying to run a CRT loop in CoCoA-5. The initial CRT residue-modulus pair was naturally (0,1)...
- 20:16 Design #778 (In Progress): CRTMill::myAddInfo accept modulus 1 or not?
- Should the mem fn @CRTMill::myAddInfo@ accept a residue-modulus pair with modulus equal to 1?
Such a pair actually a... - 20:04 Bug #776 (Feedback): FloatStr prints a NUL character
- The bug was some overly delicate bug in @ILogBase@ implemented in @BigRat.C@; I had forgotten to allow for possible f...
- 18:42 Bug #776 (In Progress): FloatStr prints a NUL character
- The problem seems to be ILogBase(...,10) giving a wrong result: it gives -9 instead of -10.
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...
Also available in: Atom