asq
, af
, af_noalg
root
のリスト
root
を表す不定元と定義多項式のペアのリスト
root
を含まない場合は整数上の函数が呼び出され高速であるが,
root
を含む場合には, cr_gcda()
が起動されるためしばしば
時間がかかる.
af()
は, 基礎体の指定, すなわち第 2 引数の, root
のリスト
の指定が必要である.
alglist
で指定される root
は, 後で定義されたものほど前の
方に来なければならない.
sp_noalg
では, poly に含まれる代数的数 ai を不定元 vi
で置き換える. defpolylist
は, [[vn,dn(vn,...,v1)],...,[v1,d(v1)]]
なるリストである. ここで di(vi,...,v1) は ai の定義多項式において
代数的数を全て vj に置き換えたものである.
af_noalg
の場合, 因子 に現れる代数的数は,
defpolylist に従って不定元に置き換えられる.
[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]]
cr_gcda
, section fctr
, sqfr
Go to the first, previous, next, last section, table of contents.