Project

General

Profile

Activity

From 15 Apr 2014 to 14 May 2014

14 May 2014

18:40 Design #535: IO: move GlobalInput etc to CoCoA server!
Revised doc (see also #560).
Revised example program (was very out of date).
John Abbott
18:09 Design #535 (Feedback): IO: move GlobalInput etc to CoCoA server!
Moved the code; seems to compile OK. Will do some more tests.
John Abbott
18:25 Design #560 (Closed): CoCoALib/io.H
Is the fn @InputFailCheck@ useful at all?
Would it not be clearer to write explicitly:...
John Abbott
17:29 Design #404 (Feedback): deg(F,X) instead of MaxExponent(F,X) ?
No problems arose when I made the change.
Status -> feedback
John Abbott
15:23 Feature #554 (Closed): CoCoALib-Normaliz interface: cannot print a cone
We should add a fn to print out a @cone@ object.
All values should be printable (if only for debugging)
John Abbott

09 May 2014

22:27 Design #551: Reconsider overloaded virtual mem fns
Just a hint to find easily those bits of code which need to be reviewed: look for @using@ (without @std@) inside the ... John Abbott
17:09 Design #551 (New): Reconsider overloaded virtual mem fns
The warning flag about @-Woverloaded-virtual@ suggests that it may be better to avoid overloading virtual fns, _i.e._... John Abbott
13:02 Design #550 (New): add myResolution member field to ideal and (sub)module
Anna Maria Bigatti
13:00 Design #455: Which sets of generators in an ideal?
A similar problem is storing HilbertFunction and resolution in the ideal/module Anna Maria Bigatti
12:58 Feature #409: Minimal syzygies (optimized implementation)
There is a naive implementation (compute MinGens, then syz, then minimalize).
Here we are talking of the optimized i...
Anna Maria Bigatti

08 May 2014

12:30 Feature #218: CoCoALib normaliz interface
I implemented additional return functions (step 1 in my update on issue #204).
The myComputation functions should be...
Christof Soeger

06 May 2014

11:47 Support #302: Compilation on M$Windows: Visual Studio
Ahhh! OK I have fixed @mpz_log@ now; sorry, I had overlooked a @M_LN2@.
John Abbott
11:37 Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
simpler example: both NewFractionField and NewRingTwinFloat seems necessary to trigger the error... Anna Maria Bigatti

05 May 2014

20:17 Support #302: Compilation on M$Windows: Visual Studio
Made the changes requested in previous comment.
No idea why you are not seeing the updated @mpz_log.c@...?
John Abbott
15:53 Support #302: Compilation on M$Windows: Visual Studio
One addition that I forgot to mention: I had to include... Christof Soeger
19:46 Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
I tried the same input with lower precisions and got @InsuffPrec@ errors; but when I quit CoCoA-5 there were quite a ... John Abbott
19:44 Bug #547 (New): elim using RingTwinFloat triggers error "SERIOUS"
The following (C5 input) provokes a @SERIOUS@ error... John Abbott

02 May 2014

16:12 Bug #538 (Resolved): Compilation problem in TmpMorsePaths.C
I have modified th fn signature to teh following:... John Abbott
14:48 Support #302: Compilation on M$Windows: Visual Studio
OK I have modified @mpz_log.c@; should be fine now.
Also I have CVSed everything.
@Christof: could you confirm th...
John Abbott
11:21 Support #302: Compilation on M$Windows: Visual Studio
Thanks, that should make the compilation a lot easier! I can test it next week, is it CVSed?
Note that there is also ...
Christof Soeger

30 Apr 2014

18:38 Support #302: Compilation on M$Windows: Visual Studio
I have removed most uses of @size_t@ in CoCoALib.
The template fn @len@ now does an automatic cast to @long@ from @s...
John Abbott
14:39 Support #302: Compilation on M$Windows: Visual Studio
I believe I have fixed the overloading problem, and replaced @M_PI@ with @4*atan(1.0)@.
Right now I don't have a g...
John Abbott

29 Apr 2014

17:32 Support #302: Compilation on M$Windows: Visual Studio
For the new normaliz version I did again a compilation on Windows. Here are my findings for CoCoALib 0.99533:
The ...
Christof Soeger

22 Apr 2014

16:58 Feature #540 (Feedback): Progress reporter
I have implemented @ProgressReporter@.
Checked in with doc and example!
State -> feedback!
John Abbott
16:57 Feature #540 (Closed): Progress reporter
It would be handy to have utility that prints out occasional "progress reports" when conducting long iterative comput... John Abbott

17 Apr 2014

18:39 Feature #431 (Closed): NewPolyRing_DMPI has no constructor with a predefined PPM
John Abbott
15:17 Feature #431 (Feedback): NewPolyRing_DMPI has no constructor with a predefined PPM
Anna Maria Bigatti
10:30 Feature #431: NewPolyRing_DMPI has no constructor with a predefined PPM
> JAA noticed that ex-PolyRing1.C is too long & complicated; split it into two (one about ctors, the other about doin... Anna Maria Bigatti
18:38 Bug #67 (Closed): Rename MatrixViews
Renamed source files (&Makefile) & doc; changed references in doc. John Abbott
16:38 Support #528: Release: CoCoALib-0.99533
first prelease on web-page Anna Maria Bigatti
08:51 Support #528: Release: CoCoALib-0.99533
*make ValgrindTests* DONE (only the "throw-16b-leaks")
Anna Maria Bigatti
08:41 Support #528 (In Progress): Release: CoCoALib-0.99533
Anna Maria Bigatti
15:23 Support #288 (Closed): DynamicBitset example using LPP
Anna Maria Bigatti
15:22 Feature #539 (New): Functions to clean up a factorization
A factorization is arbitrary.
Choose and implement functions to clean it up (e.g. grouping all equal factors in one ...
Anna Maria Bigatti
15:19 Design #254 (Closed): How to return a Hilbert Series in CoCoALib
(for now) we have decided that factorization of denom is arbitrary.
There will be functions to clean up a factorizat...
Anna Maria Bigatti
09:55 Bug #510 (Closed): SyzOfGens (CoCoALib): fix shifts
Anna Maria Bigatti
09:25 Feature #373 (Closed): add DeleteCol, DeleteRow
Anna Maria Bigatti
08:37 Feature #298 (Closed): Valgrind: keep CoCoALib at 0 memory leaks
I checked and confirm that the tests listed (those "leaking" *16 bytes*) are those which test errors (at least once).... Anna Maria Bigatti
08:24 Bug #351 (Closed): Problems with DenseMatImpl::myResize
tested, added test-matrix4 (which indeed gave IMMINENT DISASTER before recompiling ;-) Anna Maria Bigatti

16 Apr 2014

00:52 Feature #431: NewPolyRing_DMPI has no constructor with a predefined PPM
JAA noticed that @ex-PolyRing1.C@ is too long & complicated; split it into two (one about ctors, the other about doin... John Abbott
00:50 Design #254: How to return a Hilbert Series in CoCoALib
I'm not an expert in the field, and in my ignorance find the "compact" form more satisfactory. I could even envisage... John Abbott
00:40 Bug #351: Problems with DenseMatImpl::myResize
I guess you could use @raw(zero(myR))@ instead of @raw(useless)@; though perhaps the latter is clearer?
John Abbott
18:59 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
JAA suggested to try ... Anna Maria Bigatti
16:46 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
I confirm the previous leaks (probably due to test for *throwing/catching errors*)
This "16-byte leak" is independent...
Anna Maria Bigatti
07:54 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
... Anna Maria Bigatti
12:37 Bug #538: Compilation problem in TmpMorsePaths.C
Added copyright blurb to @TmpMorse..@ files.
John Abbott
12:08 Bug #538: Compilation problem in TmpMorsePaths.C
JAA has tried the proposed modification, and can report that it compiles and all tests pass.
*HOWEVER*, the relevant...
John Abbott
12:06 Bug #538 (Closed): Compilation problem in TmpMorsePaths.C
[reported by Roberto Pagaria <roberto-dot-pagaria-chiocciola-sns-dot-it>]
Ieri ho tentato di installare CoCoALib su ...
John Abbott
11:50 Slug #537: FloatStr uses too much memory
Just for the record: I did the experiment from within C-5.1, and the time taken (for just @FloatStr@) was 32.3s
John Abbott
11:49 Slug #537 (New): FloatStr uses too much memory
Using CoCoAlib-0.99533 @FloatStr@ uses about 1.5Gbytes extra memory when applied to
@N:=factorial(10^8);FloatStr(N);...
John Abbott

15 Apr 2014

16:20 Design #498: IsIntegralDomain, IamIntegralDomain3
The final design is:... John Abbott
16:09 Design #498 (Closed): IsIntegralDomain, IamIntegralDomain3
John Abbott
16:13 Feature #71 (Closed): ZeroMat & FilledMat
John Abbott
15:50 Design #377 (Closed): IsDivisible -- exact semantics?
John Abbott
15:47 Design #513 (In Progress): Quick/correct flag for bool3 fns
We should start by looking at the various current uses of @bool3@, and possibly any obvious future candidates. John Abbott
15:39 Feature #342 (Closed): Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
A new *@ClearDenom@* function has been added to @SparsePolyRing@; it follows very closely the code @ClearDenom2@ I wr... John Abbott
15:09 Design #415 (In Progress): Remove AsPolyRing etc?
Reopening because it was auto-closed when I closed #139 which this duplicates.
John Abbott
15:07 Design #415 (Closed): Remove AsPolyRing etc?
Closing because it is duplicated John Abbott
15:07 Feature #139 (Closed): Usefulness of ring casting fns (remove AsPolyRing, etc.)
Closing because it is duplicated John Abbott
14:26 Design #408 (Closed): Rename MatrixArith to MatrixOperations
John Abbott
14:25 Support #285 (Closed): Notes for adding/removing files from documentation
This is info is in the file @doc/README@ -- it's been there for some time now! John Abbott
14:23 Feature #356 (Closed): IsZeroDivisor
The current impl is simple, compact and works fine in the cases we have tried. Let's KISS until someone points out t... John Abbott
13:53 Design #511 (Closed): Rename file TmpFactor to factor
John Abbott
13:26 Support #508 (Closed): Renaming: SqfreeFactor to SqFreeFactor
John Abbott
13:23 Feature #17 (Closed): implement "binomial" (coefficient) for RingElem
John Abbott
13:15 Feature #5 (Closed): Coefficient extraction
John Abbott
13:03 Slug #479 (Closed): make check in examples/ directory is far too slow
Now it takes 60s on my machine which is quite acceptable.
Closing.
John Abbott
12:54 Feature #138 (Closed): Automatic conversion from bool3 to bool?
John Abbott
12:46 Bug #517 (Closed): MaxSquarableInteger gives wrong ans for unsigned long
John Abbott
12:43 Feature #526 (Closed): Fn to test if an integer is a power of 2
John Abbott
12:39 Support #66 (Closed): BigInt - NumTheory
The doc is now much improved; no doubt it will be tweaked occasionally in the future, but this issue can now be close... John Abbott
12:31 Feature #107 (Closed): Recognizing finite fields
No problems have arisen in 2 years. In ptic the fns *@IsPthPower2@* and *@PthRoot2@* have not made their absence fel... John Abbott
12:27 Bug #536 (Closed): Make RingBase::myCharacteristic a fn rather than a proc
The mem fn @RingBase::myCharacteristic@ returns @void@ (supposedly for "efficiency", but who's going to calculate mil... John Abbott
 

Also available in: Atom