资源描述:
《computational commutative algebra - kreuzer and robbiano》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、MartinKreuzerandLorenzoRobbianoComputationalCommutativeAlgebra1July3,2000Springer-VerlagBerlinHeidelbergNewYorkLondonParisTokyoHongKongBarcelonaBudapestForewordHofstadter’sLaw:Italwaystakeslongerthanyouthinkitwilltake,evenifyoutakeintoaccountHofstadter’sLaw.(DouglasR.Hofstadter)DearReader,
2、whatyouareholdinginyourhandsnowisforyouabook.Butforus,forourfamiliesandfriends,ithasbeenknownasthebookoverthelastthreeyears.Threeyearsofintenseworkjusttofillthreecentimetersofyourbookshelf!Thisamountstoaboutonecentimeterperyear,orroughlytwo-fifthsofaninchperyearifyouarenon-metric.Clearlyweha
3、dampleopportunitytoexperiencethefullforceofHofstadter’sLaw.WritingabookaboutComputationalCommutativeAlgebraisnotun-likecomputingaGr¨obnerbasis:youneedunshakeablefaithtobelievethattheprojectwilleverend;likewise,youmusttrustintheNoetherianityofpolynomialringstobelievethatBuchberger’sAlgorith
4、mwilleverterminate.Naturally,wehopethatthefinalresultprovesoureffortsworthwhile.Thisisabookforlearning,teaching,reading,and,mostofall,enjoyingthetopicathand.SinceneitherofusisanativeEnglishspeaker,theliteraryqualityofthisworkisnecessarilyalittlelimited.Worriesaboutourlackoflinguis-ticsophist
5、icationgrewconsiderablyuponreadingthefollowingpartoftheintroductionof“TheRandomHouseCollegeDictionary”Aneducatedspeakerwilltransferfrominformalhaven’ttoformalhavenot.TheuneducatedspeakerwhoinformallyusesIseenorIdonegonemayadjusttotheformalmodewithIhavesawandIhavewent.Quiteapartfrombeinguna
6、bletodistinguishbetweentheinformalandformalmodes,wewerefrequentlypuzzledbysuchelementaryquestionsas:isthereanotherwordforsynonym?Luckily,wewereabletoextricateour-selvesfromtheworstmiresthankstothegenerousaidofJohnAbbottandTonyGeramita.TheyprovideduswithmuchinsightintoBritishEnglishandAmeri
7、canEnglish,respectively.However,notwithstandingtheirilluminatinghelp,weweresometimesunabletodiscovertheultimatetruth:shouldIbeanidealinaringRoranidealofaringR?Finally,wedecidedtobenon-partisananduseboth.VIHavingrevealedthenamesoftwoofourmainaides,wenowabandona