Activity
From 05 Mar 2014 to 03 Apr 2014
03 Apr 2014
- 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...
28 Mar 2014
- 09:45 Bug #130: Design problem in ideals
- Anna has recently encountered some other problems with the current design.
This needs thought!
- 08:18 Feature #366 (Resolved): function (CoCoALib) for minimal generators (like old Minimalize)
- Done.
The core function is called *myMinimalize* and is clever (i.e. saves all the precomputed data)
Called simil... - 01:08 Design #498: IsIntegralDomain, IamIntegralDomain3
- Current design has @IamIntegralDomain@ and @IamIntegralDomain3@ pure virtual in @RingBase@, so every concrete ring ha...
27 Mar 2014
- 00:58 Design #498 (Closed): IsIntegralDomain, IamIntegralDomain3
- JAA has just added an impl of @IsIntegralDomain3@
The design is probably wrong. Replace it with a better one! - 18:56 Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- Yes, that works. Thanks a lot! We can work with that solution.
How do you think about allowing ZZ[x] factors toget... - 18:28 Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I have fixed the problem with factorizations over ZZ[x].
[I have implemented @IsIntegralDomain3@]
Checked in to C... - 16:37 Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The const ref aliases are a good suggestion. @myFactors(i)@ was also not the optimal syntax.
For the size, to me it ... - 15:06 Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I have added a note to the documentation about possibly having a function for changing the multiplicity of a factor.
... - 15:00 Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The main reason I do not offer a len/size fn is that its semantics are unclear to me.
*(A)* Should it simply be the ... - 14:54 Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- The reason @myFactor@ and @myMultiplicity@ are commented out is because they offered little gain in readability; it s...
- 11:30 Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.
- I updated nmzIntegrate to the changes, while looking at the header to figure out the new interface of the factorizati...
- 18:16 Feature #496: ideal: minimalize or minimalized?
- done and tested, documented, ported to CoCoA-5
Works only for homogeneous input.
Cleverly stores GBasis and MinGe... - 08:22 Feature #496 (In Progress): ideal: minimalize or minimalized?
- Decided how and implemented *myMinimalized*.
The current design for ideals actually makes it simple: operations are ... - 08:09 Feature #496 (Closed): ideal: minimalize or minimalized?
- In CoCoA-4 there were two functions:
- minimalized(I): returning an ideal J=I generated by a minimal set of generato... - 15:28 Support #497 (New): Clang: automatic bug finding
- On the Clang web-site they offer a static analysis tool
(see @http://clang-analyzer.llvm.org/@)
It would be good(...
26 Mar 2014
- 18:05 Feature #17 (Feedback): implement "binomial" (coefficient) for RingElem
- I've made a simple impl (obviously correct, might not be fast).
In answer to my qn in post 2, we've decided to kee...
25 Mar 2014
24 Mar 2014
- 13:08 Design #411: design of factorization template class
- I've checked in everything.
For me all tests pass (even with max debugging). Also OK on my linux box (a netbook, >4... - 12:52 Design #411 (Resolved): design of factorization template class
- I have revised the interface of @factorization@.
The 3 main fields are now private, so I have implemented (read-on...
21 Mar 2014
- 15:13 Feature #209: ReadExpr: input polynomials in CoCoALib
- *Warning!!*
Syntax for ReadExpr has changed: now the ring is the first argument (looking like RingElem(P, "x")) - 14:35 Feature #203 (Closed): Function to get the Hilbert Polynomial ring from GlobalManager
- working fine for 5 months. closing
- 14:18 Design #411 (In Progress): design of factorization template class
- Bite the bullet!
I know what needs to be done; I just have to find the courage to do it (I keep hearing "if it ain't... - 14:14 Feature #457 (Closed): Zero to the power zero, 0^0
- Tidying up; feedback period revealed no problems (in 15 days). Closing.
- 12:10 Slug #479 (Feedback): make check in examples/ directory is far too slow
- Thanks Christof!
I have made the change you suggested, and now it is much faster (5.5s).
- 11:18 Design #455: Which sets of generators in an ideal?
- I think we should have @myMinGens@ in every ideal: a "minimal set of generators" is quite a general concept.
We shou... - 10:46 Feature #366: function (CoCoALib) for minimal generators (like old Minimalize)
- What should *minimalize(I)* do?
The cocoa-4 function would create a new ideal (submodule) generated by *MinGens(I)*....
20 Mar 2014
- 09:34 Feature #482: Unique copies of rings -- smart ctor
- My guess is that it will be impossible to deal with under multithreading, and, if implemented, we must guarantee the ...
19 Mar 2014
- 21:28 Feature #482: Unique copies of rings -- smart ctor
- If a ring pseudo-ctor is to be smart (and return an existing ring if possible) then how smart should it be?
Consider... - 21:22 Feature #482: Unique copies of rings -- smart ctor
- Having unique copies of rings implies a centralized global registry, and this might adversely affect multithreaded ex...
- 21:12 Feature #482 (In Progress): Unique copies of rings -- smart ctor
- After some experience using CoCoALib, it has been useful that @ZZ@ and @QQ@ are unique (_i.e._ repeated calls to the ...
- 21:24 Slug #479: make check in examples/ directory is far too slow
- Right now I have only very limited Internet access, so I'm unsure what the current Version of ex-Normaliz does. We wr...
17 Mar 2014
- 21:00 Slug #479: make check in examples/ directory is far too slow
- The worst culprit is @ex-Normaliz2@ which takes about 90s on my machine -- that's more than half the total time!
T... - 20:35 Slug #479 (Closed): make check in examples/ directory is far too slow
- On my machine @make check@ takes about 160s (not counting compilation!).
That is too slow (especially on my poor lit...
11 Mar 2014
- 00:22 Support #467: Keep CoCoALib web page up to date! All pages!
- Far too easy to forget updating EVERY SINGLE PAGE.
I realised that CoCoALib page was still talking about using CoCoA... - 00:19 Support #467 (Closed): Keep CoCoALib web page up to date! All pages!
- Check every so often there is nothing obsolete.
Every single page: sometimes obsolete infos hide in some description...
07 Mar 2014
- 18:13 Support #195 (Closed): OrdvArith documentation needs rewriting
- Closing in preparation for new version of CoCoALib.
- 18:05 Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns)
- The code has remained unchanged for 4 months, and there have been no problems.
Everyone is happy with the design d... - 15:26 Feature #459 (New): LinearSimplify: port to CoCoALib
- Rewrite @LinearSimplify@ in C++ so it is available in CoCoALib.
06 Mar 2014
- 17:15 Feature #457 (Feedback): Zero to the power zero, 0^0
- Implemented changes to @IntOperations.C@ and @ring.C@ (the old code was buggy).
Added new tests. Modified documen... - 15:32 Feature #457 (In Progress): Zero to the power zero, 0^0
- In an algebraic/combinatorial context it makes sense to define the value of the formula *@0^0@* to be *@1@* even thou...
- 15:14 Feature #457 (Closed): Zero to the power zero, 0^0
- After getting "burned" last night when trying to compute *@0^0@* (as an entry in a Vandermonde matrix), I have decide...
Also available in: Atom