123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513 |
- /*
- ASCIIMathML.js
- ==============
- This file contains JavaScript functions to convert ASCII math notation
- and LaTeX to Presentation MathML. Simple graphics commands are also
- translated to SVG images. The conversion is done while the (X)HTML
- page loads, and should work with Firefox/Mozilla/Netscape 7+ and Internet
- Explorer 6/7 + MathPlayer (http://www.dessci.com/en/products/mathplayer/) +
- Adobe SVGview 3.03 (http://www.adobe.com/svg/viewer/install/).
- Just add the next line to your (X)HTML page with this file in the same folder:
- <script type="text/javascript" src="ASCIIMathML.js"></script>
- (using the graphics in IE also requires the file "d.svg" in the same folder).
- This is a convenient and inexpensive solution for authoring MathML and SVG.
- Version 2.0.1 Sept 27, 2007, (c) Peter Jipsen http://www.chapman.edu/~jipsen
- This version extends ASCIIMathML.js with LaTeXMathML.js and ASCIIsvg.js.
- Latest version at http://www.chapman.edu/~jipsen/mathml/ASCIIMathML.js
- If you use it on a webpage, please send the URL to jipsen@chapman.edu
- The LaTeXMathML modifications were made by Douglas Woodall, June 2006.
- (for details see header on the LaTeXMathML part in middle of file)
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU Lesser General Public License as published by
- the Free Software Foundation; either version 2.1 of the License, or (at
- your option) any later version.
- This program is distributed in the hope that it will be useful, but WITHOUT
- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
- FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
- (at http://www.gnu.org/licences/lgpl.html) for more details.
- */
- var mathcolor = "blue"; // change it to "" (to inherit) or another color
- //var mathfontsize = "1em"; // change to e.g. 1.2em for larger math
- var mathfontsize = "1.2em"; // Modified by Ivan Tcholakov, 10-AUG-2009.
- var mathfontfamily = "serif"; // change to "" to inherit (works in IE)
- // or another family (e.g. "arial")
- var automathrecognize = false; // writing "amath" on page makes this true
- var checkForMathML = true; // check if browser can display MathML
- var notifyIfNoMathML = true; // display note at top if no MathML capability
- var alertIfNoMathML = false; // show alert box if no MathML capability
- var translateOnLoad = true; // set to false to do call translators from js
- var translateLaTeX = true; // false to preserve $..$, $$..$$
- var translateLaTeXformatting = true; // false to preserve \emph,\begin{},\end{}
- var translateASCIIMath = true; // false to preserve `..`
- var translateASCIIsvg = true; // false to preserve agraph.., \begin{graph}..
- var avoidinnerHTML = false; // set true if assigning to innerHTML gives error
- var displaystyle = true; // puts limits above and below large operators
- var showasciiformulaonhover = true; // helps students learn ASCIIMath
- var decimalsign = "."; // change to "," if you like, beware of `(1,2)`!
- var AMdelimiter1 = "`", AMescape1 = "\\\\`"; // can use other characters
- var AMdocumentId = "wikitext" // PmWiki element containing math (default=body)
- var checkforprocessasciimathinmoodle = false; // true for systems like Moodle
- var dsvglocation = ""; // path to d.svg (blank if same as ASCIIMathML.js loc)
- var isIE = document.createElementNS==null;
- if (document.getElementById==null)
- alert("This webpage requires a recent browser such as\
- \nMozilla/Netscape 7+ or Internet Explorer 6+MathPlayer")
- // all further ASCIIMathML global variables start with "AM"
- function AMcreateElementXHTML(t) {
- if (isIE) return document.createElement(t);
- else return document.createElementNS("http://www.w3.org/1999/xhtml",t);
- }
- function AMnoMathMLNote() {
- var nd = AMcreateElementXHTML("h3");
- nd.setAttribute("align","center")
- nd.appendChild(AMcreateElementXHTML("p"));
- nd.appendChild(document.createTextNode("To view the "));
- var an = AMcreateElementXHTML("a");
- an.appendChild(document.createTextNode("ASCIIMathML"));
- an.setAttribute("href","http://www.chapman.edu/~jipsen/asciimath.html");
- nd.appendChild(an);
- nd.appendChild(document.createTextNode(" notation use Internet Explorer 6+"));
- an = AMcreateElementXHTML("a");
- an.appendChild(document.createTextNode("MathPlayer"));
- an.setAttribute("href","http://www.dessci.com/en/products/mathplayer/download.htm");
- nd.appendChild(an);
- nd.appendChild(document.createTextNode(" or Netscape/Mozilla/Firefox"));
- nd.appendChild(AMcreateElementXHTML("p"));
- return nd;
- }
- function AMisMathMLavailable() {
- if (navigator.appName.slice(0,8)=="Netscape")
- if (navigator.appVersion.slice(0,1)>="5") return null;
- else return AMnoMathMLNote();
- else if (navigator.appName.slice(0,9)=="Microsoft")
- try {
- var ActiveX = new ActiveXObject("MathPlayer.Factory.1");
- return null;
- } catch (e) {
- return AMnoMathMLNote();
- }
- // Added by Ivan Tcholakov, 04-AUG-2009.
- else if (navigator.appName=="Opera")
- {
- if ( parseFloat(navigator.appVersion, 10) >= 9.5 )
- {
- return null ;
- }
- else
- {
- return AMnoMathMLNote();
- }
- }
- //
- else return AMnoMathMLNote();
- }
- // character lists for Mozilla/Netscape fonts
- var AMcal = [0xEF35,0x212C,0xEF36,0xEF37,0x2130,0x2131,0xEF38,0x210B,0x2110,0xEF39,0xEF3A,0x2112,0x2133,0xEF3B,0xEF3C,0xEF3D,0xEF3E,0x211B,0xEF3F,0xEF40,0xEF41,0xEF42,0xEF43,0xEF44,0xEF45,0xEF46];
- var AMfrk = [0xEF5D,0xEF5E,0x212D,0xEF5F,0xEF60,0xEF61,0xEF62,0x210C,0x2111,0xEF63,0xEF64,0xEF65,0xEF66,0xEF67,0xEF68,0xEF69,0xEF6A,0x211C,0xEF6B,0xEF6C,0xEF6D,0xEF6E,0xEF6F,0xEF70,0xEF71,0x2128];
- var AMbbb = [0xEF8C,0xEF8D,0x2102,0xEF8E,0xEF8F,0xEF90,0xEF91,0x210D,0xEF92,0xEF93,0xEF94,0xEF95,0xEF96,0x2115,0xEF97,0x2119,0x211A,0x211D,0xEF98,0xEF99,0xEF9A,0xEF9B,0xEF9C,0xEF9D,0xEF9E,0x2124];
- var CONST = 0, UNARY = 1, BINARY = 2, INFIX = 3, LEFTBRACKET = 4,
- RIGHTBRACKET = 5, SPACE = 6, UNDEROVER = 7, DEFINITION = 8,
- LEFTRIGHT = 9, TEXT = 10; // token types
- var AMsqrt = {input:"sqrt", tag:"msqrt", output:"sqrt", tex:null, ttype:UNARY},
- AMroot = {input:"root", tag:"mroot", output:"root", tex:null, ttype:BINARY},
- AMfrac = {input:"frac", tag:"mfrac", output:"/", tex:null, ttype:BINARY},
- AMdiv = {input:"/", tag:"mfrac", output:"/", tex:null, ttype:INFIX},
- AMover = {input:"stackrel", tag:"mover", output:"stackrel", tex:null, ttype:BINARY},
- AMsub = {input:"_", tag:"msub", output:"_", tex:null, ttype:INFIX},
- AMsup = {input:"^", tag:"msup", output:"^", tex:null, ttype:INFIX},
- AMtext = {input:"text", tag:"mtext", output:"text", tex:null, ttype:TEXT},
- AMmbox = {input:"mbox", tag:"mtext", output:"mbox", tex:null, ttype:TEXT},
- AMquote = {input:"\"", tag:"mtext", output:"mbox", tex:null, ttype:TEXT};
- var AMsymbols = [
- //some greek symbols
- {input:"alpha", tag:"mi", output:"\u03B1", tex:null, ttype:CONST},
- {input:"beta", tag:"mi", output:"\u03B2", tex:null, ttype:CONST},
- {input:"chi", tag:"mi", output:"\u03C7", tex:null, ttype:CONST},
- {input:"delta", tag:"mi", output:"\u03B4", tex:null, ttype:CONST},
- {input:"Delta", tag:"mo", output:"\u0394", tex:null, ttype:CONST},
- {input:"epsi", tag:"mi", output:"\u03B5", tex:"epsilon", ttype:CONST},
- {input:"varepsilon", tag:"mi", output:"\u025B", tex:null, ttype:CONST},
- {input:"eta", tag:"mi", output:"\u03B7", tex:null, ttype:CONST},
- {input:"gamma", tag:"mi", output:"\u03B3", tex:null, ttype:CONST},
- {input:"Gamma", tag:"mo", output:"\u0393", tex:null, ttype:CONST},
- {input:"iota", tag:"mi", output:"\u03B9", tex:null, ttype:CONST},
- {input:"kappa", tag:"mi", output:"\u03BA", tex:null, ttype:CONST},
- {input:"lambda", tag:"mi", output:"\u03BB", tex:null, ttype:CONST},
- {input:"Lambda", tag:"mo", output:"\u039B", tex:null, ttype:CONST},
- {input:"mu", tag:"mi", output:"\u03BC", tex:null, ttype:CONST},
- {input:"nu", tag:"mi", output:"\u03BD", tex:null, ttype:CONST},
- {input:"omega", tag:"mi", output:"\u03C9", tex:null, ttype:CONST},
- {input:"Omega", tag:"mo", output:"\u03A9", tex:null, ttype:CONST},
- {input:"phi", tag:"mi", output:"\u03C6", tex:null, ttype:CONST},
- {input:"varphi", tag:"mi", output:"\u03D5", tex:null, ttype:CONST},
- {input:"Phi", tag:"mo", output:"\u03A6", tex:null, ttype:CONST},
- {input:"pi", tag:"mi", output:"\u03C0", tex:null, ttype:CONST},
- {input:"Pi", tag:"mo", output:"\u03A0", tex:null, ttype:CONST},
- {input:"psi", tag:"mi", output:"\u03C8", tex:null, ttype:CONST},
- {input:"Psi", tag:"mi", output:"\u03A8", tex:null, ttype:CONST},
- {input:"rho", tag:"mi", output:"\u03C1", tex:null, ttype:CONST},
- {input:"sigma", tag:"mi", output:"\u03C3", tex:null, ttype:CONST},
- {input:"Sigma", tag:"mo", output:"\u03A3", tex:null, ttype:CONST},
- {input:"tau", tag:"mi", output:"\u03C4", tex:null, ttype:CONST},
- {input:"theta", tag:"mi", output:"\u03B8", tex:null, ttype:CONST},
- {input:"vartheta", tag:"mi", output:"\u03D1", tex:null, ttype:CONST},
- {input:"Theta", tag:"mo", output:"\u0398", tex:null, ttype:CONST},
- {input:"upsilon", tag:"mi", output:"\u03C5", tex:null, ttype:CONST},
- {input:"xi", tag:"mi", output:"\u03BE", tex:null, ttype:CONST},
- {input:"Xi", tag:"mo", output:"\u039E", tex:null, ttype:CONST},
- {input:"zeta", tag:"mi", output:"\u03B6", tex:null, ttype:CONST},
- //binary operation symbols
- //{input:"-", tag:"mo", output:"\u0096", tex:null, ttype:CONST},
- {input:"*", tag:"mo", output:"\u22C5", tex:"cdot", ttype:CONST},
- {input:"**", tag:"mo", output:"\u22C6", tex:"star", ttype:CONST},
- {input:"//", tag:"mo", output:"/", tex:null, ttype:CONST},
- {input:"\\\\", tag:"mo", output:"\\", tex:"backslash", ttype:CONST},
- {input:"setminus", tag:"mo", output:"\\", tex:null, ttype:CONST},
- {input:"xx", tag:"mo", output:"\u00D7", tex:"times", ttype:CONST},
- {input:"-:", tag:"mo", output:"\u00F7", tex:"divide", ttype:CONST},
- {input:"@", tag:"mo", output:"\u2218", tex:"circ", ttype:CONST},
- {input:"o+", tag:"mo", output:"\u2295", tex:"oplus", ttype:CONST},
- {input:"ox", tag:"mo", output:"\u2297", tex:"otimes", ttype:CONST},
- {input:"o.", tag:"mo", output:"\u2299", tex:"odot", ttype:CONST},
- {input:"sum", tag:"mo", output:"\u2211", tex:null, ttype:UNDEROVER},
- {input:"prod", tag:"mo", output:"\u220F", tex:null, ttype:UNDEROVER},
- {input:"^^", tag:"mo", output:"\u2227", tex:"wedge", ttype:CONST},
- {input:"^^^", tag:"mo", output:"\u22C0", tex:"bigwedge", ttype:UNDEROVER},
- {input:"vv", tag:"mo", output:"\u2228", tex:"vee", ttype:CONST},
- {input:"vvv", tag:"mo", output:"\u22C1", tex:"bigvee", ttype:UNDEROVER},
- {input:"nn", tag:"mo", output:"\u2229", tex:"cap", ttype:CONST},
- {input:"nnn", tag:"mo", output:"\u22C2", tex:"bigcap", ttype:UNDEROVER},
- {input:"uu", tag:"mo", output:"\u222A", tex:"cup", ttype:CONST},
- {input:"uuu", tag:"mo", output:"\u22C3", tex:"bigcup", ttype:UNDEROVER},
- //binary relation symbols
- {input:"!=", tag:"mo", output:"\u2260", tex:"ne", ttype:CONST},
- {input:":=", tag:"mo", output:":=", tex:null, ttype:CONST},
- {input:"lt", tag:"mo", output:"<", tex:null, ttype:CONST},
- {input:"<=", tag:"mo", output:"\u2264", tex:"le", ttype:CONST},
- {input:"lt=", tag:"mo", output:"\u2264", tex:"leq", ttype:CONST},
- {input:">=", tag:"mo", output:"\u2265", tex:"ge", ttype:CONST},
- {input:"geq", tag:"mo", output:"\u2265", tex:null, ttype:CONST},
- {input:"-<", tag:"mo", output:"\u227A", tex:"prec", ttype:CONST},
- {input:"-lt", tag:"mo", output:"\u227A", tex:null, ttype:CONST},
- {input:">-", tag:"mo", output:"\u227B", tex:"succ", ttype:CONST},
- {input:"-<=", tag:"mo", output:"\u2AAF", tex:"preceq", ttype:CONST},
- {input:">-=", tag:"mo", output:"\u2AB0", tex:"succeq", ttype:CONST},
- {input:"in", tag:"mo", output:"\u2208", tex:null, ttype:CONST},
- {input:"!in", tag:"mo", output:"\u2209", tex:"notin", ttype:CONST},
- {input:"sub", tag:"mo", output:"\u2282", tex:"subset", ttype:CONST},
- {input:"sup", tag:"mo", output:"\u2283", tex:"supset", ttype:CONST},
- {input:"sube", tag:"mo", output:"\u2286", tex:"subseteq", ttype:CONST},
- {input:"supe", tag:"mo", output:"\u2287", tex:"supseteq", ttype:CONST},
- {input:"-=", tag:"mo", output:"\u2261", tex:"equiv", ttype:CONST},
- {input:"~=", tag:"mo", output:"\u2245", tex:"cong", ttype:CONST},
- {input:"~~", tag:"mo", output:"\u2248", tex:"approx", ttype:CONST},
- {input:"prop", tag:"mo", output:"\u221D", tex:"propto", ttype:CONST},
- //logical symbols
- {input:"and", tag:"mtext", output:"and", tex:null, ttype:SPACE},
- {input:"or", tag:"mtext", output:"or", tex:null, ttype:SPACE},
- {input:"not", tag:"mo", output:"\u00AC", tex:"neg", ttype:CONST},
- {input:"=>", tag:"mo", output:"\u21D2", tex:"implies", ttype:CONST},
- {input:"if", tag:"mo", output:"if", tex:null, ttype:SPACE},
- {input:"<=>", tag:"mo", output:"\u21D4", tex:"iff", ttype:CONST},
- {input:"AA", tag:"mo", output:"\u2200", tex:"forall", ttype:CONST},
- {input:"EE", tag:"mo", output:"\u2203", tex:"exists", ttype:CONST},
- {input:"_|_", tag:"mo", output:"\u22A5", tex:"bot", ttype:CONST},
- {input:"TT", tag:"mo", output:"\u22A4", tex:"top", ttype:CONST},
- {input:"|--", tag:"mo", output:"\u22A2", tex:"vdash", ttype:CONST},
- {input:"|==", tag:"mo", output:"\u22A8", tex:"models", ttype:CONST},
- //grouping brackets
- {input:"(", tag:"mo", output:"(", tex:null, ttype:LEFTBRACKET},
- {input:")", tag:"mo", output:")", tex:null, ttype:RIGHTBRACKET},
- {input:"[", tag:"mo", output:"[", tex:null, ttype:LEFTBRACKET},
- {input:"]", tag:"mo", output:"]", tex:null, ttype:RIGHTBRACKET},
- {input:"{", tag:"mo", output:"{", tex:null, ttype:LEFTBRACKET},
- {input:"}", tag:"mo", output:"}", tex:null, ttype:RIGHTBRACKET},
- {input:"|", tag:"mo", output:"|", tex:null, ttype:LEFTRIGHT},
- //{input:"||", tag:"mo", output:"||", tex:null, ttype:LEFTRIGHT},
- {input:"(:", tag:"mo", output:"\u2329", tex:"langle", ttype:LEFTBRACKET},
- {input:":)", tag:"mo", output:"\u232A", tex:"rangle", ttype:RIGHTBRACKET},
- {input:"<<", tag:"mo", output:"\u2329", tex:null, ttype:LEFTBRACKET},
- {input:">>", tag:"mo", output:"\u232A", tex:null, ttype:RIGHTBRACKET},
- {input:"{:", tag:"mo", output:"{:", tex:null, ttype:LEFTBRACKET, invisible:true},
- {input:":}", tag:"mo", output:":}", tex:null, ttype:RIGHTBRACKET, invisible:true},
- //miscellaneous symbols
- {input:"int", tag:"mo", output:"\u222B", tex:null, ttype:CONST},
- {input:"dx", tag:"mi", output:"{:d x:}", tex:null, ttype:DEFINITION},
- {input:"dy", tag:"mi", output:"{:d y:}", tex:null, ttype:DEFINITION},
- {input:"dz", tag:"mi", output:"{:d z:}", tex:null, ttype:DEFINITION},
- {input:"dt", tag:"mi", output:"{:d t:}", tex:null, ttype:DEFINITION},
- {input:"oint", tag:"mo", output:"\u222E", tex:null, ttype:CONST},
- {input:"del", tag:"mo", output:"\u2202", tex:"partial", ttype:CONST},
- {input:"grad", tag:"mo", output:"\u2207", tex:"nabla", ttype:CONST},
- {input:"+-", tag:"mo", output:"\u00B1", tex:"pm", ttype:CONST},
- {input:"O/", tag:"mo", output:"\u2205", tex:"emptyset", ttype:CONST},
- {input:"oo", tag:"mo", output:"\u221E", tex:"infty", ttype:CONST},
- {input:"aleph", tag:"mo", output:"\u2135", tex:null, ttype:CONST},
- {input:"...", tag:"mo", output:"...", tex:"ldots", ttype:CONST},
- {input:":.", tag:"mo", output:"\u2234", tex:"therefore", ttype:CONST},
- {input:"/_", tag:"mo", output:"\u2220", tex:"angle", ttype:CONST},
- {input:"\\ ", tag:"mo", output:"\u00A0", tex:null, ttype:CONST},
- {input:"quad", tag:"mo", output:"\u00A0\u00A0", tex:null, ttype:CONST},
- {input:"qquad", tag:"mo", output:"\u00A0\u00A0\u00A0\u00A0", tex:null, ttype:CONST},
- {input:"cdots", tag:"mo", output:"\u22EF", tex:null, ttype:CONST},
- {input:"vdots", tag:"mo", output:"\u22EE", tex:null, ttype:CONST},
- {input:"ddots", tag:"mo", output:"\u22F1", tex:null, ttype:CONST},
- {input:"diamond", tag:"mo", output:"\u22C4", tex:null, ttype:CONST},
- {input:"square", tag:"mo", output:"\u25A1", tex:null, ttype:CONST},
- {input:"|__", tag:"mo", output:"\u230A", tex:"lfloor", ttype:CONST},
- {input:"__|", tag:"mo", output:"\u230B", tex:"rfloor", ttype:CONST},
- {input:"|~", tag:"mo", output:"\u2308", tex:"lceiling", ttype:CONST},
- {input:"~|", tag:"mo", output:"\u2309", tex:"rceiling", ttype:CONST},
- {input:"CC", tag:"mo", output:"\u2102", tex:null, ttype:CONST},
- {input:"NN", tag:"mo", output:"\u2115", tex:null, ttype:CONST},
- {input:"QQ", tag:"mo", output:"\u211A", tex:null, ttype:CONST},
- {input:"RR", tag:"mo", output:"\u211D", tex:null, ttype:CONST},
- {input:"ZZ", tag:"mo", output:"\u2124", tex:null, ttype:CONST},
- {input:"f", tag:"mi", output:"f", tex:null, ttype:UNARY, func:true},
- {input:"g", tag:"mi", output:"g", tex:null, ttype:UNARY, func:true},
- //standard functions
- {input:"lim", tag:"mo", output:"lim", tex:null, ttype:UNDEROVER},
- {input:"Lim", tag:"mo", output:"Lim", tex:null, ttype:UNDEROVER},
- {input:"sin", tag:"mo", output:"sin", tex:null, ttype:UNARY, func:true},
- {input:"cos", tag:"mo", output:"cos", tex:null, ttype:UNARY, func:true},
- {input:"tan", tag:"mo", output:"tan", tex:null, ttype:UNARY, func:true},
- {input:"sinh", tag:"mo", output:"sinh", tex:null, ttype:UNARY, func:true},
- {input:"cosh", tag:"mo", output:"cosh", tex:null, ttype:UNARY, func:true},
- {input:"tanh", tag:"mo", output:"tanh", tex:null, ttype:UNARY, func:true},
- {input:"cot", tag:"mo", output:"cot", tex:null, ttype:UNARY, func:true},
- {input:"sec", tag:"mo", output:"sec", tex:null, ttype:UNARY, func:true},
- {input:"csc", tag:"mo", output:"csc", tex:null, ttype:UNARY, func:true},
- {input:"log", tag:"mo", output:"log", tex:null, ttype:UNARY, func:true},
- {input:"ln", tag:"mo", output:"ln", tex:null, ttype:UNARY, func:true},
- {input:"det", tag:"mo", output:"det", tex:null, ttype:UNARY, func:true},
- {input:"dim", tag:"mo", output:"dim", tex:null, ttype:CONST},
- {input:"mod", tag:"mo", output:"mod", tex:null, ttype:CONST},
- {input:"gcd", tag:"mo", output:"gcd", tex:null, ttype:UNARY, func:true},
- {input:"lcm", tag:"mo", output:"lcm", tex:null, ttype:UNARY, func:true},
- {input:"lub", tag:"mo", output:"lub", tex:null, ttype:CONST},
- {input:"glb", tag:"mo", output:"glb", tex:null, ttype:CONST},
- {input:"min", tag:"mo", output:"min", tex:null, ttype:UNDEROVER},
- {input:"max", tag:"mo", output:"max", tex:null, ttype:UNDEROVER},
- //arrows
- {input:"uarr", tag:"mo", output:"\u2191", tex:"uparrow", ttype:CONST},
- {input:"darr", tag:"mo", output:"\u2193", tex:"downarrow", ttype:CONST},
- {input:"rarr", tag:"mo", output:"\u2192", tex:"rightarrow", ttype:CONST},
- {input:"->", tag:"mo", output:"\u2192", tex:"to", ttype:CONST},
- {input:"|->", tag:"mo", output:"\u21A6", tex:"mapsto", ttype:CONST},
- {input:"larr", tag:"mo", output:"\u2190", tex:"leftarrow", ttype:CONST},
- {input:"harr", tag:"mo", output:"\u2194", tex:"leftrightarrow", ttype:CONST},
- {input:"rArr", tag:"mo", output:"\u21D2", tex:"Rightarrow", ttype:CONST},
- {input:"lArr", tag:"mo", output:"\u21D0", tex:"Leftarrow", ttype:CONST},
- {input:"hArr", tag:"mo", output:"\u21D4", tex:"Leftrightarrow", ttype:CONST},
- //commands with argument
- AMsqrt, AMroot, AMfrac, AMdiv, AMover, AMsub, AMsup,
- {input:"hat", tag:"mover", output:"\u005E", tex:null, ttype:UNARY, acc:true},
- {input:"bar", tag:"mover", output:"\u00AF", tex:"overline", ttype:UNARY, acc:true},
- {input:"vec", tag:"mover", output:"\u2192", tex:null, ttype:UNARY, acc:true},
- {input:"dot", tag:"mover", output:".", tex:null, ttype:UNARY, acc:true},
- {input:"ddot", tag:"mover", output:"..", tex:null, ttype:UNARY, acc:true},
- {input:"ul", tag:"munder", output:"\u0332", tex:"underline", ttype:UNARY, acc:true},
- AMtext, AMmbox, AMquote,
- {input:"bb", tag:"mstyle", atname:"fontweight", atval:"bold", output:"bb", tex:null, ttype:UNARY},
- {input:"mathbf", tag:"mstyle", atname:"fontweight", atval:"bold", output:"mathbf", tex:null, ttype:UNARY},
- {input:"sf", tag:"mstyle", atname:"fontfamily", atval:"sans-serif", output:"sf", tex:null, ttype:UNARY},
- {input:"mathsf", tag:"mstyle", atname:"fontfamily", atval:"sans-serif", output:"mathsf", tex:null, ttype:UNARY},
- {input:"bbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", output:"bbb", tex:null, ttype:UNARY, codes:AMbbb},
- {input:"mathbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", output:"mathbb", tex:null, ttype:UNARY, codes:AMbbb},
- {input:"cc", tag:"mstyle", atname:"mathvariant", atval:"script", output:"cc", tex:null, ttype:UNARY, codes:AMcal},
- {input:"mathcal", tag:"mstyle", atname:"mathvariant", atval:"script", output:"mathcal", tex:null, ttype:UNARY, codes:AMcal},
- {input:"tt", tag:"mstyle", atname:"fontfamily", atval:"monospace", output:"tt", tex:null, ttype:UNARY},
- {input:"mathtt", tag:"mstyle", atname:"fontfamily", atval:"monospace", output:"mathtt", tex:null, ttype:UNARY},
- {input:"fr", tag:"mstyle", atname:"mathvariant", atval:"fraktur", output:"fr", tex:null, ttype:UNARY, codes:AMfrk},
- {input:"mathfrak", tag:"mstyle", atname:"mathvariant", atval:"fraktur", output:"mathfrak", tex:null, ttype:UNARY, codes:AMfrk}
- ];
- function compareNames(s1,s2) {
- if (s1.input > s2.input) return 1
- else return -1;
- }
- var AMnames = []; //list of input symbols
- function AMinitSymbols() {
- var texsymbols = [], i;
- for (i=0; i<AMsymbols.length; i++)
- if (AMsymbols[i].tex)
- texsymbols[texsymbols.length] = {input:AMsymbols[i].tex,
- tag:AMsymbols[i].tag, output:AMsymbols[i].output, ttype:AMsymbols[i].ttype};
- AMsymbols = AMsymbols.concat(texsymbols);
- AMsymbols.sort(compareNames);
- for (i=0; i<AMsymbols.length; i++) AMnames[i] = AMsymbols[i].input;
- }
- var AMmathml = "http://www.w3.org/1998/Math/MathML";
- function AMcreateElementMathML(t) {
- if (isIE) return document.createElement("m:"+t);
- else return document.createElementNS(AMmathml,t);
- }
- function AMcreateMmlNode(t,frag) {
- // var node = AMcreateElementMathML(name);
- if (isIE) var node = document.createElement("m:"+t);
- else var node = document.createElementNS(AMmathml,t);
- node.appendChild(frag);
- return node;
- }
- function define(oldstr,newstr) {
- AMsymbols = AMsymbols.concat([{input:oldstr, tag:"mo", output:newstr,
- tex:null, ttype:DEFINITION}]);
- AMsymbols.sort(compareNames);
- for (i=0; i<AMsymbols.length; i++) AMnames[i] = AMsymbols[i].input;
- }
- function AMremoveCharsAndBlanks(str,n) {
- //remove n characters and any following blanks
- var st;
- if (str.charAt(n)=="\\" && str.charAt(n+1)!="\\" && str.charAt(n+1)!=" ")
- st = str.slice(n+1);
- else st = str.slice(n);
- for (var i=0; i<st.length && st.charCodeAt(i)<=32; i=i+1);
- return st.slice(i);
- }
- function AMposition(arr, str, n) {
- // return position >=n where str appears or would be inserted
- // assumes arr is sorted
- if (n==0) {
- var h,m;
- n = -1;
- h = arr.length;
- while (n+1<h) {
- m = (n+h) >> 1;
- if (arr[m]<str) n = m; else h = m;
- }
- return h;
- } else
- for (var i=n; i<arr.length && arr[i]<str; i++);
- return i; // i=arr.length || arr[i]>=str
- }
- function AMgetSymbol(str) {
- //return maximal initial substring of str that appears in names
- //return null if there is none
- var k = 0; //new pos
- var j = 0; //old pos
- var mk; //match pos
- var st;
- var tagst;
- var match = "";
- var more = true;
- for (var i=1; i<=str.length && more; i++) {
- st = str.slice(0,i); //initial substring of length i
- j = k;
- k = AMposition(AMnames, st, j);
- if (k<AMnames.length && str.slice(0,AMnames[k].length)==AMnames[k]){
- match = AMnames[k];
- mk = k;
- i = match.length;
- }
- more = k<AMnames.length && str.slice(0,AMnames[k].length)>=AMnames[k];
- }
- AMpreviousSymbol=AMcurrentSymbol;
- if (match!=""){
- AMcurrentSymbol=AMsymbols[mk].ttype;
- return AMsymbols[mk];
- }
- // if str[0] is a digit or - return maxsubstring of digits.digits
- AMcurrentSymbol=CONST;
- k = 1;
- st = str.slice(0,1);
- var integ = true;
- while ("0"<=st && st<="9" && k<=str.length) {
- st = str.slice(k,k+1);
- k++;
- }
- if (st == decimalsign) {
- st = str.slice(k,k+1);
- if ("0"<=st && st<="9") {
- integ = false;
- k++;
- while ("0"<=st && st<="9" && k<=str.length) {
- st = str.slice(k,k+1);
- k++;
- }
- }
- }
- if ((integ && k>1) || k>2) {
- st = str.slice(0,k-1);
- tagst = "mn";
- } else {
- k = 2;
- st = str.slice(0,1); //take 1 character
- tagst = (("A">st || st>"Z") && ("a">st || st>"z")?"mo":"mi");
- }
- if (st=="-" && AMpreviousSymbol==INFIX) {
- AMcurrentSymbol = INFIX; //trick "/" into recognizing "-" on second parse
- return {input:st, tag:tagst, output:st, ttype:UNARY, func:true};
- }
- return {input:st, tag:tagst, output:st, ttype:CONST};
- }
- function AMremoveBrackets(node) {
- var st;
- if (node.nodeName=="mrow") {
- st = node.firstChild.firstChild.nodeValue;
- if (st=="(" || st=="[" || st=="{") node.removeChild(node.firstChild);
- }
- if (node.nodeName=="mrow") {
- st = node.lastChild.firstChild.nodeValue;
- if (st==")" || st=="]" || st=="}") node.removeChild(node.lastChild);
- }
- }
- /*Parsing ASCII math expressions with the following grammar
- v ::= [A-Za-z] | greek letters | numbers | other constant symbols
- u ::= sqrt | text | bb | other unary symbols for font commands
- b ::= frac | root | stackrel binary symbols
- l ::= ( | [ | { | (: | {: left brackets
- r ::= ) | ] | } | :) | :} right brackets
- S ::= v | lEr | uS | bSS Simple expression
- I ::= S_S | S^S | S_S^S | S Intermediate expression
- E ::= IE | I/I Expression
- Each terminal symbol is translated into a corresponding mathml node.*/
- var AMnestingDepth,AMpreviousSymbol,AMcurrentSymbol;
- function AMparseSexpr(str) { //parses str and returns [node,tailstr]
- var symbol, node, result, i, st,// rightvert = false,
- newFrag = document.createDocumentFragment();
- str = AMremoveCharsAndBlanks(str,0);
- symbol = AMgetSymbol(str); //either a token or a bracket or empty
- if (symbol == null || symbol.ttype == RIGHTBRACKET && AMnestingDepth > 0) {
- return [null,str];
- }
- if (symbol.ttype == DEFINITION) {
- str = symbol.output+AMremoveCharsAndBlanks(str,symbol.input.length);
- symbol = AMgetSymbol(str);
- }
- switch (symbol.ttype) {
- case UNDEROVER:
- case CONST:
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- return [AMcreateMmlNode(symbol.tag, //its a constant
- document.createTextNode(symbol.output)),str];
- case LEFTBRACKET: //read (expr+)
- AMnestingDepth++;
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- result = AMparseExpr(str,true);
- AMnestingDepth--;
- if (typeof symbol.invisible == "boolean" && symbol.invisible)
- node = AMcreateMmlNode("mrow",result[0]);
- else {
- node = AMcreateMmlNode("mo",document.createTextNode(symbol.output));
- node = AMcreateMmlNode("mrow",node);
- node.appendChild(result[0]);
- }
- return [node,result[1]];
- case TEXT:
- if (symbol!=AMquote) str = AMremoveCharsAndBlanks(str,symbol.input.length);
- if (str.charAt(0)=="{") i=str.indexOf("}");
- else if (str.charAt(0)=="(") i=str.indexOf(")");
- else if (str.charAt(0)=="[") i=str.indexOf("]");
- else if (symbol==AMquote) i=str.slice(1).indexOf("\"")+1;
- else i = 0;
- if (i==-1) i = str.length;
- st = str.slice(1,i);
- if (st.charAt(0) == " ") {
- node = AMcreateElementMathML("mspace");
- node.setAttribute("width","1ex");
- newFrag.appendChild(node);
- }
- newFrag.appendChild(
- AMcreateMmlNode(symbol.tag,document.createTextNode(st)));
- if (st.charAt(st.length-1) == " ") {
- node = AMcreateElementMathML("mspace");
- node.setAttribute("width","1ex");
- newFrag.appendChild(node);
- }
- str = AMremoveCharsAndBlanks(str,i+1);
- return [AMcreateMmlNode("mrow",newFrag),str];
- case UNARY:
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- result = AMparseSexpr(str);
- if (result[0]==null) return [AMcreateMmlNode(symbol.tag,
- document.createTextNode(symbol.output)),str];
- if (typeof symbol.func == "boolean" && symbol.func) { // functions hack
- st = str.charAt(0);
- if (st=="^" || st=="_" || st=="/" || st=="|" || st==",") {
- return [AMcreateMmlNode(symbol.tag,
- document.createTextNode(symbol.output)),str];
- } else {
- node = AMcreateMmlNode("mrow",
- AMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output)));
- node.appendChild(result[0]);
- return [node,result[1]];
- }
- }
- AMremoveBrackets(result[0]);
- if (symbol.input == "sqrt") { // sqrt
- return [AMcreateMmlNode(symbol.tag,result[0]),result[1]];
- } else if (typeof symbol.acc == "boolean" && symbol.acc) { // accent
- node = AMcreateMmlNode(symbol.tag,result[0]);
- node.appendChild(AMcreateMmlNode("mo",document.createTextNode(symbol.output)));
- return [node,result[1]];
- } else { // font change command
- if (!isIE && typeof symbol.codes != "undefined") {
- for (i=0; i<result[0].childNodes.length; i++)
- if (result[0].childNodes[i].nodeName=="mi" || result[0].nodeName=="mi") {
- st = (result[0].nodeName=="mi"?result[0].firstChild.nodeValue:
- result[0].childNodes[i].firstChild.nodeValue);
- var newst = [];
- for (var j=0; j<st.length; j++)
- if (st.charCodeAt(j)>64 && st.charCodeAt(j)<91) newst = newst +
- String.fromCharCode(symbol.codes[st.charCodeAt(j)-65]);
- else newst = newst + st.charAt(j);
- if (result[0].nodeName=="mi")
- result[0]=AMcreateElementMathML("mo").
- appendChild(document.createTextNode(newst));
- else result[0].replaceChild(AMcreateElementMathML("mo").
- appendChild(document.createTextNode(newst)),result[0].childNodes[i]);
- }
- }
- node = AMcreateMmlNode(symbol.tag,result[0]);
- node.setAttribute(symbol.atname,symbol.atval);
- return [node,result[1]];
- }
- case BINARY:
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- result = AMparseSexpr(str);
- if (result[0]==null) return [AMcreateMmlNode("mo",
- document.createTextNode(symbol.input)),str];
- AMremoveBrackets(result[0]);
- var result2 = AMparseSexpr(result[1]);
- if (result2[0]==null) return [AMcreateMmlNode("mo",
- document.createTextNode(symbol.input)),str];
- AMremoveBrackets(result2[0]);
- if (symbol.input=="root" || symbol.input=="stackrel")
- newFrag.appendChild(result2[0]);
- newFrag.appendChild(result[0]);
- if (symbol.input=="frac") newFrag.appendChild(result2[0]);
- return [AMcreateMmlNode(symbol.tag,newFrag),result2[1]];
- case INFIX:
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- return [AMcreateMmlNode("mo",document.createTextNode(symbol.output)),str];
- case SPACE:
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- node = AMcreateElementMathML("mspace");
- node.setAttribute("width","1ex");
- newFrag.appendChild(node);
- newFrag.appendChild(
- AMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output)));
- node = AMcreateElementMathML("mspace");
- node.setAttribute("width","1ex");
- newFrag.appendChild(node);
- return [AMcreateMmlNode("mrow",newFrag),str];
- case LEFTRIGHT:
- // if (rightvert) return [null,str]; else rightvert = true;
- AMnestingDepth++;
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- result = AMparseExpr(str,false);
- AMnestingDepth--;
- var st = "";
- if (result[0].lastChild!=null)
- st = result[0].lastChild.firstChild.nodeValue;
- if (st == "|") { // its an absolute value subterm
- node = AMcreateMmlNode("mo",document.createTextNode(symbol.output));
- node = AMcreateMmlNode("mrow",node);
- node.appendChild(result[0]);
- return [node,result[1]];
- } else { // the "|" is a \mid
- node = AMcreateMmlNode("mo",document.createTextNode(symbol.output));
- node = AMcreateMmlNode("mrow",node);
- return [node,str];
- }
- default:
- //alert("default");
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- return [AMcreateMmlNode(symbol.tag, //its a constant
- document.createTextNode(symbol.output)),str];
- }
- }
- function AMparseIexpr(str) {
- var symbol, sym1, sym2, node, result, underover;
- str = AMremoveCharsAndBlanks(str,0);
- sym1 = AMgetSymbol(str);
- result = AMparseSexpr(str);
- node = result[0];
- str = result[1];
- symbol = AMgetSymbol(str);
- if (symbol.ttype == INFIX && symbol.input != "/") {
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- // if (symbol.input == "/") result = AMparseIexpr(str); else ...
- result = AMparseSexpr(str);
- if (result[0] == null) // show box in place of missing argument
- result[0] = AMcreateMmlNode("mo",document.createTextNode("\u25A1"));
- else AMremoveBrackets(result[0]);
- str = result[1];
- // if (symbol.input == "/") AMremoveBrackets(node);
- if (symbol.input == "_") {
- sym2 = AMgetSymbol(str);
- underover = (sym1.ttype == UNDEROVER);
- if (sym2.input == "^") {
- str = AMremoveCharsAndBlanks(str,sym2.input.length);
- var res2 = AMparseSexpr(str);
- AMremoveBrackets(res2[0]);
- str = res2[1];
- node = AMcreateMmlNode((underover?"munderover":"msubsup"),node);
- node.appendChild(result[0]);
- node.appendChild(res2[0]);
- node = AMcreateMmlNode("mrow",node); // so sum does not stretch
- } else {
- node = AMcreateMmlNode((underover?"munder":"msub"),node);
- node.appendChild(result[0]);
- }
- } else {
- node = AMcreateMmlNode(symbol.tag,node);
- node.appendChild(result[0]);
- }
- }
- return [node,str];
- }
- function AMparseExpr(str,rightbracket) {
- var symbol, node, result, i, nodeList = [],
- newFrag = document.createDocumentFragment();
- do {
- str = AMremoveCharsAndBlanks(str,0);
- result = AMparseIexpr(str);
- node = result[0];
- str = result[1];
- symbol = AMgetSymbol(str);
- if (symbol.ttype == INFIX && symbol.input == "/") {
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- result = AMparseIexpr(str);
- if (result[0] == null) // show box in place of missing argument
- result[0] = AMcreateMmlNode("mo",document.createTextNode("\u25A1"));
- else AMremoveBrackets(result[0]);
- str = result[1];
- AMremoveBrackets(node);
- node = AMcreateMmlNode(symbol.tag,node);
- node.appendChild(result[0]);
- newFrag.appendChild(node);
- symbol = AMgetSymbol(str);
- }
- else if (node!=undefined) newFrag.appendChild(node);
- } while ((symbol.ttype != RIGHTBRACKET &&
- (symbol.ttype != LEFTRIGHT || rightbracket)
- || AMnestingDepth == 0) && symbol!=null && symbol.output!="");
- if (symbol.ttype == RIGHTBRACKET || symbol.ttype == LEFTRIGHT) {
- // if (AMnestingDepth > 0) AMnestingDepth--;
- var len = newFrag.childNodes.length;
- if (len>0 && newFrag.childNodes[len-1].nodeName == "mrow" && len>1 &&
- newFrag.childNodes[len-2].nodeName == "mo" &&
- newFrag.childNodes[len-2].firstChild.nodeValue == ",") { //matrix
- var right = newFrag.childNodes[len-1].lastChild.firstChild.nodeValue;
- if (right==")" || right=="]") {
- var left = newFrag.childNodes[len-1].firstChild.firstChild.nodeValue;
- if (left=="(" && right==")" && symbol.output != "}" ||
- left=="[" && right=="]") {
- var pos = []; // positions of commas
- var matrix = true;
- var m = newFrag.childNodes.length;
- for (i=0; matrix && i<m; i=i+2) {
- pos[i] = [];
- node = newFrag.childNodes[i];
- if (matrix) matrix = node.nodeName=="mrow" &&
- (i==m-1 || node.nextSibling.nodeName=="mo" &&
- node.nextSibling.firstChild.nodeValue==",")&&
- node.firstChild.firstChild.nodeValue==left &&
- node.lastChild.firstChild.nodeValue==right;
- if (matrix)
- for (var j=0; j<node.childNodes.length; j++)
- if (node.childNodes[j].firstChild.nodeValue==",")
- pos[i][pos[i].length]=j;
- if (matrix && i>1) matrix = pos[i].length == pos[i-2].length;
- }
- if (matrix) {
- var row, frag, n, k, table = document.createDocumentFragment();
- for (i=0; i<m; i=i+2) {
- row = document.createDocumentFragment();
- frag = document.createDocumentFragment();
- node = newFrag.firstChild; // <mrow>(-,-,...,-,-)</mrow>
- n = node.childNodes.length;
- k = 0;
- node.removeChild(node.firstChild); //remove (
- for (j=1; j<n-1; j++) {
- if (typeof pos[i][k] != "undefined" && j==pos[i][k]){
- node.removeChild(node.firstChild); //remove ,
- row.appendChild(AMcreateMmlNode("mtd",frag));
- k++;
- } else frag.appendChild(node.firstChild);
- }
- row.appendChild(AMcreateMmlNode("mtd",frag));
- if (newFrag.childNodes.length>2) {
- newFrag.removeChild(newFrag.firstChild); //remove <mrow>)</mrow>
- newFrag.removeChild(newFrag.firstChild); //remove <mo>,</mo>
- }
- table.appendChild(AMcreateMmlNode("mtr",row));
- }
- node = AMcreateMmlNode("mtable",table);
- if (typeof symbol.invisible == "boolean" && symbol.invisible) node.setAttribute("columnalign","left");
- newFrag.replaceChild(node,newFrag.firstChild);
- }
- }
- }
- }
- str = AMremoveCharsAndBlanks(str,symbol.input.length);
- if (typeof symbol.invisible != "boolean" || !symbol.invisible) {
- node = AMcreateMmlNode("mo",document.createTextNode(symbol.output));
- newFrag.appendChild(node);
- }
- }
- return [newFrag,str];
- }
- function AMparseMath(str) {
- var result, node = AMcreateElementMathML("mstyle");
- if (mathcolor != "") node.setAttribute("mathcolor",mathcolor);
- if (displaystyle) node.setAttribute("displaystyle","true");
- if (mathfontfamily != "") node.setAttribute("fontfamily",mathfontfamily);
- AMnestingDepth = 0;
- node.appendChild(AMparseExpr(str.replace(/^\s+/g,""),false)[0]);
- node = AMcreateMmlNode("math",node);
- if (showasciiformulaonhover) //fixed by djhsu so newline
- node.setAttribute("title",str.replace(/\s+/g," "));//does not show in Gecko
- var fnode = AMcreateElementXHTML("span");
- fnode.style.fontSize = mathfontsize;
- if (mathfontfamily != "") fnode.style.fontFamily = mathfontfamily;
- fnode.appendChild(node);
- return fnode;
- }
- function AMstrarr2docFrag(arr, linebreaks) {
- var newFrag=document.createDocumentFragment();
- var expr = false;
- for (var i=0; i<arr.length; i++) {
- if (expr) newFrag.appendChild(AMparseMath(arr[i]));
- else {
- var arri = (linebreaks ? arr[i].split("\n\n") : [arr[i]]);
- newFrag.appendChild(AMcreateElementXHTML("span").
- appendChild(document.createTextNode(arri[0])));
- for (var j=1; j<arri.length; j++) {
- newFrag.appendChild(AMcreateElementXHTML("p"));
- newFrag.appendChild(AMcreateElementXHTML("span").
- appendChild(document.createTextNode(arri[j])));
- }
- }
- expr = !expr;
- }
- return newFrag;
- }
- function AMautomathrec(str) {
- //formula is a space (or start of str) followed by a maximal sequence of *two* or more tokens, possibly separated by runs of digits and/or space.
- //tokens are single letters (except a, A, I) and ASCIIMathML tokens
- var texcommand = "\\\\[a-zA-Z]+|\\\\\\s|";
- var ambigAMtoken = "\\b(?:oo|lim|ln|int|oint|del|grad|aleph|prod|prop|sinh|cosh|tanh|cos|sec|pi|tt|fr|sf|sube|supe|sub|sup|det|mod|gcd|lcm|min|max|vec|ddot|ul|chi|eta|nu|mu)(?![a-z])|";
- var englishAMtoken = "\\b(?:sum|ox|log|sin|tan|dim|hat|bar|dot)(?![a-z])|";
- var secondenglishAMtoken = "|\\bI\\b|\\bin\\b|\\btext\\b"; // took if and or not out
- var simpleAMtoken = "NN|ZZ|QQ|RR|CC|TT|AA|EE|sqrt|dx|dy|dz|dt|xx|vv|uu|nn|bb|cc|csc|cot|alpha|beta|delta|Delta|epsilon|gamma|Gamma|kappa|lambda|Lambda|omega|phi|Phi|Pi|psi|Psi|rho|sigma|Sigma|tau|theta|Theta|xi|Xi|zeta"; // uuu nnn?
- var letter = "[a-zA-HJ-Z](?=(?:[^a-zA-Z]|$|"+ambigAMtoken+englishAMtoken+simpleAMtoken+"))|";
- var token = letter+texcommand+"\\d+|[-()[\\]{}+=*&^_%@/<>,\\|!:;'~]|\\.(?!(?:\x20|$))|"+ambigAMtoken+englishAMtoken+simpleAMtoken;
- var re = new RegExp("(^|\\s)((("+token+")\\s?)(("+token+secondenglishAMtoken+")\\s?)+)([,.?]?(?=\\s|$))","g");
- str = str.replace(re," `$2`$7");
- var arr = str.split(AMdelimiter1);
- var re1 = new RegExp("(^|\\s)([b-zB-HJ-Z+*<>]|"+texcommand+ambigAMtoken+simpleAMtoken+")(\\s|\\n|$)","g");
- var re2 = new RegExp("(^|\\s)([a-z]|"+texcommand+ambigAMtoken+simpleAMtoken+")([,.])","g"); // removed |\d+ for now
- for (i=0; i<arr.length; i++) //single nonenglish tokens
- if (i%2==0) {
- arr[i] = arr[i].replace(re1," `$2`$3");
- arr[i] = arr[i].replace(re2," `$2`$3");
- arr[i] = arr[i].replace(/([{}[\]])/,"`$1`");
- }
- str = arr.join(AMdelimiter1);
- str = str.replace(/(\([a-zA-Z]{2,}.*?)\)`/g,"$1`)"); //fix parentheses
- str = str.replace(/`(\((a\s|in\s))(.*?[a-zA-Z]{2,}\))/g,"$1`$3"); //fix parentheses
- str = str.replace(/\sin`/g,"` in");
- str = str.replace(/`(\(\w\)[,.]?(\s|\n|$))/g,"$1`");
- str = str.replace(/`([0-9.]+|e.g)`(\\.)/gi,"$1$2");
- str = str.replace(/`([0-9.]:)`/g,"$1");
- return str;
- }
- function AMprocessNodeR(n, linebreaks) {
- var mtch, str, arr, frg, i;
- if (n.childNodes.length == 0) {
- if ((n.nodeType!=8 || linebreaks) &&
- n.parentNode.nodeName!="form" && n.parentNode.nodeName!="FORM" &&
- n.parentNode.nodeName!="textarea" && n.parentNode.nodeName!="TEXTAREA" &&
- n.parentNode.nodeName!="pre" && n.parentNode.nodeName!="PRE") {
- str = n.nodeValue;
- if (!(str == null)) {
- str = str.replace(/\r\n\r\n/g,"\n\n");
- str = str.replace(/\x20+/g," ");
- str = str.replace(/\s*\r\n/g," ");
- mtch = false;
- str = str.replace(new RegExp(AMescape1, "g"),
- function(){mtch = true; return "AMescape1"});
- str = str.replace(/\\?end{?a?math}?/i,
- function(){automathrecognize = false; mtch = true; return ""});
- str = str.replace(/amath|\\begin{a?math}/i,
- function(){automathrecognize = true; mtch = true; return ""});
- arr = str.split(AMdelimiter1);
- if (automathrecognize)
- for (i=0; i<arr.length; i++)
- if (i%2==0) arr[i] = AMautomathrec(arr[i]);
- str = arr.join(AMdelimiter1);
- arr = str.split(AMdelimiter1);
- for (i=0; i<arr.length; i++) // this is a problem ************
- arr[i]=arr[i].replace(/AMescape1/g,AMdelimiter1);
- if (arr.length>1 || mtch) {
- if (checkForMathML) {
- checkForMathML = false;
- var nd = AMisMathMLavailable();
- AMnoMathML = nd != null;
- if (AMnoMathML && notifyIfNoMathML)
- if (alertIfNoMathML)
- alert("To view the ASCIIMathML notation use Internet Explorer 6 +\nMathPlayer (free from www.dessci.com)\n\
- or Firefox/Mozilla/Netscape");
- else AMbody.insertBefore(nd,AMbody.childNodes[0]);
- }
- if (!AMnoMathML) {
- frg = AMstrarr2docFrag(arr,n.nodeType==8);
- var len = frg.childNodes.length;
- n.parentNode.replaceChild(frg,n);
- return len-1;
- } else return 0;
- }
- }
- } else return 0;
- } else if (n.nodeName!="math") {
- for (i=0; i<n.childNodes.length; i++)
- i += AMprocessNodeR(n.childNodes[i], linebreaks);
- }
- return 0;
- }
- function AMprocessNode(n, linebreaks, spanclassAM) {
- var frag,st;
- if (spanclassAM!=null) {
- frag = document.getElementsByTagName("span")
- for (var i=0;i<frag.length;i++)
- if (frag[i].className == "AM")
- AMprocessNodeR(frag[i],linebreaks);
- } else {
- try {
- st = n.innerHTML; // look for AMdelimiter on page
- } catch(err) {}
- // Corrected by Ivan Tcholakov, 04-AUG-2009.
- //if (st==null || /amath|\\begin{a?math}/i.test(st) ||
- // st.indexOf(AMdelimiter1+" ")!=-1 || st.slice(-1)==AMdelimiter1 ||
- // st.indexOf(AMdelimiter1+"<")!=-1 || st.indexOf(AMdelimiter1+"\n")!=-1) {
- // AMprocessNodeR(n,linebreaks);
- //}
- if (st!=null || /amath|\\begin{a?math}/i.test(st) ||
- st.indexOf(AMdelimiter1+" ")!=-1 || st.slice(-1)==AMdelimiter1 ||
- st.indexOf(AMdelimiter1+"<")!=-1 || st.indexOf(AMdelimiter1+"\n")!=-1) {
- AMprocessNodeR(n,linebreaks);
- }
- //
- }
- if (isIE) { //needed to match size and font of formula to surrounding text
- frag = document.getElementsByTagName('math');
- for (var i=0;i<frag.length;i++) frag[i].update()
- }
- }
- var AMbody;
- var AMnoMathML = false, AMtranslated = false;
- function translate(spanclassAM) {
- if (!AMtranslated) { // run this only once
- AMtranslated = true;
- AMbody = document.getElementsByTagName("body")[0];
- var processN = document.getElementById(AMdocumentId);
- // var processN = getElementsByClass(AMbody,"div",AMdocumentClass);
- AMprocessNode((processN!=null?processN:AMbody), false, spanclassAM);
- }
- }
- AMinitSymbols();
- /*
- LaTeXMathML.js
- ==============
- Version 1.1, July 20, 2007 (c) modifications by Peter Jipsen
- (changes: renamed global variables from AM... to LM... so that
- LaTeXMathML and ASCIIMathML can be used simultaneously)
- Previous header notice:
- This file (Version 1.0), is due to Douglas Woodall, June 2006.
- It contains JavaScript functions to convert (most simple) LaTeX
- math notation to Presentation MathML. It was obtained by
- downloading the file ASCIIMathML.js from
- http://www1.chapman.edu/~jipsen/mathml/asciimathdownload/
- and modifying it so that it carries out ONLY those conversions
- that would be carried out in LaTeX. A description of the original
- file, with examples, can be found at
- www1.chapman.edu/~jipsen/mathml/asciimath.html
- ASCIIMathML: Math on the web for everyone
- Here is the header notice from the original file:
- ASCIIMathML.js
- ==============
- This file contains JavaScript functions to convert ASCII math notation
- to Presentation MathML. The conversion is done while the (X)HTML page
- loads, and should work with Firefox/Mozilla/Netscape 7+ and Internet
- Explorer 6+MathPlayer (http://www.dessci.com/en/products/mathplayer/).
- Just add the next line to your (X)HTML page with this file in the same folder:
- <script type="text/javascript" src="ASCIIMathML.js"></script>
- This is a convenient and inexpensive solution for authoring MathML.
- Version 1.4.7 Dec 15, 2005, (c) Peter Jipsen http://www.chapman.edu/~jipsen
- Latest version at http://www.chapman.edu/~jipsen/mathml/ASCIIMathML.js
- For changes see http://www.chapman.edu/~jipsen/mathml/asciimathchanges.txt
- If you use it on a webpage, please send the URL to jipsen@chapman.edu
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU Lesser General Public License as published by
- the Free Software Foundation; either version 2.1 of the License, or (at
- your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
- General Public License (at http://www.gnu.org/license/lgpl.html)
- for more details.
- LaTeXMathML.js (ctd)
- ==============
- Content between $...$ and $$...$$ is converted by this part of the file
- */
- var LMcheckForMathML = true; // check if browser can display MathML
- var LMnotifyIfNoMathML = true; // display note if no MathML capability
- var LMalertIfNoMathML = false; // show alert box if no MathML capability
- var LMmathcolor = ""; // "" (to inherit) or change to another color
- var LMmathfontfamily = "serif"; // change to "" to inherit (works in IE)
- // or another family (e.g. "arial")
- var LMshowasciiformulaonhover = true; // helps students learn LaTeX
- // all further global variables start with "LM"
- function LMcreateElementXHTML(t) {
- if (isIE) return document.createElement(t);
- else return document.createElementNS("http://www.w3.org/1999/xhtml",t);
- }
- function LMnoMathMLNote() {
- var nd = LMcreateElementXHTML("h3");
- nd.setAttribute("align","center")
- nd.appendChild(LMcreateElementXHTML("p"));
- nd.appendChild(document.createTextNode("To view the "));
- var an = LMcreateElementXHTML("a");
- an.appendChild(document.createTextNode("LaTeXMathML"));
- an.setAttribute("href","http://www.maths.nott.ac.uk/personal/drw/lm.html");
- nd.appendChild(an);
- nd.appendChild(document.createTextNode(" notation use Internet Explorer 6+"));
- an = LMcreateElementXHTML("a");
- an.appendChild(document.createTextNode("MathPlayer"));
- an.setAttribute("href","http://www.dessci.com/en/products/mathplayer/download.htm");
- nd.appendChild(an);
- nd.appendChild(document.createTextNode(" or Netscape/Mozilla/Firefox"));
- nd.appendChild(LMcreateElementXHTML("p"));
- return nd;
- }
- function LMisMathMLavailable() {
- if (navigator.appName.slice(0,8)=="Netscape")
- if (navigator.appVersion.slice(0,1)>="5") return null;
- else return LMnoMathMLNote();
- else if (navigator.appName.slice(0,9)=="Microsoft")
- try {
- var ActiveX = new ActiveXObject("MathPlayer.Factory.1");
- return null;
- } catch (e) {
- return LMnoMathMLNote();
- }
- else return LMnoMathMLNote();
- }
- // character lists for Mozilla/Netscape fonts
- var LMcal = [0xEF35,0x212C,0xEF36,0xEF37,0x2130,0x2131,0xEF38,0x210B,0x2110,0xEF39,0xEF3A,0x2112,0x2133,0xEF3B,0xEF3C,0xEF3D,0xEF3E,0x211B,0xEF3F,0xEF40,0xEF41,0xEF42,0xEF43,0xEF44,0xEF45,0xEF46];
- var LMfrk = [0xEF5D,0xEF5E,0x212D,0xEF5F,0xEF60,0xEF61,0xEF62,0x210C,0x2111,0xEF63,0xEF64,0xEF65,0xEF66,0xEF67,0xEF68,0xEF69,0xEF6A,0x211C,0xEF6B,0xEF6C,0xEF6D,0xEF6E,0xEF6F,0xEF70,0xEF71,0x2128];
- var LMbbb = [0xEF8C,0xEF8D,0x2102,0xEF8E,0xEF8F,0xEF90,0xEF91,0x210D,0xEF92,0xEF93,0xEF94,0xEF95,0xEF96,0x2115,0xEF97,0x2119,0x211A,0x211D,0xEF98,0xEF99,0xEF9A,0xEF9B,0xEF9C,0xEF9D,0xEF9E,0x2124];
- //var CONST = 0, UNARY = 1, BINARY = 2, INFIX = 3, LEFTBRACKET = 4,
- // RIGHTBRACKET = 5, SPACE = 6, UNDEROVER = 7, DEFINITION = 8, TEXT = 10,
- var BIG = 11, LONG = 12, STRETCHY = 13, MATRIX = 14; // token types
- var LMsqrt = {input:"\\sqrt", tag:"msqrt", output:"sqrt", ttype:UNARY},
- LMroot = {input:"\\root", tag:"mroot", output:"root", ttype:BINARY},
- LMfrac = {input:"\\frac", tag:"mfrac", output:"/", ttype:BINARY},
- LMover = {input:"\\stackrel", tag:"mover", output:"stackrel", ttype:BINARY},
- LMatop = {input:"\\atop", tag:"mfrac", output:"", ttype:INFIX},
- LMchoose = {input:"\\choose", tag:"mfrac", output:"", ttype:INFIX},
- LMsub = {input:"_", tag:"msub", output:"_", ttype:INFIX},
- LMsup = {input:"^", tag:"msup", output:"^", ttype:INFIX},
- LMtext = {input:"\\mathrm", tag:"mtext", output:"text", ttype:TEXT},
- LMmbox = {input:"\\mbox", tag:"mtext", output:"mbox", ttype:TEXT};
- // Commented out by DRW to prevent 1/2 turning into a 2-line fraction
- // LMdiv = {input:"/", tag:"mfrac", output:"/", ttype:INFIX},
- // Commented out by DRW so that " prints literally in equations
- // LMquote = {input:"\"", tag:"mtext", output:"mbox", ttype:TEXT};
- var LMsymbols = [
- //Greek letters
- {input:"\\alpha", tag:"mi", output:"\u03B1", ttype:CONST},
- {input:"\\beta", tag:"mi", output:"\u03B2", ttype:CONST},
- {input:"\\gamma", tag:"mi", output:"\u03B3", ttype:CONST},
- {input:"\\delta", tag:"mi", output:"\u03B4", ttype:CONST},
- {input:"\\epsilon", tag:"mi", output:"\u03B5", ttype:CONST},
- {input:"\\varepsilon", tag:"mi", output:"\u025B", ttype:CONST},
- {input:"\\zeta", tag:"mi", output:"\u03B6", ttype:CONST},
- {input:"\\eta", tag:"mi", output:"\u03B7", ttype:CONST},
- {input:"\\theta", tag:"mi", output:"\u03B8", ttype:CONST},
- {input:"\\vartheta", tag:"mi", output:"\u03D1", ttype:CONST},
- {input:"\\iota", tag:"mi", output:"\u03B9", ttype:CONST},
- {input:"\\kappa", tag:"mi", output:"\u03BA", ttype:CONST},
- {input:"\\lambda", tag:"mi", output:"\u03BB", ttype:CONST},
- {input:"\\mu", tag:"mi", output:"\u03BC", ttype:CONST},
- {input:"\\nu", tag:"mi", output:"\u03BD", ttype:CONST},
- {input:"\\xi", tag:"mi", output:"\u03BE", ttype:CONST},
- {input:"\\pi", tag:"mi", output:"\u03C0", ttype:CONST},
- {input:"\\varpi", tag:"mi", output:"\u03D6", ttype:CONST},
- {input:"\\rho", tag:"mi", output:"\u03C1", ttype:CONST},
- {input:"\\varrho", tag:"mi", output:"\u03F1", ttype:CONST},
- {input:"\\varsigma", tag:"mi", output:"\u03C2", ttype:CONST},
- {input:"\\sigma", tag:"mi", output:"\u03C3", ttype:CONST},
- {input:"\\tau", tag:"mi", output:"\u03C4", ttype:CONST},
- {input:"\\upsilon", tag:"mi", output:"\u03C5", ttype:CONST},
- {input:"\\phi", tag:"mi", output:"\u03C6", ttype:CONST},
- {input:"\\varphi", tag:"mi", output:"\u03D5", ttype:CONST},
- {input:"\\chi", tag:"mi", output:"\u03C7", ttype:CONST},
- {input:"\\psi", tag:"mi", output:"\u03C8", ttype:CONST},
- {input:"\\omega", tag:"mi", output:"\u03C9", ttype:CONST},
- {input:"\\Gamma", tag:"mo", output:"\u0393", ttype:CONST},
- {input:"\\Delta", tag:"mo", output:"\u0394", ttype:CONST},
- {input:"\\Theta", tag:"mo", output:"\u0398", ttype:CONST},
- {input:"\\Lambda", tag:"mo", output:"\u039B", ttype:CONST},
- {input:"\\Xi", tag:"mo", output:"\u039E", ttype:CONST},
- {input:"\\Pi", tag:"mo", output:"\u03A0", ttype:CONST},
- {input:"\\Sigma", tag:"mo", output:"\u03A3", ttype:CONST},
- {input:"\\Upsilon", tag:"mo", output:"\u03A5", ttype:CONST},
- {input:"\\Phi", tag:"mo", output:"\u03A6", ttype:CONST},
- {input:"\\Psi", tag:"mo", output:"\u03A8", ttype:CONST},
- {input:"\\Omega", tag:"mo", output:"\u03A9", ttype:CONST},
- //fractions
- {input:"\\frac12", tag:"mo", output:"\u00BD", ttype:CONST},
- {input:"\\frac14", tag:"mo", output:"\u00BC", ttype:CONST},
- {input:"\\frac34", tag:"mo", output:"\u00BE", ttype:CONST},
- {input:"\\frac13", tag:"mo", output:"\u2153", ttype:CONST},
- {input:"\\frac23", tag:"mo", output:"\u2154", ttype:CONST},
- {input:"\\frac15", tag:"mo", output:"\u2155", ttype:CONST},
- {input:"\\frac25", tag:"mo", output:"\u2156", ttype:CONST},
- {input:"\\frac35", tag:"mo", output:"\u2157", ttype:CONST},
- {input:"\\frac45", tag:"mo", output:"\u2158", ttype:CONST},
- {input:"\\frac16", tag:"mo", output:"\u2159", ttype:CONST},
- {input:"\\frac56", tag:"mo", output:"\u215A", ttype:CONST},
- {input:"\\frac18", tag:"mo", output:"\u215B", ttype:CONST},
- {input:"\\frac38", tag:"mo", output:"\u215C", ttype:CONST},
- {input:"\\frac58", tag:"mo", output:"\u215D", ttype:CONST},
- {input:"\\frac78", tag:"mo", output:"\u215E", ttype:CONST},
- //binary operation symbols
- {input:"\\pm", tag:"mo", output:"\u00B1", ttype:CONST},
- {input:"\\mp", tag:"mo", output:"\u2213", ttype:CONST},
- {input:"\\triangleleft",tag:"mo", output:"\u22B2", ttype:CONST},
- {input:"\\triangleright",tag:"mo",output:"\u22B3", ttype:CONST},
- {input:"\\cdot", tag:"mo", output:"\u22C5", ttype:CONST},
- {input:"\\star", tag:"mo", output:"\u22C6", ttype:CONST},
- {input:"\\ast", tag:"mo", output:"\u002A", ttype:CONST},
- {input:"\\times", tag:"mo", output:"\u00D7", ttype:CONST},
- {input:"\\div", tag:"mo", output:"\u00F7", ttype:CONST},
- {input:"\\circ", tag:"mo", output:"\u2218", ttype:CONST},
- //{input:"\\bullet", tag:"mo", output:"\u2219", ttype:CONST},
- {input:"\\bullet", tag:"mo", output:"\u2022", ttype:CONST},
- {input:"\\oplus", tag:"mo", output:"\u2295", ttype:CONST},
- {input:"\\ominus", tag:"mo", output:"\u2296", ttype:CONST},
- {input:"\\otimes", tag:"mo", output:"\u2297", ttype:CONST},
- {input:"\\bigcirc", tag:"mo", output:"\u25CB", ttype:CONST},
- {input:"\\oslash", tag:"mo", output:"\u2298", ttype:CONST},
- {input:"\\odot", tag:"mo", output:"\u2299", ttype:CONST},
- {input:"\\land", tag:"mo", output:"\u2227", ttype:CONST},
- {input:"\\wedge", tag:"mo", output:"\u2227", ttype:CONST},
- {input:"\\lor", tag:"mo", output:"\u2228", ttype:CONST},
- {input:"\\vee", tag:"mo", output:"\u2228", ttype:CONST},
- {input:"\\cap", tag:"mo", output:"\u2229", ttype:CONST},
- {input:"\\cup", tag:"mo", output:"\u222A", ttype:CONST},
- {input:"\\sqcap", tag:"mo", output:"\u2293", ttype:CONST},
- {input:"\\sqcup", tag:"mo", output:"\u2294", ttype:CONST},
- {input:"\\uplus", tag:"mo", output:"\u228E", ttype:CONST},
- {input:"\\amalg", tag:"mo", output:"\u2210", ttype:CONST},
- {input:"\\bigtriangleup",tag:"mo",output:"\u25B3", ttype:CONST},
- {input:"\\bigtriangledown",tag:"mo",output:"\u25BD", ttype:CONST},
- {input:"\\dag", tag:"mo", output:"\u2020", ttype:CONST},
- {input:"\\dagger", tag:"mo", output:"\u2020", ttype:CONST},
- {input:"\\ddag", tag:"mo", output:"\u2021", ttype:CONST},
- {input:"\\ddagger", tag:"mo", output:"\u2021", ttype:CONST},
- {input:"\\lhd", tag:"mo", output:"\u22B2", ttype:CONST},
- {input:"\\rhd", tag:"mo", output:"\u22B3", ttype:CONST},
- {input:"\\unlhd", tag:"mo", output:"\u22B4", ttype:CONST},
- {input:"\\unrhd", tag:"mo", output:"\u22B5", ttype:CONST},
- //BIG Operators
- {input:"\\sum", tag:"mo", output:"\u2211", ttype:UNDEROVER},
- {input:"\\prod", tag:"mo", output:"\u220F", ttype:UNDEROVER},
- {input:"\\bigcap", tag:"mo", output:"\u22C2", ttype:UNDEROVER},
- {input:"\\bigcup", tag:"mo", output:"\u22C3", ttype:UNDEROVER},
- {input:"\\bigwedge", tag:"mo", output:"\u22C0", ttype:UNDEROVER},
- {input:"\\bigvee", tag:"mo", output:"\u22C1", ttype:UNDEROVER},
- {input:"\\bigsqcap", tag:"mo", output:"\u2A05", ttype:UNDEROVER},
- {input:"\\bigsqcup", tag:"mo", output:"\u2A06", ttype:UNDEROVER},
- {input:"\\coprod", tag:"mo", output:"\u2210", ttype:UNDEROVER},
- {input:"\\bigoplus", tag:"mo", output:"\u2A01", ttype:UNDEROVER},
- {input:"\\bigotimes", tag:"mo", output:"\u2A02", ttype:UNDEROVER},
- {input:"\\bigodot", tag:"mo", output:"\u2A00", ttype:UNDEROVER},
- {input:"\\biguplus", tag:"mo", output:"\u2A04", ttype:UNDEROVER},
- {input:"\\int", tag:"mo", output:"\u222B", ttype:CONST},
- {input:"\\oint", tag:"mo", output:"\u222E", ttype:CONST},
- //binary relation symbols
- {input:":=", tag:"mo", output:":=", ttype:CONST},
- {input:"\\lt", tag:"mo", output:"<", ttype:CONST},
- {input:"\\gt", tag:"mo", output:">", ttype:CONST},
- {input:"\\ne", tag:"mo", output:"\u2260", ttype:CONST},
- {input:"\\neq", tag:"mo", output:"\u2260", ttype:CONST},
- {input:"\\le", tag:"mo", output:"\u2264", ttype:CONST},
- {input:"\\leq", tag:"mo", output:"\u2264", ttype:CONST},
- {input:"\\leqslant", tag:"mo", output:"\u2264", ttype:CONST},
- {input:"\\ge", tag:"mo", output:"\u2265", ttype:CONST},
- {input:"\\geq", tag:"mo", output:"\u2265", ttype:CONST},
- {input:"\\geqslant", tag:"mo", output:"\u2265", ttype:CONST},
- {input:"\\equiv", tag:"mo", output:"\u2261", ttype:CONST},
- {input:"\\ll", tag:"mo", output:"\u226A", ttype:CONST},
- {input:"\\gg", tag:"mo", output:"\u226B", ttype:CONST},
- {input:"\\doteq", tag:"mo", output:"\u2250", ttype:CONST},
- {input:"\\prec", tag:"mo", output:"\u227A", ttype:CONST},
- {input:"\\succ", tag:"mo", output:"\u227B", ttype:CONST},
- {input:"\\preceq", tag:"mo", output:"\u227C", ttype:CONST},
- {input:"\\succeq", tag:"mo", output:"\u227D", ttype:CONST},
- {input:"\\subset", tag:"mo", output:"\u2282", ttype:CONST},
- {input:"\\supset", tag:"mo", output:"\u2283", ttype:CONST},
- {input:"\\subseteq", tag:"mo", output:"\u2286", ttype:CONST},
- {input:"\\supseteq", tag:"mo", output:"\u2287", ttype:CONST},
- {input:"\\sqsubset", tag:"mo", output:"\u228F", ttype:CONST},
- {input:"\\sqsupset", tag:"mo", output:"\u2290", ttype:CONST},
- {input:"\\sqsubseteq", tag:"mo", output:"\u2291", ttype:CONST},
- {input:"\\sqsupseteq", tag:"mo", output:"\u2292", ttype:CONST},
- {input:"\\sim", tag:"mo", output:"\u223C", ttype:CONST},
- {input:"\\simeq", tag:"mo", output:"\u2243", ttype:CONST},
- {input:"\\approx", tag:"mo", output:"\u2248", ttype:CONST},
- {input:"\\cong", tag:"mo", output:"\u2245", ttype:CONST},
- {input:"\\Join", tag:"mo", output:"\u22C8", ttype:CONST},
- {input:"\\bowtie", tag:"mo", output:"\u22C8", ttype:CONST},
- {input:"\\in", tag:"mo", output:"\u2208", ttype:CONST},
- {input:"\\ni", tag:"mo", output:"\u220B", ttype:CONST},
- {input:"\\owns", tag:"mo", output:"\u220B", ttype:CONST},
- {input:"\\propto", tag:"mo", output:"\u221D", ttype:CONST},
- {input:"\\vdash", tag:"mo", output:"\u22A2", ttype:CONST},
- {input:"\\dashv", tag:"mo", output:"\u22A3", ttype:CONST},
- {input:"\\models", tag:"mo", output:"\u22A8", ttype:CONST},
- {input:"\\perp", tag:"mo", output:"\u22A5", ttype:CONST},
- {input:"\\smile", tag:"mo", output:"\u2323", ttype:CONST},
- {input:"\\frown", tag:"mo", output:"\u2322", ttype:CONST},
- {input:"\\asymp", tag:"mo", output:"\u224D", ttype:CONST},
- {input:"\\notin", tag:"mo", output:"\u2209", ttype:CONST},
- //matrices
- {input:"\\begin{eqnarray}", output:"X", ttype:MATRIX, invisible:true},
- {input:"\\begin{array}", output:"X", ttype:MATRIX, invisible:true},
- {input:"\\\\", output:"}&{", ttype:DEFINITION},
- {input:"\\end{eqnarray}", output:"}}", ttype:DEFINITION},
- {input:"\\end{array}", output:"}}", ttype:DEFINITION},
- //grouping and literal brackets -- ieval is for IE
- {input:"\\big", tag:"mo", output:"X", atval:"1.2", ieval:"2.2", ttype:BIG},
- {input:"\\Big", tag:"mo", output:"X", atval:"1.6", ieval:"2.6", ttype:BIG},
- {input:"\\bigg", tag:"mo", output:"X", atval:"2.2", ieval:"3.2", ttype:BIG},
- {input:"\\Bigg", tag:"mo", output:"X", atval:"2.9", ieval:"3.9", ttype:BIG},
- {input:"\\left", tag:"mo", output:"X", ttype:LEFTBRACKET},
- {input:"\\right", tag:"mo", output:"X", ttype:RIGHTBRACKET},
- {input:"{", output:"{", ttype:LEFTBRACKET, invisible:true},
- {input:"}", output:"}", ttype:RIGHTBRACKET, invisible:true},
- {input:"(", tag:"mo", output:"(", atval:"1", ttype:STRETCHY},
- {input:"[", tag:"mo", output:"[", atval:"1", ttype:STRETCHY},
- {input:"\\lbrack", tag:"mo", output:"[", atval:"1", ttype:STRETCHY},
- {input:"\\{", tag:"mo", output:"{", atval:"1", ttype:STRETCHY},
- {input:"\\lbrace", tag:"mo", output:"{", atval:"1", ttype:STRETCHY},
- {input:"\\langle", tag:"mo", output:"\u2329", atval:"1", ttype:STRETCHY},
- {input:"\\lfloor", tag:"mo", output:"\u230A", atval:"1", ttype:STRETCHY},
- {input:"\\lceil", tag:"mo", output:"\u2308", atval:"1", ttype:STRETCHY},
- // rtag:"mi" causes space to be inserted before a following sin, cos, etc.
- // (see function LMparseExpr() )
- {input:")", tag:"mo",output:")", rtag:"mi",atval:"1",ttype:STRETCHY},
- {input:"]", tag:"mo",output:"]", rtag:"mi",atval:"1",ttype:STRETCHY},
- {input:"\\rbrack",tag:"mo",output:"]", rtag:"mi",atval:"1",ttype:STRETCHY},
- {input:"\\}", tag:"mo",output:"}", rtag:"mi",atval:"1",ttype:STRETCHY},
- {input:"\\rbrace",tag:"mo",output:"}", rtag:"mi",atval:"1",ttype:STRETCHY},
- {input:"\\rangle",tag:"mo",output:"\u232A", rtag:"mi",atval:"1",ttype:STRETCHY},
- {input:"\\rfloor",tag:"mo",output:"\u230B", rtag:"mi",atval:"1",ttype:STRETCHY},
- {input:"\\rceil", tag:"mo",output:"\u2309", rtag:"mi",atval:"1",ttype:STRETCHY},
- // "|", "\\|", "\\vert" and "\\Vert" modified later: lspace = rspace = 0em
- {input:"|", tag:"mo", output:"\u2223", atval:"1", ttype:STRETCHY},
- {input:"\\|", tag:"mo", output:"\u2225", atval:"1", ttype:STRETCHY},
- {input:"\\vert", tag:"mo", output:"\u2223", atval:"1", ttype:STRETCHY},
- {input:"\\Vert", tag:"mo", output:"\u2225", atval:"1", ttype:STRETCHY},
- {input:"\\mid", tag:"mo", output:"\u2223", atval:"1", ttype:STRETCHY},
- {input:"\\parallel", tag:"mo", output:"\u2225", atval:"1", ttype:STRETCHY},
- {input:"/", tag:"mo", output:"/", atval:"1.01", ttype:STRETCHY},
- {input:"\\backslash", tag:"mo", output:"\u2216", atval:"1", ttype:STRETCHY},
- {input:"\\setminus", tag:"mo", output:"\\", ttype:CONST},
- //miscellaneous symbols
- {input:"\\!", tag:"mspace", atname:"width", atval:"-0.167em", ttype:SPACE},
- {input:"\\,", tag:"mspace", atname:"width", atval:"0.167em", ttype:SPACE},
- {input:"\\>", tag:"mspace", atname:"width", atval:"0.222em", ttype:SPACE},
- {input:"\\:", tag:"mspace", atname:"width", atval:"0.222em", ttype:SPACE},
- {input:"\\;", tag:"mspace", atname:"width", atval:"0.278em", ttype:SPACE},
- {input:"~", tag:"mspace", atname:"width", atval:"0.333em", ttype:SPACE},
- {input:"\\quad", tag:"mspace", atname:"width", atval:"1em", ttype:SPACE},
- {input:"\\qquad", tag:"mspace", atname:"width", atval:"2em", ttype:SPACE},
- //{input:"{}", tag:"mo", output:"\u200B", ttype:CONST}, // zero-width
- {input:"\\prime", tag:"mo", output:"\u2032", ttype:CONST},
- {input:"'", tag:"mo", output:"\u02B9", ttype:CONST},
- {input:"''", tag:"mo", output:"\u02BA", ttype:CONST},
- {input:"'''", tag:"mo", output:"\u2034", ttype:CONST},
- {input:"''''", tag:"mo", output:"\u2057", ttype:CONST},
- {input:"\\ldots", tag:"mo", output:"\u2026", ttype:CONST},
- {input:"\\cdots", tag:"mo", output:"\u22EF", ttype:CONST},
- {input:"\\vdots", tag:"mo", output:"\u22EE", ttype:CONST},
- {input:"\\ddots", tag:"mo", output:"\u22F1", ttype:CONST},
- {input:"\\forall", tag:"mo", output:"\u2200", ttype:CONST},
- {input:"\\exists", tag:"mo", output:"\u2203", ttype:CONST},
- {input:"\\Re", tag:"mo", output:"\u211C", ttype:CONST},
- {input:"\\Im", tag:"mo", output:"\u2111", ttype:CONST},
- {input:"\\aleph", tag:"mo", output:"\u2135", ttype:CONST},
- {input:"\\hbar", tag:"mo", output:"\u210F", ttype:CONST},
- {input:"\\ell", tag:"mo", output:"\u2113", ttype:CONST},
- {input:"\\wp", tag:"mo", output:"\u2118", ttype:CONST},
- {input:"\\emptyset", tag:"mo", output:"\u2205", ttype:CONST},
- {input:"\\infty", tag:"mo", output:"\u221E", ttype:CONST},
- {input:"\\surd", tag:"mo", output:"\\sqrt{}", ttype:DEFINITION},
- {input:"\\partial", tag:"mo", output:"\u2202", ttype:CONST},
- {input:"\\nabla", tag:"mo", output:"\u2207", ttype:CONST},
- {input:"\\triangle", tag:"mo", output:"\u25B3", ttype:CONST},
- {input:"\\therefore", tag:"mo", output:"\u2234", ttype:CONST},
- {input:"\\angle", tag:"mo", output:"\u2220", ttype:CONST},
- //{input:"\\\\ ", tag:"mo", output:"\u00A0", ttype:CONST},
- {input:"\\diamond", tag:"mo", output:"\u22C4", ttype:CONST},
- //{input:"\\Diamond", tag:"mo", output:"\u25CA", ttype:CONST},
- {input:"\\Diamond", tag:"mo", output:"\u25C7", ttype:CONST},
- {input:"\\neg", tag:"mo", output:"\u00AC", ttype:CONST},
- {input:"\\lnot", tag:"mo", output:"\u00AC", ttype:CONST},
- {input:"\\bot", tag:"mo", output:"\u22A5", ttype:CONST},
- {input:"\\top", tag:"mo", output:"\u22A4", ttype:CONST},
- {input:"\\square", tag:"mo", output:"\u25AB", ttype:CONST},
- {input:"\\Box", tag:"mo", output:"\u25A1", ttype:CONST},
- {input:"\\wr", tag:"mo", output:"\u2240", ttype:CONST},
- //standard functions
- //Note UNDEROVER *must* have tag:"mo" to work properly
- {input:"\\arccos", tag:"mi", output:"arccos", ttype:UNARY, func:true},
- {input:"\\arcsin", tag:"mi", output:"arcsin", ttype:UNARY, func:true},
- {input:"\\arctan", tag:"mi", output:"arctan", ttype:UNARY, func:true},
- {input:"\\arg", tag:"mi", output:"arg", ttype:UNARY, func:true},
- {input:"\\cos", tag:"mi", output:"cos", ttype:UNARY, func:true},
- {input:"\\cosh", tag:"mi", output:"cosh", ttype:UNARY, func:true},
- {input:"\\cot", tag:"mi", output:"cot", ttype:UNARY, func:true},
- {input:"\\coth", tag:"mi", output:"coth", ttype:UNARY, func:true},
- {input:"\\csc", tag:"mi", output:"csc", ttype:UNARY, func:true},
- {input:"\\deg", tag:"mi", output:"deg", ttype:UNARY, func:true},
- {input:"\\det", tag:"mi", output:"det", ttype:UNARY, func:true},
- {input:"\\dim", tag:"mi", output:"dim", ttype:UNARY, func:true}, //CONST?
- {input:"\\exp", tag:"mi", output:"exp", ttype:UNARY, func:true},
- {input:"\\gcd", tag:"mi", output:"gcd", ttype:UNARY, func:true}, //CONST?
- {input:"\\hom", tag:"mi", output:"hom", ttype:UNARY, func:true},
- {input:"\\inf", tag:"mo", output:"inf", ttype:UNDEROVER},
- {input:"\\ker", tag:"mi", output:"ker", ttype:UNARY, func:true},
- {input:"\\lg", tag:"mi", output:"lg", ttype:UNARY, func:true},
- {input:"\\lim", tag:"mo", output:"lim", ttype:UNDEROVER},
- {input:"\\liminf", tag:"mo", output:"liminf", ttype:UNDEROVER},
- {input:"\\limsup", tag:"mo", output:"limsup", ttype:UNDEROVER},
- {input:"\\ln", tag:"mi", output:"ln", ttype:UNARY, func:true},
- {input:"\\log", tag:"mi", output:"log", ttype:UNARY, func:true},
- {input:"\\max", tag:"mo", output:"max", ttype:UNDEROVER},
- {input:"\\min", tag:"mo", output:"min", ttype:UNDEROVER},
- {input:"\\Pr", tag:"mi", output:"Pr", ttype:UNARY, func:true},
- {input:"\\sec", tag:"mi", output:"sec", ttype:UNARY, func:true},
- {input:"\\sin", tag:"mi", output:"sin", ttype:UNARY, func:true},
- {input:"\\sinh", tag:"mi", output:"sinh", ttype:UNARY, func:true},
- {input:"\\sup", tag:"mo", output:"sup", ttype:UNDEROVER},
- {input:"\\tan", tag:"mi", output:"tan", ttype:UNARY, func:true},
- {input:"\\tanh", tag:"mi", output:"tanh", ttype:UNARY, func:true},
- //arrows
- {input:"\\gets", tag:"mo", output:"\u2190", ttype:CONST},
- {input:"\\leftarrow", tag:"mo", output:"\u2190", ttype:CONST},
- {input:"\\to", tag:"mo", output:"\u2192", ttype:CONST},
- {input:"\\rightarrow", tag:"mo", output:"\u2192", ttype:CONST},
- {input:"\\leftrightarrow", tag:"mo", output:"\u2194", ttype:CONST},
- {input:"\\uparrow", tag:"mo", output:"\u2191", ttype:CONST},
- {input:"\\downarrow", tag:"mo", output:"\u2193", ttype:CONST},
- {input:"\\updownarrow", tag:"mo", output:"\u2195", ttype:CONST},
- {input:"\\Leftarrow", tag:"mo", output:"\u21D0", ttype:CONST},
- {input:"\\Rightarrow", tag:"mo", output:"\u21D2", ttype:CONST},
- {input:"\\Leftrightarrow", tag:"mo", output:"\u21D4", ttype:CONST},
- {input:"\\iff", tag:"mo", output:"~\\Longleftrightarrow~", ttype:DEFINITION},
- {input:"\\Uparrow", tag:"mo", output:"\u21D1", ttype:CONST},
- {input:"\\Downarrow", tag:"mo", output:"\u21D3", ttype:CONST},
- {input:"\\Updownarrow", tag:"mo", output:"\u21D5", ttype:CONST},
- {input:"\\mapsto", tag:"mo", output:"\u21A6", ttype:CONST},
- {input:"\\longleftarrow", tag:"mo", output:"\u2190", ttype:LONG},
- {input:"\\longrightarrow", tag:"mo", output:"\u2192", ttype:LONG},
- {input:"\\longleftrightarrow", tag:"mo", output:"\u2194", ttype:LONG},
- {input:"\\Longleftarrow", tag:"mo", output:"\u21D0", ttype:LONG},
- {input:"\\Longrightarrow", tag:"mo", output:"\u21D2", ttype:LONG},
- {input:"\\Longleftrightarrow", tag:"mo", output:"\u21D4", ttype:LONG},
- {input:"\\longmapsto", tag:"mo", output:"\u21A6", ttype:CONST},
- // disaster if LONG
- //commands with argument
- LMsqrt, LMroot, LMfrac, LMover, LMsub, LMsup, LMtext, LMmbox, LMatop, LMchoose,
- //LMdiv, LMquote,
- //diacritical marks
- {input:"\\acute", tag:"mover", output:"\u00B4", ttype:UNARY, acc:true},
- //{input:"\\acute", tag:"mover", output:"\u0317", ttype:UNARY, acc:true},
- //{input:"\\acute", tag:"mover", output:"\u0301", ttype:UNARY, acc:true},
- //{input:"\\grave", tag:"mover", output:"\u0300", ttype:UNARY, acc:true},
- //{input:"\\grave", tag:"mover", output:"\u0316", ttype:UNARY, acc:true},
- {input:"\\grave", tag:"mover", output:"\u0060", ttype:UNARY, acc:true},
- {input:"\\breve", tag:"mover", output:"\u02D8", ttype:UNARY, acc:true},
- {input:"\\check", tag:"mover", output:"\u02C7", ttype:UNARY, acc:true},
- {input:"\\dot", tag:"mover", output:".", ttype:UNARY, acc:true},
- {input:"\\ddot", tag:"mover", output:"..", ttype:UNARY, acc:true},
- //{input:"\\ddot", tag:"mover", output:"\u00A8", ttype:UNARY, acc:true},
- {input:"\\mathring", tag:"mover", output:"\u00B0", ttype:UNARY, acc:true},
- {input:"\\vec", tag:"mover", output:"\u20D7", ttype:UNARY, acc:true},
- {input:"\\overrightarrow",tag:"mover",output:"\u20D7", ttype:UNARY, acc:true},
- {input:"\\overleftarrow",tag:"mover", output:"\u20D6", ttype:UNARY, acc:true},
- {input:"\\hat", tag:"mover", output:"\u005E", ttype:UNARY, acc:true},
- {input:"\\widehat", tag:"mover", output:"\u0302", ttype:UNARY, acc:true},
- {input:"\\tilde", tag:"mover", output:"~", ttype:UNARY, acc:true},
- //{input:"\\tilde", tag:"mover", output:"\u0303", ttype:UNARY, acc:true},
- {input:"\\widetilde", tag:"mover", output:"\u02DC", ttype:UNARY, acc:true},
- {input:"\\bar", tag:"mover", output:"\u203E", ttype:UNARY, acc:true},
- {input:"\\overbrace", tag:"mover", output:"\u23B4", ttype:UNARY, acc:true},
- {input:"\\overline", tag:"mover", output:"\u00AF", ttype:UNARY, acc:true},
- {input:"\\underbrace", tag:"munder", output:"\u23B5", ttype:UNARY, acc:true},
- {input:"\\underline", tag:"munder", output:"\u00AF", ttype:UNARY, acc:true},
- //{input:"underline", tag:"munder", output:"\u0332", ttype:UNARY, acc:true},
- //typestyles and fonts
- {input:"\\displaystyle",tag:"mstyle",atname:"displaystyle",atval:"true", ttype:UNARY},
- {input:"\\textstyle",tag:"mstyle",atname:"displaystyle",atval:"false", ttype:UNARY},
- {input:"\\scriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"1", ttype:UNARY},
- {input:"\\scriptscriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"2", ttype:UNARY},
- {input:"\\textrm", tag:"mstyle", output:"\\mathrm", ttype: DEFINITION},
- {input:"\\mathbf", tag:"mstyle", atname:"mathvariant", atval:"bold", ttype:UNARY},
- {input:"\\textbf", tag:"mstyle", atname:"mathvariant", atval:"bold", ttype:UNARY},
- {input:"\\mathit", tag:"mstyle", atname:"mathvariant", atval:"italic", ttype:UNARY},
- {input:"\\textit", tag:"mstyle", atname:"mathvariant", atval:"italic", ttype:UNARY},
- {input:"\\mathtt", tag:"mstyle", atname:"mathvariant", atval:"monospace", ttype:UNARY},
- {input:"\\texttt", tag:"mstyle", atname:"mathvariant", atval:"monospace", ttype:UNARY},
- {input:"\\mathsf", tag:"mstyle", atname:"mathvariant", atval:"sans-serif", ttype:UNARY},
- {input:"\\mathbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", ttype:UNARY, codes:LMbbb},
- {input:"\\mathcal",tag:"mstyle", atname:"mathvariant", atval:"script", ttype:UNARY, codes:LMcal},
- {input:"\\mathfrak",tag:"mstyle",atname:"mathvariant", atval:"fraktur",ttype:UNARY, codes:LMfrk}
- ];
- function compareNames(s1,s2) {
- if (s1.input > s2.input) return 1
- else return -1;
- }
- var LMnames = []; //list of input symbols
- function LMinitSymbols() {
- LMsymbols.sort(compareNames);
- for (i=0; i<LMsymbols.length; i++) LMnames[i] = LMsymbols[i].input;
- }
- var LMmathml = "http://www.w3.org/1998/Math/MathML";
- function LMcreateElementMathML(t) {
- if (isIE) return document.createElement("m:"+t);
- else return document.createElementNS(LMmathml,t);
- }
- function LMcreateMmlNode(t,frag) {
- // var node = LMcreateElementMathML(name);
- if (isIE) var node = document.createElement("m:"+t);
- else var node = document.createElementNS(LMmathml,t);
- node.appendChild(frag);
- return node;
- }
- function newcommand(oldstr,newstr) {
- LMsymbols = LMsymbols.concat([{input:oldstr, tag:"mo", output:newstr,
- ttype:DEFINITION}]);
- }
- function LMremoveCharsAndBlanks(str,n) {
- //remove n characters and any following blanks
- var st;
- st = str.slice(n);
- for (var i=0; i<st.length && st.charCodeAt(i)<=32; i=i+1);
- return st.slice(i);
- }
- function LMposition(arr, str, n) {
- // return position >=n where str appears or would be inserted
- // assumes arr is sorted
- if (n==0) {
- var h,m;
- n = -1;
- h = arr.length;
- while (n+1<h) {
- m = (n+h) >> 1;
- if (arr[m]<str) n = m; else h = m;
- }
- return h;
- } else
- for (var i=n; i<arr.length && arr[i]<str; i++);
- return i; // i=arr.length || arr[i]>=str
- }
- function LMgetSymbol(str) {
- //return maximal initial substring of str that appears in names
- //return null if there is none
- var k = 0; //new pos
- var j = 0; //old pos
- var mk; //match pos
- var st;
- var tagst;
- var match = "";
- var more = true;
- for (var i=1; i<=str.length && more; i++) {
- st = str.slice(0,i); //initial substring of length i
- j = k;
- k = LMposition(LMnames, st, j);
- if (k<LMnames.length && str.slice(0,LMnames[k].length)==LMnames[k]){
- match = LMnames[k];
- mk = k;
- i = match.length;
- }
- more = k<LMnames.length && str.slice(0,LMnames[k].length)>=LMnames[k];
- }
- LMpreviousSymbol=LMcurrentSymbol;
- if (match!=""){
- LMcurrentSymbol=LMsymbols[mk].ttype;
- return LMsymbols[mk];
- }
- LMcurrentSymbol=CONST;
- k = 1;
- st = str.slice(0,1); //take 1 character
- if ("0"<=st && st<="9") tagst = "mn";
- else tagst = (("A">st || st>"Z") && ("a">st || st>"z")?"mo":"mi");
- /*
- // Commented out by DRW (not fully understood, but probably to do with
- // use of "/" as an INFIX version of "\\frac", which we don't want):
- //}
- //if (st=="-" && LMpreviousSymbol==INFIX) {
- // LMcurrentSymbol = INFIX; //trick "/" into recognizing "-" on second parse
- // return {input:st, tag:tagst, output:st, ttype:UNARY, func:true};
- //}
- */
- return {input:st, tag:tagst, output:st, ttype:CONST};
- }
- /*Parsing ASCII math expressions with the following grammar
- v ::= [A-Za-z] | greek letters | numbers | other constant symbols
- u ::= sqrt | text | bb | other unary symbols for font commands
- b ::= frac | root | stackrel binary symbols
- l ::= { | \left left brackets
- r ::= } | \right right brackets
- S ::= v | lEr | uS | bSS Simple expression
- I ::= S_S | S^S | S_S^S | S Intermediate expression
- E ::= IE | I/I Expression
- Each terminal symbol is translated into a corresponding mathml node.*/
- var LMpreviousSymbol,LMcurrentSymbol;
- function LMparseSexpr(str) { //parses str and returns [node,tailstr,(node)tag]
- var symbol, node, result, result2, i, st,// rightvert = false,
- newFrag = document.createDocumentFragment();
- str = LMremoveCharsAndBlanks(str,0);
- symbol = LMgetSymbol(str); //either a token or a bracket or empty
- if (symbol == null || symbol.ttype == RIGHTBRACKET)
- return [null,str,null];
- if (symbol.ttype == DEFINITION) {
- str = symbol.output+LMremoveCharsAndBlanks(str,symbol.input.length);
- symbol = LMgetSymbol(str);
- if (symbol == null || symbol.ttype == RIGHTBRACKET)
- return [null,str,null];
- }
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- switch (symbol.ttype) {
- case SPACE:
- node = LMcreateElementMathML(symbol.tag);
- node.setAttribute(symbol.atname,symbol.atval);
- return [node,str,symbol.tag];
- case UNDEROVER:
- if (isIE) {
- if (symbol.input.substr(0,4) == "\\big") { // botch for missing symbols
- str = "\\"+symbol.input.substr(4)+str; // make \bigcup = \cup etc.
- symbol = LMgetSymbol(str);
- symbol.ttype = UNDEROVER;
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- }
- }
- return [LMcreateMmlNode(symbol.tag,
- document.createTextNode(symbol.output)),str,symbol.tag];
- case CONST:
- var output = symbol.output;
- if (isIE) {
- if (symbol.input == "'")
- output = "\u2032";
- else if (symbol.input == "''")
- output = "\u2033";
- else if (symbol.input == "'''")
- output = "\u2033\u2032";
- else if (symbol.input == "''''")
- output = "\u2033\u2033";
- else if (symbol.input == "\\square")
- output = "\u25A1"; // same as \Box
- else if (symbol.input.substr(0,5) == "\\frac") {
- // botch for missing fractions
- var denom = symbol.input.substr(6,1);
- if (denom == "5" || denom == "6") {
- str = symbol.input.replace(/\\frac/,"\\frac ")+str;
- return [node,str,symbol.tag];
- }
- }
- }
- node = LMcreateMmlNode(symbol.tag,document.createTextNode(output));
- return [node,str,symbol.tag];
- case LONG: // added by DRW
- node = LMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output));
- node.setAttribute("minsize","1.5");
- node.setAttribute("maxsize","1.5");
- node = LMcreateMmlNode("mover",node);
- node.appendChild(LMcreateElementMathML("mspace"));
- return [node,str,symbol.tag];
- case STRETCHY: // added by DRW
- if (isIE && symbol.input == "\\backslash")
- symbol.output = "\\"; // doesn't expand, but then nor does "\u2216"
- node = LMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output));
- if (symbol.input == "|" || symbol.input == "\\vert" ||
- symbol.input == "\\|" || symbol.input == "\\Vert") {
- node.setAttribute("lspace","0em");
- node.setAttribute("rspace","0em");
- }
- node.setAttribute("maxsize",symbol.atval); // don't allow to stretch here
- if (symbol.rtag != null)
- return [node,str,symbol.rtag];
- else
- return [node,str,symbol.tag];
- case BIG: // added by DRW
- var atval = symbol.atval;
- if (isIE)
- atval = symbol.ieval;
- symbol = LMgetSymbol(str);
- if (symbol == null)
- return [null,str,null];
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- node = LMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output));
- if (isIE) { // to get brackets to expand
- var space = LMcreateElementMathML("mspace");
- space.setAttribute("height",atval+"ex");
- node = LMcreateMmlNode("mrow",node);
- node.appendChild(space);
- } else { // ignored in IE
- node.setAttribute("minsize",atval);
- node.setAttribute("maxsize",atval);
- }
- return [node,str,symbol.tag];
- case LEFTBRACKET: //read (expr+)
- if (symbol.input == "\\left") { // left what?
- symbol = LMgetSymbol(str);
- if (symbol != null) {
- if (symbol.input == ".")
- symbol.invisible = true;
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- }
- }
- result = LMparseExpr(str,true,false);
- if (symbol==null ||
- (typeof symbol.invisible == "boolean" && symbol.invisible))
- node = LMcreateMmlNode("mrow",result[0]);
- else {
- node = LMcreateMmlNode("mo",document.createTextNode(symbol.output));
- node = LMcreateMmlNode("mrow",node);
- node.appendChild(result[0]);
- }
- return [node,result[1],result[2]];
- case MATRIX: //read (expr+)
- if (symbol.input == "\\begin{array}") {
- var mask = "";
- symbol = LMgetSymbol(str);
- str = LMremoveCharsAndBlanks(str,0);
- if (symbol == null)
- mask = "l";
- else {
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- if (symbol.input != "{")
- mask = "l";
- else do {
- symbol = LMgetSymbol(str);
- if (symbol != null) {
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- if (symbol.input != "}")
- mask = mask+symbol.input;
- }
- } while (symbol != null && symbol.input != "" && symbol.input != "}");
- }
- result = LMparseExpr("{"+str,true,true);
- // if (result[0]==null) return [LMcreateMmlNode("mo",
- // document.createTextNode(symbol.input)),str];
- node = LMcreateMmlNode("mtable",result[0]);
- mask = mask.replace(/l/g,"left ");
- mask = mask.replace(/r/g,"right ");
- mask = mask.replace(/c/g,"center ");
- node.setAttribute("columnalign",mask);
- node.setAttribute("displaystyle","false");
- if (isIE)
- return [node,result[1],null];
- // trying to get a *little* bit of space around the array
- // (IE already includes it)
- var lspace = LMcreateElementMathML("mspace");
- lspace.setAttribute("width","0.167em");
- var rspace = LMcreateElementMathML("mspace");
- rspace.setAttribute("width","0.167em");
- var node1 = LMcreateMmlNode("mrow",lspace);
- node1.appendChild(node);
- node1.appendChild(rspace);
- return [node1,result[1],null];
- } else { // eqnarray
- result = LMparseExpr("{"+str,true,true);
- node = LMcreateMmlNode("mtable",result[0]);
- if (isIE)
- node.setAttribute("columnspacing","0.25em"); // best in practice?
- else
- node.setAttribute("columnspacing","0.167em"); // correct (but ignored?)
- node.setAttribute("columnalign","right center left");
- node.setAttribute("displaystyle","true");
- node = LMcreateMmlNode("mrow",node);
- return [node,result[1],null];
- }
- case TEXT:
- if (str.charAt(0)=="{") i=str.indexOf("}");
- else i = 0;
- if (i==-1)
- i = str.length;
- st = str.slice(1,i);
- if (st.charAt(0) == " ") {
- node = LMcreateElementMathML("mspace");
- node.setAttribute("width","0.33em"); // was 1ex
- newFrag.appendChild(node);
- }
- newFrag.appendChild(
- LMcreateMmlNode(symbol.tag,document.createTextNode(st)));
- if (st.charAt(st.length-1) == " ") {
- node = LMcreateElementMathML("mspace");
- node.setAttribute("width","0.33em"); // was 1ex
- newFrag.appendChild(node);
- }
- str = LMremoveCharsAndBlanks(str,i+1);
- return [LMcreateMmlNode("mrow",newFrag),str,null];
- case UNARY:
- result = LMparseSexpr(str);
- if (result[0]==null) return [LMcreateMmlNode(symbol.tag,
- document.createTextNode(symbol.output)),str];
- if (typeof symbol.func == "boolean" && symbol.func) { // functions hack
- st = str.charAt(0);
- // if (st=="^" || st=="_" || st=="/" || st=="|" || st==",") {
- if (st=="^" || st=="_" || st==",") {
- return [LMcreateMmlNode(symbol.tag,
- document.createTextNode(symbol.output)),str,symbol.tag];
- } else {
- node = LMcreateMmlNode("mrow",
- LMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output)));
- if (isIE) {
- var space = LMcreateElementMathML("mspace");
- space.setAttribute("width","0.167em");
- node.appendChild(space);
- }
- node.appendChild(result[0]);
- return [node,result[1],symbol.tag];
- }
- }
- if (symbol.input == "\\sqrt") { // sqrt
- if (isIE) { // set minsize, for \surd
- var space = LMcreateElementMathML("mspace");
- space.setAttribute("height","1.2ex");
- space.setAttribute("width","0em"); // probably no effect
- node = LMcreateMmlNode(symbol.tag,result[0])
- // node.setAttribute("minsize","1"); // ignored
- // node = LMcreateMmlNode("mrow",node); // hopefully unnecessary
- node.appendChild(space);
- return [node,result[1],symbol.tag];
- } else
- return [LMcreateMmlNode(symbol.tag,result[0]),result[1],symbol.tag];
- } else if (typeof symbol.acc == "boolean" && symbol.acc) { // accent
- node = LMcreateMmlNode(symbol.tag,result[0]);
- var output = symbol.output;
- if (isIE) {
- if (symbol.input == "\\hat")
- output = "\u0302";
- else if (symbol.input == "\\widehat")
- output = "\u005E";
- else if (symbol.input == "\\bar")
- output = "\u00AF";
- else if (symbol.input == "\\grave")
- output = "\u0300";
- else if (symbol.input == "\\tilde")
- output = "\u0303";
- }
- var node1 = LMcreateMmlNode("mo",document.createTextNode(output));
- if (symbol.input == "\\vec" || symbol.input == "\\check")
- // don't allow to stretch
- node1.setAttribute("maxsize","1.2");
- // why doesn't "1" work? \vec nearly disappears in firefox
- if (isIE && symbol.input == "\\bar")
- node1.setAttribute("maxsize","0.5");
- if (symbol.input == "\\underbrace" || symbol.input == "\\underline")
- node1.setAttribute("accentunder","true");
- else
- node1.setAttribute("accent","true");
- node.appendChild(node1);
- if (symbol.input == "\\overbrace" || symbol.input == "\\underbrace")
- node.ttype = UNDEROVER;
- return [node,result[1],symbol.tag];
- } else { // font change or displaystyle command
- if (!isIE && typeof symbol.codes != "undefined") {
- for (i=0; i<result[0].childNodes.length; i++)
- if (result[0].childNodes[i].nodeName=="mi" || result[0].nodeName=="mi") {
- st = (result[0].nodeName=="mi"?result[0].firstChild.nodeValue:
- result[0].childNodes[i].firstChild.nodeValue);
- var newst = [];
- for (var j=0; j<st.length; j++)
- if (st.charCodeAt(j)>64 && st.charCodeAt(j)<91) newst = newst +
- String.fromCharCode(symbol.codes[st.charCodeAt(j)-65]);
- else newst = newst + st.charAt(j);
- if (result[0].nodeName=="mi")
- result[0]=LMcreateElementMathML("mo").
- appendChild(document.createTextNode(newst));
- else result[0].replaceChild(LMcreateElementMathML("mo").
- appendChild(document.createTextNode(newst)),result[0].childNodes[i]);
- }
- }
- node = LMcreateMmlNode(symbol.tag,result[0]);
- node.setAttribute(symbol.atname,symbol.atval);
- if (symbol.input == "\\scriptstyle" ||
- symbol.input == "\\scriptscriptstyle")
- node.setAttribute("displaystyle","false");
- return [node,result[1],symbol.tag];
- }
- case BINARY:
- result = LMparseSexpr(str);
- if (result[0]==null) return [LMcreateMmlNode("mo",
- document.createTextNode(symbol.input)),str,null];
- result2 = LMparseSexpr(result[1]);
- if (result2[0]==null) return [LMcreateMmlNode("mo",
- document.createTextNode(symbol.input)),str,null];
- if (symbol.input=="\\root" || symbol.input=="\\stackrel")
- newFrag.appendChild(result2[0]);
- newFrag.appendChild(result[0]);
- if (symbol.input=="\\frac") newFrag.appendChild(result2[0]);
- return [LMcreateMmlNode(symbol.tag,newFrag),result2[1],symbol.tag];
- case INFIX:
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- return [LMcreateMmlNode("mo",document.createTextNode(symbol.output)),
- str,symbol.tag];
- default:
- return [LMcreateMmlNode(symbol.tag, //its a constant
- document.createTextNode(symbol.output)),str,symbol.tag];
- }
- }
- function LMparseIexpr(str) {
- var symbol, sym1, sym2, node, result, tag, underover;
- str = LMremoveCharsAndBlanks(str,0);
- sym1 = LMgetSymbol(str);
- result = LMparseSexpr(str);
- node = result[0];
- str = result[1];
- tag = result[2];
- symbol = LMgetSymbol(str);
- if (symbol.ttype == INFIX) {
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- result = LMparseSexpr(str);
- if (result[0] == null) // show box in place of missing argument
- result[0] = LMcreateMmlNode("mo",document.createTextNode("\u25A1"));
- str = result[1];
- tag = result[2];
- if (symbol.input == "_" || symbol.input == "^") {
- sym2 = LMgetSymbol(str);
- tag = null; // no space between x^2 and a following sin, cos, etc.
- // This is for \underbrace and \overbrace
- underover = ((sym1.ttype == UNDEROVER) || (node.ttype == UNDEROVER));
- // underover = (sym1.ttype == UNDEROVER);
- if (symbol.input == "_" && sym2.input == "^") {
- str = LMremoveCharsAndBlanks(str,sym2.input.length);
- var res2 = LMparseSexpr(str);
- str = res2[1];
- tag = res2[2]; // leave space between x_1^2 and a following sin etc.
- node = LMcreateMmlNode((underover?"munderover":"msubsup"),node);
- node.appendChild(result[0]);
- node.appendChild(res2[0]);
- } else if (symbol.input == "_") {
- node = LMcreateMmlNode((underover?"munder":"msub"),node);
- node.appendChild(result[0]);
- } else {
- node = LMcreateMmlNode((underover?"mover":"msup"),node);
- node.appendChild(result[0]);
- }
- node = LMcreateMmlNode("mrow",node); // so sum does not stretch
- } else {
- node = LMcreateMmlNode(symbol.tag,node);
- if (symbol.input == "\\atop" || symbol.input == "\\choose")
- node.setAttribute("linethickness","0ex");
- node.appendChild(result[0]);
- if (symbol.input == "\\choose")
- node = LMcreateMmlNode("mfenced",node);
- }
- }
- return [node,str,tag];
- }
- function LMparseExpr(str,rightbracket,matrix) {
- var symbol, node, result, i, tag,
- newFrag = document.createDocumentFragment();
- do {
- str = LMremoveCharsAndBlanks(str,0);
- result = LMparseIexpr(str);
- node = result[0];
- str = result[1];
- tag = result[2];
- symbol = LMgetSymbol(str);
- if (node!=undefined) {
- if ((tag == "mn" || tag == "mi") && symbol!=null &&
- typeof symbol.func == "boolean" && symbol.func) {
- // Add space before \sin in 2\sin x or x\sin x
- var space = LMcreateElementMathML("mspace");
- space.setAttribute("width","0.167em");
- node = LMcreateMmlNode("mrow",node);
- node.appendChild(space);
- }
- newFrag.appendChild(node);
- }
- } while ((symbol.ttype != RIGHTBRACKET)
- && symbol!=null && symbol.output!="");
- tag = null;
- if (symbol.ttype == RIGHTBRACKET) {
- if (symbol.input == "\\right") { // right what?
- str = LMremoveCharsAndBlanks(str,symbol.input.length);
- symbol = LMgetSymbol(str);
- if (symbol != null && symbol.input == ".")
- symbol.invisible = true;
- if (symbol != null)
- tag = symbol.rtag;
- }
- if (symbol!=null)
- str = LMremoveCharsAndBlanks(str,symbol.input.length); // ready to return
- var len = newFrag.childNodes.length;
- if (matrix &&
- len>0 && newFrag.childNodes[len-1].nodeName == "mrow" && len>1 &&
- newFrag.childNodes[len-2].nodeName == "mo" &&
- newFrag.childNodes[len-2].firstChild.nodeValue == "&") { //matrix
- var pos = []; // positions of ampersands
- var m = newFrag.childNodes.length;
- for (i=0; matrix && i<m; i=i+2) {
- pos[i] = [];
- node = newFrag.childNodes[i];
- for (var j=0; j<node.childNodes.length; j++)
- if (node.childNodes[j].firstChild.nodeValue=="&")
- pos[i][pos[i].length]=j;
- }
- var row, frag, n, k, table = document.createDocumentFragment();
- for (i=0; i<m; i=i+2) {
- row = document.createDocumentFragment();
- frag = document.createDocumentFragment();
- node = newFrag.firstChild; // <mrow> -&-&...&-&- </mrow>
- n = node.childNodes.length;
- k = 0;
- for (j=0; j<n; j++) {
- if (typeof pos[i][k] != "undefined" && j==pos[i][k]){
- node.removeChild(node.firstChild); //remove &
- row.appendChild(LMcreateMmlNode("mtd",frag));
- k++;
- } else frag.appendChild(node.firstChild);
- }
- row.appendChild(LMcreateMmlNode("mtd",frag));
- if (newFrag.childNodes.length>2) {
- newFrag.removeChild(newFrag.firstChild); //remove <mrow> </mrow>
- newFrag.removeChild(newFrag.firstChild); //remove <mo>&</mo>
- }
- table.appendChild(LMcreateMmlNode("mtr",row));
- }
- return [table,str];
- }
- if (typeof symbol.invisible != "boolean" || !symbol.invisible) {
- node = LMcreateMmlNode("mo",document.createTextNode(symbol.output));
- newFrag.appendChild(node);
- }
- }
- return [newFrag,str,tag];
- }
- function LMparseMath(str) {
- var result, node = LMcreateElementMathML("mstyle");
- if (LMmathcolor != "") node.setAttribute("mathcolor",LMmathcolor);
- if (LMmathfontfamily != "") node.setAttribute("fontfamily",LMmathfontfamily);
- node.appendChild(LMparseExpr(str.replace(/^\s+/g,""),false,false)[0]);
- node = LMcreateMmlNode("math",node);
- if (LMshowasciiformulaonhover) //fixed by djhsu so newline
- node.setAttribute("title",str.replace(/\s+/g," "));//does not show in Gecko
- var fnode = LMcreateElementXHTML("span");
- fnode.style.fontSize = mathfontsize;
- if (LMmathfontfamily != "") fnode.style.fontFamily = LMmathfontfamily;
- fnode.appendChild(node);
- return fnode;
- }
- function LMstrarr2docFrag(arr, linebreaks) {
- var newFrag=document.createDocumentFragment();
- var expr = false;
- for (var i=0; i<arr.length; i++) {
- if (expr) newFrag.appendChild(LMparseMath(arr[i]));
- else {
- var arri = (linebreaks ? arr[i].split("\n\n") : [arr[i]]);
- newFrag.appendChild(LMcreateElementXHTML("span").
- appendChild(document.createTextNode(arri[0])));
- for (var j=1; j<arri.length; j++) {
- newFrag.appendChild(LMcreateElementXHTML("p"));
- newFrag.appendChild(LMcreateElementXHTML("span").
- appendChild(document.createTextNode(arri[j])));
- }
- }
- expr = !expr;
- }
- return newFrag;
- }
- function LMprocessNodeR(n, linebreaks) {
- var mtch, str, arr, frg, i;
- if (n.childNodes.length == 0) {
- if ((n.nodeType!=8 || linebreaks) &&
- n.parentNode.nodeName!="form" && n.parentNode.nodeName!="FORM" &&
- n.parentNode.nodeName!="textarea" && n.parentNode.nodeName!="TEXTAREA" &&
- n.parentNode.nodeName!="pre" && n.parentNode.nodeName!="PRE") {
- str = n.nodeValue;
- if (!(str == null)) {
- str = str.replace(/\r\n\r\n/g,"\n\n");
- str = str.replace(/\x20+/g," ");
- str = str.replace(/\s*\r\n/g," ");
- // DELIMITERS:
- mtch = (str.indexOf("\$")==-1 ? false : true);
- str = str.replace(/([^\\])\$/g,"$1 \$");
- str = str.replace(/^\$/," \$"); // in case \$ at start of string
- arr = str.split(" \$");
- for (i=0; i<arr.length; i++)
- arr[i]=arr[i].replace(/\\\$/g,"\$");
- if (arr.length>1 || mtch) {
- if (LMcheckForMathML) {
- LMcheckForMathML = false;
- var nd = LMisMathMLavailable();
- LMnoMathML = nd != null;
- if (LMnoMathML && LMnotifyIfNoMathML)
- if (LMalertIfNoMathML)
- alert("To view the ASCIIMathML notation use Internet Explorer 6 +\nMathPlayer (free from www.dessci.com)\n\
- or Firefox/Mozilla/Netscape");
- else LMbody.insertBefore(nd,LMbody.childNodes[0]);
- }
- if (!LMnoMathML) {
- frg = LMstrarr2docFrag(arr,n.nodeType==8);
- var len = frg.childNodes.length;
- n.parentNode.replaceChild(frg,n);
- return len-1;
- } else return 0;
- }
- }
- } else return 0;
- } else if (n.nodeName!="math") {
- for (i=0; i<n.childNodes.length; i++)
- i += LMprocessNodeR(n.childNodes[i], linebreaks);
- }
- return 0;
- }
- var tcnt = 0, dcnt = 0; //theorem and definition counters
- function simpleLaTeXformatting(st) {
- st = st.replace(/\$\$(.*?)\$\$/g,"<p align=\"center\">$\\displaystyle{$1}$</p>");
- st = st.replace(/\\begin{(theorem|lemma|proposition|corollary)}((.|\n)*?)\\end{\1}/g,function(r,s,t){tcnt++; return "<b>"+s.charAt(0).toUpperCase()+s.slice(1)+" "+tcnt+".</b> <i>"+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+"</i>"});
- st = st.replace(/\\begin{(definition|example|remark|problem|exercise|conjecture|solution)}((.|\n)*?)\\end{\1}/g,function(r,s,t){dcnt++; return "<b>"+s.charAt(0).toUpperCase()+s.slice(1)+" "+dcnt+".</b> "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")});
- st = st.replace(/\\begin{proof}((.|\n)*?)\\end{proof}/g,function(s,t){return "<i>Proof:</i> "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+" □"});
- st = st.replace(/\\emph{(.*?)}/g,"<em>$1</em>");
- st = st.replace(/\\textbf{(.*?)}/g,"<b>$1</b>");
- st = st.replace(/\\cite{(.*?)}/g,"[$1]");
- st = st.replace(/\\chapter{(.*?)}/g,"<h2>$1</h2>");
- st = st.replace(/\\section{(.*?)}(\s*<\/?(br|p)\s?\/?>)?/g,"<h3>$1</h3>");
- st = st.replace(/\\subsection{(.*?)}/g,"<h4>$1</h4>");
- st = st.replace(/\\begin{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"<ul>");
- st = st.replace(/\\item\s((.|\n)*?)(?=(\\item|\\end))/g,"<li>$1</li>");
- st = st.replace(/\\end{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"</ul>");
- st = st.replace(/\\begin{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"<ol>");
- st = st.replace(/\\end{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"</ol>");
- st = st.replace(/\\item\[(.*?)]{(.*?)}/g,"<dt>$1</dt><dd>$2</dd>");
- st = st.replace(/\\begin{description}/g,"<dl>");
- st = st.replace(/\\end{description}/g,"</dl>");
- st = st.replace(/\\newline\b/g,"<br/>");
- st = st.replace(/\\newpage\b/g,"<br style=\"page-break-after:always;\">");
- st = st.replace(/\\par\b/g,"<p> </p>");
- st = st.replace(/\\bigskip/g,"<p style=\"margin-bottom:0.5in\"> </p>");
- st = st.replace(/\\medskip/g,"<p style=\"margin-bottom:0.3in\"> </p>");
- st = st.replace(/\\smallskip/g,"<p style=\"margin-bottom:0.15in\"> </p>");
- st = st.replace(/\\begin{center}(.*?)\\end{center}/g,"<p align=\"center\">$1</p>");
- st = st.replace(/<embed\s+class\s?=\s?"ASCIIsvg"/g,"<embed class=\"ASCIIsvg\" src=\""+dsvglocation+"d.svg\" wmode=\"transparent\"");
- st = st.replace(/(?:\\begin{a?graph}|agraph|\(:graph\s)((.|\n)*?)(?:\\end{a?graph}|enda?graph|:\))/g,function(s,t){return "<div><embed class=\"ASCIIsvg\" src=\""+dsvglocation+"d.svg\" wmode=\"transparent\" script=\'"+t.replace(/<\/?(br|p|pre)\s?\/?>/gi,"\n")+"\'/></div>"});
- // st = st.replace(/\(:graph((.|\n)*?):\)/g,function(s,t){return "<div><embed class=\"ASCIIsvg\" src=\""+dsvglocation+"d.svg\" wmode=\"transparent\" script=\'"+t.replace(/<\/?(br|p|pre)\s?\/?>/gi,"\n")+"\'/></div>"});
- st = st.replace(/insertASCIIMathCalculator/g,"<div class=\"ASCIIMathCalculator\"></div>");
- return st
- }
- function LMprocessNode(n, linebreaks, spanclassLM) {
- var frag,st;
- if (spanclassLM!=null) {
- frag = document.getElementsByTagName("span")
- for (var i=0;i<frag.length;i++)
- if (frag[i].className == "LM")
- LMprocessNodeR(frag[i],linebreaks);
- } else {
- try {
- st = n.innerHTML;
- } catch(err) {}
- var am = /amath|agraph/i.test(st);
- if ((st==null || st.indexOf("\$ ")!=-1 || st.indexOf("\$<")!=-1 ||
- st.indexOf("\\begin")!=-1 || am || st.slice(-1)=="$" ||
- st.indexOf("\$\n")!=-1)&& !/edit-content|HTMLArea|wikiedit/.test(st)){
- if (!avoidinnerHTML && translateLaTeXformatting)
- st = simpleLaTeXformatting(st);
- if (st!=null && am && !avoidinnerHTML) {
- //alert(st)
- st = st.replace(/<sup>(.*?)<\/sup>(\s|(\S))/gi,"^{$1} $3");
- // st = st.replace(/<\/?font.*?>/gi,""); // do this only in amath...end
- st = st.replace(/(Proof:)/g,"<i>$1</i>");
- st = st.replace(/QED/g,"□");
- st = st.replace(/(\\?end{?a?math}?)/ig,"<span></span>$1");
- st = st.replace(/(\bamath|\\begin{a?math})/ig,"<span></span>$1");
- st = st.replace(/([>\n])(Theorem|Lemma|Proposition|Corollary|Definition|Example|Remark|Problem|Exercise|Conjecture|Solution)(:|\W\W?(\w|\.)*?\W?:)/g,"$1<b>$2$3</b>");
- }
- st = st.replace(/%7E/g,"~");
- if (!avoidinnerHTML) n.innerHTML = st;
- LMprocessNodeR(n,linebreaks);
- }
- }
- if (isIE) { //needed to match size and font of formula to surrounding text
- frag = document.getElementsByTagName('math');
- for (var i=0;i<frag.length;i++) frag[i].update()
- }
- }
- var LMbody;
- var LMnoMathML = false, LMtranslated = false;
- function LMtranslate(spanclassLM) {
- if (!LMtranslated) { // run this only once
- LMtranslated = true;
- LMinitSymbols();
- LMbody = document.getElementsByTagName("body")[0];
- var processN = document.getElementById(AMdocumentId);
- //alert(processN)
- LMprocessNode((processN!=null?processN:LMbody), false, spanclassLM);
- }
- }
- if (isIE) { // avoid adding MathPlayer info explicitly to each webpage
- document.write("<object id=\"mathplayer\"\
- classid=\"clsid:32F66A20-7614-11D4-BD11-00104BD3F987\"></object>");
- document.write("<?import namespace=\"m\" implementation=\"#mathplayer\"?>");
- }
- /* ASCIIsvg.js
- ==============
- JavaScript routines to dynamically generate Scalable Vector Graphics
- using a mathematical xy-coordinate system (y increases upwards) and
- very intuitive JavaScript commands (no programming experience required).
- ASCIIsvg.js is good for learning math and illustrating online math texts.
- Works with Internet Explorer+Adobe SVGviewer and SVG enabled Mozilla/Firefox.
- Ver 1.2.9 July 31, 2007 (c) Peter Jipsen http://www.chapman.edu/~jipsen
- Latest version at http://math.chapman.edu/~jipsen/math/pub/ASCIIsvg.js
- If you use it on a webpage, please send the URL to jipsen@chapman.edu
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU Lesser General Public License as published by
- the Free Software Foundation; either version 2.1 of the License, or (at
- your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
- General Public License (at http://www.gnu.org/license/lgpl.html)
- for more details.*/
- // you can change these
- var checkIfSVGavailable = true;
- var notifyIfNoSVG = true;
- var alertIfNoSVG = false;
- // global defaults used if not specified by graph (you can change these)
- var defaultwidth = 300; defaultheight = 200; // in pixels
- var defaultxmin = -5.5; defaultxmax = 5.5; // in usercoords
- var defaultborder = 0; border = defaultborder; // in pixel
- var defaultstrokewidth = "1"; // default line width in pixel
- var defaultstroke = "blue"; // default line color
- var defaultstrokeopacity = 1; // transparent = 0, solid =1
- var defaultstrokedasharray = null; // "10,10" gives 10px long dashes
- var defaultfill = "none"; // default fill color
- var defaultfillopacity = 1; // transparent = 0, solid =1
- var defaultfontstyle = "normal"; // default text shape normal|italic|inherit
- var defaultfontfamily = "times"; // default font times|ariel|helvetica|...
- var defaultfontsize = "16"; // default size (scaled automatically)
- var defaultfontweight = "normal";// normal|bold|bolder|lighter|100|...|900
- var defaultfontstroke = "none"; // default font outline color
- var defaultfontfill = "none"; // default font color
- var defaultmarker = "none"; // "dot" | "arrow" | "+" | "-" | "|"
- var defaultendpoints = ""; // "c-d" where c is <|o|* and d is >|o|*
- // global values used for all pictures (you can change these)
- var showcoordinates = true;
- var markerstrokewidth = "1";
- var markerstroke = "black";
- var markerfill = "yellow";
- var markersize = 4;
- var arrowfill = stroke;
- var dotradius = 4;
- var ticklength = 4;
- var axesstroke = "black";
- var gridstroke = "grey";
- var backgroundstyle = "fill-opacity:0; fill:white";
- var singlelettersitalic = true;
- // internal variables (probably no need to change these)
- var picturepos = null; // position of picture relative to top of HTML page
- var xunitlength; // in pixels, used to convert to user coordinates
- var yunitlength; // in pixels
- var origin = [0,0]; // in pixels (default is bottom left corner)
- var above = "above"; // shorthands (to avoid typing quotes)
- var below = "below";
- var left = "left";
- var right = "right";
- var aboveleft = "aboveleft";
- var aboveright = "aboveright";
- var belowleft = "belowleft";
- var belowright = "belowright";
- var xmin, xmax, ymin, ymax, xscl, yscl,
- xgrid, ygrid, xtick, ytick, initialized;
- var strokewidth, strokedasharray, stroke, fill, strokeopacity, fillopacity;
- var fontstyle, fontfamily, fontsize, fontweight, fontstroke, fontfill;
- var marker, endpoints, dynamic = {};
- var picture, svgpicture, doc, width, height, a, b, c, d, i, n, p, t, x, y;
- var isIE = document.createElementNS==null;
- var cpi = "\u03C0", ctheta = "\u03B8"; // character for pi, theta
- var log = function(x) { return ln(x)/ln(10) };
- var pi = Math.PI, e = Math.E, ln = Math.log, sqrt = Math.sqrt;
- var floor = Math.floor, ceil = Math.ceil, abs = Math.abs;
- var sin = Math.sin, cos = Math.cos, tan = Math.tan;
- var arcsin = Math.asin, arccos = Math.acos, arctan = Math.atan;
- var sec = function(x) { return 1/Math.cos(x) };
- var csc = function(x) { return 1/Math.sin(x) };
- var cot = function(x) { return 1/Math.tan(x) };
- var arcsec = function(x) { return arccos(1/x) };
- var arccsc = function(x) { return arcsin(1/x) };
- var arccot = function(x) { return arctan(1/x) };
- var sinh = function(x) { return (Math.exp(x)-Math.exp(-x))/2 };
- var cosh = function(x) { return (Math.exp(x)+Math.exp(-x))/2 };
- var tanh =
- function(x) { return (Math.exp(x)-Math.exp(-x))/(Math.exp(x)+Math.exp(-x)) };
- var sech = function(x) { return 1/cosh(x) };
- var csch = function(x) { return 1/sinh(x) };
- var coth = function(x) { return 1/tanh(x) };
- var arcsinh = function(x) { return ln(x+Math.sqrt(x*x+1)) };
- var arccosh = function(x) { return ln(x+Math.sqrt(x*x-1)) };
- var arctanh = function(x) { return ln((1+x)/(1-x))/2 };
- var sech = function(x) { return 1/cosh(x) };
- var csch = function(x) { return 1/sinh(x) };
- var coth = function(x) { return 1/tanh(x) };
- var arcsech = function(x) { return arccosh(1/x) };
- var arccsch = function(x) { return arcsinh(1/x) };
- var arccoth = function(x) { return arctanh(1/x) };
- var sign = function(x) { return (x==0?0:(x<0?-1:1)) };
- function factorial(x,n) { // Factorial function
- if (n==null) n=1;
- if (Math.abs(x-Math.round(x*1000000)/1000000)<1e-15)
- x = Math.round(x*1000000)/1000000;
- if (x-Math.floor(x)!=0) return NaN;
- for (var i=x-n; i>0; i-=n) x*=i;
- return (x<0?NaN:(x==0?1:x));
- }
- function C(x,k) { // Binomial coefficient function
- var res=1;
- for (var i=0; i<k; i++) res*=(x-i)/(k-i);
- return res;
- }
- function chop(x,n) { // Truncate decimal number to n places after decimal point
- if (n==null) n=0;
- return Math.floor(x*Math.pow(10,n))/Math.pow(10,n);
- }
- function ran(a,b,n) { // Generate random number in [a,b] with n digits after .
- if (n==null) n=0;
- return chop((b+Math.pow(10,-n)-a)*Math.random()+a,n);
- }
- function myCreateElementXHTML(t) {
- if (isIE) return document.createElement(t);
- else return document.createElementNS("http://www.w3.org/1999/xhtml",t);
- }
- function myCreateElementSVG(t) {
- if (isIE) return doc.createElement(t);
- else return doc.createElementNS("http://www.w3.org/2000/svg",t);
- }
- function getElementsByClass(container, tagName, clsName){
- var list = new Array(0);
- var collection = container.getElementsByTagName(tagName);
- for(var i = 0; i < collection.length; i++)
- if(collection[i].className.slice(0,clsName.length)==clsName)
- list[list.length] = collection[i];
- return list;
- }
- function findPos(obj) { // top-left corner of obj on HTML page in pixel
- var curleft = curtop = 0;
- if (obj.offsetParent) {
- curleft = obj.offsetLeft
- curtop = obj.offsetTop
- while (obj = obj.offsetParent) {
- curleft += obj.offsetLeft
- curtop += obj.offsetTop
- }
- }
- return [curleft,curtop];
- }
- function isSVGavailable() {
- var nd = myCreateElementXHTML("center");
- nd.appendChild(document.createTextNode("To view the "));
- var an = myCreateElementXHTML("a");
- an.appendChild(document.createTextNode("ASCIIsvg"));
- an.setAttribute("href","http://www.chapman.edu/~jipsen/asciisvg.html");
- nd.appendChild(an);
- nd.appendChild(document.createTextNode(" images use Internet Explorer 6+"));
- an = myCreateElementXHTML("a");
- an.appendChild(document.createTextNode("Adobe SVGviewer 3.02"));
- an.setAttribute("href","http://www.adobe.com/svg");
- nd.appendChild(an);
- nd.appendChild(document.createTextNode(" or "));
- an = myCreateElementXHTML("a");
- an.appendChild(document.createTextNode("SVG enabled Mozilla/Firefox"));
- an.setAttribute("href",
- "http://www.chapman.edu/~jipsen/svg/svgenabledmozillafirefox.html");
- nd.appendChild(an);
- if (navigator.appName.slice(0,8)=="Netscape")
- if (window['SVGElement']) return null;
- else return nd;
- else if (navigator.appName.slice(0,9)=="Microsoft")
- try {
- var oSVG=eval("new ActiveXObject('Adobe.SVGCtl.3');");
- return null;
- } catch (e) {
- return nd;
- }
- else return nd;
- }
- function setText(st,id) { // add text to an existing node with given id
- var node = document.getElementById(id);
- if (node!=null)
- if (node.childNodes.length!=0) node.childNodes[0].nodeValue = st;
- else node.appendChild(document.createTextNode(st));
- }
- function getX(evt) { // return mouse x-coord in user coordinate system
- var svgroot = evt.target.parentNode;
- return (evt.clientX+(isIE?0:window.pageXOffset)-svgroot.getAttribute("left")-svgroot.getAttribute("ox"))/(svgroot.getAttribute("xunitlength")-0);
- }
- function getY(evt) { // return mouse y-coord in user coordinate system
- var svgroot = evt.target.parentNode;
- return (svgroot.getAttribute("height")-svgroot.getAttribute("oy")-(evt.clientY+(isIE?0:window.pageYOffset)-svgroot.getAttribute("top")))/(svgroot.getAttribute("yunitlength")-0);
- }
- function translateandeval(src) { //modify user input to JavaScript syntax
- var errstr;
- // replace plot(f(x),...) with plot("f(x)",...)
- src = src.replace(/plot\(\x20*([^\"f\[][^\n\r;]+?)\,/g,"plot\(\"$1\",");
- src = src.replace(/plot\(\x20*([^\"f\[][^\n\r;]+)\)/g,"plot(\"$1\")");
- // replace (expr,expr) by [expr,expr] where expr has no (,) in it
- src = src.replace(/([=(,]\x20*)\(([-a-z0-9./+*]+?),([-a-z0-9./+*]+?)\)/g,"$1[$2,$3]");
- // insert * between digit and letter e.g. 2x --> 2*x
- src = src.replace(/([0-9])([a-zA-Z])/g,"$1*$2");
- src = src.replace(/\)([\(0-9a-zA-Z])/g,"\)*$1");
- try {
- with (Math) eval(src); // here the svgpicture object is created
- } catch(err) {
- if (err!="wait") {
- if (typeof err=="object")
- errstr = err.name+" "+err.message+" "+err.number+" "+err.description;
- else errstr = err;
- alert(errstr+"\n"+src)
- }
- }
- }
- function drawPictures() { // main routine; called after webpage has loaded
- var src, id, dsvg, nd, node, ht, index, cols, arr, i, node2;
- var pictures = document.getElementsByTagName("textarea");
- for (index = 0; index<pictures.length; index++)
- if (pictures[index].className=="ASCIIsvg"){
- pictures[index].style.display="none"; // hide the textarea
- }
- var ASbody = document.getElementsByTagName("body")[0];
- pictures = getElementsByClass(ASbody,"embed","ASCIIsvg");
- var len = pictures.length;
- if (checkIfSVGavailable) {
- nd = isSVGavailable();
- if (nd != null && notifyIfNoSVG && len>0)
- if (alertIfNoSVG)
- alert("To view the SVG pictures in Internet Explorer\n\
- download the free Adobe SVGviewer from www.adobe.com/svg or\n\
- use Firefox 2.0 or later");
- else {
- ASbody.insertBefore(nd,ASbody.childNodes[0]);
- }
- }
- if (nd == null) {
- for (index = 0; index < len; index++) {
- width = null; height = null;
- xmin = null; xmax = null; ymin = null; ymax = null;
- xscl = null; xgrid = null; yscl = null; ygrid = null;
- initialized = false;
- picture = pictures[index]; // current picture object
- src = picture.getAttribute("script"); // get the ASCIIsvg code
- if (src==null) src = "";
- // insert "axes()" if not present ******** experimental
- if (!/axes\b|initPicture/.test(src)) {
- var i = 0
- while (/((yscl|ymax|ymin|xscl|xmax|xmin|\bwidth|\bheight)\s*=\s*-?\d*(\d\.|\.\d|\d)\d*\s*;?)/.test(src.slice(i))) i++;
- src = (i==0?"axes(); "+src: src.slice(0,i)+src.slice(i).replace(/((scl|max|min|idth|eight)\s*=\s*-?\d*(\d\.|\.\d|\d)\d*\s*;?)/,"$1\naxes();"));
- }
- ht = picture.getAttribute("height");
- if (isIE) {
- picture.setAttribute("wmode","transparent");
- //alert("*"+picture.getAttribute("src")+dsvglocation);
- //adding d.svg dynamically greates problems in IE...
- if (picture.getAttribute("src")=="") picture.setAttribute("src",dsvglocation+"d.svg");
- }
- if (document.getElementById("picture"+(index+1)+"mml")==null) {
- picture.parentNode.style.position = "relative";
- node = myCreateElementXHTML("div");
- node.style.position = "absolute";
- node.style.top = "0px";
- node.style.left = "0px";
- node.setAttribute("id","picture"+(index+1)+"mml");
- picture.parentNode.insertBefore(node,picture.nextSibling);
- }
- if (ht==null) ht ="";
- // if (ht!="") defaultborder = 25;
- if (ht=="" || src=="")
- if (document.getElementById("picture"+(index+1)+"input")==null) {
- node = myCreateElementXHTML("textarea");
- arr = src.split("\n");
- cols = 0;
- for (i=0;i<arr.length;i++) cols = Math.max(cols,arr[i].length);
- node.setAttribute("rows",Math.min(10,arr.length)+1);
- node.setAttribute("cols",Math.max(Math.min(60,cols),20)+5);
- // node.setAttribute("style","display:block");
- if (isIE) src = src.replace(/([^\r])\n/g,"$1\r");
- node.appendChild(document.createTextNode(src));
- if (src.indexOf("showcode()")==-1) node.style.display = "none";
- node.setAttribute("id","picture"+(index+1)+"input");
- picture.parentNode.insertBefore(node,picture.nextSibling);
- picture.parentNode.insertBefore(myCreateElementXHTML("br"),node);
- node2 = myCreateElementXHTML("button");
- node2.setAttribute("id","picture"+(index+1)+"button");
- if (isIE) node2.onclick = function() {updatePicture(this)};
- else node2.setAttribute("onclick","updatePicture(this)");
- node2.appendChild(document.createTextNode("Update"));
- if (src.indexOf("showcode()")==-1) node2.style.display = "none";
- picture.parentNode.insertBefore(node2,node);
- picture.parentNode.insertBefore(myCreateElementXHTML("br"),node);
- } else src = document.getElementById("picture"+(index+1)+"input").value;
- id = picture.getAttribute("id");
- dsvg = picture.getAttribute("src");
- if (id == null || id == "") {
- id = "picture"+(index+1);
- picture.setAttribute("id",id);
- }
- translateandeval(src)
- }
- }
- }
- function setdefaults() { //called before each graph is evaluated
- strokewidth = defaultstrokewidth;
- stroke = defaultstroke;
- strokeopacity = defaultstrokeopacity;
- strokedasharray = defaultstrokedasharray;
- fill = defaultfill;
- fillopacity = defaultfillopacity;
- fontstyle = defaultfontstyle;
- fontfamily = defaultfontfamily;
- fontsize = defaultfontsize;
- fontweight = defaultfontweight;
- fontstroke = defaultfontstroke;
- fontfill = defaultfontfill;
- marker = defaultmarker;
- endpoints = defaultendpoints;
- }
- function switchTo(id) { // used by dynamic code to select appropriate graph
- picture = document.getElementById(id);
- width = picture.getAttribute("width")-0;
- height = picture.getAttribute("height")-0;
- setdefaults();
- if ((picture.nodeName == "EMBED" || picture.nodeName == "embed") && isIE) {
- svgpicture = picture.getSVGDocument().getElementById("root");
- doc = picture.getSVGDocument();
- } else {
- svgpicture = picture;
- doc = document;
- }
- xunitlength = svgpicture.getAttribute("xunitlength")-0;
- yunitlength = svgpicture.getAttribute("yunitlength")-0;
- xmin = svgpicture.getAttribute("xmin")-0;
- xmax = svgpicture.getAttribute("xmax")-0;
- ymin = svgpicture.getAttribute("ymin")-0;
- ymax = svgpicture.getAttribute("ymax")-0;
- origin = [svgpicture.getAttribute("ox")-0,svgpicture.getAttribute("oy")-0];
- }
- function updatePicture(obj) {
- var node, src, id;
- if (typeof obj=="object") id = obj.id.slice(0,-6);
- else id = (typeof obj=="string"?obj:"picture"+(obj+1));
- src = document.getElementById(id+"input").value;
- xmin = null; xmax = null; ymin = null; ymax = null;
- xscl = null; xgrid = null; yscl = null; ygrid = null;
- initialized = false;
- picture = document.getElementById(id);
- // switchTo(id);
- translateandeval(src)
- }
- function changepicturesize(evt,factor) {
- var obj = evt.target;
- var name = obj.parentNode.getAttribute("name");
- var pic = document.getElementById(name);
- var src = document.getElementById(name+"input").value;
- src = src.replace(/width\s*=\s*\d+/,"width="+(factor*(pic.getAttribute("width")-0)));
- src = src.replace(/height\s*=\s*\d+/,"height="+(factor*(pic.getAttribute("height")-0)));
- document.getElementById(name+"input").value = src;
- //alert(getKey(evt.keycode))
- updatePicture(name);
- }
- var sinceFirstClick = 0; // ondblclick simulation from
- var dblClkTimer; // http://www.enja.org/david/?cat=13 Thanks!
- function timer() {
- if(sinceFirstClick<60) {
- sinceFirstClick++;
- setTimeout("timer()",10);
- } else {
- clearTimeout(dblClkTimer);
- dblClkTimer = "";
- }
- }
- function mClick(evt) {
- if(sinceFirstClick!=0) {
- if(sinceFirstClick <= 40) {
- if (evt.shiftKey) changepicturesize(evt,2);
- else if (evt.altKey) changepicturesize(evt,.5);
- else showHideCode(evt); // do this on dblclick
- clearTimeout(dblClkTimer);
- dblClkTimer = "";
- } else {
- clearTimeout(dblClkTimer);
- sinceFirstClick = 0;
- dblClkTimer = setTimeout("timer()",10);
- }
- } else {
- sinceFirstClick = 0;
- dblClkTimer = setTimeout("timer()",10);
- }
- }
- function showHideCode(evt) { // called by onclick event
- // if (evt.getDetail()==2) {//getDetail unfortunately not in Firefox
- var obj=evt.target;
- var name = obj.parentNode.getAttribute("name");
- var node = document.getElementById(name+"input");
- node.style.display = (node.style.display == "none"?"":"none");
- var node = document.getElementById(name+"button");
- node.style.display = (node.style.display == "none"?"":"none");
- // }
- }
- function showcode() {} // do nothing
- function setBorder(x) { border = x } //deprecate
- function initPicture(x_min,x_max,y_min,y_max) { // set up the graph
- // usually called by axes() or noaxes(), but can be used directly
- if (!initialized) {
- setdefaults();
- initialized = true;
- if (x_min!=null) xmin = x_min;
- if (x_max!=null) xmax = x_max;
- if (y_min!=null) ymin = y_min;
- if (y_max!=null) ymax = y_max;
- if (xmin==null) xmin = defaultxmin;
- if (xmax==null) xmax = defaultxmax;
- if (typeof xmin != "number" || typeof xmax != "number" || xmin >= xmax)
- alert("Picture requires at least two numbers: xmin < xmax");
- else if (y_max != null && (typeof y_min != "number" ||
- typeof y_max != "number" || y_min >= y_max))
- alert("initPicture(xmin,xmax,ymin,ymax) requires numbers ymin < ymax");
- else {
- if (width==null) {
- width = picture.getAttribute("width");
- if (width==null || width=="") width=defaultwidth;
- }
- picture.setAttribute("width",width);
- if (height==null) {
- height = picture.getAttribute("height");
- if (height==null || height=="") height=defaultheight;
- }
- picture.setAttribute("height",height);
- xunitlength = (width-2*border)/(xmax-xmin);
- yunitlength = xunitlength;
- //alert(xmin+" "+xmax+" "+ymin+" "+ymax)
- if (ymin==null) {
- origin = [-xmin*xunitlength+border,height/2];
- ymin = -(height-2*border)/(2*yunitlength);
- ymax = -ymin;
- } else {
- if (ymax!=null) yunitlength = (height-2*border)/(ymax-ymin);
- else ymax = (height-2*border)/yunitlength + ymin;
- origin = [-xmin*xunitlength+border,-ymin*yunitlength+border];
- }
- if (isIE) {
- if (picture.FULLSCREEN==undefined) {
- setTimeout('drawPictures()',50);
- throw "wait";
- }
- svgpicture = picture.getSVGDocument().getElementById("root");
- if (svgpicture==null) {
- setTimeout('drawPictures()',50);
- throw "wait";
- }
- svgpicture = picture.getSVGDocument().getElementById("root");
- while (svgpicture.childNodes.length>0)
- svgpicture.removeChild(svgpicture.lastChild);
- svgpicture.setAttribute("width",width);
- svgpicture.setAttribute("height",height);
- svgpicture.setAttribute("name",picture.getAttribute("id"));
- doc = picture.getSVGDocument();
- var nd = document.getElementById(picture.getAttribute("id")+"mml");
- if (nd!=null) // clear out MathML layer
- while (nd.childNodes.length>0) nd.removeChild(nd.lastChild);
- } else {
- var qnode = document.createElementNS("http://www.w3.org/2000/svg","svg");
- qnode.setAttribute("id",picture.getAttribute("id"));
- qnode.setAttribute("name",picture.getAttribute("id"));
- qnode.setAttribute("style","display:inline");
- qnode.setAttribute("width",picture.getAttribute("width"));
- qnode.setAttribute("height",picture.getAttribute("height"));
- picturepos = findPos(picture);
- qnode.setAttribute("left",picturepos[0]);
- qnode.setAttribute("top",picturepos[1]);
- // qnode.setAttribute("xmlns:xlink","http://www.w3.org/1999/xlink");
- if (picture.parentNode!=null) {
- picture.parentNode.replaceChild(qnode,picture);
- } else {
- svgpicture.parentNode.replaceChild(qnode,svgpicture);
- }
- svgpicture = qnode;
- doc = document;
- }
- svgpicture.setAttribute("xunitlength",xunitlength);
- svgpicture.setAttribute("yunitlength",yunitlength);
- svgpicture.setAttribute("xmin",xmin);
- svgpicture.setAttribute("xmax",xmax);
- svgpicture.setAttribute("ymin",ymin);
- svgpicture.setAttribute("ymax",ymax);
- svgpicture.setAttribute("ox",origin[0]);
- svgpicture.setAttribute("oy",origin[1]);
- var node = myCreateElementSVG("rect");
- node.setAttribute("x","0");
- node.setAttribute("y","0");
- node.setAttribute("width",width);
- node.setAttribute("height",height);
- node.setAttribute("style",backgroundstyle);
- svgpicture.appendChild(node);
- svgpicture.setAttribute("onmousemove","displayCoord(evt)");
- svgpicture.setAttribute("onmouseout","removeCoord(evt)");
- svgpicture.setAttribute("onclick","mClick(evt)");
- node = myCreateElementSVG("text");
- node.appendChild(doc.createTextNode(" "));
- svgpicture.appendChild(node);
- border = defaultborder;
- }
- }
- }
- //////////////////////////user graphics commands start/////////////////////////
- function line(p,q,id,endpts) { // segment connecting points p,q (coordinates in units)
- var node;
- if (id!=null) node = doc.getElementById(id);
- if (node==null) {
- node = myCreateElementSVG("path");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- node.setAttribute("d","M"+(p[0]*xunitlength+origin[0])+","+
- (height-p[1]*yunitlength-origin[1])+" "+
- (q[0]*xunitlength+origin[0])+","+(height-q[1]*yunitlength-origin[1]));
- node.setAttribute("stroke-width", strokewidth);
- if (strokedasharray!=null)
- node.setAttribute("stroke-dasharray", strokedasharray);
- node.setAttribute("stroke", stroke);
- node.setAttribute("fill", fill);
- node.setAttribute("stroke-opacity", strokeopacity);
- node.setAttribute("fill-opacity", fillopacity);
- if (marker=="dot" || marker=="arrowdot") {
- ASdot(p,markersize,markerstroke,markerfill);
- if (marker=="arrowdot") arrowhead(p,q);
- ASdot(q,markersize,markerstroke,markerfill);
- } else if (marker=="arrow") arrowhead(p,q);
- if (endpts==null && endpoints!="") endpts = endpoints;
- if (endpts!=null) {
- if (endpts.indexOf("<-") != -1) arrowhead(q,p);
- if (endpts.indexOf("o-") != -1) dot(p, "open");
- if (endpts.indexOf("*-") != -1) dot(p, "closed");
- if (endpts.indexOf("->") != -1) arrowhead(p,q);
- if (endpts.indexOf("-o") != -1) dot(q, "open");
- if (endpts.indexOf("-*") != -1) dot(q, "closed");
- }
- }
- function path(plist,id,c,endpts) {
- if (c==null) c="";
- var node, st, i;
- if (id!=null) node = doc.getElementById(id);
- if (node==null) {
- node = myCreateElementSVG("path");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- if (typeof plist == "string") st = plist;
- else {
- st = "M";
- st += (plist[0][0]*xunitlength+origin[0])+","+
- (height-plist[0][1]*yunitlength-origin[1])+" "+c;
- for (i=1; i<plist.length; i++)
- st += (plist[i][0]*xunitlength+origin[0])+","+
- (height-plist[i][1]*yunitlength-origin[1])+" ";
- }
- node.setAttribute("d", st);
- node.setAttribute("stroke-width", strokewidth);
- if (strokedasharray!=null)
- node.setAttribute("stroke-dasharray", strokedasharray);
- node.setAttribute("stroke", stroke);
- node.setAttribute("fill", fill);
- node.setAttribute("stroke-opacity", strokeopacity);
- node.setAttribute("fill-opacity", fillopacity);
- if (marker=="dot" || marker=="arrowdot")
- for (i=0; i<plist.length; i++)
- if (c!="C" && c!="T" || i!=1 && i!=2)
- ASdot(plist[i],markersize,markerstroke,markerfill);
- if (endpts==null && endpoints!="") endpts = endpoints;
- if (endpts!=null) {
- if (endpts.indexOf("<-") != -1) arrowhead(plist[1],plist[0]);
- if (endpts.indexOf("o-") != -1) dot(plist[0], "open");
- if (endpts.indexOf("*-") != -1) dot(plist[0], "closed");
- if (endpts.indexOf("->") != -1) arrowhead(plist[plist.length-2],plist[plist.length-1]);
- if (endpts.indexOf("-o") != -1) dot(plist[plist.length-1], "open");
- if (endpts.indexOf("-*") != -1) dot(plist[plist.length-1], "closed");
- }
- }
- function curve(plist,id,endpts) {
- path(plist,id,"T",endpts);
- }
- function vector(p,q,id) {
- line(p,q,id,"","->");
- }
- function circle(center,radius,id) { // coordinates in units
- var node;
- if (id!=null) node = doc.getElementById(id);
- if (node==null) {
- node = myCreateElementSVG("circle");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- node.setAttribute("cx",center[0]*xunitlength+origin[0]);
- node.setAttribute("cy",height-center[1]*yunitlength-origin[1]);
- node.setAttribute("r",radius*xunitlength);
- node.setAttribute("stroke-width", strokewidth);
- node.setAttribute("stroke", stroke);
- node.setAttribute("fill", fill);
- node.setAttribute("stroke-opacity", strokeopacity);
- node.setAttribute("fill-opacity", fillopacity);
- }
- function loop(p,d,id) {
- // d is a direction vector e.g. [1,0] means loop starts in that direction
- if (d==null) d=[1,0];
- path([p,[p[0]+d[0],p[1]+d[1]],[p[0]-d[1],p[1]+d[0]],p],id,"C");
- if (marker=="arrow" || marker=="arrowdot")
- arrowhead([p[0]+Math.cos(1.4)*d[0]-Math.sin(1.4)*d[1],
- p[1]+Math.sin(1.4)*d[0]+Math.cos(1.4)*d[1]],p);
- }
- function arc(start,end,radius,id) { // coordinates in units
- var node, v;
- //alert([fill, stroke, origin, xunitlength, yunitlength, height])
- if (id!=null) node = doc.getElementById(id);
- if (radius==null) {
- v=[end[0]-start[0],end[1]-start[1]];
- radius = Math.sqrt(v[0]*v[0]+v[1]*v[1]);
- }
- if (node==null) {
- node = myCreateElementSVG("path");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- node.setAttribute("d","M"+(start[0]*xunitlength+origin[0])+","+
- (height-start[1]*yunitlength-origin[1])+" A"+radius*xunitlength+","+
- radius*yunitlength+" 0 0,0 "+(end[0]*xunitlength+origin[0])+","+
- (height-end[1]*yunitlength-origin[1]));
- node.setAttribute("stroke-width", strokewidth);
- node.setAttribute("stroke", stroke);
- node.setAttribute("fill", fill);
- node.setAttribute("stroke-opacity", strokeopacity);
- node.setAttribute("fill-opacity", fillopacity);
- if (marker=="arrow" || marker=="arrowdot") {
- u = [(end[1]-start[1])/4,(start[0]-end[0])/4];
- v = [(end[0]-start[0])/2,(end[1]-start[1])/2];
- //alert([u,v])
- v = [start[0]+v[0]+u[0],start[1]+v[1]+u[1]];
- } else v=[start[0],start[1]];
- if (marker=="dot" || marker=="arrowdot") {
- ASdot(start,markersize,markerstroke,markerfill);
- if (marker=="arrowdot") arrowhead(v,end);
- ASdot(end,markersize,markerstroke,markerfill);
- } else if (marker=="arrow") arrowhead(v,end);
- }
- function sector(center,start,end,id) { // center,start,end should be isoceles
- var rx = start[0]-center[0], ry = start[1]-center[1];
- arc(start,end,Math.sqrt(rx*rx+ry*ry),id+"arc");
- path([end,center,start],id+"path");
- }
- function ellipse(center,rx,ry,id) { // coordinates in units
- var node;
- if (id!=null) node = doc.getElementById(id);
- if (node==null) {
- node = myCreateElementSVG("ellipse");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- node.setAttribute("cx",center[0]*xunitlength+origin[0]);
- node.setAttribute("cy",height-center[1]*yunitlength-origin[1]);
- node.setAttribute("rx",rx*xunitlength);
- node.setAttribute("ry",ry*yunitlength);
- node.setAttribute("stroke-width", strokewidth);
- node.setAttribute("stroke", stroke);
- node.setAttribute("fill", fill);
- node.setAttribute("stroke-opacity", strokeopacity);
- node.setAttribute("fill-opacity", fillopacity);
- }
- function triangle(p,q,r,id) {
- path([p,q,r,p],id)
- }
- function rect(p,q,id,rx,ry) { // opposite corners in units, rounded by radii
- var node;
- if (id!=null) node = doc.getElementById(id);
- if (node==null) {
- node = myCreateElementSVG("rect");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- node.setAttribute("x",p[0]*xunitlength+origin[0]);
- node.setAttribute("y",height-q[1]*yunitlength-origin[1]);
- node.setAttribute("width",(q[0]-p[0])*xunitlength);
- node.setAttribute("height",(q[1]-p[1])*yunitlength);
- if (rx!=null) node.setAttribute("rx",rx*xunitlength);
- if (ry!=null) node.setAttribute("ry",ry*yunitlength);
- node.setAttribute("stroke-width", strokewidth);
- node.setAttribute("stroke", stroke);
- node.setAttribute("fill", fill);
- node.setAttribute("stroke-opacity", strokeopacity);
- node.setAttribute("fill-opacity", fillopacity);
- }
- function text(p,st,pos,id,fontsty) {
- var dnode, node, dx = 0, dy = fontsize/3;
- if (/(`|\$)/.test(st)) { // layer for ASCIIMathML and LaTeXMathML
- dnode = document.getElementById(svgpicture.getAttribute("name")+"mml");
- if (dnode!=null) {
- if (id!=null) node = document.getElementById(id);
- if (node==null) {
- //alert(dnode.childNodes.length)
- node = myCreateElementXHTML("div");
- node.setAttribute("id", id);
- node.style.position = "absolute";
- dnode.appendChild(node);
- }
- while (node.childNodes.length>0) node.removeChild(node.lastChild);
- node.appendChild(document.createTextNode(st));
- // node.lastChild.nodeValue = st;
- node.style.left = ""+(p[0]*xunitlength+origin[0])+"px";
- node.style.top = ""+(height-p[1]*yunitlength-origin[1])+"px";
- if (/`/.test(st)) AMprocessNode(node); else LMprocessNode(node);
- dx = -node.offsetWidth/2;
- dy = -node.offsetHeight/2;
- if (pos!=null) {
- if (/above/.test(pos)) dy = -node.offsetHeight;
- if (/below/.test(pos)) dy = 0;
- if (/right/.test(pos)) dx = 0;
- if ( /left/.test(pos)) dx = -node.offsetWidth;
- }
- node.style.left = ""+(p[0]*xunitlength+origin[0]+dx)+"px";
- node.style.top = ""+(height-p[1]*yunitlength-origin[1]+dy)+"px";
- }
- return p;
- }
- var textanchor = "middle"; // regular text goes into SVG
- if (pos!=null) {
- if (/above/.test(pos)) dy = -fontsize/2;
- if (/below/.test(pos)) dy = fontsize-0;
- if (/right/.test(pos)) {textanchor = "start"; dx = fontsize/4;}
- if ( /left/.test(pos)) {textanchor = "end"; dx = -fontsize/4;}
- }
- if (id!=null) node = doc.getElementById(id);
- if (node==null) {
- node = myCreateElementSVG("text");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- node.appendChild(doc.createTextNode(st));
- }
- while (node.childNodes.length>1) node.removeChild(node.lastChild);
- // node.appendChild(document.createTextNode("\xA0"+st+"\xA0"));
- //alert("here");
- node.lastChild.nodeValue = "\xA0"+st+"\xA0";
- node.setAttribute("x",p[0]*xunitlength+origin[0]+dx);
- node.setAttribute("y",height-p[1]*yunitlength-origin[1]+dy);
- node.setAttribute("font-style",(fontsty!=null?fontsty:
- (st.search(/^[a-zA-Z]$/)!=-1?"italic":fontstyle)));
- node.setAttribute("font-family",fontfamily);
- node.setAttribute("font-size",fontsize);
- node.setAttribute("font-weight",fontweight);
- node.setAttribute("text-anchor",textanchor);
- if (fontstroke!="none") node.setAttribute("stroke",fontstroke);
- if (fontfill!="none") node.setAttribute("fill",fontfill);
- return p;
- }
- function mtext(p,st,pos,fontsty) { // method for updating text on an svg
- // "this" is the text object or the svgpicture object
- var textanchor = "middle";
- var dx = 0; var dy = fontsize/3;
- if (pos!=null) {
- if (pos.slice(0,5)=="above") dy = -fontsize/2;
- if (pos.slice(0,5)=="below") dy = fontsize-0;
- if (pos.slice(0,5)=="right" || pos.slice(5,10)=="right") {
- textanchor = "start";
- dx = fontsize/2;
- }
- if (pos.slice(0,4)=="left" || pos.slice(5,9)=="left") {
- textanchor = "end";
- dx = -fontsize/2;
- }
- }
- var node = this;
- if (this.nodeName=="svg") {
- node = myCreateElementSVG("text");
- this.appendChild(node);
- node.appendChild(doc.createTextNode(st));
- }
- node.lastChild.nodeValue = st;
- node.setAttribute("x",p[0]+dx);
- node.setAttribute("y",p[1]+dy);
- node.setAttribute("font-style",(fontsty!=null?fontsty:fontstyle));
- node.setAttribute("font-family",fontfamily);
- node.setAttribute("font-size",fontsize);
- node.setAttribute("font-weight",fontweight);
- node.setAttribute("text-anchor",textanchor);
- if (fontstroke!="none") node.setAttribute("stroke",fontstroke);
- if (fontfill!="none") node.setAttribute("fill",fontfill);
- }
- function image(imgurl,p,w,h,id) { // not working yet
- var node;
- if (id!=null) node = doc.getElementById(id);
- if (node==null) {
- node = myCreateElementSVG("image");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- node.setAttribute("x",p[0]*xunitlength+origin[0]);
- node.setAttribute("y",height-p[1]*yunitlength-origin[1]);
- node.setAttribute("width",w);
- node.setAttribute("height",h);
- node.setAttribute("xlink:href", imgurl);
- }
- function ASdot(center,radius,s,f) { // coordinates in units, radius in pixel
- if (s==null) s = stroke; if (f==null) f = fill;
- var node = myCreateElementSVG("circle");
- node.setAttribute("cx",center[0]*xunitlength+origin[0]);
- node.setAttribute("cy",height-center[1]*yunitlength-origin[1]);
- node.setAttribute("r",radius);
- node.setAttribute("stroke-width", strokewidth);
- node.setAttribute("stroke", s);
- node.setAttribute("fill", f);
- svgpicture.appendChild(node);
- }
- function dot(center, typ, label, pos, id) {
- var node;
- var cx = center[0]*xunitlength+origin[0];
- var cy = height-center[1]*yunitlength-origin[1];
- if (id!=null) node = doc.getElementById(id);
- if (typ=="+" || typ=="-" || typ=="|") {
- if (node==null) {
- node = myCreateElementSVG("path");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- if (typ=="+") {
- node.setAttribute("d",
- " M "+(cx-ticklength)+" "+cy+" L "+(cx+ticklength)+" "+cy+
- " M "+cx+" "+(cy-ticklength)+" L "+cx+" "+(cy+ticklength));
- node.setAttribute("stroke-width", .5);
- node.setAttribute("stroke", axesstroke);
- } else {
- if (typ=="-") node.setAttribute("d",
- " M "+(cx-ticklength)+" "+cy+" L "+(cx+ticklength)+" "+cy);
- else node.setAttribute("d",
- " M "+cx+" "+(cy-ticklength)+" L "+cx+" "+(cy+ticklength));
- node.setAttribute("stroke-width", strokewidth);
- node.setAttribute("stroke", stroke);
- }
- } else {
- if (node==null) {
- node = myCreateElementSVG("circle");
- node.setAttribute("id", id);
- svgpicture.appendChild(node);
- }
- node.setAttribute("cx",cx);
- node.setAttribute("cy",cy);
- node.setAttribute("r",dotradius);
- node.setAttribute("stroke-width", strokewidth);
- node.setAttribute("stroke", stroke);
- node.setAttribute("fill", (typ=="open"?"white":
- (typ=="closed"?stroke:markerfill)));
- }
- if (label!=null)
- text(center,label,(pos==null?"below":pos),(id==null?id:id+"label"))
- }
- point = dot; //alternative name
- function arrowhead(p,q) { // draw arrowhead at q (in units) add size param
- var up;
- var v = [p[0]*xunitlength+origin[0],height-p[1]*yunitlength-origin[1]];
- var w = [q[0]*xunitlength+origin[0],height-q[1]*yunitlength-origin[1]];
- var u = [w[0]-v[0],w[1]-v[1]];
- var d = Math.sqrt(u[0]*u[0]+u[1]*u[1]);
- if (d > 0.00000001) {
- u = [u[0]/d, u[1]/d];
- up = [-u[1],u[0]];
- var node = myCreateElementSVG("path");
- node.setAttribute("d","M "+(w[0]-15*u[0]-4*up[0])+" "+
- (w[1]-15*u[1]-4*up[1])+" L "+(w[0]-3*u[0])+" "+(w[1]-3*u[1])+" L "+
- (w[0]-15*u[0]+4*up[0])+" "+(w[1]-15*u[1]+4*up[1])+" z");
- node.setAttribute("stroke-width", markerstrokewidth);
- node.setAttribute("stroke", stroke); /*was markerstroke*/
- node.setAttribute("fill", stroke); /*was arrowfill*/
- node.setAttribute("stroke-opacity", strokeopacity);
- node.setAttribute("fill-opacity", fillopacity);
- svgpicture.appendChild(node);
- }
- }
- function chopZ(st) {
- var k = st.indexOf(".");
- if (k==-1) return st;
- for (var i=st.length-1; i>k && st.charAt(i)=="0"; i--);
- if (i==k) i--;
- return st.slice(0,i+1);
- }
- function grid(dx,dy) { // for backward compatibility
- axes(dx,dy,null,dx,dy)
- }
- function noaxes() {
- if (!initialized) initPicture();
- }
- function axes(dx,dy,labels,gdx,gdy) {
- //xscl=x is equivalent to xtick=x; xgrid=x; labels=true;
- var x, y, ldx, ldy, lx, ly, lxp, lyp, pnode, st;
- if (!initialized) initPicture();
- if (typeof dx=="string") { labels = dx; dx = null; }
- if (typeof dy=="string") { gdx = dy; dy = null; }
- if (xscl!=null) {dx = xscl; gdx = xscl; labels = dx}
- if (yscl!=null) {dy = yscl; gdy = yscl}
- if (xtick!=null) {dx = xtick}
- if (ytick!=null) {dy = ytick}
- dx = (dx==null?xunitlength:dx*xunitlength);
- dy = (dy==null?dx:dy*yunitlength);
- fontsize = Math.min(dx/2,dy/2,16); //alert(fontsize)
- ticklength = fontsize/4;
- if (xgrid!=null) gdx = xgrid;
- if (ygrid!=null) gdy = ygrid;
- if (gdx!=null) {
- gdx = (typeof gdx=="string"?dx:gdx*xunitlength);
- gdy = (gdy==null?dy:gdy*yunitlength);
- pnode = myCreateElementSVG("path");
- st="";
- for (x = origin[0]; x<width; x = x+gdx)
- st += " M"+x+",0"+" "+x+","+height;
- for (x = origin[0]-gdx; x>0; x = x-gdx)
- st += " M"+x+",0"+" "+x+","+height;
- for (y = height-origin[1]; y<height; y = y+gdy)
- st += " M0,"+y+" "+width+","+y;
- for (y = height-origin[1]-gdy; y>0; y = y-gdy)
- st += " M0,"+y+" "+width+","+y;
- pnode.setAttribute("d",st);
- pnode.setAttribute("stroke-width", .5);
- pnode.setAttribute("stroke", gridstroke);
- pnode.setAttribute("fill", fill);
- svgpicture.appendChild(pnode);
- }
- pnode = myCreateElementSVG("path");
- st="M0,"+(height-origin[1])+" "+width+","+
- (height-origin[1])+" M"+origin[0]+",0 "+origin[0]+","+height;
- for (x = origin[0]+dx; x<width; x = x+dx)
- st += " M"+x+","+(height-origin[1]+ticklength)+" "+x+","+
- (height-origin[1]-ticklength);
- for (x = origin[0]-dx; x>0; x = x-dx)
- st += " M"+x+","+(height-origin[1]+ticklength)+" "+x+","+
- (height-origin[1]-ticklength);
- for (y = height-origin[1]+dy; y<height; y = y+dy)
- st += " M"+(origin[0]+ticklength)+","+y+" "+(origin[0]-ticklength)+","+y;
- for (y = height-origin[1]-dy; y>0; y = y-dy)
- st += " M"+(origin[0]+ticklength)+","+y+" "+(origin[0]-ticklength)+","+y;
- if (labels!=null) with (Math) {
- ldx = dx/xunitlength;
- ldy = dy/yunitlength;
- lx = (xmin>0 || xmax<0?xmin:0);
- ly = (ymin>0 || ymax<0?ymin:0);
- lxp = (ly==0?"below":"above");
- lyp = (lx==0?"left":"right");
- var ddx = floor(1.1-log(ldx)/log(10))+1;
- var ddy = floor(1.1-log(ldy)/log(10))+1;
- for (x = ldx; x<=xmax; x = x+ldx)
- text([x,ly],chopZ(x.toFixed(ddx)),lxp);
- for (x = -ldx; xmin<=x; x = x-ldx)
- text([x,ly],chopZ(x.toFixed(ddx)),lxp);
- for (y = ldy; y<=ymax; y = y+ldy)
- text([lx,y],chopZ(y.toFixed(ddy)),lyp);
- for (y = -ldy; ymin<=y; y = y-ldy)
- text([lx,y],chopZ(y.toFixed(ddy)),lyp);
- }
- fontsize = defaultfontsize;
- pnode.setAttribute("d",st);
- pnode.setAttribute("stroke-width", .5);
- pnode.setAttribute("stroke", axesstroke);
- pnode.setAttribute("fill", fill);
- pnode.setAttribute("stroke-opacity", strokeopacity);
- pnode.setAttribute("fill-opacity", fillopacity);
- svgpicture.appendChild(pnode);
- }
- function mathjs(st) {
- //translate a math formula to js function notation
- // a^b --> pow(a,b)
- // na --> n*a
- // (...)d --> (...)*d
- // n! --> factorial(n)
- // sin^-1 --> arcsin etc.
- //while ^ in string, find term on left and right
- //slice and concat new formula string
- st = st.replace(/\s/g,"");
- if (st.indexOf("^-1")!=-1) {
- st = st.replace(/sin\^-1/g,"arcsin");
- st = st.replace(/cos\^-1/g,"arccos");
- st = st.replace(/tan\^-1/g,"arctan");
- st = st.replace(/sec\^-1/g,"arcsec");
- st = st.replace(/csc\^-1/g,"arccsc");
- st = st.replace(/cot\^-1/g,"arccot");
- st = st.replace(/sinh\^-1/g,"arcsinh");
- st = st.replace(/cosh\^-1/g,"arccosh");
- st = st.replace(/tanh\^-1/g,"arctanh");
- st = st.replace(/sech\^-1/g,"arcsech");
- st = st.replace(/csch\^-1/g,"arccsch");
- st = st.replace(/coth\^-1/g,"arccoth");
- }
- st = st.replace(/^e$/g,"(Math.E)");
- st = st.replace(/^e([^a-zA-Z])/g,"(Math.E)$1");
- st = st.replace(/([^a-zA-Z])e/g,"$1(Math.E)");
- // st = st.replace(/([^a-zA-Z])e([^a-zA-Z])/g,"$1(Math.E)$2");
- st = st.replace(/([0-9])([\(a-zA-Z])/g,"$1*$2");
- st = st.replace(/\)([\(0-9a-zA-Z])/g,"\)*$1");
- var i,j,k, ch, nested;
- while ((i=st.indexOf("^"))!=-1) {
- //find left argument
- if (i==0) return "Error: missing argument";
- j = i-1;
- ch = st.charAt(j);
- if (ch>="0" && ch<="9") {// look for (decimal) number
- j--;
- while (j>=0 && (ch=st.charAt(j))>="0" && ch<="9") j--;
- if (ch==".") {
- j--;
- while (j>=0 && (ch=st.charAt(j))>="0" && ch<="9") j--;
- }
- } else if (ch==")") {// look for matching opening bracket and function name
- nested = 1;
- j--;
- while (j>=0 && nested>0) {
- ch = st.charAt(j);
- if (ch=="(") nested--;
- else if (ch==")") nested++;
- j--;
- }
- while (j>=0 && (ch=st.charAt(j))>="a" && ch<="z" || ch>="A" && ch<="Z")
- j--;
- } else if (ch>="a" && ch<="z" || ch>="A" && ch<="Z") {// look for variable
- j--;
- while (j>=0 && (ch=st.charAt(j))>="a" && ch<="z" || ch>="A" && ch<="Z")
- j--;
- } else {
- return "Error: incorrect syntax in "+st+" at position "+j;
- }
- //find right argument
- if (i==st.length-1) return "Error: missing argument";
- k = i+1;
- ch = st.charAt(k);
- if (ch>="0" && ch<="9" || ch=="-") {// look for signed (decimal) number
- k++;
- while (k<st.length && (ch=st.charAt(k))>="0" && ch<="9") k++;
- if (ch==".") {
- k++;
- while (k<st.length && (ch=st.charAt(k))>="0" && ch<="9") k++;
- }
- } else if (ch=="(") {// look for matching closing bracket and function name
- nested = 1;
- k++;
- while (k<st.length && nested>0) {
- ch = st.charAt(k);
- if (ch=="(") nested++;
- else if (ch==")") nested--;
- k++;
- }
- } else if (ch>="a" && ch<="z" || ch>="A" && ch<="Z") {// look for variable
- k++;
- while (k<st.length && (ch=st.charAt(k))>="a" && ch<="z" ||
- ch>="A" && ch<="Z") k++;
- } else {
- return "Error: incorrect syntax in "+st+" at position "+k;
- }
- st = st.slice(0,j+1)+"Math.pow("+st.slice(j+1,i)+","+st.slice(i+1,k)+")"+
- st.slice(k);
- }
- while ((i=st.indexOf("!"))!=-1) {
- //find left argument
- if (i==0) return "Error: missing argument";
- j = i-1;
- ch = st.charAt(j);
- if (ch>="0" && ch<="9") {// look for (decimal) number
- j--;
- while (j>=0 && (ch=st.charAt(j))>="0" && ch<="9") j--;
- if (ch==".") {
- j--;
- while (j>=0 && (ch=st.charAt(j))>="0" && ch<="9") j--;
- }
- } else if (ch==")") {// look for matching opening bracket and function name
- nested = 1;
- j--;
- while (j>=0 && nested>0) {
- ch = st.charAt(j);
- if (ch=="(") nested--;
- else if (ch==")") nested++;
- j--;
- }
- while (j>=0 && (ch=st.charAt(j))>="a" && ch<="z" || ch>="A" && ch<="Z")
- j--;
- } else if (ch>="a" && ch<="z" || ch>="A" && ch<="Z") {// look for variable
- j--;
- while (j>=0 && (ch=st.charAt(j))>="a" && ch<="z" || ch>="A" && ch<="Z")
- j--;
- } else {
- return "Error: incorrect syntax in "+st+" at position "+j;
- }
- st = st.slice(0,j+1)+"factorial("+st.slice(j+1,i)+")"+st.slice(i+1);
- }
- return st;
- }
- function plot(fun,x_min,x_max,points,id,endpts) {
- var pth = [];
- var f = function(x) { return x }, g = fun;
- var name = null;
- if (typeof fun=="string")
- eval("g = function(x){ with(Math) return "+mathjs(fun)+" }");
- else if (typeof fun=="object") {
- eval("f = function(t){ with(Math) return "+mathjs(fun[0])+" }");
- eval("g = function(t){ with(Math) return "+mathjs(fun[1])+" }");
- }
- if (typeof x_min=="string") { name = x_min; x_min = xmin }
- else name = id;
- var min = (x_min==null?xmin:x_min);
- var max = (x_max==null?xmax:x_max);
- var inc = max-min-0.000001*(max-min);
- inc = (points==null?inc/200:inc/points);
- var gt;
- //alert(typeof g(min))
- for (var t = min; t <= max; t += inc) {
- gt = g(t);
- if (!(isNaN(gt)||Math.abs(gt)=="Infinity")) pth[pth.length] = [f(t), gt];
- }
- path(pth,name,null,endpts);
- return p;
- }
- // make polar plot
- // make Riemann sums
- function slopefield(fun,dx,dy) {
- var g = fun;
- if (typeof fun=="string")
- eval("g = function(x,y){ with(Math) return "+mathjs(fun)+" }");
- var gxy,x,y,u,v,dz;
- if (dx==null) dx=1;
- if (dy==null) dy=1;
- dz = Math.sqrt(dx*dx+dy*dy)/6;
- var x_min = Math.ceil(xmin/dx);
- var y_min = Math.ceil(ymin/dy);
- for (x = x_min; x <= xmax; x += dx)
- for (y = y_min; y <= ymax; y += dy) {
- gxy = g(x,y);
- if (!isNaN(gxy)) {
- if (Math.abs(gxy)=="Infinity") {u = 0; v = dz;}
- else {u = dz/Math.sqrt(1+gxy*gxy); v = gxy*u;}
- line([x-u,y-v],[x+u,y+v]);
- }
- }
- }
- ///////////////////////user graphics commands end here/////////////////////////
- function show_props(obj) {
- var result = "";
- for (var i=0; i< obj.childNodes.length; i++)
- result += obj.childNodes.item(i) + "\n";
- return result;
- }
- function displayCoord(evt) {
- if (showcoordinates) {
- //alert(show_props(evt.target.parentNode))
- var svgroot = evt.target.parentNode;
- var nl = svgroot.childNodes;
- for (var i=0; i<nl.length && nl.item(i).nodeName!="text"; i++);
- var cnode = nl.item(i);
- cnode.mtext = mtext;
- cnode.mtext([svgroot.getAttribute("width")-0,svgroot.getAttribute("height")-0],"("+getX(evt).toFixed(2)+", "+getY(evt).toFixed(2)+")", "aboveleft", "");
- }
- }
- function removeCoord(evt) {
- var svgroot = evt.target.parentNode;
- var nl = svgroot.childNodes;
- for (var i=0; i<nl.length && nl.item(i).nodeName!="text"; i++);
- var cnode = nl.item(i);
- cnode.mtext = mtext;
- cnode.mtext([svgroot.getAttribute("width")-0,svgroot.getAttribute("height")-0],"", "aboveleft", "");
- }
- function initASCIIMathCalculators(li) {
- var i;
- for (i=0; i<li.length; i++) {
- li[i].innerHTML = calcstr;
- AMprocessNode(li[i]);
- }
- li = document.getElementsByTagName("textarea");
- var st;
- for (i=0; i<li.length; i++) {
- st = li[i].getAttribute("onkeyup");
- if (st!=null) eval(String(st).replace(/function anonymous\(\)/,""));
- }
- }
- function calculate(inputId,outputId) {
- var str = document.getElementById(inputId).value;
- var err = "";
- var ind = str.lastIndexOf("\n");
- if (ind==str.length-1) str = str.slice(0,ind);
- str = str.slice(str.lastIndexOf("\n")+1);
- try {
- var res = eval(mathjs(str));
- } catch(e) {
- err = "syntax incomplete";
- }
- if (!isNaN(res) && res!="Infinity")
- str = "`"+str+" =` "+(Math.abs(res-Math.round(res*1000000)/1000000)<1e-15?Math.round(res*1000000)/1000000:res)+err;
- else if (str!="") str = "`"+str+"` = undefined"; //debug:+mathjs(str);
- var outnode = document.getElementById(outputId);
- var n = outnode.childNodes.length;
- for (var i=0; i<n; i++)
- outnode.removeChild(outnode.firstChild);
- outnode.appendChild(document.createTextNode(str));
- AMprocessNode(outnode);
- }
- function append(st){
- document.getElementById('in').value+=st;
- calculate('in','out');
- document.getElementById('in').scrollTop = 1000;
- document.getElementById('in').focus();
- }
- function clearTextArea(){
- document.getElementById('in').value="";
- calculate('in','out');
- document.getElementById('in').focus();
- }
- var calcstr = "<table align=\"center\">\n<tr><th>\nASCIIMath Scientific Calculator\n</th></tr>\n<tr><td>\nClick in the box to use your keyboard or use the buttons\n</td></tr>\n<tr><td>\n<textarea id=\"in\" rows=\"3\" cols=\"40\" onkeyup=\"calculate('in','out')\"></textarea></td></tr>\n<tr><td height=\"50\">Result: <span id=\"out\"></span></td></tr>\n</table>\n<table align=\"center\" cellspacing=\"0\" cellpadding=\"0\">\n<tbody align=\"center\">\n<tr>\n<td colspan=\"4\">\n<button onclick=\"append('sin^-1(')\"><font size=2>`sin^-1`</font></button><button onclick=\"append('cos^-1(')\"><font size=2>`cos^-1`</font></button><button onclick=\"append('tan^-1(')\"><font size=2>`tan^-1`</font></button></td>\n<td><button onclick=\"clearTextArea()\"> `C` </button></td>\n\n</tr>\n<tr>\n<td><button onclick=\"append('pi')\"> `pi` </button></td>\n<td><button onclick=\"append('sin(')\"> `sin`</button></td>\n<td><button onclick=\"append('cos(')\"> `cos`</button></td>\n<td><button onclick=\"append('tan(')\"> `tan`</button></td>\n<td><button onclick=\"append('^')\">`x^y`</button></td>\n</tr>\n<tr>\n<td><button onclick=\"append('!')\"> `!` </button></td>\n\n<td><button onclick=\"append('(')\"><font size=2> `(` </font></button></td>\n<td><button onclick=\"append(')')\"><font size=2> `)` </font></button></td>\n<td><button onclick=\"append('sqrt(')\"><font size=2>`sqrt({::}^\ )`</font></button></td>\n<td><button onclick=\"append('/')\"> `-:\ `</button></td>\n</tr>\n<tr>\n<td><button onclick=\"append('log(')\">`log`</button></td>\n<td><button onclick=\"append('7')\"> `7` </button></td>\n<td><button onclick=\"append('8')\"> `8` </button></td>\n\n<td><button onclick=\"append('9')\"> `9` </button></td>\n<td><button onclick=\"append('*')\"> `times` </button></td>\n</tr>\n<tr>\n<td><button onclick=\"append('ln(')\"> `ln` </button></td>\n<td><button onclick=\"append('4')\"> `4` </button></td>\n<td><button onclick=\"append('5')\"> `5` </button></td>\n<td><button onclick=\"append('6')\"> `6` </button></td>\n\n<td><button onclick=\"append('-')\"> `-{::}` </button></td>\n</tr>\n<tr>\n<td><button onclick=\"append('e')\"> `e` </button></td>\n<td><button onclick=\"append('1')\"> `1` </button></td>\n<td><button onclick=\"append('2')\"> `2` </button></td>\n<td><button onclick=\"append('3')\"> `3` </button></td>\n<td><button onclick=\"append('+')\"> `+{::}` </button></td>\n\n</tr>\n<tr>\n<td> <!--button onclick=\"append('pi')\"> `pi` </button--></td>\n<td><button onclick=\"append('0')\"> `0` </button></td>\n<td><button onclick=\"append('.')\"> `.` </button></td>\n<td><button onclick=\"append('\\n')\"> `\"ent\"`</button></td>\n</tr>\n</tbody>\n</table>";
- // GO1.1 Generic onload by Brothercake
- // http://www.brothercake.com/
- //onload function (replaces the onload="translate()" in the <body> tag)
- function generic()
- {
- if (translateOnLoad) {
- var nd = document.getElementById("processasciimathinmoodle");
- if (nd!=null) dsvglocation = nd.className;
- if (nd!=null || !checkforprocessasciimathinmoodle) {
- if (translateLaTeX) LMtranslate();
- if (translateASCIIMath) translate();
- if (translateASCIIsvg) drawPictures();
- }
- var li = getElementsByClass(document,"div","ASCIIMathCalculator");
- if (li.length>0) initASCIIMathCalculators(li);
- }
- };
- //setup onload function
- if(typeof window.addEventListener != 'undefined')
- {
- //.. gecko, safari, konqueror and standard
- window.addEventListener('load', generic, false);
- }
- else if(typeof document.addEventListener != 'undefined')
- {
- //.. opera 7
- document.addEventListener('load', generic, false);
- }
- else if(typeof window.attachEvent != 'undefined')
- {
- //.. win/ie
- window.attachEvent('onload', generic);
- }
- //** remove this condition to degrade older browsers
- else
- {
- //.. mac/ie5 and anything else that gets this far
- //if there's an existing onload function
- if(typeof window.onload == 'function')
- {
- //store it
- var existing = onload;
- //add new onload handler
- window.onload = function()
- {
- //call existing onload function
- existing();
- //call generic onload function
- generic();
- };
- }
- else
- {
- //setup onload function
- window.onload = generic;
- }
- }
|