適切に近似の精度の限界を決めることで、このアルゴリズムが多項式因子か既約性証明の何れかを与えるものであることを保証することができる。この方法は多項式時間であるけれども、格子は高次元のもので、成分数は膨大になり、計算に時間がとられることを考えれば、実用に供されるものではない。計算機代数システム多項式の分解歴史.参加者.また、文献には以下の参加者の名前も記載されている:来歴.電解採取電解採取とは、浸出(リーチング)などのプロセスによって水溶液中に溶解させた鉱石中の金属を電解析出させる技術である。電解精製は類似の技術であるが、金属から不純物を取り除くことを目的としている。どちらの技術も、電気めっきを大規模にしたものであり、非鉄金属の純度を向上させる経済的な技術である。得られた金属は金属の種類によって、電気銅や電気亜鉛などと呼ばれる。電解採取では、電流を不活性な陽極から金属を含んだ水溶液である浸出液に流し、金属を電気めっきのように陰極に析出させて回収する。電解精製では、陽極は未精製の不純物を含んだ金属であり、酸性の電解液に電流を流して陽極を溶解させ、陰極に精製された純粋な金属を析出させる。歴史.電解採取は、工業的に電解質を使用したプロセスとしては最古のものである。利用例.一般的に電解採取の適用される金属は、鉛や銅、金、銀、亜鉛、アルミニウム、クロム、コバルト、マンガン、希土類、アルカリ金属である。アルミニウムについては、電気分解は唯一の生産方法である。工業的に重要な活性の高い(水と激しく反応する)金属には、商業的には高温な溶融塩の電気分解によって生産されるものがある。使用済み核燃料を電解精製する実験的な試みもされている。電解精製によって、プルトニウムやセシウム、ストロンチウムといった重金属を、より毒性の低いウランから分離するのに使用できる。電解採取は、工場排水から有害な(時には価値のある)金属を除去するのにも利用される。プロセス.ほとんどの金属は、天然には酸化物形態の鉱石として存在しており、金属にするには還元しなくてはならない。鉱石は前処理をして電解液または溶融塩として溶かされ、電気分解される。金属は陰極に析出し(固体である場合と液体である場合とがある)、陽極には通常は酸素が発生する。