Activity
From 25 Apr 2015 to 24 May 2015
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...
- 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...
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... - 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@.
- 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...
- 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 *(... - 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...
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 ... - 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...
- 12:47 Feature #715 (Closed): RandomSubsetIndices, RandomTupleIndices?
- In CoCoA we have *RandomSubsetIndices, RandomTupleIndices*.
Could they be useful in CoCoALib?
If so implement trans... - 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 ... - 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... - 10:22 Slug #675: Matrix determinant over multivariate poly ring
- in the cocoa manual there is this example...
19 May 2015
- 17:55 Feature #714: Interrupt mechanism
- Also seems to work with the C5 GUI now :-)
- 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... - 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... - 10:16 Feature #714: Interrupt mechanism
- There is a slight risk in my proposal above. If @SignalInterrupt@ is called asynchronously while @CheckForInterrupt@...
- 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...
- 10:04 Feature #714 (Closed): Interrupt mechanism
- Add an interrupt mechanism to CoCoALib.
18 May 2015
- 12:16 Feature #222: Printing polynomials - spaces between terms
- This issue has been idle for another year.
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... - 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... - 10:27 Feature #253: W.Bruns's wish list
- Can we finish this issue in the near future?
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!!...
- 18:43 Design #683: Module index component in internal compressed representation
- Bug probably found.... my fault
John has implemented in GBEnv.C... - 19:11 Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!
- Some notes:
In @OrdvArith.H@ there is this comment:... - 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...
- 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 ... - 12:28 Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??
- with (CoCoA-5) input:...
- 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...
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 ...
- 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...
- 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...
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... - 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.
- 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...
- 15:32 Bug #631 (Feedback): Ambiguous: rank for matrix (in ex-matrix1.C)
- I think everything has now been done.
- 14:07 Support #604 (Closed): Release: CoCoALib-0.99535
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... - 16:03 Feature #625: NumTheory: sieve of Eratosthenes
- Can we close this?
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...
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 ... - 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 ...
- 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... - 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... - 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...
- 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... - 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... - 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.
- 11:26 Feature #623: Inverse of a matrix over ZZ
- Here is an invertible 3x3 matrix...
- 09:15 Support #621: Release: CoCoALib-0.99536
- generated cvs log...
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@
- 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. ...
- 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...
30 Apr 2015
- 10:07 Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- Also @x/i@ is working now.
(will cvs it this afternoon) - 07:38 Feature #385: Design new errors using inheritance
- ...
29 Apr 2015
- 19:03 Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
- Polishing up all the code is always long and tedious....
Anyway!
The code is there and it works.
I still have prob... - 15:46 Slug #691 (In Progress): Matrix determinant over ZZ
- Hint: @DenseMatrix.C:462@ the dispatch function @DenseMatImpl::myDet@ does not handle matrices over ZZ specially -- t...
- 11:33 Slug #691: Matrix determinant over ZZ
- Just as a speed comparison reference I computed @3^(3^17)@ on both machines:
* old G4 took about 50s (on battery pow... - 11:22 Slug #691: Matrix determinant over ZZ
- I've just tried a 1000x1000 matrix: the old G4 took about 550s, my newer MacBook Pro took 1400s. Embarrassing!
*NOT... - 10:32 Slug #691: Matrix determinant over ZZ
- What?!? My dad's ancient iBook G4 is just as fast as my much newer MacBook Pro???
Something must be seriously wro... - 10:31 Slug #691 (Closed): Matrix determinant over ZZ
- I tried computing the following:...
Also available in: Atom