CoCoA » CoCoALib

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)@
... John Abbott

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... John Abbott

15:55 Feature #50: Polynomial content

Created two fns:
* *@content@* computes "content" of the coeffs, result is in CoeffRing
* *@ContentWRT@* computes "co... John Abbott

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 (... John Abbott

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 ... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

12:02 Support #75: Documentation review by Caleo

Alessandra reports:
# documentation for @ring@ & @RingElem@ is mostly OK (but still not complete)
@ex-RingElem1@ ... John Abbott

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... John Abbott