摘要
ThispaperpresentsanewalgorithmforcomputingtheextendedHenselconstruction(EHC)ofmultivariatepolynomialsinmainvariablexandsub-variablesu1,u2,···,umoveranumberfieldK.Thisalgorithmfirstconstructsasetbyusingtheresultantoftwoinitialcoprimefactorsw.r.t.x,andthenobtainstheHenselfactorsbycomparingthecoefficientsofxionbothsidesofanequation.SincetheHenselfactorsarepolynomialsofthemainvariablewithcoefficientsinfractionfieldK(u1,u2,···,um),thecomputationcostofhandlingrationalfunctionscanbehigh.Therefore,theauthorsuseamethodwhichmultipliesresultantandremovesthedenominatorsoftherationalfunctions.Unlikepreviously-developedalgorithmsthatuseinterpolationfunctionsorGrobnerbasis,thealgorithmrelieslittleonpolynomialdivision,andavoidsmultiplyingbydifferentfactorswhenremovingthedenominatorsofHenselfactors.AllalgorithmsareimplementedusingMagma,acomputationalalgebrasystemandexperimentsindicatethatouralgorithmismoreefficient.
出版日期
2018年06月16日(中国期刊网平台首次上网日期,不代表论文的发表时间)