[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

9.4.10 asq, af, af_noalg

asq(poly)
:: Square-free factorization of polynomial poly over an algebraic number field.
af(poly,alglist)
af_noalg(poly,defpolylist)
:: Factorization of polynomial poly over an algebraic number field.

return
list
poly
polynomial
alglist
root list
defpolylist
root list of pairs of an indeterminate and a polynomial

 
[98] A = newalg(t^2-2);
(#0)
[99] asq(-x^4+6*x^3+(2*alg(0)-9)*x^2+(-6*alg(0))*x-2);
[[-x^2+3*x+(#0),2]]
[100] af(-x^2+3*x+alg(0),[alg(0)]);
[[x+(#0-1),1],[-x+(#0+2),1]]
[101] af_noalg(-x^2+3*x+a,[[a,x^2-2]]);
[[x+a-1,1],[-x+a+2,1]]

Reference
9.4.8 cr_gcda, 6.3.15 fctr, sqfr


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated by root on March, 5 2004 using texi2html