CoCoA » CoCoALib

30 May 2015

14:52 Feature #721: CheckForInterrupt: string arg to specify where it was called?

I have implemented my suggestion in note 1.
It occurred to me that if we do allow a string as arg (to where @Check... John Abbott

10:01 Feature #721 (In Progress): CheckForInterrupt: string arg to specify where it was called?

I prefer that the exception thrown is not of the same type as a normal @CoCoA_ERROR@ because the reasons behind the e... John Abbott

10:22 Feature #385: Design new errors using inheritance

I think it may be a cleaner design to use (impose) the convention that all exceptions CoCoALib are derived from a sin... John Abbott

29 May 2015

17:20 Feature #721: CheckForInterrupt: string arg to specify where it was called?

In fact I was suggesting something else: @CheckInterrupt@ throws something which is not a CoCoA_ERROR, so cocoa-5 doe... Anna Maria Bigatti

16:19 Feature #721: CheckForInterrupt: string arg to specify where it was called?

It looks to be almost trivial to add @CheckForInterrupt(const char*)@ and @CheckForInterrupt(const std::string&)@.
... John Abbott

16:16 Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?

Anna indirectly suggested that it might be nice to have an optional arg to @CheckForInterrupt@ which takes a string i... John Abbott

12:03 Feature #718 (In Progress): Insert calls to CheckForInterrupt

Nice! I added it into @TmpGReductor.C@ (I was actually doing something else with very slow GB ;-) )... Anna Maria Bigatti

22 May 2015

13:45 Slug #675: Matrix determinant over multivariate poly ring

A Google search for "division free algorithm for determinant" produces several hits. Possibly something there may be... John Abbott

13:21 Slug #675 (In Progress): Matrix determinant over multivariate poly ring

I have changed @myDet@ in @DenseMatrix.C@ so that it calls @DetDirect@ only if there are at least 3 indets and the ma... John Abbott

21 May 2015

16:02 Bug #666 (Feedback): RatReconstructByLattice fails in some simple cases

I have added a comment to the documentation.
I discussed with Christof the possibility of throwing an exception wh... John Abbott

10:54 Feature #718: Insert calls to CheckForInterrupt

I suggest we keep a log here of the files we have looked at with a view to inserting calls to @CheckForInterrupt@. John Abbott

10:52 Feature #718 (Closed): Insert calls to CheckForInterrupt

So that interrupts are acted upon we must insert calls to @CheckForInterrupt@ in various places -- principally in loo... John Abbott

09:41 Feature #714 (Resolved): Interrupt mechanism

I have checked in the impl with both *(A)* and *(B)*.
Then I deleted *(A)* and checked in again. This way I hope *(... John Abbott

09:38 Feature #715 (Resolved): RandomSubsetIndices, RandomTupleIndices?

I have already reported this (and logged time) in issue #622.
I think @RandomSubsetIndices@ is likely to be useful... John Abbott

20 May 2015

19:13 Feature #573: Use symbolic links for external libraries

John Abbott wrote:
> What is the current status? Has the cleaning been done? It has been working fine for several ... Anna Maria Bigatti

17:24 Feature #573 (Feedback): Use symbolic links for external libraries

What is the current status? Has the cleaning been done? It has been working fine for several months, so changing st... John Abbott

12:47 Feature #715 (Closed): RandomSubsetIndices, RandomTupleIndices?

In CoCoA we have *RandomSubsetIndices, RandomTupleIndices*.
Could they be useful in CoCoALib?
If so implement trans... Anna Maria Bigatti

12:38 Feature #714: Interrupt mechanism

John Abbott wrote:
> Is there any sense in offering approach *(A)*? Perhaps it is best to offer just *(B)*, and add ... Anna Maria Bigatti

12:21 Feature #714: Interrupt mechanism

I am undecided about which ways to offer for telling the GlobalManager which interrupt flag to watch:
* *(A)* specif... John Abbott

10:22 Slug #675: Matrix determinant over multivariate poly ring

in the cocoa manual there is this example... Anna Maria Bigatti

19 May 2015

17:55 Feature #714: Interrupt mechanism

Also seems to work with the C5 GUI now :-)
John Abbott

16:56 Feature #714 (In Progress): Interrupt mechanism

I have implemented a first version following the outlines given above.
It seems to pass a quick test -- I have mad... John Abbott

11:41 Feature #714: Interrupt mechanism

Here is a further complication: how to handle several libraries together?
Let us suppose that CoCoALib has a mechani... John Abbott

10:16 Feature #714: Interrupt mechanism

There is a slight risk in my proposal above. If @SignalInterrupt@ is called asynchronously while @CheckForInterrupt@... John Abbott

10:09 Feature #714: Interrupt mechanism

As far as CoCoA-5 is concerned CoCoALib is "external software", and the problem noted in #713 applies as much to CoCo... John Abbott

10:04 Feature #714 (Closed): Interrupt mechanism

Add an interrupt mechanism to CoCoALib.
John Abbott

18 May 2015

12:16 Feature #222: Printing polynomials - spaces between terms

This issue has been idle for another year.
John Abbott

17 May 2015

10:31 Design #710: Update normaliz interface?

The revised @normaliz@ interface aims to be backward compatible.
JAA prefers the new names in @normaliz@, and woul... John Abbott

10:29 Design #710 (In Progress): Update normaliz interface?

