Activity
From 31 Aug 2015 to 29 Sep 2015
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... -
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...
24 Sep 2015
-
18:23 CoCoALib Feature #762: ExternalLib-GFan: first prototype
- (Rudimentary) documentation is done.
-
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 ... -
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)....
-
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.
22 Sep 2015
-
11:15 CoCoALib Slug #773: DMPZmerge: make non-recursive
- It does! Thanks for the fix!
*NOTE* phew! Thanks for the confirmation :-)
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.
-
13:48 CoCoALib Slug #773: DMPZmerge: make non-recursive
- I can confirm that it is working with your quickly hacked code!
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 ...
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 ...
-
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...
-
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...
-
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)
... -
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)...
-
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... -
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...
-
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.
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)... -
22:31 CoCoALib Slug #777 (In Progress): SLUG: elimination
- The following @elim@ is very slow... why?...
-
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... -
21:53 CoCoALib Bug #776 (Closed): FloatStr prints a NUL character
- @FloatStr@ prints out a NUL character in some cases....
-
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... -
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... -
20:11 CoCoALib Support #774 (Closed): Rename file PPMonoidEvZZ
- The file @PPMonoidEvZZ@ contains a class called @PPMonoidBigEv@; change the file name?
-
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:...
-
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.
-
09:34 CoCoA-5 Feature #771 (Feedback): New fns: MaxBy and MinBy to find minimum/maximum of a list wrt a given order
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@)
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, ... -
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...
-
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 ... -
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... -
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... -
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... -
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....
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...
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 ...
-
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... -
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...
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
-
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... -
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...
03 Sep 2015
-
17:00 CoCoA-5 Feature #770 (New): CoCoA type "cone"
- Make the type cone for CoCoA (when class cone is defined for CoCoALib)
-
16:50 CoCoALib Design #769 (In Progress): CoCoALib cone
- Make a cone type which includes Normaliz and Gfan cones.
-
16:38 CoCoA-5 Feature #761: Evaluating a QuasiPol
- added example to CoCoAHelp
-
16:00 CoCoA-5 Support #767 (Feedback): Rename Log to exponents
-
14:29 CoCoA-5 Support #767 (Resolved): Rename Log to exponents
- Changed @BuiltinFunctions.C@; updated packages and documentation; updated tests.
How to rename *@LogToTerm@*???
-
14:24 CoCoA-5 Support #767 (In Progress): Rename Log to exponents
- The new name @exponents@ is rather long, but is easier to understand.
The impl in @BuiltinFunctions.C@ cannot be 1 l... -
14:20 CoCoA-5 Support #767 (Closed): Rename Log to exponents
- In lnoe with using the same fn names in CoCoA-5 and CoCoALib we have decided to change @log@ (of a power product) int...
-
15:59 CoCoA-5 Support #768 (Feedback): Rename LogToTerm to MakeTerm
-
15:44 CoCoA-5 Support #768 (Resolved): Rename LogToTerm to MakeTerm
- Renamed fn in @cocolib.cpkg5@; updated tests and packages. Updated manual.
All seems well.
JAA is slightly une... -
14:57 CoCoA-5 Support #768: Rename LogToTerm to MakeTerm
- The function @MakeTerm@ is very similar to the CoCoALib function @monomial@; the only difference is that @monomial@ r...
-
14:51 CoCoA-5 Support #768 (Closed): Rename LogToTerm to MakeTerm
- After renaming @log@ to @exponents@ the name @LogToTerm@ makes little sense.
Suggestion: rename @LogToTerm@ to @Ma... -
11:41 CoCoALib 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
-
18:17 CoCoA-5 Feature #761: Evaluating a QuasiPol
- Ups, there is already @NmzEvaluateHilbertQuasiPolynomial@ with exactly that functionality. But it has no documentation.
-
18:03 CoCoA-5 Feature #761: Evaluating a QuasiPol
- Here is an example and how you have to evaluate it at the moment...
-
13:17 CoCoA-5 Design #766 (Closed): CoCoA version number: copy CoCoALib
- Right now the version numer for CoCoA is written in 3 different places (CoCoA code, manual, release files).
Copy wha... -
13:01 CoCoALib 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 CoCoALib Design #764: ExternalLib: simplify configuration
- All the external libraries now have symbolic links in @configuration/ExternalLibs/{include,lib}@.
Then it should be ... -
10:57 CoCoALib 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 CoCoALib 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 CoCoALib Design #763: GlobalManager: initialization compatible with initialization of external libs
- There is no problem with @libnormaliz@ because it does nothing fancy.
-
11:38 CoCoALib 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 CoCoALib Slug #742: View PP exponent vector (and order vector?) as an array of long?
- For me all the timings are the same:...
-
11:30 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #762: ExternalLib-GFan: first prototype
- What do we want?
- cones (CoCoACone=NmzCone+GFan, or two separate implementations inheriting from a base class)
- f...
Also available in: Atom