÷ƒ’À;è TeX output 1997.03.30:1237‹ÿÿÿÿ s\È ý®£8 8G þ=f’‡}óDÓítG®G®cmr17¹The–7tó߆µTG® cmtt12ºamsgen“¹pacŒqk‘ÿäageŽŸ=e‘}‚óX«Q cmr12»American–ê¨Mathematical“SoSŽciet¬ryŽŽŸ’¥ðMic•¬rhael‘ê¨Do“wnesŽŽŽŽŽŸ%Åï’¥;«29–ê¨OctobSŽer“1996Ž¤ ’°"îV‘ÿVersion‘ê¨1.02ŽŸ%õ‘‘#óò"V cmbx10Ä1Ž‘4?úIn®9troQÇductionŽ© ,‘#óKñ`y cmr10²This–K?is“an“inš¸ãternal“pac˜k‘ÿqÇage“for“storing“common“functions“that“are“shared“b˜yŽ¡‘#more– Úthan“one“pacš¸ãk‘ÿqÇage“in“the“ó !",š cmsy10¸A‘þU>Ÿ'MŽ‘ ‹S²-LŸýó5‘üffóÙ“ Rcmr7±AŽŽ‘͉²T‘þU>Ÿ'EŽ‘ãxX“distribution.‘›WSome“of“these“migh˜tŽ¡‘#ev•¸ãen“tually›UUmak“e˜it˜in“to˜the˜LŸýó5‘üff±AŽŽ‘͉²T‘þU>Ÿ'EŽ‘ãxX˜k“ernel.ŽŸ =d‘2Standard–8ãpac¸ãk‘ÿqÇage“info.‘÷Using“óßêPgeneral“macros“shared“b¸ãy“Åamsart.dtx²,–BëÅamsmath.dtx²,“Åamsfonts.dtx²,“.–ªª.“.ŽŸ2ô‘Òf Æ\@saveprimitiveŽŽŽ‘#²The–l2Åamsmath“²pacš¸ãk‘ÿqÇage“rede nes“a“n˜um˜bGer“of“T‘þU>Ÿ'EŽ‘ãxX“primitiv˜es.‘¶]In“case“some“pre-Ž¤ ‘#ceding– pacš¸ãk‘ÿqÇage“also“decided“to“rede ne“one“of“those“same“primitiv˜es,‘SIw˜e“hadŽ¡‘#bGetter–/¼do“some“c•¸ãhec“king–/¼to“makš¸ãe“sure“that“w˜e“are“able“to“sa˜v˜e“the“primitiv˜eŽ¡‘#meaning–for“inš¸ãternal“use.‘· This“is“handled“b˜y“the“Å\@saveprimitive“²function.Ž¡‘#W‘ÿ*ªe–èyfolloš¸ãw“the“example“of“Å\@@input“²where“the“primitiv˜e“meaning“is“stored“in“anŽ¡‘#in•¸ãternal›ª¨con“trol˜sequence˜with˜a˜Å@@˜²pre x.‘qÁPrimitiv“e˜con“trol˜sequences˜can˜bGeŽ¡‘#distinguished–b¸ãy“the“fact“that“Å\string“²and“Å\meaning“²return“the“same“informa-Ž¡‘#tion.Ž©‡‘-ª®Æ\providecommand{\@saveprimitive}[2]{\begingroup\escapechar`\\\relaxŽ¤ ‘7Ú\edef\@tempa{\string#1}\edef\@tempb{\meaning#1}%Ž¡‘7Ú\ifx\@tempa\@tempb‘¹–\global\let#2#1%Ž¡‘7Ú\elseŽŸ‡‘#²Checš¸ãk–xáto“see“if“Å#2“²w˜as“already“giv˜en“the“desired“primitiv˜e“meaning“somewhereŽŸ ‘#else.Ž¦‘@‘Æ\edef\@tempb{\meaning#2}%Ž¡‘@‘\ifx\@tempa\@tempbŽ¡‘@‘\elseŽŽŸK’Ͳ1ŽŽŒ‹* s\È ý®£8‘Y²2’æ<|óp®0J cmsl10ÈTHE–UUÅAMSGEN“ÈP‘ÿ*ªA•¸ãCKA“GEŽŽ 8G ýä’€2Æ\@latex@error{Unable–¹–to“properly“define“\string#2;“primitiveŽ¤ ’€2\noexpand#1no–¹–longer“primitive}\@ehaŽ¡‘v‘\fiŽ¡‘mÚ\fiŽ¡‘mÚ\endgroup}Ž©nX‘<`\@xpŽŽŸ ‘<`\@nxŽŽŽŽŽ‘Y²Shorthands–UUfor“long“command“names.ŽŸ<±‘cª®Æ\let\@xp=\expandafterŽ¡‘cª®\let\@nx=\noexpandŽ¦‘Lø\@emptytoksŽŽŽ‘Y²A‘Ý`tokš¸ãen–Ý~register“companion“for“Å\@empty².‘IÕSa˜v˜es“a“little“main“mem“and“probablyŽ¤ ‘Ymakš¸ães–UUinitializations“suc˜h“as“Å\toks@{}“²run“faster“toGo.ŽŸ<±‘cª®Æ\newtoks\@emptytoksŽ¦‘.3P\@opargŽŽŽ‘Y²Use–‰ of“Å\@oparg“²simpli es“some“constructions“where“a“macro“tak¸ães“an“optionalŽ¡‘Yargumenš¸ãt–®in“square“brac˜k˜ets.‘: W‘ÿ*ªe“can't“use“Å\newcommand“²here“bGecause“this“func-Ž¡‘Ytion–¢õmighš¸ãt“bGe“previously“de ned“b˜y“the“Åamstex“²pac˜k‘ÿqÇage“in“a“loading“sequenceŽ¡‘Ysuc¸ãh‘UUasŽŸnX‘]¹–Æ\usepackage{amstex,amsthm}ŽŸ Ÿ7,‘cª®\def\@oparg#1[#2]{\@ifnextchar[{#1}{#1[#2]}}Ž¦‘$À$\@ifemptyŽŽ¡‘“b\@ifnotemptyŽŽŽŽŽ‘YÅ\@ifnotempty–Ï©²and“Å\@ifempty“²use“category“11“Å@“²c¸ãharacters“to“test“whetherŽ¡‘Ythe– öargumenš¸ãt“is“empt˜y“or“not,‘<since“these“are“highly“unlik˜ely“to“oGccur“in“theŽ¡‘Yargumenš¸ãt.‘7ÎAs–ì­with“Å\@oparg²,‘ƒthere“is“a“pGossibilit˜y“that“these“commands“w˜ereŽ¡‘Yde ned–UUpreviously“in“Åamstex.sty².Ž©<±‘cª®Æ\long\def\@ifempty#1{\@xifempty#1@@..\@nil}Ž¤ ‘cª®\long\def\@xifempty#1#2@#3#4#5\@nil{%Ž¡‘mÚ\ifx#3#4\@xp\@firstoftwo\else\@xp\@secondoftwo\fi}ŽŸ<°‘YÅ\@ifnotempty–i²is“a“shorthand“that“mak¸ães“cošGde“read“b˜etter“when“no“action“isŽ¤ ‘Yneeded–Zéin“the“emptš¸ãy“case.‘‚‚A˜t“a“cost“of“double“argumen˜t-reading|so“for“often-Ž¡‘Yexecuted–UUcošGde,“a•¸ãv“oiding–UUÅ\@ifnotempty“²migh¸ãt“b˜e“wise.Ž¦‘cª®Æ\long\def\@ifnotempty#1{\@ifempty{#1}{}}ŽŸnX‘h²Some–UUabbreviations“to“conservš¸ãe“tok˜en“mem.Ž¦‘cª®Æ\def\FN@{\futurelet\@let@token}Ž¤ ‘cª®\def\DN@{\def\next@}Ž¡‘cª®\def\RIfM@{\relax\ifmmode}Ž¡‘cª®\def\setboxz@h{\setbox\z@\hbox}Ž¡‘cª®\def\wdz@{\wd\z@}Ž¡‘cª®\def\boxz@{\box\z@}Ž¡‘cª®\def\relaxnext@{\let\@let@token\relax}ŽŸ‰î‘f \new@ifnextcharŽŽŽ‘Y²This–Ѻmacro“is“a“new“v¸ãersion“of“LŸýó5‘üff±AŽŽ‘͉²T‘þU>Ÿ'EŽ‘ãxX's“Å\@ifnextchar²,‘ì macro“that“doGes“not“skipŽŸ ‘Yo•¸ãv“er‘UUspaces.Ž¦‘cª®Æ\def\new@ifnextchar#1#2#3{%ŽŽŽŒ‹ D s\È ý®£8‘#È2.‘ÇIMPLEMENT–ÿ*ªA“TION’å*²3ŽŽ 8G ýä‘7ÚÆ\let\@tempe‘¹–#1\def\@tempa{#2}\def\@tempb{#3}\futureletŽ¤ ‘@‘\@tempc\new@ifnch}Ž¡‘-ª®%Ž¡‘-ª®\def\new@ifnch{\ifx\@tempc–¹–\@tempe“\let\@tempd\@tempaŽ¡‘kL\else\let\@tempd\@tempb\fi\@tempd}Ž¤‘óyº\@ifstarŽŽŽ‘#²There–Ÿfwill“essenš¸ãtially“nev˜er“bšGe“a“space“b˜efore“the“Å*²,‘±ëso“using“Å\@ifnextchar“²isŽ© ‘#unnecessarily‘UUslo¸ãw.ŽŸ‘-ª®Æ\def\@ifstar#1#2{\new@ifnextchar‘¹–*{\def\@tempa*{#1}\@tempa}{#2}}Ž¡‘2²The–¶‹hoGok“Å\every@size“²wš¸ãas“c˜hanged“to“Å\every@math@size“²in“the“Decem˜bGerŽ¦‘#1994–ærelease“of“LŸýó5‘üff±AŽŽ‘͉²T‘þU>Ÿ'EŽ‘ãxX“and“its“calling“proGcedures“c¸ãhanged.‘V¢If“Å\every@math@sizeŽ¦‘#²is–Âjunde ned“it“means“the“user“has“an“older“vš¸ãersion“of“LŸýó5‘üff±AŽŽ‘͉²T‘þU>Ÿ'EŽ‘ãxX“so“w˜e“had“bGetterŽ¦‘#de ne–ßOit“and“patc¸ãh“a“couple“of“functions“(Å\glb@settings“²and“Å\set@fontsize²).Ž¤‘-ª®Æ\@ifundefined{every@math@size}{%ŽŸ‘#²Reuse–†×the“same“tokš¸ãen“register;‘Ÿ—since“it“w˜as“nev˜er“used“except“for“the“purpGosesŽ¦‘#that–UUare“a ected“bGelo¸ãw,“this“is“OK.Ž¡‘-ª®Æ\let\every@math@size=\every@sizeŽ¤ ‘-ª®\def\glb@settings{%Ž¡‘EJœ\expandafter\ifx\csname‘¹–S@\f@size\endcsname\relaxŽ¡‘N½È\calculate@math@sizesŽ¡‘EJœ\fiŽ¡‘EJœ\csname‘¹–S@\f@size\endcsnameŽ¡‘J2\ifmath@fontsŽ¡‘-ª®%‘!\ifnum‘¹–\tracingfonts>\tw@Ž¡‘-ª®%‘/?Ü\@font@info{Setting–¹–up“math“fonts“forŽ¡‘-ª®%‘U Œ\f@size/\f@baselineskip}\fiŽ¡‘Sw^\begingroupŽ¡‘\êŠ\escapechar\m@neŽ¡‘\êŠ\csname–¹–mv@\math@version“\endcsnameŽ¡‘\êŠ\globaldefs\@neŽ¡‘\êŠ\let–¹–\glb@currsize“\f@sizeŽ¡‘\êŠ\math@fontsŽ¡‘Sw^\endgroupŽ¡‘Sw^\the\every@math@sizeŽ¡‘J2\elseŽ¡‘-ª®%‘!\ifnum‘¹–\tracingfonts>\tw@Ž¡‘-ª®%‘%Ì°\@font@info{No–¹–math“setup“for“\f@size/\f@baselineskip}%Ž¡‘-ª®%‘!\fiŽ¡‘J2\fiŽ¡‘-ª®}ŽŸ‘#²Remo•¸ãv“e–UUÅ\the\every@size“²from“Å\size@update².ŽŸ‘-ª®Æ\def\set@fontsize#1#2#3{%Ž¡‘@‘\@defaultunits\@tempdimb#2pt\relax\@nnilŽ¡‘@‘\edef\f@size{\strip@pt\@tempdimb}%Ž¡‘@‘\@defaultunits\@tempskipa#3pt\relax\@nnilŽ¡‘@‘\edef\f@baselineskip{\the\@tempskipa}%Ž¡‘@‘\edef\f@linespread{#1}%ŽŽŽŒ‹Ý s\È ý®£8‘Y²4’æ<|ÈTHE–UUÅAMSGEN“ÈP‘ÿ*ªA•¸ãCKA“GEŽŽ 8G ýä‘v‘Æ\let\baselinestretch\f@linespreadŽ¤ ’€2\def\size@update{%Ž¡’‰w^\baselineskip\f@baselineskip\relaxŽ¡’‰w^\baselineskip\f@linespread\baselineskipŽ¡’‰w^\normalbaselineskip\baselineskipŽ¡’‰w^\setbox\strutbox\hbox{%Ž¡’’êŠ\vrule\@height.7\baselineskipŽ¡’¯D\@depth.3\baselineskipŽ¡’¯D\@width\z@}%Ž¡‘cª®%%%‘Ÿî\the\every@sizeŽ¡’‰w^\let\size@update\relax}%Ž¡‘mÚ}Ž¡‘cª®}{}%–¹–end“\@ifundefined“testŽ©¶Û‘<`\ex@ŽŽŽ‘Y²The–cÅ\ex@“²v‘ÿqÇariable“pro¸ãvides“a“small“unit“of“space“for“use“in“math-moGde“con-Ž¤ ‘Ystructions,‘Û that–¼zv‘ÿqÇaries“according“to“the“currenš¸ãt“t˜ypGe“size.‘>ÔF‘ÿ*ªor“example,‘Û the“Å\pmbŽ¡‘Y²command–¥@uses“Å\ex@“²units.‘aˆSince“a“macro“or“m¸ãu“unit“solution“for“the“¸hóý': cmti10Édimen‘Äc¸iŽŽ¡‘YÅ\ex@– ²wš¸ãon't“w˜ork“without“c˜hanging“a“lot“of“curren˜t“coGde“in“the“Åamstex“²pac˜k‘ÿqÇage,Ž¡‘Yw¸ãe–m8set“Å\ex@“²through“the“Å\every@math@size“²hoGok.‘¹pThe“v‘ÿqÇalue“of“Å\ex@“²is“scaledŽ¡‘Ynonlinearly–úUin“a“range“of“roughly“0.5pt“to“1.5pt,‘ ˆb¸ãy“the“function“Å\compute@ex@².ŽŸ ’I‘cª®Æ\newdimen\ex@ŽŸ ‘cª®\addto@hook\every@math@size{\compute@ex@}Ž¦‘hÅ\compute@ex@–²computes“Å\ex@“²as“a“nonlinear“scaling“from“10pt“to“curren¸ãtŽ¡‘Yfonš¸ãt–¥Çsize“(Å\f@size²).‘cUsing“.97“as“the“m˜ultiplier“mak˜es“1“Åex@“¸“².9pt“when“theŽ¡‘Ycurren•¸ãt›UUt“ypGe˜size˜is˜8pt˜and˜1˜Åex@˜¸˜²1.1pt˜when˜the˜curren“t˜t“ypGe˜size˜is˜12pt.Ž¡‘hThe–UUformš¸ãula“is“essen˜tiallyŽ¤Ûn’ÌÊÍ1ptŽ– ª©¸›8à²(1ptŽ“¸˜²(ó  b> cmmi10µ:²97)ŸûÞÿó O!â…cmsy7·bj±10·ó 0e—rcmmi7´n·jcŽ‘¿»²)Ž¡‘Ywhere–Zµn“²=“currenš¸ãt“t˜ypGe“size,‘›Ébut“adjusted“to“di eren˜tiate“half-pGoin˜t“sizes“asŽ¤ ‘Ywš¸ãell–ÍŠas“whole“pGoin˜t“sizes,‘ë—and“there“is“a“cuto “for“extraordinarily“large“v‘ÿqÇaluesŽ¡‘Yof–UUÅ\f@size“²(µ>“²20pt)“so“that“the“v‘ÿqÇalue“of“Å\ex@“²nev¸ãer“exceeds“1.5pt.ŽŸ$’‘cª®Æ\def\compute@ex@{%Ž¤ ‘mÚ\begingroupŽ¡‘mÚ\dimen@-\f@size\p@Ž¡‘mÚ\ifdim\dimen@<-20\p@ŽŸ$’‘Y²Nev•¸ãer›UUmak“e˜Å\ex@˜²larger˜than˜1.5pt.Ž© ’I‘v‘Æ\global\ex@‘¹–1.5\p@Ž¡‘mÚ\elseŽ¤’I‘Y²Adjust–UUbš¸ãy“the“reference“size“and“m˜ultiply“b˜y“2“to“allo˜w“for“half-pGoin˜t“sizes.Ž¦‘v‘Æ\advance\dimen@10\p@‘¹–\multiply\dimen@\tw@Ž¡‘Y²Sa•¸ãv“e–UUinformation“abGout“the“curren¸ãt“sign“of“Å\dimen@².Ž¦‘v‘Æ\edef\@tempa{\ifdim\dimen@>\z@‘¹–-\fi}%Ž¡‘Y²Get–UUthe“absolute“v‘ÿqÇalue“of“Å\dimen@².Ž¦‘v‘Æ\dimen@–¹–\ifdim\dimen@<\z@“-\fi“\dimen@ŽŸ ‘v‘\advance\dimen@-\@m–¹–sp“%“fudge“factorŽŽŽŒ‹„ s\È ý®£8‘#È2.‘ÇIMPLEMENT–ÿ*ªA“TION’å*²5ŽŽ 8G ýä‘#Here–UUwš¸ãe“use“Å\vfuzz“²merely“as“a“con˜v˜enien˜t“scratc˜h“registerŽ¤e‘@‘Æ\vfuzz\p@Ž©e‘#²Multiply–UUin“a“loGop.Ž¡‘@‘Æ\def\do{\ifdim\dimen@>\z@Ž¤ ‘J2\vfuzz=.97\vfuzzŽ¡‘J2\advance\dimen@‘¹–-\p@Ž¡‘-ª®%\message{\vfuzz:–¹–\the\vfuzz,“\dimen@:“\the\dimen@}%Ž¡‘J2\@xp\do‘¹–\fi}%Ž¡‘@‘\doŽ¡‘@‘\dimen@\p@‘¹–\advance\dimen@-\vfuzzŽ¡‘@‘\global\ex@\p@Ž¡‘@‘\global\advance\ex@‘¹–\@tempa\dimen@Ž¡‘7Ú\fiŽ¡‘7Ú\endgroupŽ¡‘-ª®%\typeout{\string\f@size:‘¹–\f@size}\showthe\ex@Ž¡‘-ª®}Ž¦‘#²T‘ÿ*ªests–UUof“the“Å\compute@ex@“²function“yield“the“follo¸ãwing“results:ŽŸPráŸÉæd‘n‡(Å\f@sizeŽ’ŸG\ex@Ž’Õ€\f@sizeŽ’?í\ex@ŽŽ¤ ’‰G²10Ž’ŸG1.0ptŽ’õ?ë9Ž’?í0.94089ptŽŽ¡’‰G11Ž’ŸG1.05911ptŽ’íxÍ8.7Ž’?í0.91266ptŽŽ¡’‰G12Ž’ŸG1.11473ptŽ’íxÍ8.5Ž’?í0.91266ptŽŽ¡’ó14.4Ž’ŸG1.23982ptŽ’íxÍ8.4Ž’?í0.88527ptŽŽ¡‘|ò17.28Ž’ŸG1.36684ptŽ’õ?ë8Ž’?í0.88527ptŽŽ¡‘|ò20.74Ž’ŸG1.5ptŽ’õ?ë7Ž’?í0.83293ptŽŽ¡’ó19.5Ž’ŸG1.4395ptŽ’õ?ë6Ž’?í0.78369ptŽŽ¡’õ?ë5Ž’?í0.73737ptŽŽ¡’õ?ë1Ž’?í0.57785ptŽŽŽŽŽŸP®a‘êŽÆ\@addpunctŽŽŽ‘#²Use–5of“the“Å\@addpunct“²allo¸ãws“ending“punctuation“in“section“headings“and“else-Ž¤ ‘#where–UUto“bGe“in•¸ãtelligen“tly–UUomitted“when“punctuation“is“already“presen¸ãtŽ©e‘-ª®Æ\def\@addpunct#1{\ifnum\spacefactor>\@m‘¹–\else#1\fi}ŽŸÇý‘× 6\frenchspacingŽŽŽ‘#²Change–‡Å\frenchspacing“²to“ensure“that“Å\@addpunct“²will“con•¸ãtin“ue–‡to“w¸ãork“prop-Ž¡‘#erly–UUevš¸ãen“when“`frenc˜h'“spacing“is“in“e ect.Ž¦‘-ª®Æ\def\frenchspacing{\sfcode`\.1006\sfcode`\?1005\sfcode`\!1004%ŽŸ ‘7Ú\sfcode`\:1003\sfcode`\;1002\sfcode`\,1001‘¹–}ŽŸÇý‘ÛÙÌ\@mathmeasureŽŽŽ‘#²The–Vfunction“Å\@mathmeasure“²takš¸ães“three“argumen˜ts;‘1Vthe“third“arg“is“t˜ypGeset“asŽ¡‘#a–+math“formš¸ãula“in“an“h˜bGo˜x,‘)3using“arg“Å#2“²as“the“mathst˜yle,‘)3and“the“result“is“leftŽ¡‘#in–Çthe“bGoš¸ãx“named“b˜y“the“ rst“arg.‘ÇIt“is“assumed“that“w˜e“are“already“in“mathŽ¡‘#moGde,–UUso“w¸ãe“can“turn“o “Å\everymath“²(in“particular,“Å\check@mathfonts²).Ž¦‘-ª®Æ\def\@mathmeasure#1#2#3{\setbox#1\hbox{\frozen@everymath\@emptytoksŽŸ ‘7Ú\m@th$#2#3$}}ŽŽŽŒ‹&ì s\È ý®£8‘Y²6’æ<|ÈTHE–UUÅAMSGEN“ÈP‘ÿ*ªA•¸ãCKA“GEŽŽ 8G ýä‘YÄ2.1Ž‘s1¾MiscellaneousŽŸ fd‘cª®Æ\def\nomath@env{\@amsmath@err{%Ž¤ ‘mÚ\string\begin{\@currenvir}–¹–allowed“only“in“paragraph“mode%Ž¡‘cª®}\@ehb%–¹–"You've“lost“some“text"Ž¡‘cª®}ŽŸ‘Y²A‘ûëtrade-o ›übGet•¸ãw“een˜main˜memory˜space˜and˜hash˜size;‘Èusing˜Å\Invalid@@˜²sa“v“esŽ¤ ‘Y14–^¨bš¸ãytes“of“main“memory“for“eac˜h“use“of“Å\Invalid@²,‘`ýat“the“cost“of“one“con˜trolŽ¡‘Ysequence–ltname.‘·%Å\Invalid@“²is“currenš¸ãtly“used“abGout“ v˜e“times“and“Å\Invalid@@Ž¡‘Y²is–\Ïused“bš¸ãy“itself“in“some“other“instances,‘ž­whic˜h“means“that“it“sa˜v˜es“us“moreŽ¡‘Ymemory–UUthan“Å\FN@²,“Å\RIfM@²,“and“some“of“the“other“abbreviations“abGo•¸ãv“e.Ž© ‘cª®Æ\def\Invalid@@{Invalid–¹–use“of“\string}ŽŸ‘h²The–£usual“Å\endinput“²to“ensure“that“random“garbage“at“the“end“of“the“ leŽ¡‘YdoGesn't–UUget“copied“b¸ãy“Ådocstrip².Ž¦‘cª®Æ\endinputŽŽŽŒø/À;ès\Ȳóý': cmti10óp®0J cmsl10óߤN cmtt9óßê cmmi10ó 0e—rcmmi7óKñ`y cmr10óÙ“ Rcmr7ù3Ößßßßßßß