Project

General

Profile

Activity

From 04 Sep 2015 to 03 Oct 2015

01 Oct 2015

16:12 CoCoA-5 Design #782: BuiltinFunctions -- getting too long again!
(First attempt works, not yet cvs-ed)
Indeed the "cocoa language" file uses directly from CoCoALib just "BigInt".
(in...
Anna Maria Bigatti
15:17 CoCoA-5 Design #782 (Closed): BuiltinFunctions -- getting too long again!
Separate into two files functions proper of the cocoa language, and cocoalib functions.
E.g. functions about RECORD ...
Anna Maria Bigatti

28 Sep 2015

23:49 CoCoA-5 Feature #781: Option to "fold" long lines?
I am thinking of the Unix command "fold".
This output option would certainly be useful when running CoCoA inside E...
John Abbott
23:46 CoCoA-5 Feature #781 (Closed): Option to "fold" long lines?
Emacs becomes very slow when there are long lines in the output.
Consier adding a "fold"-like facility which break...
John Abbott

24 Sep 2015

18:23 CoCoALib Feature #762: ExternalLib-GFan: first prototype
(Rudimentary) documentation is done.
Anna Maria Bigatti
18:11 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Slug #777 (In Progress): SLUG: elimination
The following @elim@ is very slow... why?... John Abbott
21:54 CoCoALib 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 CoCoALib Bug #776 (Closed): FloatStr prints a NUL character
@FloatStr@ prints out a NUL character in some cases.... John Abbott
20:18 CoCoALib 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 CoCoALib 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 CoCoALib Support #774 (Closed): Rename file PPMonoidEvZZ
The file @PPMonoidEvZZ@ contains a class called @PPMonoidBigEv@; change the file name? John Abbott
16:15 CoCoALib 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 CoCoALib 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
09:34 CoCoA-5 Feature #771 (Feedback): New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
Anna Maria Bigatti

10 Sep 2015

13:41 CoCoA-5 Feature #771: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
Tested and documented (and improved manual for @SortedBy@)
Anna Maria Bigatti

08 Sep 2015

14:06 CoCoA-5 Feature #771: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
John Abbott wrote:
> I wanted to be compatible with @SortBy@ and @SortedBy@, and perhaps also the C++ STL...
OK, ...
Anna Maria Bigatti
13:55 CoCoA-5 Feature #771: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
I wanted to be compatible with @SortBy@ and @SortedBy@, and perhaps also the C++ STL...
John Abbott
13:44 CoCoA-5 Feature #771: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
There is only one detail I'm undecided about:
you implemented the function with argument @LessThan@ whereas it came ...
Anna Maria Bigatti
12:52 CoCoA-5 Feature #771 (In Progress): New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
JAA has checked that the fns work on a simplish example.
Code checked in.
Anna say's she'll write doc. And a t...
John Abbott
12:08 CoCoA-5 Feature #771: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
John Abbott wrote:
> Do we want these fns?
> I already have (simple) implementations in my own personal copy of @l...
Anna Maria Bigatti
12:49 CoCoA-5 Bug #772 (In Progress): Emacs UI: send-region and send-line make sense inside a cpkg5 file?
JAA continues to be unconvinced.
Point (0): it is correct (and will probably prevail).
Point (1): it will probabl...
John Abbott
12:21 CoCoA-5 Bug #772: Emacs UI: send-region and send-line make sense inside a cpkg5 file?
John Abbott wrote:
> Does it make sense to have @send-region@ and @send-line@ easily accessible from inside a @file....
Anna Maria Bigatti

06 Sep 2015

14:04 CoCoALib 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... Christof Soeger

05 Sep 2015

16:28 CoCoA-5 Bug #772 (In Progress): Emacs UI: send-region and send-line make sense inside a cpkg5 file?
Does it make sense to have @send-region@ and @send-line@ easily accessible from inside a @file.cpkg5@? Sending just ... John Abbott
16:01 CoCoA-5 Feature #771: New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
Do we want these fns?
I already have (simple) implementations in my own personal copy of @list.cpkg5@.
If we wa...
John Abbott
15:58 CoCoA-5 Feature #771 (Closed): New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
CoCoA offers @SortBy@ for a sorting a list wrt a given order. Anders would like a fn to find the min/max of a list w... John Abbott

04 Sep 2015

20:14 CoCoALib Design #769: CoCoALib cone
Anders pointed out that normaliz's interpretation of "const" is probably more threadsafe than gfan's John Abbott
17:49 CoCoALib 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...
John Abbott
15:19 CoCoALib 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... John Abbott
 

Also available in: Atom