CoCoA » CoCoALib

01 Apr 2014

19:37 Support #234 (Closed): Update/Improve geobucket documentation

Anna Maria Bigatti

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. Anna Maria Bigatti

19:31 Feature #416 (Resolved): New fn: NumPartitions

Anna Maria Bigatti

19:18 Feature #361 (In Progress): implement IsPrime3, IsMaximal3

should we follow the same (new flashy) design as for *IsIntegralDomain3*? Anna Maria Bigatti

19:11 Feature #248 (Closed): IsDivisible for RingElem with nice interface

Anna Maria Bigatti

18:59 Feature #233 (Closed): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>

Please note that *ConvertTo<..>(N)*
also allows passing an error message... Anna Maria Bigatti

18:54 Feature #209 (Closed): ReadExpr: input polynomials in CoCoALib

Anna Maria Bigatti

18:52 Feature #496 (Closed): ideal: minimalize or minimalized?

Anna Maria Bigatti

18:11 Support #467 (In Progress): Keep CoCoALib web page up to date! All pages!

Anna Maria Bigatti

17:44 Design #498 (In Progress): IsIntegralDomain, IamIntegralDomain3

I have removed @IamIntegralDomain@ and modified @IamIntegralDomain3@ so that it expects an arg (@bool QuickMode@). M... John Abbott

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... John Abbott

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!
John Abbott

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... Anna Maria Bigatti

01:08 Design #498: IsIntegralDomain, IamIntegralDomain3

Current design has @IamIntegralDomain@ and @IamIntegralDomain3@ pure virtual in @RingBase@, so every concrete ring ha... John Abbott

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! John Abbott

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... Christof Soeger

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... John Abbott

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 ... Christof Soeger

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.
... John Abbott

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 ... John Abbott

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... John Abbott

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... Christof Soeger

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... Anna Maria Bigatti

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 ... Anna Maria Bigatti

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... Anna Maria Bigatti

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(... John Abbott

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... John Abbott

25 Mar 2014

18:10 Feature #356 (Resolved): IsZeroDivisor

John Abbott

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... John Abbott

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... John Abbott

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")) Anna Maria Bigatti

14:35 Feature #203 (Closed): Function to get the Hilbert Polynomial ring from GlobalManager

working fine for 5 months. closing Anna Maria Bigatti

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... John Abbott

14:14 Feature #457 (Closed): Zero to the power zero, 0^0

Tidying up; feedback period revealed no problems (in 15 days). Closing.
John Abbott

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).
John Abbott

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... Anna Maria Bigatti

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)*.... Anna Maria Bigatti

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 ... Anna Maria Bigatti

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... John Abbott

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... John Abbott

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 ... John Abbott

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... Christof Soeger

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... John Abbott

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... John Abbott

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... Anna Maria Bigatti

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... Anna Maria Bigatti

07 Mar 2014

18:13 Support #195 (Closed): OrdvArith documentation needs rewriting

Closing in preparation for new version of CoCoALib.
John Abbott

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... John Abbott

15:26 Feature #459 (New): LinearSimplify: port to CoCoALib

Rewrite @LinearSimplify@ in C++ so it is available in CoCoALib.
John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... Anna Maria Bigatti

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... Anna Maria Bigatti