Activity
From 08 Mar 2014 to 06 Apr 2014
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...
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...
Also available in: Atom