Activity
From 02 Mar 2014 to 31 Mar 2014
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...
03 Mar 2014
- 19:04 Design #455: Which sets of generators in an ideal?
- from issue Bug #446: intersection fails with zero ideal
John Abbott wrote
> What I tried to suggest yesterday, is... - 18:57 Design #455 (New): Which sets of generators in an ideal?
- now we have
@myGens@
@myTidyGens@
but in SparsePolyRing we would also need
@myGBasis@ (currently stored in @myTi...
Also available in: Atom