CoCoA » CoCoALib

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

01 Mar 2014

10:06 Feature #209: ReadExpr: input polynomials in CoCoALib

added RingElemInput in documentation (cvs-ed)
(work in progress) Anna Maria Bigatti

10:03 Support #452: Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners)

I added an entry to the CoCoALib documentation. (cvs-ed)
Just started
Anna Maria Bigatti

09:31 Support #452 (Closed): Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners)

Code is very readable, but some documentation would be nice, wouldn't it?
*2014-07* the documentation is in doc/tx... Anna Maria Bigatti

28 Feb 2014

17:10 Feature #426: ConvertTo with optional arg to give more helpful error message

added example and documentation (cvs-ed) Anna Maria Bigatti

16:30 Feature #426 (Feedback): ConvertTo with optional arg to give more helpful error message

Jon implemented this and forgot to say it?
anyway it is very nice:
code was... Anna Maria Bigatti