|
Givaro
|
Poly1 p-adic. More...
#include <givpoly1padic.h>
Inheritance diagram for Poly1PadicDom< Domain, Dense >:
Collaboration diagram for Poly1PadicDom< Domain, Dense >:Public Member Functions | |
| Rep & | setdegree (Rep &P) const |
| Compute the degree of P. More... | |
| size_t & | sqrfree (size_t &Nfact, Rep *Fact, const Rep &P) const |
| Sqrfree decomposition. More... | |
Poly1 p-adic.
Compute the degree of P.
P constant !! | P | polynomial |
Sqrfree decomposition.
Decompose P such that: P = Fact[0]^0 * Fact[1]^1 * ... * Fact[P.degree()]^(P.degree()), with Fact[0] the leading coefficient. The array Fact must be allocated before calling the function. The size of Fact must be degP+1 is all factors should be computed. For more readeable version of the algorithm, see Geddes, p342.
| Nfact | [in] the size of Fact |
| Fact | [in] an array of dimension Nfact |
| Nfact | [out] is the number of factor in the sqrfree decomposition |
| Fact | [out] contains at most Nfact factors of the decomposition. |
| P | rep. |
1.8.3.1