CoCoA » CoCoALib

08 Oct 2015

17:53 Feature #586: BigInt ctor from a machine integer

I'll think about it overnight, but suspect that "undo" is the best (=least bad) solution.
John Abbott

17:52 Feature #586: BigInt ctor from a machine integer

There is an option *(C)* but it is not realistic: I could define @operator>@ between @BigInt@ and each of the actual ... John Abbott

17:51 Feature #586: BigInt ctor from a machine integer

John Abbott wrote:
> Right now I do not see any good way out of this:
> * *(A)* undo: _i.e._ no implicit coversion ... Anna Maria Bigatti

17:33 Feature #586: BigInt ctor from a machine integer

I have just encountered a bigger problem...
Line 167 of @BigInt.C@ wants to evaluate the expression @N > 0@ where @N... John Abbott

16:58 Feature #586: BigInt ctor from a machine integer

John Abbott wrote:
> However C++ allows only a single stage of conversion when doing automatic conversions.
well,... Anna Maria Bigatti

16:33 Feature #586: BigInt ctor from a machine integer

I have found a catch...
If @a@ and @b@ are variables of type @int@, and the only signature for @lcm@ expects two @Bi... John Abbott

15:33 Feature #586: BigInt ctor from a machine integer

Here are the fns which would benefit from having implicit conversion to @BigInt@:
* @ILogBase@ --> need just 1 signa... John Abbott

15:13 Feature #586: BigInt ctor from a machine integer

On several occasions the design of CoCoALib has preferred the path of "ease of use" over that of "absolute speed". S... John Abbott

12:18 Feature #586: BigInt ctor from a machine integer

There could be some minor benefit to @NumTheory.H@ especially @PowerMod@ which has 8 different signatures to cover al... John Abbott

12:04 Feature #586: BigInt ctor from a machine integer

As a check I reinserted the @explicit@ keyword and tried to compile: two (minor) problems arose in @NumTheory.C@ wher... John Abbott

11:02 Feature #586: BigInt ctor from a machine integer

It seems that I had forgotten about this task. I will try to finish it now. John Abbott

14:48 Support #621 (Closed): Release: CoCoALib-0.99536

Anna Maria Bigatti

14:47 Support #754 (Closed): Release: CoCoALib-0.99538 (together with CoCoA-5.1.2)

Anna Maria Bigatti

24 Sep 2015

18:23 Feature #762: ExternalLib-GFan: first prototype

(Rudimentary) documentation is done.
Anna Maria Bigatti

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 ... Anna Maria Bigatti

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).... Anna Maria Bigatti

18:16 Feature #780 (In Progress): GroebnerFan/ExternalLib-GFan: improve package

First prototype is working.
Investigate and improve it, and implement it in cocoalib. Anna Maria Bigatti

22 Sep 2015

11:15 Slug #773: DMPZmerge: make non-recursive

It does! Thanks for the fix!
*NOTE* phew! Thanks for the confirmation :-) Christof Soeger

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.
John Abbott

13:48 Slug #773: DMPZmerge: make non-recursive

I can confirm that it is working with your quickly hacked code! Christof Soeger

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 ... John Abbott

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 ... John Abbott

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... John Abbott

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... John Abbott

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)
... John Abbott

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)... John Abbott

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... John Abbott

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... John Abbott

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.
John Abbott

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)... John Abbott

22:31 Slug #777 (In Progress): SLUG: elimination

The following @elim@ is very slow... why?... John Abbott

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... John Abbott

21:53 Bug #776 (Closed): FloatStr prints a NUL character

@FloatStr@ prints out a NUL character in some cases.... John Abbott

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... John Abbott

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... John Abbott

20:11 Support #774 (Closed): Rename file PPMonoidEvZZ

The file @PPMonoidEvZZ@ contains a class called @PPMonoidBigEv@; change the file name? John Abbott

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:... John Abbott

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.
John Abbott