Activity
From 01 Mar 2012 to 30 Mar 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...
26 Mar 2012
- 19:11 Bug #114 (In Progress): Ideals of polynomials
- Currently operations special to ideals in polynomial rings are located in @SparsePolyRing.H@ -- this seems incorrect....
23 Mar 2012
- 17:02 Feature #113 (In Progress): Introduce PartialHom
- Currently CoCoALib does not distinguish between proper homs and partial homs.
Thus we can create a (partial) RingH... - 12:39 Support #75: Documentation review by Caleo
- Alessandra reports:
* doc for almost all rings (except @ring@, @RingElem@) needs to be better organized
* reference... - 11:37 Support #112 (New): automatic creation of all function signatures
- Is it possible to create a readable collection of all function signatures and (more difficult) to link to the correct...
21 Mar 2012
- 15:22 Bug #111: Mod fn for computing remainder
- The use of @tdiv@ functions produces a (pleasing) sign symmetry:
# namely @A%B = - ((-A)%B) = - A%(-B) = (-A)%(-B)@
...
20 Mar 2012
- 16:03 Bug #111 (Closed): Mod fn for computing remainder
- The doc says the result is least non-neg remainder...
BUT the code uses @mpz_tdiv@ which "truncates" towards zero, s... - 15:55 Feature #50: Polynomial content
- Created two fns:
* *@content@* computes "content" of the coeffs, result is in CoeffRing
* *@ContentWRT@* computes "co... - 10:10 Feature #107: Recognizing finite fields
- Other functions which finite fields should offer:
* @IsPthPower@
* @IsPthPower2@ says whether arg is a P^k-th power (...
19 Mar 2012
- 16:11 Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio has not found any criterion for a good order in which to "eliminate" the indets.
He did suggest offering an ... - 11:56 Feature #107 (Closed): Recognizing finite fields
- The case of polynomials over finite fields can often be handled specially. We must add functions to facilitate the d...
18 Mar 2012
- 15:19 Bug #22: Rename PPMonoidEvZZ?
- Here is an alternative suggestion (affecting the names of all PPMonoids).
The underlying principle is that an obje...
16 Mar 2012
- 18:01 Feature #51: polynomial coefficient extraction w.r.t. variable
- JAA has made a first impl.
Still unsure about the interface (_i.e._ the type of the result & also the type of the par... - 17:47 Bug #21 (Closed): Rename NumTheory and NumTheoryQQ
- The simplest solution seemed to be to merge @NumTheoryQQ@ into @NumTheory@. This avoids a possibly confusing, seemin...
- 12:02 Support #75: Documentation review by Caleo
- Alessandra reports:
# documentation for @ring@ & @RingElem@ is mostly OK (but still not complete)
@ex-RingElem1@ ...
07 Mar 2012
- 13:01 Feature #40: Squarefree factorization - Alessio d'Ali`
- Alessio and John have both implemented content free factorization.
The CoCoALib impl is slightly faster -- but we ran...
Also available in: Atom