Activity
From 30 Mar 2012 to 28 Apr 2012
27 Apr 2012
- 16:29 Feature #125: Matrix equation solving; linear system solving
- Implemented the chosen names.
Created/corrected CoCoALib doc for the new fns.
Added CoCoALib example program *@ex-m... - 15:06 Feature #125: Matrix equation solving; linear system solving
- A quick count using Google suggests that *@LinSolve@* as about twice as popular as *@MatSolve@*. Anna points out tha...
- 15:00 Feature #50: Polynomial content
- Tests and doc are already done for CoCoA-5.
Still missing in CoCoALib - 12:49 Support #75: Documentation review by Caleo
- Alessandra reports
* finished *@BigInt@*, *@BigRat@* and *@MachineInt@* (doc and examples)
* *@bool3@* doc was poor; ... - 12:14 Support #140 (Closed): Doc & example for convert
- Alessandra reported (some time ago) that the doc for *@convert@* was rather unclear -- she could not figure out how t...
- 12:10 Feature #138: Automatic conversion from bool3 to bool?
- John Abbott wrote:
> The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from... - 11:30 Feature #139 (Closed): Usefulness of ring casting fns (remove AsPolyRing, etc.)
- Caleo pointed out that it is unclear what *@AsFractionField@* does.
JAA has already noticed that it is a nuisance ha... - 10:50 Bug #135: Revise interface to SmallFpImpl & friends
- Confirmed need for major redesign.
Current main doubt is how public I should be about the type *@SmallFpImpl::valu...
26 Apr 2012
- 16:18 Feature #51: polynomial coefficient extraction w.r.t. variable
- After talking to AMB, it seems best to "forget" the general function for the time being (until we have a genuine need...
- 16:14 Feature #51: polynomial coefficient extraction w.r.t. variable
- John Abbott wrote:
> We need a good name for this fn. The name @CoefficientsWRT@ would be fairly good, but could be ...
24 Apr 2012
- 17:09 Feature #138 (Closed): Automatic conversion from bool3 to bool?
- The BOOST equivalent of @bool3@ is called @tribool@. It offers automatic conversion to and from @bool@.
I have al... - 16:08 Feature #107: Recognizing finite fields
- Added C5 documentation for @IsFiniteField@, @LogCardinality@, @IsPthPower@ and @PthRoot@.
JAA wonders whether *@Ext... - 14:58 Feature #107: Recognizing finite fields
- JAA now believes that he has a decent algorithm for testing a polynomial ideal for maximality. As prerequisite it ne...
- 14:52 Feature #51: polynomial coefficient extraction w.r.t. variable
- JAA thinks that the most useful form of @CoeffsWRTBasis@ is one where the basis is an ordered set of PPs. Mathematic...
- 11:33 Feature #51: polynomial coefficient extraction w.r.t. variable
- Part of this task has already been solved by #90 @CoefficientsWRT@.
JAA now needs a fn which converts a polynomial i... - 11:17 Slug #129: Better GCD
- I cleaned the code so that it leaks less memory now.
The cleaning was a consequence of some other development.
23 Apr 2012
- 16:49 Feature #107: Recognizing finite fields
- Where should the documentation go?
- 16:46 Feature #107: Recognizing finite fields
- I have made the following fns available in CoCoA-5:
* @IsFiniteField@
* @LogCardinality@
* @IsPthPower@
* @PthRoot@
...
20 Apr 2012
- 12:19 Feature #125: Matrix equation solving; linear system solving
- While speaking to Renzo about choosing the name, I realised that solving a linear system is slightly different from s...
- 11:56 Feature #107: Recognizing finite fields
- I really don't like the name @CardExp@ -- I think it is too cryptic.
The value it returns is log(cardinality)/log(... - 11:13 Bug #135 (Closed): Revise interface to SmallFpImpl & friends
- After starting work on the reimplementation of @DUPFF@ in C++, I discovered that the interface to @SmallFpImpl@ is ne...
19 Apr 2012
- 23:59 Feature #134 (New): Convenience ring ctors and homs
- Here are some ideas for convenient ring ctors which make homs too:
* change PPOrdering (makes new poly ring, and pro...
18 Apr 2012
- 22:22 Feature #107: Recognizing finite fields
- First impls have been made.
The cardinality is represented by a fn called @CardExp@ which gives the exponent of @p...
16 Apr 2012
- 15:50 Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio did numerous timing experiments to understand whether reordering the variables could lead to a useful gain in...
- 10:50 Feature #125: Matrix equation solving; linear system solving
- As mentioned in the previous post, currently I have used several fn names for solving linear systems: a generic fn, a...
- 10:45 Feature #125: Matrix equation solving; linear system solving
- What names should we use for the fns which find a solution to a linear system? The name may be related to the name f...
15 Apr 2012
- 22:07 Bug #130 (New): Design problem in ideals
- Now that there is a linear system solver I tried to write a general implementation for
@SparsePolyRingBase::IdealImp... - 21:59 Slug #129: Better GCD
- Implemented a first version where some GCD computations are passed to the old CoCoA-4 code. It is a poor implementat...
- 21:38 Slug #129 (New): Better GCD
- Currently CoCoALib computes GCDs using GBasis/syzygy computations. This is often terribly slow -- there is faster co...
13 Apr 2012
- 18:29 Feature #125: Matrix equation solving; linear system solving
- Added some doc in @MatrixArith.txt@, and a new test @test-matrix3.C@.
No new example program yet.
New fns not yet a... - 14:30 Feature #125: Matrix equation solving; linear system solving
- JAA has an impl of the generic case (over a field).
JAA has written a test for this first impl.
No example, and no ...
05 Apr 2012
- 14:27 Feature #127 (In Progress): Convert DUPFF code to C++
- Convert the old factorizer C code "DUPFF" into C++.
- 14:26 Feature #126 (New): New datastructures directory
- Create a new datastructures directory to hold source code for impls of various datastructures (e.g. the various Distr...
- 14:23 Feature #125 (In Progress): Matrix equation solving; linear system solving
- Add code for solving linear systems. There are several subcases:
* generic case over a field
* full rank and not f... - 14:12 Feature #124: change long args in matrices into MachineInt (?)
- The args being considered are "indices"; we should be consistent regarding all sorts of index (well, at least non-neg...
04 Apr 2012
- 15:20 Feature #124 (Rejected): change long args in matrices into MachineInt (?)
- For "public" functions (not member functions) like...
- 13:07 Feature #123 (New): IdealOfPoints with generic coeffs
- Think about the implementation of IdealOfPoints in the case of generic coefficients (_e.g._ in *@QQ(a)@*)
Implement ... - 09:37 Feature #122 (Closed): Porting "LinKer"
- This issue is *closed*; it is a *DUPLICATE* of #206
Port cocoa-4 C code about LinKer to cocoalib.
- 09:22 Feature #121 (Closed): Porting "IdealOfPoints"
- Port in cocoalib the cocoa-4 C code about BuchbergerMoeller.
An important step in it is the lifting from Fp --> QQ...
03 Apr 2012
- 21:48 Slug #120: LT over QQ: surprisingly slow
- My "noddy" program for computing GBases can do the whole computation in a few seconds...
- 21:08 Slug #120: LT over QQ: surprisingly slow
- Here is another suspect starting ideal in @QQ[x,y,z],Lex@
@[x^4 +x*y^2*z +y^4, x^3*y +x^2*z^2 +z^2]@
- 20:40 Slug #120 (New): LT over QQ: surprisingly slow
- The following should compute a LT ideal of a small ideal (using lex).
It takes longer than I would expect over QQ --... - 17:30 Bug #119 (Closed): CoCoA4io
- The file @CoCoA4io@ should not be inside CoCoALib -- it belongs in CoCoAServer.
Move it... will lead to some consequ...
02 Apr 2012
30 Mar 2012
- 19:09 Feature #116 (Closed): ordering matrices with rational coefficients
- it is useful to allow rational coefficients (why not?) and appropriate conversion into ZZ when necessary (optimized O...
- 14:36 Bug #22: Rename PPMonoidEvZZ?
- We have not yet decided about internal impl names.
JAA still likes his suggestion made two posts ago.
- 14:34 Bug #22: Rename PPMonoidEvZZ?
- We don't have time to complete this change before 0.9950.
However we have decided that it is simplest for the user... - 12:55 Support #75: Documentation review by Caleo
- Alessandra reports:
# the examples are mostly OK; she reported some minor problems which J+A attended to immediately...
Also available in: Atom