Activity
From 31 Mar 2014 to 29 Apr 2014
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 ...
22 Apr 2014
- 16:58 Feature #540 (Feedback): Progress reporter
- I have implemented @ProgressReporter@.
Checked in with doc and example!
State -> feedback!
- 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...
17 Apr 2014
- 18:39 Feature #431 (Closed): NewPolyRing_DMPI has no constructor with a predefined PPM
- 15:17 Feature #431 (Feedback): NewPolyRing_DMPI has no constructor with a predefined PPM
- 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...
- 18:38 Bug #67 (Closed): Rename MatrixViews
- Renamed source files (&Makefile) & doc; changed references in doc.
- 16:38 Support #528: Release: CoCoALib-0.99533
- first prelease on web-page
- 08:51 Support #528: Release: CoCoALib-0.99533
- *make ValgrindTests* DONE (only the "throw-16b-leaks")
- 08:41 Support #528 (In Progress): Release: CoCoALib-0.99533
- 15:23 Support #288 (Closed): DynamicBitset example using LPP
- 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 ... - 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... - 09:55 Bug #510 (Closed): SyzOfGens (CoCoALib): fix shifts
- 09:25 Feature #373 (Closed): add DeleteCol, DeleteRow
- 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)....
- 08:24 Bug #351 (Closed): Problems with DenseMatImpl::myResize
- tested, added test-matrix4 (which indeed gave IMMINENT DISASTER before recompiling ;-)
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...
- 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...
- 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?
- 18:59 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- JAA suggested to try ...
- 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... - 07:54 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- ...
- 12:37 Bug #538: Compilation problem in TmpMorsePaths.C
- Added copyright blurb to @TmpMorse..@ files.
- 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... - 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 ... - 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
- 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);...
15 Apr 2014
- 16:20 Design #498: IsIntegralDomain, IamIntegralDomain3
- The final design is:...
- 16:09 Design #498 (Closed): IsIntegralDomain, IamIntegralDomain3
- 16:13 Feature #71 (Closed): ZeroMat & FilledMat
- 15:50 Design #377 (Closed): IsDivisible -- exact semantics?
- 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.
- 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...
- 15:09 Design #415 (In Progress): Remove AsPolyRing etc?
- Reopening because it was auto-closed when I closed #139 which this duplicates.
- 15:07 Design #415 (Closed): Remove AsPolyRing etc?
- Closing because it is duplicated
- 15:07 Feature #139 (Closed): Usefulness of ring casting fns (remove AsPolyRing, etc.)
- Closing because it is duplicated
- 14:26 Design #408 (Closed): Rename MatrixArith to MatrixOperations
- 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!
- 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...
- 13:53 Design #511 (Closed): Rename file TmpFactor to factor
- 13:26 Support #508 (Closed): Renaming: SqfreeFactor to SqFreeFactor
- 13:23 Feature #17 (Closed): implement "binomial" (coefficient) for RingElem
- 13:15 Feature #5 (Closed): Coefficient extraction
- 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.
- 12:54 Feature #138 (Closed): Automatic conversion from bool3 to bool?
- 12:46 Bug #517 (Closed): MaxSquarableInteger gives wrong ans for unsigned long
- 12:43 Feature #526 (Closed): Fn to test if an integer is a power of 2
- 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...
- 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...
- 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...
11 Apr 2014
- 17:50 Feature #71 (Feedback): ZeroMat & FilledMat
- Removed @FilledMat@. See *comment-5* for the *conclusion*.
- 17:43 Design #408 (Feedback): Rename MatrixArith to MatrixOperations
- Renamed the files, all includes, all tests, the doc. Verified, checked in.
- 17:03 Design #511 (Feedback): Rename file TmpFactor to factor
- Renamed @TmpFactor@ to @factor@. The source file still contains a lot of crocky code!
- 12:09 Design #535 (Closed): IO: move GlobalInput etc to CoCoA server!
- @GlobalInput@ etc should be in the server code, not in CoCoALib!
Move them!
09 Apr 2014
- 00:39 Feature #533 (In Progress): Convert BigInt/BigRat to string
- I have made a quick impl in file @decimal.C@; its currently called @decimals@. I had wanted to use @DecimalStr@ but ...
- 00:37 Feature #533 (Closed): Convert BigInt/BigRat to string
- I thought there used to be @ConvertTo<string>(N)@ for @BigInt@ and @BigRat@.
Maybe there used to be, but they were r... - 16:14 Support #288 (Feedback): DynamicBitset example using LPP
- added *ex-DynamicBiteset2.C*
08 Apr 2014
- 20:10 Bug #510 (Feedback): SyzOfGens (CoCoALib): fix shifts
- Implemented.
Testing will mostly be done in CoCoA-5 issue #509, but a test should be added in CoCoALib as well. - 18:38 Feature #218: CoCoALib normaliz interface
- ... and write submission to Seoul and relative paper.
- 18:34 Support #508 (Feedback): Renaming: SqfreeFactor to SqFreeFactor
- Done; it builds, the tests pass; checked in!
Status -> feedback - 18:23 Support #467: Keep CoCoALib web page up to date! All pages!
- Note: this page is just a reminder.
Every release should have its own.
- 18:20 Support #528 (Closed): Release: CoCoALib-0.99533
- Everything related to making the release:
finalize
valgrind tests
create snapshot
updated webpage
- 17:59 Design #377 (Feedback): IsDivisible -- exact semantics?
- Implemented the proposal in comment-6; changed several @IsZero@ checks into @IsZeroDivisor@.
Changed state to feed... - 16:20 Design #377: IsDivisible -- exact semantics?
- Aldo says that "@a@ is divisible by @b@" means that there exists at least one @c@ such that @a = b*c@. He accepted h...
- 14:11 Feature #526 (Feedback): Fn to test if an integer is a power of 2
- I have implemented in @IntOperations@ both for @BigInt@ and @MachineInt@.
Also added doc and some tests.
The fn say... - 14:10 Feature #526 (Closed): Fn to test if an integer is a power of 2
- It would be handy sometimes to have a function which says whether an integer is a power of 2; perhaps if its absolute...
07 Apr 2014
- 18:41 Feature #71: ZeroMat & FilledMat
- I made some changes:
*NewMat* is now in BackwardCompatible.cpkg5 and is a straight call to *ZeroMat*
*NewMat* for a m... - 18:13 Bug #326 (In Progress): C++ nasty surprises
- 14:44 Feature #385 (In Progress): Design new errors using inheritance
- 14:43 Feature #82: C++11 compatibility questions
- Probably several "efficient" procedures can be eliminated.
* @add@, @sub@, @mul@, @div@ for @RingElem@
* add "mov... - 14:41 Feature #113: Introduce PartialHom
- My impl attempt failed; static typing in C++ did not help.
Now considering defining notion of subring (certain lim... - 14:33 Feature #138 (Feedback): Automatic conversion from bool3 to bool?
- JAA thinks this has been resolved by #153.
Conclusion: *no _automatic_ conversion to @bool@*, just the shorter names... - 14:28 Feature #153: Shorter simpler names for some bool3 values and functions
- The new fn names are:...
05 Apr 2014
- 22:42 Feature #71: ZeroMat & FilledMat
- Unfortunately C5 publishes @NewMat(R,C,entry)@ which calls @FilledMat@; it is used in @primary.cpkg5@
What to do???
- 22:36 Feature #71 (In Progress): ZeroMat & FilledMat
- After 2 years I still think that @FilledMat@ is essentially useless.
Any objections to deleting it?
It is used in @M...
04 Apr 2014
- 17:24 Bug #428 (Closed): PPMonoidOv is not threadsafe
- Osnabruck seem to be happy! Closing!
- 15:24 Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- Anna suggests that @elim@ may be quicker/simpler/better?
- 11:23 Bug #517: MaxSquarableInteger gives wrong ans for unsigned long
- I have replaced yesterday's impl with a new much simpler and more compact one (but it is a bit slower, and relies on ...
03 Apr 2014
- 00:41 Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- A robust general solution is to use @GenRepr@:
inside R/I
invert element alpha
Check that 1 isin ideal(alpha... - 00:37 Feature #520 (Closed): Compute inverse in quotient ring (i.e. division in algebraic extn)
- Implement "division" in a quotient ring.
- 00:31 Design #377: IsDivisible -- exact semantics?
- Summarising:
@IsDivisible(a,b)@ gives @true@ iff there is a *unique* @c@ in the ring satisfying @a = b*c@ (assuming ... - 18:27 Feature #5 (Feedback): Coefficient extraction
- This issue has been left forgotten -- the work has been done anyway!
We have: @SparsePolyIter@, @CoefficientsWRT@,... - 18:18 Bug #2: Makefile problem in ROOT and/or src/AlgebraicCore
- The problem still happens; it's not serious as everything works fine anyway.
I checked on MacOSX 10.5.8.
- 18:06 Support #66 (Feedback): BigInt - NumTheory
- This has effectively already been done: doc for @BigInt@ refers to @IntOperations@ and @NumTheory@ for operations.
- 17:30 Slug #417: ex-Normaliz2-overflow.in too long & too much memory
- With Normaliz 2.11 this will no longer be an issue of memory. But the computation time could still be too big.
- 17:01 Bug #517 (Feedback): MaxSquarableInteger gives wrong ans for unsigned long
- Completely reimplemented: decided to follow design pattern used by @std::numeric_limits@. Will need updating if othe...
- 14:00 Bug #517 (In Progress): MaxSquarableInteger gives wrong ans for unsigned long
- Here is a failing case:...
- 12:10 Bug #517 (Closed): MaxSquarableInteger gives wrong ans for unsigned long
- MaxSquarableInteger gives wrong ans for @unsigned long@ because conversion to @double@ rounds up!
Fix it!
- 11:52 Feature #366 (Closed): function (CoCoALib) for minimal generators (like old Minimalize)
- 11:38 Feature #312 (Closed): LongRange(a,b) returning vector of long a..b (included)
- No problems in almost a year --> closing.
02 Apr 2014
- 18:59 Feature #516 (New): Make squarefreefactor work in multiple polynomial extns
- This is the continuation of #47 (subissue of #39) to be done once #515 has been done.
- 18:58 Feature #39 (Closed): Squarefree factorization
- 18:57 Feature #47 (Closed): Squarefree factorization - multivariate polynomials
- For many practical purposes this issue is complete.
True completion now depends on #515, so I shall close this, and ... - 18:39 Feature #515: Fn to "flatten" muliple polynomial extns
- Once this has been impl'ed (if), we should go back and finish those issues which needed the capability. See the rela...
- 18:30 Feature #515 (New): Fn to "flatten" muliple polynomial extns
- In C5 a user can easily create a ring like @QQ[x][y]@ which is obviously isomorphic to @QQ[x,y]@. CoCoA can do many ...
- 18:01 Feature #356: IsZeroDivisor
- Anna's global impl is fine as a general case, but it does not offer the possibility for smarter impls when we can (_e...
- 17:43 Feature #61 (Closed): Conversion functions -- documentation
- I'm pretty sure this was done ages ago; no idea how much time to log (just guessing).
The current impl and doc are... - 09:44 Feature #61 (In Progress): Conversion functions -- documentation
- Has this been done and forgotten?
I believe so... - 17:33 Design #498 (Feedback): IsIntegralDomain, IamIntegralDomain3
- 17:18 Design #513 (In Progress): Quick/correct flag for bool3 fns
- Idea: all (or most) fns which return @bool3@ values should accept a flag (@bool@?) saying whether to be "quick" or "c...
- 17:00 Design #291 (Closed): NewZZmod and NewRingFp: improve manual, clarify implementation
- No problems after more than a year in feedback. Closing.
- 16:57 Design #511 (Closed): Rename file TmpFactor to factor
- The interface to @factor@ & friends is now stable; rename file to @factor@.
- 16:54 Design #429 (Closed): factorization: public data fields, or mem fns allowing the fields to be updated.
- Closing because it works, the code has been released, and we're happy with the new design.
- 16:52 Design #411 (Closed): design of factorization template class
- As Anna says, we've released the code, we're convinced by the new design.
So closing.
- 13:12 Design #411 (Feedback): design of factorization template class
- I'm pretty happy with the revised design; changing state to "feedback".
After speaking to Bruns about the design, ... - 16:50 Slug #417 (Closed): ex-Normaliz2-overflow.in too long & too much memory
- No problems after 4 months since the update (forgot to update redmine).
So closing! - 10:04 Slug #417 (Feedback): ex-Normaliz2-overflow.in too long & too much memory
- I think this is now to be closed?
- 16:45 Feature #416 (Closed): New fn: NumPartitions
- The impl was finished 4 months ago (but I forgot to update redmine).
No problems have arisen in 4 months --> closing... - 16:33 Feature #430 (Closed): Use -fopenmp flag when compiling CoCoALib with libnormaliz
- No problems reported in over 2 months. Closing!
- 16:18 Support #391 (Closed): Check consistency of template class factorization
- This has already been subsumed by #411 and/or #429.
Closing - 16:01 Feature #366 (Feedback): function (CoCoALib) for minimal generators (like old Minimalize)
- 15:40 Support #507 (Closed): CoCoA website: CoCoALib-0.99532
- 09:08 Support #507: CoCoA website: CoCoALib-0.99532
- Snapshot made on Fri 28th March (sent by email, and tested by S.Campion)
Problems accessing new website server to up... - 08:58 Support #507 (Closed): CoCoA website: CoCoALib-0.99532
- 15:39 Support #29 (Closed): CoCoA website: update web page for CoCoALib-0.9950
- There are links to redmine history.
Too much work for such an old relase. :-(
Giving up on this and closing.
- 09:37 Support #29 (In Progress): CoCoA website: update web page for CoCoALib-0.9950
- 14:49 Bug #510 (Closed): SyzOfGens (CoCoALib): fix shifts
- Example in CoCoA-5...
- 14:26 Support #508 (Closed): Renaming: SqfreeFactor to SqFreeFactor
- The name @SqfreeFactor@ is not consistent with @ContentFreeFactor@.
Should it be renamed to @SqFreeFactor@?
Anoth... - 13:08 Bug #413 (Closed): OrdvArith: use of a single buffer is NOT THREADSAFE
- This has been in feedback for over a month, so closing.
As stated in my previous note, the OpenMP special version ... - 09:39 Feature #123: IdealOfPoints with generic coeffs
- Is this a duplicate of issue #144?
- 09:34 Bug #114 (In Progress): Ideals of polynomials
- I suggest *IdealInPolyRing*, *IdealInField*
- 09:28 Support #252: Documentation for tmp.H (utils on vectors and other containers)
- John Abbott wrote:
> My "gut feeling" is that code in @tmp.C@ should not have official documentation.
>
> However... - 09:22 Support #231: Documentation for QBGenerator needs to be improved.
- Provide a simple example program (I might have some little code somewhere...)
- 09:02 Support #467: Keep CoCoALib web page up to date! All pages!
- This issue will be about general changes.
Particular work for every single release will have its own dedicated issue... - 08:23 Support #467: Keep CoCoALib web page up to date! All pages!
- Web page now resides on a new server.
Work is them made more difficult by not being able to connect remotely.
Hope ... - 08:51 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- tested 0.99532, just a few (14) microscopic leaks (investigate for 0.99533, probably easy to spot)...
- 08:49 Feature #219 (Closed): myDeriv for RingDenseUPolyClean still missing
- Added new issue for documentation. (#505)
Closing this issue. - 08:45 Support #505 (New): Documentation: write doc for RingDenseUPolyClean
- 07:51 Feature #91: Return type & name for "indets" of a PP
- we need to change the name
- 07:33 Feature #312: LongRange(a,b) returning vector of long a..b (included)
- I added some commented out calls to *LongRange* (to replace the existing for loops).
For paranoia, needs testing (not...
01 Apr 2014
- 19:37 Support #234 (Closed): Update/Improve geobucket documentation
- 19:33 Feature #426 (Closed): ConvertTo with optional arg to give more helpful error message
- We are all happy about this. Tested and documented. Closing.
- 19:31 Feature #416 (Resolved): New fn: NumPartitions
- 19:18 Feature #361 (In Progress): implement IsPrime3, IsMaximal3
- should we follow the same (new flashy) design as for *IsIntegralDomain3*?
- 19:11 Feature #248 (Closed): IsDivisible for RingElem with nice interface
- 18:59 Feature #233 (Closed): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
- Please note that *ConvertTo<..>(N)*
also allows passing an error message... - 18:54 Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib
- 18:52 Feature #496 (Closed): ideal: minimalize or minimalized?
- 18:11 Support #467 (In Progress): Keep CoCoALib web page up to date! All pages!
- 17:44 Design #498 (In Progress): IsIntegralDomain, IamIntegralDomain3
- I have removed @IamIntegralDomain@ and modified @IamIntegralDomain3@ so that it expects an arg (@bool QuickMode@). M...
- 15:35 Design #429 (Feedback): factorization: public data fields, or mem fns allowing the fields to be updated.
- John and Anna are not convinced by the proposal to allow the factors to reside in different rings (even if CoCoALib w...
Also available in: Atom