Normaliz is about to release version 3.0.
This has a revised interface (_e.g._ new names for certain existing feat... John Abbott

10:27 Feature #253: W.Bruns's wish list

Can we finish this issue in the near future?
John Abbott

15 May 2015

19:28 Design #683 (Resolved): Module index component in internal compressed representation

tested both with @unsigned int@ and @unsigned char@: it works!!... Anna Maria Bigatti

18:43 Design #683: Module index component in internal compressed representation

Bug probably found.... my fault
John has implemented in GBEnv.C... Anna Maria Bigatti

19:11 Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!

Some notes:
In @OrdvArith.H@ there is this comment:... Anna Maria Bigatti

18:47 Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!

32749 is the biggest prime with some guarantee for <I-cant-remember-what>, so the order matrix is actually over ZZ/(3... Anna Maria Bigatti

15:51 Bug #705 (Feedback): DetDirect calls myAddMul with 0 argument -- funny compilation problem??

I still don't understand why it seemed to work (maybe a missing cvs checkout)
The problem is a simple (when you know ... Anna Maria Bigatti

12:28 Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??

with (CoCoA-5) input:... Anna Maria Bigatti

09:12 Design #703 (New): Add more operations between modules (CoCoALib)

Add more module operations: +, colon, ...
(there are also some operations for modules in CoCoA-5 packages)
The ma... Anna Maria Bigatti

13 May 2015

17:59 Feature #658: Indets actually in a poly (or vector or matrix)

An advantage of @vector<bool>@ is that it avoids the problem/incompatibility of indices in C++ starting from 0 (both ... John Abbott

14:40 Slug #701: Makefile; limit dependencies on external libs

This issue is not so important (hence priority *low*); not even sure it is worth fixing, as it may complicate the bui... John Abbott

14:37 Slug #701 (Rejected): Makefile; limit dependencies on external libs

If you have CoCoALib already (configured and) compiled, and want to repeat compilation but also including an external... John Abbott

11 May 2015

17:54 Feature #623 (Closed): Inverse of a matrix over ZZ

Done.
If the matrix is over an IntegralDomain then it is mapped into FractionField.
Then the inverse is mapped back... Anna Maria Bigatti

16:05 Feature #625 (Closed): NumTheory: sieve of Eratosthenes

Anna says OK for the name -- hard to find a shorter name which is clearer.
I have clarified the manual.
Closing.
John Abbott

16:02 Bug #631: Ambiguous: rank for matrix (in ex-matrix1.C)

I noticed that some of Christof's code uses @rank@; I have written to him asking whether it would be resaonable to ch... John Abbott

15:32 Bug #631 (Feedback): Ambiguous: rank for matrix (in ex-matrix1.C)

I think everything has now been done.
John Abbott

14:07 Support #604 (Closed): Release: CoCoALib-0.99535

John Abbott

10 May 2015

20:02 Feature #625: NumTheory: sieve of Eratosthenes

Currently the function is called @eratosthenes@; is there a better name?
The doc needs slight clarification @erato... John Abbott

16:03 Feature #625: NumTheory: sieve of Eratosthenes

Can we close this?
John Abbott

09 May 2015

15:48 Feature #678: Accumulator (like a geobucket)

The implementation will almost surely be best done via mem fns since the actual inner working of an "accumulator" wil... John Abbott

08 May 2015

11:58 Feature #215: Janet Bases: check and include code in CoCoALib (first prototype)

This issue has status @Feedback@ but the percent done is just 20%.
What is the actual status? Should this issue be ... John Abbott

11:50 Bug #15: Adjoint of a non-invertible matrix

I have implemented a first version of @AdjByDetOfMinors@; it may already be obsolete because I have also implemented ... John Abbott

11:39 Support #696 (Closed): test-OrderedRing: activate or eliminate?

There is a file @test-OrderedRing1.C@ which is not actually executed.
Either fix it so that it works (currently fail... John Abbott

11:37 Support #695: Remove cruft from test files

Commented out code could make sense in the following cases:
* the test is valid, but the relevant CoCoALib code is N... John Abbott

11:34 Support #695 (New): Remove cruft from test files

Several test files contain commented out code; this should either be removed or made active (or perhaps add a clear c... John Abbott

11:32 Support #694: In test files: when is assert.H needed?

Actually I am rather surprised that it is not necessary for all tests.
Investigate why it works without explicitly... John Abbott

11:30 Support #694 (Closed): In test files: when is assert.H needed?

Some test files explicitly include @CoCoA/assert.H@ but many do not.
Check that it is truly needed when it is pres... John Abbott

11:28 Design #642 (Resolved): Move code in test file into namespace CoCoA

JAA has finished all test files. Will check-in, then we can verify on several platforms that all is well.
John Abbott

11:26 Feature #623: Inverse of a matrix over ZZ

Here is an invertible 3x3 matrix... John Abbott

09:15 Support #621: Release: CoCoALib-0.99536

generated cvs log... Anna Maria Bigatti

07 May 2015

16:57 Design #642: Move code in test file into namespace CoCoA

JAA has now done @test-[J-Q]*.C@ and @test-[a-h]*.C@ John Abbott

15:36 Bug #693 (Closed): Makefile_dependencies in src/tests/

The file @src/tests/Makefile_dependencies@ seems to be suspiciously simple. Either it is wrong or it is pointless. ... John Abbott

13:50 Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)

Anna Maria Bigatti wrote:
> - when @IsZeroDivisor@ is called and should return @false@ then its ring is not integral... Anna Maria Bigatti