Activity
From 13 Sep 2015 to 12 Oct 2015
12 Oct 2015
- 17:13 CoCoALib Feature #664: Impl small non-prime finite fields (using logs)
- If CoCoALib offers a function which creates a (non-prime?) finite field given just its cardinality (or maybe characte...
- 16:58 CoCoALib Design #785: finite fields: global register of fields already created?
- Presumably the global register will comprise two @std::map@ objects: one for characteristics which fit into @long@, a...
- 16:14 CoCoALib Design #785: finite fields: global register of fields already created?
- JAA and Renzo discussed the idea of automatically creating all small, prime finite fields (up to size 32767, say) dur...
- 11:49 CoCoALib Design #785: finite fields: global register of fields already created?
- A global register of finite fields would imply that once a field has been created it cannot later be destroyed (unles...
- 11:44 CoCoALib Design #785 (New): finite fields: global register of fields already created?
- The rings @ZZ@ and @QQ@ are global and unique -- you cannot (any more) create two copies of @ZZ@ or of @QQ@.
The s... - 16:36 CoCoALib Bug #784: threadsafety: Scott Meyers's advice about cached values
- Here's an example of what Meyers suggests:...
- 11:17 CoCoALib Bug #784: threadsafety: Scott Meyers's advice about cached values
- We definitely want CoCoALib to be threadsafe. It mostly is when compiled with @-DCoCoA_THREADSAFE_HACK@, but some se...
- 11:13 CoCoALib Bug #784 (In Progress): threadsafety: Scott Meyers's advice about cached values
- The first 17 mins of the video @EffectiveModernCpart6.mp4@ by Scott Meyers are about correct threadsafe design of cod...
- 16:01 CoCoALib Design #786: MemPool: review min and max loaf sizes
- Someone should do some benchmarking to see if changing the lower/upper limits for loaf size has any measurable effect...
- 15:58 CoCoALib Design #786: MemPool: review min and max loaf sizes
- The problem arose when I experimented creating all (prime) finite fields up to characteristic 32767. There are about...
- 15:50 CoCoALib Design #786: MemPool: review min and max loaf sizes
- I am reasonably sure that the upper limit is far too large: as it currently stands it can ask the system for 64M of c...
- 15:44 CoCoALib Design #786 (Closed): MemPool: review min and max loaf sizes
- Currently each @MemPool@ has a minimum and maximum loaf size set to 64K and 64M respectively.
Review these values;...
09 Oct 2015
- 20:20 CoCoALib Bug #783 (Feedback): abs for MachineInt
- Checked in several files: new @MachineInt.H@ and several consequential changes.
I got the redmine reference wrong wh... - 13:49 CoCoALib Bug #783: abs for MachineInt
- The problem of @::std::abs@ being hidden (when inside @namespace CoCoA@) persists even after @abs(MachineInt)@ has be...
- 12:23 CoCoALib Bug #783: abs for MachineInt
- I have implemented the suggestion in comment 3 above. Also changed all files which need to be changed; now running a...
- 11:31 CoCoALib Bug #783: abs for MachineInt
- I have observed to uses for @abs(MachineInt)@:
* to obtain the absolute value (_e.g._ in some division/remainder fun... - 10:52 CoCoALib Bug #783 (In Progress): abs for MachineInt
- I think there are two possible approaches:
# rename @abs(MachineInt)@
# ensure that the standard library @abs@ fns ... - 10:50 CoCoALib Bug #783: abs for MachineInt
- I found the problem when trying to investigate why @test-NumTheory1.C@ produced warnings (about comparing @signed@ an...
- 10:46 CoCoALib Bug #783 (Closed): abs for MachineInt
- There is a fn called @abs@ for @MachineInt@; it works fine (and returns an @unsigned long@).
The problem is that i... - 20:18 CoCoALib Feature #586 (Rejected): BigInt ctor from a machine integer
- Checked in the commented out defns of ctors for @BigInt@ direct from machine integer types.
Marking as "Rejected" ... - 14:09 CoCoALib Feature #586: BigInt ctor from a machine integer
- @Christof:
Yes, I implemented 8 new ctors for @BigInt@ direct from the various C++ machine integer types; and yes, t... - 11:32 CoCoALib Feature #586: BigInt ctor from a machine integer
- So to make sure I got it right. You implemented the constructures @BigInt(long)@ and so on, and now get this ambiguit...
- 09:47 CoCoALib Feature #586: BigInt ctor from a machine integer
- I've decided for option *(A)* "undo"; the others seem to be too much hassle+risk.
I'll comment out the new BigInt ... - 20:11 CoCoA-5 Bug #117 (Feedback): Added 3 times defn of isblank fn
- I've checked in: 1 new file, 3 modified files. All should be OK.
08 Oct 2015
- 17:53 CoCoALib Feature #586: BigInt ctor from a machine integer
- I'll think about it overnight, but suspect that "undo" is the best (=least bad) solution.
- 17:52 CoCoALib 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 ...
- 17:51 CoCoALib 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 ... - 17:33 CoCoALib 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... - 16:58 CoCoALib 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,... - 16:33 CoCoALib 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... - 15:33 CoCoALib 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... - 15:13 CoCoALib 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...
- 12:18 CoCoALib 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...
- 12:04 CoCoALib 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...
- 11:02 CoCoALib Feature #586: BigInt ctor from a machine integer
- It seems that I had forgotten about this task. I will try to finish it now.
- 17:50 CoCoA-5 Design #782 (In Progress): BuiltinFunctions -- getting too long again!
- checked in:
BuiltInFunction.C and BuiltInFunctions-CoCoALib.C
- 14:49 CoCoA-5 Bug #117: Added 3 times defn of isblank fn
- I recall that GMP often has a file containing just a single function, and indeed for speed of recompilation it is bet...
- 14:41 CoCoA-5 Bug #117 (In Progress): Added 3 times defn of isblank fn
- I have put the fn into a new file @C5Utils.H@; so far there is no @C5Utils.C@ file.
Everything compiles, and tests pa... - 14:48 CoCoALib Support #621 (Closed): Release: CoCoALib-0.99536
- 14:47 CoCoALib Support #754 (Closed): Release: CoCoALib-0.99538 (together with CoCoA-5.1.2)
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... - 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 ...
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
Also available in: Atom