From ba32c2ec42182bcd7bdb995f90cd1405353fa400 Mon Sep 17 00:00:00 2001 From: fiddlosopher Date: Fri, 1 Aug 2008 06:35:42 +0000 Subject: Simplified build process using template haskell. + Text/Pandoc/ASCIIMathML.hs, Text/Pandoc/DefaultHeaders.hs, and Text/Pandoc/Writers/S5.hs are no longer built in Setup.hs from templates in the templates/ directory. + Instead, they use template haskell to read data at compile time from the relevant files in data/. + Setup.hs is back to the default simple configuration. + Removed old templates and Extra-Tmp-Files field from pandoc.cabal. git-svn-id: https://pandoc.googlecode.com/svn/trunk@1357 788f1e2b-df1e-0410-8736-df70ead52e1b --- Makefile | 12 +- Setup.hs | 69 +- Text/Pandoc/ASCIIMathML.hs | 11 + Text/Pandoc/DefaultHeaders.hs | 59 + Text/Pandoc/Writers/S5.hs | 141 ++ data/ASCIIMathML.js | 3363 ++++++++++++++++++++++++++++++++ data/ASCIIMathML.js.comment | 2 + data/ASCIIMathML.js.packed | 374 ++++ data/headers/ConTeXt.header | 70 + data/headers/Docbook.header | 3 + data/headers/LaTeX.header | 6 + data/headers/OpenDocument.header | 1 + data/headers/RTF.header | 4 + data/headers/S5.header | 3 + data/ui/default/blank.gif | Bin 0 -> 49 bytes data/ui/default/bodybg.gif | Bin 0 -> 10119 bytes data/ui/default/framing.css | 23 + data/ui/default/iepngfix.htc | 42 + data/ui/default/opera.css | 7 + data/ui/default/outline.css | 15 + data/ui/default/pretty.css | 86 + data/ui/default/print.css | 24 + data/ui/default/s5-core.css | 9 + data/ui/default/slides.css | 3 + data/ui/default/slides.js | 553 ++++++ data/ui/default/slides.js.comment | 4 + data/ui/default/slides.js.packed | 74 + pandoc.cabal | 41 +- templates/ASCIIMathML.hs | 7 - templates/ASCIIMathML.js | 3363 -------------------------------- templates/ASCIIMathML.js.comment | 2 - templates/ASCIIMathML.js.packed | 374 ---- templates/DefaultHeaders.hs | 56 - templates/S5.hs | 137 -- templates/headers/ConTeXt.header | 70 - templates/headers/Docbook.header | 3 - templates/headers/LaTeX.header | 6 - templates/headers/OpenDocument.header | 1 - templates/headers/RTF.header | 4 - templates/headers/S5.header | 3 - templates/ui/default/blank.gif | Bin 49 -> 0 bytes templates/ui/default/bodybg.gif | Bin 10119 -> 0 bytes templates/ui/default/framing.css | 23 - templates/ui/default/iepngfix.htc | 42 - templates/ui/default/opera.css | 7 - templates/ui/default/outline.css | 15 - templates/ui/default/pretty.css | 86 - templates/ui/default/print.css | 24 - templates/ui/default/s5-core.css | 9 - templates/ui/default/slides.css | 3 - templates/ui/default/slides.js | 553 ------ templates/ui/default/slides.js.comment | 4 - templates/ui/default/slides.js.packed | 74 - 53 files changed, 4898 insertions(+), 4967 deletions(-) create mode 100644 Text/Pandoc/ASCIIMathML.hs create mode 100644 Text/Pandoc/DefaultHeaders.hs create mode 100644 Text/Pandoc/Writers/S5.hs create mode 100644 data/ASCIIMathML.js create mode 100644 data/ASCIIMathML.js.comment create mode 100644 data/ASCIIMathML.js.packed create mode 100644 data/headers/ConTeXt.header create mode 100644 data/headers/Docbook.header create mode 100644 data/headers/LaTeX.header create mode 100644 data/headers/OpenDocument.header create mode 100644 data/headers/RTF.header create mode 100644 data/headers/S5.header create mode 100644 data/ui/default/blank.gif create mode 100644 data/ui/default/bodybg.gif create mode 100644 data/ui/default/framing.css create mode 100644 data/ui/default/iepngfix.htc create mode 100644 data/ui/default/opera.css create mode 100644 data/ui/default/outline.css create mode 100644 data/ui/default/pretty.css create mode 100644 data/ui/default/print.css create mode 100644 data/ui/default/s5-core.css create mode 100644 data/ui/default/slides.css create mode 100644 data/ui/default/slides.js create mode 100644 data/ui/default/slides.js.comment create mode 100644 data/ui/default/slides.js.packed delete mode 100644 templates/ASCIIMathML.hs delete mode 100644 templates/ASCIIMathML.js delete mode 100644 templates/ASCIIMathML.js.comment delete mode 100644 templates/ASCIIMathML.js.packed delete mode 100644 templates/DefaultHeaders.hs delete mode 100644 templates/S5.hs delete mode 100644 templates/headers/ConTeXt.header delete mode 100644 templates/headers/Docbook.header delete mode 100644 templates/headers/LaTeX.header delete mode 100644 templates/headers/OpenDocument.header delete mode 100644 templates/headers/RTF.header delete mode 100644 templates/headers/S5.header delete mode 100644 templates/ui/default/blank.gif delete mode 100644 templates/ui/default/bodybg.gif delete mode 100644 templates/ui/default/framing.css delete mode 100644 templates/ui/default/iepngfix.htc delete mode 100644 templates/ui/default/opera.css delete mode 100644 templates/ui/default/outline.css delete mode 100644 templates/ui/default/pretty.css delete mode 100644 templates/ui/default/print.css delete mode 100644 templates/ui/default/s5-core.css delete mode 100644 templates/ui/default/slides.css delete mode 100644 templates/ui/default/slides.js delete mode 100644 templates/ui/default/slides.js.comment delete mode 100644 templates/ui/default/slides.js.packed diff --git a/Makefile b/Makefile index e3b474f2c..f450d36d5 100644 --- a/Makefile +++ b/Makefile @@ -189,14 +189,6 @@ uninstall-doc: -for f in $(man_all); do rm -f $(MANPATH)/$$f; done rmdir $(PKGDOCPATH) 2>/dev/null ||: -# Data file installation. -.PHONY: install-data uninstall-data -install-data: $(ODTREF) - $(INSTALL) -d $(PKGDATAPATH) && $(INSTALL_DATA) $(ODTREF) $(PKGDATAPATH)/ -uninstall-data: - -rm -f $(PKGDATAPATH)/$(notdir $(ODTREF)) - rmdir $(PKGDATAPATH) 2>/dev/null ||: - # Program only installation. .PHONY: install-exec uninstall-exec install-exec: build-exec @@ -213,8 +205,8 @@ uninstall-exec: # Program + user documents installation. .PHONY: install-program uninstall-program -install-program: install-exec install-data install-doc -uninstall-program: uninstall-exec uninstall-doc uninstall-data +install-program: install-exec install-doc +uninstall-program: uninstall-exec uninstall-doc .PHONY: install-all uninstall-all # Full installation through Cabal: main + wrappers + user docs + lib + lib docs diff --git a/Setup.hs b/Setup.hs index 2162f9860..200a2e51d 100644 --- a/Setup.hs +++ b/Setup.hs @@ -1,70 +1,3 @@ import Distribution.Simple -import Distribution.Simple.Setup -import Distribution.PackageDescription -import Distribution.Simple.LocalBuildInfo -import System.FilePath (combine, joinPath, takeFileName, takeExtension) -import System.Directory (getDirectoryContents, removeFile, copyFile) -import System.IO (readFile, writeFile) -import Control.Monad (foldM) -import Data.List (isPrefixOf) - -main = defaultMainWithHooks $ simpleUserHooks { postConf = myPostConf } - -pandocPath = combine "Text" "Pandoc" - --- Builds Text/Pandoc/ASCIIMathML.hs, Text/Pandoc/Writers/S5.hs, and --- Text/Pandoc/Writers/DefaultHeaders.hs from templates and data. -myPostConf :: Args -> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO () -myPostConf _ configFlags pkgDescription buildInfo = do - putStrLn "Generating source files from templates..." - fillAsciiMathMLTemplate - fillS5WriterTemplate - fillDefaultHeadersTemplate - --- Fill templateFile with data in dataFiles and write to outputFile. -fillTemplate :: [FilePath] -> FilePath -> FilePath -> IO () -fillTemplate dataFiles templateFile outputFile = do - template <- readFile (combine "templates" templateFile) - filled <- foldM processFile template $ map (combine "templates") dataFiles - writeTemplate (combine pandocPath outputFile) filled - -fillAsciiMathMLTemplate :: IO () -fillAsciiMathMLTemplate = - fillTemplate ["ASCIIMathML.js.comment", "ASCIIMathML.js.packed"] "ASCIIMathML.hs" "ASCIIMathML.hs" - -fillS5WriterTemplate :: IO () -fillS5WriterTemplate = - let s5Path = joinPath ["ui", "default"] - files = map (combine s5Path) ["slides.js.comment", "slides.js.packed", "s5-core.css", - "framing.css", "pretty.css", "opera.css", "outline.css", "print.css"] - in fillTemplate files "S5.hs" (combine "Writers" "S5.hs") - -fillDefaultHeadersTemplate :: IO () -fillDefaultHeadersTemplate = do - files <- getDirectoryContents (combine "templates" "headers") >>= - return . map (combine "headers") . filter (\x -> takeExtension x == ".header") - fillTemplate files "DefaultHeaders.hs" "DefaultHeaders.hs" - --- Write the filled template file and print an explanatory message. -writeTemplate :: FilePath -> String -> IO () -writeTemplate outfile contents = do - putStrLn $ " " ++ outfile - let warning = "-- This file is generated from a template in the templates subdirectory.\n" ++ - "-- Modify that file, not this one.\n" - writeFile outfile (warning ++ contents) - --- Read contents of fpath and insert in template replacing @fpath@. -processFile :: String -> FilePath -> IO String -processFile template fpath = do - contents <- readFile fpath >>= return . show - return $ substitute ("@" ++ takeFileName fpath ++ "@") contents template - --- Replace each occurrence of one sublist in a list with another. -substitute :: (Eq a) => [a] -> [a] -> [a] -> [a] -substitute _ _ [] = [] -substitute [] _ lst = lst -substitute target replacement lst = - if target `isPrefixOf` lst - then replacement ++ (substitute target replacement $ drop (length target) lst) - else (head lst):(substitute target replacement $ tail lst) +main = defaultMain diff --git a/Text/Pandoc/ASCIIMathML.hs b/Text/Pandoc/ASCIIMathML.hs new file mode 100644 index 000000000..2f634b0b0 --- /dev/null +++ b/Text/Pandoc/ASCIIMathML.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE TemplateHaskell #-} +-- | Definitions for use of ASCIIMathML in HTML. +-- (See .) +module Text.Pandoc.ASCIIMathML ( asciiMathMLScript ) where +import Text.Pandoc.Shared ( contentsOf ) + +-- | String containing ASCIIMathML javascript. +asciiMathMLScript :: String +asciiMathMLScript = "\n" diff --git a/Text/Pandoc/DefaultHeaders.hs b/Text/Pandoc/DefaultHeaders.hs new file mode 100644 index 000000000..b918002d8 --- /dev/null +++ b/Text/Pandoc/DefaultHeaders.hs @@ -0,0 +1,59 @@ +{-# LANGUAGE TemplateHaskell #-} +{- +Copyright (C) 2006-7 John MacFarlane + +This program is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2 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 General Public License for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software +Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +-} + +{- | + Module : Text.Pandoc.DefaultHeaders + Copyright : Copyright (C) 2006-7 John MacFarlane + License : GNU GPL, version 2 or above + + Maintainer : John MacFarlane + Stability : alpha + Portability : portable + +Default headers for Pandoc writers. +-} +module Text.Pandoc.DefaultHeaders ( + defaultLaTeXHeader, + defaultConTeXtHeader, + defaultDocbookHeader, + defaultOpenDocumentHeader, + defaultS5Header, + defaultRTFHeader + ) where +import Text.Pandoc.Writers.S5 +import System.FilePath ( () ) +import Text.Pandoc.Shared ( contentsOf ) + +defaultLaTeXHeader :: String +defaultLaTeXHeader = $(contentsOf $ "data" "headers" "LaTeX.header") + +defaultConTeXtHeader :: String +defaultConTeXtHeader = $(contentsOf $ "data" "headers" "ConTeXt.header") + +defaultDocbookHeader :: String +defaultDocbookHeader = $(contentsOf $ "data" "headers" "Docbook.header") + +defaultOpenDocumentHeader :: String +defaultOpenDocumentHeader = $(contentsOf $ "data" "headers" "OpenDocument.header") + +defaultS5Header :: String +defaultS5Header = s5Meta ++ s5CSS ++ s5Javascript + +defaultRTFHeader :: String +defaultRTFHeader = $(contentsOf $ "data" "headers" "RTF.header") diff --git a/Text/Pandoc/Writers/S5.hs b/Text/Pandoc/Writers/S5.hs new file mode 100644 index 000000000..e4cc9b08b --- /dev/null +++ b/Text/Pandoc/Writers/S5.hs @@ -0,0 +1,141 @@ +{-# LANGUAGE TemplateHaskell #-} +{- +Copyright (C) 2006-7 John MacFarlane + +This program is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2 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 General Public License for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software +Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +-} + +{- | + Module : Text.Pandoc.Writers.S5 + Copyright : Copyright (C) 2006-7 John MacFarlane + License : GNU GPL, version 2 or above + + Maintainer : John MacFarlane + Stability : alpha + Portability : portable + +Definitions for creation of S5 powerpoint-like HTML. +(See .) +-} +module Text.Pandoc.Writers.S5 ( + -- * Strings + s5Meta, + s5Javascript, + s5CSS, + s5Links, + -- * Functions + writeS5, + writeS5String, + insertS5Structure + ) where +import Text.Pandoc.Shared ( joinWithSep, WriterOptions, contentsOf ) +import Text.Pandoc.Writers.HTML ( writeHtml, writeHtmlString ) +import Text.Pandoc.Definition +import Text.XHtml.Strict +import System.FilePath ( () ) + +s5Meta :: String +s5Meta = "\n\n\n" + +s5Javascript :: String +s5Javascript = "\n" + +s5CoreCSS :: String +s5CoreCSS = $(contentsOf $ "data" "ui" "default" "s5-core.css") + +s5FramingCSS :: String +s5FramingCSS = $(contentsOf $ "data" "ui" "default" "framing.css") + +s5PrettyCSS :: String +s5PrettyCSS = $(contentsOf $ "data" "ui" "default" "pretty.css") + +s5OperaCSS :: String +s5OperaCSS = $(contentsOf $ "data" "ui" "default" "opera.css") + +s5OutlineCSS :: String +s5OutlineCSS = $(contentsOf $ "data" "ui" "default" "outline.css") + +s5PrintCSS :: String +s5PrintCSS = $(contentsOf $ "data" "ui" "default" "print.css") + +s5CSS :: String +s5CSS = "\n\n\n\n" + +s5Links :: String +s5Links = "\n\n\n\n\n\n\n" + +-- | Converts Pandoc document to an S5 HTML presentation (Html structure). +writeS5 :: WriterOptions -> Pandoc -> Html +writeS5 options = (writeHtml options) . insertS5Structure + +-- | Converts Pandoc document to an S5 HTML presentation (string). +writeS5String :: WriterOptions -> Pandoc -> String +writeS5String options = (writeHtmlString options) . insertS5Structure + +-- | Inserts HTML needed for an S5 presentation (e.g. around slides). +layoutDiv :: [Inline] -- ^ Title of document (for header or footer) + -> String -- ^ Date of document (for header or footer) + -> [Block] -- ^ List of block elements returned +layoutDiv title' date = [(RawHtml "
\n
\n
\n
\n
\n"), (Header 1 [Str date]), (Header 2 title'), (RawHtml "
\n
\n")] + +presentationStart :: Block +presentationStart = RawHtml "
\n\n" + +presentationEnd :: Block +presentationEnd = RawHtml "
\n" + +slideStart :: Block +slideStart = RawHtml "
\n" + +slideEnd :: Block +slideEnd = RawHtml "
\n" + +-- | Returns 'True' if block is a Header 1. +isH1 :: Block -> Bool +isH1 (Header 1 _) = True +isH1 _ = False + +-- | Insert HTML around sections to make individual slides. +insertSlides :: Bool -> [Block] -> [Block] +insertSlides beginning blocks = + let (beforeHead, rest) = break isH1 blocks in + if (null rest) then + if beginning then + beforeHead + else + beforeHead ++ [slideEnd] + else + if beginning then + beforeHead ++ + slideStart:(head rest):(insertSlides False (tail rest)) + else + beforeHead ++ + slideEnd:slideStart:(head rest):(insertSlides False (tail rest)) + +-- | Insert blocks into 'Pandoc' for slide structure. +insertS5Structure :: Pandoc -> Pandoc +insertS5Structure (Pandoc meta' []) = Pandoc meta' [] +insertS5Structure (Pandoc (Meta title' authors date) blocks) = + let slides = insertSlides True blocks + firstSlide = if not (null title') + then [slideStart, (Header 1 title'), + (Header 3 [Str (joinWithSep ", " authors)]), + (Header 4 [Str date]), slideEnd] + else [] + newBlocks = (layoutDiv title' date) ++ presentationStart:firstSlide ++ + slides ++ [presentationEnd] + in Pandoc (Meta title' authors date) newBlocks diff --git a/data/ASCIIMathML.js b/data/ASCIIMathML.js new file mode 100644 index 000000000..ddb2604e2 --- /dev/null +++ b/data/ASCIIMathML.js @@ -0,0 +1,3363 @@ +/* +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: + + + +(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.9 Nov 3, 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) +Extensive clean-up and improvements by Paulo Soares, Oct 2007. + +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 = ""; // change it to "" (to inherit) or another color +var mathfontsize = "1em"; // change to e.g. 1.2em for larger math +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; +var noMathML = false, translated = false; + +if (isIE) { // avoid adding MathPlayer info explicitly to each webpage + document.write(""); + document.write(""); +} + +// Add a stylesheet, replacing any previous custom stylesheet (adapted from TW) +function setStylesheet(s) { + var id = "AMMLcustomStyleSheet"; + var n = document.getElementById(id); + if(document.createStyleSheet) { + // Test for IE's non-standard createStyleSheet method + if(n) + n.parentNode.removeChild(n); + // This failed without the   + document.getElementsByTagName("head")[0].insertAdjacentHTML("beforeEnd"," "); + } else { + if(n) { + n.replaceChild(document.createTextNode(s),n.firstChild); + } else { + n = document.createElement("style"); + n.type = "text/css"; + n.id = id; + n.appendChild(document.createTextNode(s)); + document.getElementsByTagName("head")[0].appendChild(n); + } + } +} + +setStylesheet("#AMMLcloseDiv \{font-size:0.8em; padding-top:1em; color:#014\}\n#AMMLwarningBox \{position:absolute; width:100%; top:0; left:0; z-index:200; text-align:center; font-size:1em; font-weight:bold; padding:0.5em 0 0.5em 0; color:#ffc; background:#c30\}"); + +function init(){ + var msg, warnings = new Array(); + if (document.getElementById==null){ + alert("This webpage requires a recent browser such as Mozilla Firefox/Netscape 7+ or Internet Explorer 6+ with MathPlayer and Adobe SVGviewer"); + return null; + } + if (checkForMathML && (msg = checkMathML())) warnings.push(msg); + if (checkIfSVGavailable && (msg = checkSVG())) warnings.push(msg); + if (warnings.length>0) displayWarnings(warnings); + if (!noMathML) initSymbols(); + return true; +} + +function checkMathML(){ + if (navigator.appName.slice(0,8)=="Netscape") + if (navigator.appVersion.slice(0,1)>="5") noMathML = null; + else noMathML = true; + else if (navigator.appName.slice(0,9)=="Microsoft") + try { + var ActiveX = new ActiveXObject("MathPlayer.Factory.1"); + noMathML = null; + } catch (e) { + noMathML = true; + } + else noMathML = true; +//noMathML = true; //uncomment to check + if (noMathML && notifyIfNoMathML) { + var msg = "To view the ASCIIMathML notation use Internet Explorer + MathPlayer or Mozilla Firefox 2.0 or later."; + if (alertIfNoMathML) + alert(msg); + else return msg; + } +} + +function hideWarning(){ + var body = document.getElementsByTagName("body")[0]; + body.removeChild(document.getElementById('AMMLwarningBox')); + body.onclick = null; +} + +function displayWarnings(warnings) { + var i, frag, nd = createElementXHTML("div"); + var body = document.getElementsByTagName("body")[0]; + body.onclick=hideWarning; + nd.id = 'AMMLwarningBox'; + for (i=0; i=", 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:"\u21A3", tex:"rightarrowtail", ttype:CONST}, +{input:"->>", tag:"mo", output:"\u21A0", tex:"twoheadrightarrow", ttype:CONST}, +{input:">->>", tag:"mo", output:"\u2916", tex:"twoheadrightarrowtail", 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 +{input:"sqrt", tag:"msqrt", output:"sqrt", tex:null, ttype:UNARY}, +{input:"root", tag:"mroot", output:"root", tex:null, ttype:BINARY}, +{input:"frac", tag:"mfrac", output:"/", tex:null, ttype:BINARY}, +{input:"/", tag:"mfrac", output:"/", tex:null, ttype:INFIX}, +{input:"stackrel", tag:"mover", output:"stackrel", tex:null, ttype:BINARY}, +{input:"_", tag:"msub", output:"_", tex:null, ttype:INFIX}, +{input:"^", tag:"msup", output:"^", tex:null, ttype:INFIX}, +{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}, +{input:"text", tag:"mtext", output:"text", tex:null, ttype:TEXT}, +{input:"mbox", tag:"mtext", output:"mbox", tex:null, ttype:TEXT}, +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 initSymbols() { + var texsymbols = [], i; + for (i=0; i=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> 1; + if (arr[m]=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 = position(AMnames, st, j); + if (k=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 [createMmlNode(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 = createMmlNode("mrow",result[0]); + else { + node = createMmlNode("mo",document.createTextNode(symbol.output)); + node = createMmlNode("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 = createMmlNode("mspace"); + node.setAttribute("width","1ex"); + newFrag.appendChild(node); + } + newFrag.appendChild( + createMmlNode(symbol.tag,document.createTextNode(st))); + if (st.charAt(st.length-1) == " ") { + node = createMmlNode("mspace"); + node.setAttribute("width","1ex"); + newFrag.appendChild(node); + } + str = AMremoveCharsAndBlanks(str,i+1); + return [createMmlNode("mrow",newFrag),str]; + case UNARY: + str = AMremoveCharsAndBlanks(str,symbol.input.length); + result = AMparseSexpr(str); + if (result[0]==null) return [createMmlNode(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 [createMmlNode(symbol.tag, + document.createTextNode(symbol.output)),str]; + } else { + node = createMmlNode("mrow", + createMmlNode(symbol.tag,document.createTextNode(symbol.output))); + node.appendChild(result[0]); + return [node,result[1]]; + } + } + AMremoveBrackets(result[0]); + if (symbol.input == "sqrt") { // sqrt + return [createMmlNode(symbol.tag,result[0]),result[1]]; + } else if (typeof symbol.acc == "boolean" && symbol.acc) { // accent + node = createMmlNode(symbol.tag,result[0]); + node.appendChild(createMmlNode("mo",document.createTextNode(symbol.output))); + return [node,result[1]]; + } else { // font change command + if (!isIE && typeof symbol.codes != "undefined") { + for (i=0; i64 && 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]=createMmlNode("mo"). + appendChild(document.createTextNode(newst)); + else result[0].replaceChild(createMmlNode("mo"). + appendChild(document.createTextNode(newst)), + result[0].childNodes[i]); + } + } + node = createMmlNode(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 [createMmlNode("mo", + document.createTextNode(symbol.input)),str]; + AMremoveBrackets(result[0]); + var result2 = AMparseSexpr(result[1]); + if (result2[0]==null) return [createMmlNode("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 [createMmlNode(symbol.tag,newFrag),result2[1]]; + case INFIX: + str = AMremoveCharsAndBlanks(str,symbol.input.length); + return [createMmlNode("mo",document.createTextNode(symbol.output)),str]; + case SPACE: + str = AMremoveCharsAndBlanks(str,symbol.input.length); + node = createMmlNode("mspace"); + node.setAttribute("width","1ex"); + newFrag.appendChild(node); + newFrag.appendChild( + createMmlNode(symbol.tag,document.createTextNode(symbol.output))); + node = createMmlNode("mspace"); + node.setAttribute("width","1ex"); + newFrag.appendChild(node); + return [createMmlNode("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 = createMmlNode("mo",document.createTextNode(symbol.output)); + node = createMmlNode("mrow",node); + node.appendChild(result[0]); + return [node,result[1]]; + } else { // the "|" is a \mid so use unicode 2223 (divides) for spacing + node = createMmlNode("mo",document.createTextNode("\u2223")); + node = createMmlNode("mrow",node); + return [node,str]; + } + default: +//alert("default"); + str = AMremoveCharsAndBlanks(str,symbol.input.length); + return [createMmlNode(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] = createMmlNode("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 = createMmlNode((underover?"munderover":"msubsup"),node); + node.appendChild(result[0]); + node.appendChild(res2[0]); + node = createMmlNode("mrow",node); // so sum does not stretch + } else { + node = createMmlNode((underover?"munder":"msub"),node); + node.appendChild(result[0]); + } + } else { + node = createMmlNode(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] = createMmlNode("mo",document.createTextNode("\u25A1")); + else AMremoveBrackets(result[0]); + str = result[1]; + AMremoveBrackets(node); + node = createMmlNode(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 && i1) matrix = pos[i].length == pos[i-2].length; + } + if (matrix) { + var row, frag, n, k, table = document.createDocumentFragment(); + for (i=0; i(-,-,...,-,-) + n = node.childNodes.length; + k = 0; + node.removeChild(node.firstChild); //remove ( + for (j=1; j2) { + newFrag.removeChild(newFrag.firstChild); //remove ) + newFrag.removeChild(newFrag.firstChild); //remove , + } + table.appendChild(createMmlNode("mtr",row)); + } + node = createMmlNode("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 = createMmlNode("mo",document.createTextNode(symbol.output)); + newFrag.appendChild(node); + } + } + return [newFrag,str]; +} + +function parseMath(str,latex) { + var frag, node; + AMnestingDepth = 0; + frag = latex ? LMparseExpr(str.replace(/^\s+/g,""),false,false)[0] : AMparseExpr(str.replace(/^\s+/g,""),false)[0]; + node = createMmlNode("mstyle",frag); + node.setAttribute("mathcolor",mathcolor); + node.setAttribute("fontfamily",mathfontfamily); + node.setAttribute("mathsize",mathfontsize); + if (displaystyle) node.setAttribute("displaystyle","true"); + node = createMmlNode("math",node); + if (showasciiformulaonhover) //fixed by djhsu so newline + node.setAttribute("title",str.replace(/\s+/g," "));//does not show in Gecko + return node; +} + +function strarr2docFrag(arr, linebreaks, latex) { + var newFrag=document.createDocumentFragment(); + var expr = false; + for (var i=0; i,\\|!:;'~]|\\.(?!(?:\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; i1 || mtch) { + if (!noMathML) { + frg = strarr2docFrag(arr,n.nodeType==8,latex); + 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 +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 +*/ + +// all further global variables start with "LM" + +// 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:"\\implies", 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 + +{input:"\\sqrt", tag:"msqrt", output:"sqrt", ttype:UNARY}, +{input:"\\root", tag:"mroot", output:"root", ttype:BINARY}, +{input:"\\frac", tag:"mfrac", output:"/", ttype:BINARY}, +{input:"\\stackrel", tag:"mover", output:"stackrel", ttype:BINARY}, +{input:"\\atop", tag:"mfrac", output:"", ttype:INFIX}, +{input:"\\choose", tag:"mfrac", output:"", ttype:INFIX}, +{input:"_", tag:"msub", output:"_", ttype:INFIX}, +{input:"^", tag:"msup", output:"^", ttype:INFIX}, +{input:"\\mathrm", tag:"mtext", output:"text", ttype:TEXT}, +{input:"\\mbox", tag:"mtext", output:"mbox", ttype:TEXT}, + +//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:AMbbb}, +{input:"\\mathcal",tag:"mstyle", atname:"mathvariant", atval:"script", ttype:UNARY, codes:AMcal}, +{input:"\\mathfrak",tag:"mstyle",atname:"mathvariant", atval:"fraktur",ttype:UNARY, codes:AMfrk} +]; + +var LMnames = []; //list of input symbols + +function LMremoveCharsAndBlanks(str,n) { +//remove n characters and any following blanks + var st; + st = str.slice(n); + for (var i=0; i=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 = createMmlNode(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 [createMmlNode(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 = createMmlNode(symbol.tag,document.createTextNode(output)); + return [node,str,symbol.tag]; + case LONG: // added by DRW + node = createMmlNode(symbol.tag,document.createTextNode(symbol.output)); + node.setAttribute("minsize","1.5"); + node.setAttribute("maxsize","1.5"); + node = createMmlNode("mover",node); + node.appendChild(createMmlNode("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 = createMmlNode(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 = createMmlNode(symbol.tag,document.createTextNode(symbol.output)); + if (isIE) { // to get brackets to expand + var space = createMmlNode("mspace"); + space.setAttribute("height",atval+"ex"); + node = createMmlNode("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 = createMmlNode("mrow",result[0]); + else { + node = createMmlNode("mo",document.createTextNode(symbol.output)); + node = createMmlNode("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 [createMmlNode("mo", +// document.createTextNode(symbol.input)),str]; + node = createMmlNode("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 = createMmlNode("mspace"); + lspace.setAttribute("width","0.167em"); + var rspace = createMmlNode("mspace"); + rspace.setAttribute("width","0.167em"); + var node1 = createMmlNode("mrow",lspace); + node1.appendChild(node); + node1.appendChild(rspace); + return [node1,result[1],null]; + } else { // eqnarray + result = LMparseExpr("{"+str,true,true); + node = createMmlNode("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 = createMmlNode("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 = createMmlNode("mspace"); + node.setAttribute("width","0.33em"); // was 1ex + newFrag.appendChild(node); + } + newFrag.appendChild( + createMmlNode(symbol.tag,document.createTextNode(st))); + if (st.charAt(st.length-1) == " ") { + node = createMmlNode("mspace"); + node.setAttribute("width","0.33em"); // was 1ex + newFrag.appendChild(node); + } + str = LMremoveCharsAndBlanks(str,i+1); + return [createMmlNode("mrow",newFrag),str,null]; + case UNARY: + result = LMparseSexpr(str); + if (result[0]==null) return [createMmlNode(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 [createMmlNode(symbol.tag, + document.createTextNode(symbol.output)),str,symbol.tag]; + } else { + node = createMmlNode("mrow", + createMmlNode(symbol.tag,document.createTextNode(symbol.output))); + if (isIE) { + var space = createMmlNode("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 = createMmlNode("mspace"); + space.setAttribute("height","1.2ex"); + space.setAttribute("width","0em"); // probably no effect + node = createMmlNode(symbol.tag,result[0]) +// node.setAttribute("minsize","1"); // ignored +// node = createMmlNode("mrow",node); // hopefully unnecessary + node.appendChild(space); + return [node,result[1],symbol.tag]; + } else + return [createMmlNode(symbol.tag,result[0]),result[1],symbol.tag]; + } else if (typeof symbol.acc == "boolean" && symbol.acc) { // accent + node = createMmlNode(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 = createMmlNode("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; i64 && 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]=createMmlNode("mo"). + appendChild(document.createTextNode(newst)); + else result[0].replaceChild(createMmlNode("mo"). + appendChild(document.createTextNode(newst)),result[0].childNodes[i]); + } + } + node = createMmlNode(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 [createMmlNode("mo", + document.createTextNode(symbol.input)),str,null]; + result2 = LMparseSexpr(result[1]); + if (result2[0]==null) return [createMmlNode("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 [createMmlNode(symbol.tag,newFrag),result2[1],symbol.tag]; + case INFIX: + str = LMremoveCharsAndBlanks(str,symbol.input.length); + return [createMmlNode("mo",document.createTextNode(symbol.output)), + str,symbol.tag]; + default: + return [createMmlNode(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] = createMmlNode("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 = createMmlNode((underover?"munderover":"msubsup"),node); + node.appendChild(result[0]); + node.appendChild(res2[0]); + } else if (symbol.input == "_") { + node = createMmlNode((underover?"munder":"msub"),node); + node.appendChild(result[0]); + } else { + node = createMmlNode((underover?"mover":"msup"),node); + node.appendChild(result[0]); + } + node = createMmlNode("mrow",node); // so sum does not stretch + } else { + node = createMmlNode(symbol.tag,node); + if (symbol.input == "\\atop" || symbol.input == "\\choose") + node.setAttribute("linethickness","0ex"); + node.appendChild(result[0]); + if (symbol.input == "\\choose") + node = createMmlNode("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 = createMmlNode("mspace"); + space.setAttribute("width","0.167em"); + node = createMmlNode("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 -&-&...&-&- + n = node.childNodes.length; + k = 0; + for (j=0; j2) { + newFrag.removeChild(newFrag.firstChild); //remove + newFrag.removeChild(newFrag.firstChild); //remove & + } + table.appendChild(createMmlNode("mtr",row)); + } + return [table,str]; + } + if (typeof symbol.invisible != "boolean" || !symbol.invisible) { + node = createMmlNode("mo",document.createTextNode(symbol.output)); + newFrag.appendChild(node); + } + } + return [newFrag,str,tag]; +} + +var tcnt = 0, dcnt = 0; //theorem and definition counters + +function simpleLaTeXformatting(st) { + st = st.replace(/\$\$((.|\n)*?)\$\$/g,"

$\\displaystyle{$1}$

"); + st = st.replace(/\\begin{(theorem|lemma|proposition|corollary)}((.|\n)*?)\\end{\1}/g,function(r,s,t){tcnt++; return ""+s.charAt(0).toUpperCase()+s.slice(1)+" "+tcnt+". "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+""}); + st = st.replace(/\\begin{(definition|example|remark|problem|exercise|conjecture|solution)}((.|\n)*?)\\end{\1}/g,function(r,s,t){dcnt++; return ""+s.charAt(0).toUpperCase()+s.slice(1)+" "+dcnt+". "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")}); + st = st.replace(/\\begin{proof}((.|\n)*?)\\end{proof}/g,function(s,t){return "Proof: "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+" □"}); + st = st.replace(/\\emph{(.*?)}/g,"$1"); + st = st.replace(/\\textbf{(.*?)}/g,"$1"); + st = st.replace(/\\cite{(.*?)}/g,"[$1]"); + st = st.replace(/\\chapter{(.*?)}/g,"

$1

"); + st = st.replace(/\\section{(.*?)}(\s*<\/?(br|p)\s?\/?>)?/g,"

$1

"); + st = st.replace(/\\subsection{((.|\n)*?)}/g,"

$1

"); + st = st.replace(/\\begin{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"
    "); + st = st.replace(/\\item\s((.|\n)*?)(?=(\\item|\\end))/g,"
  • $1
    • "); + st = st.replace(/\\end{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"
"); + st = st.replace(/\\begin{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"
    "); + st = st.replace(/\\end{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"
"); + st = st.replace(/\\item\[(.*?)]{(.*?)}/g,"
$1
$2
"); + st = st.replace(/\\begin{description}/g,"
"); + st = st.replace(/\\end{description}/g,"
"); + st = st.replace(/\\newline\b/g,"
"); + st = st.replace(/\\newpage\b/g,"
"); + st = st.replace(/\\par\b/g,"

 

"); + st = st.replace(/\\bigskip/g,"

 

"); + st = st.replace(/\\medskip/g,"

 

"); + st = st.replace(/\\smallskip/g,"

 

"); + st = st.replace(/\\begin{center}((.|\n)*?)\\end{center}/g,"
$1
"); + return st +} + +function ASCIIandgraphformatting(st) { + st = st.replace(/(.*?)<\/sup>(\s|(\S))/gi,"^{$1} $3"); +//st = st.replace(/<\/?font.*?>/gi,""); // do this only in amath...endamath + st = st.replace(/(Proof:)/g,"$1"); + st = st.replace(/QED/g,"    □"); + st = st.replace(/(\\?end{?a?math}?)/ig,"$1"); + st = st.replace(/(\bamath\b|\\begin{a?math})/ig,"$1"); + st = st.replace(/([>\n])(Theorem|Lemma|Proposition|Corollary|Definition|Example|Remark|Problem|Exercise|Conjecture|Solution)(:|\W\W?(\w|\s|-|\.)*?\W?:)/g,"$1$2$3"); + st = st.replace(/
/gi,"\n")+"\'/>
"}); + st = st.replace(/insertASCIIMathCalculator/g,"
"); +//alert(dsvglocation) + return st +} + +function LMprocessNode(n) { + var frag,st; + try { + st = n.innerHTML; + } catch(err) {} + var am = /amath\b|graph/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|wpTextbox1/.test(st)){ + if (!avoidinnerHTML && translateLaTeXformatting) + st = simpleLaTeXformatting(st); + if (st!=null && am && !avoidinnerHTML) { + st = ASCIIandgraphformatting(st); + } + st = st.replace(/%7E/g,"~"); // else PmWiki has url issues +//alert(st) + if (!avoidinnerHTML) n.innerHTML = st; + processNodeR(n,false,true); + } +/* if (isIE) { //needed to match size and font of formula to surrounding text + frag = document.getElementsByTagName('math'); + for (var i=0;i|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; +var isIE = document.createElementNS==null; + +//this is not used! 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 2*x + src = src.replace(/([0-9])([a-df-zA-Z]|e^)/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") { +//alert(dsvglocation) + if (typeof err=="object") + errstr = err.name+" "+err.message+" "+err.number+" "+err.description; + else errstr = err; + alert(errstr+"\n"+src) + } + } +} + +var lastSlot = 0; + +function drawPictures() { // main routine; called after webpage has loaded + var src, id, dsvg, nd, node, ht, index, cols, arr, i, node2; + var ASbody = document.getElementsByTagName("body")[0]; + pictures = getElementsByClass(ASbody,"embed","ASCIIsvg"); + var len = pictures.length; + if(len==0) return; + for (index = lastSlot; index < len+lastSlot; 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-lastSlot]; // 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 = createElementXHTML("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 = createElementXHTML("textarea"); + arr = src.split("\n"); + cols = 0; + for (i=0;i= 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(); + } 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("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; + } + var nd = document.getElementById(picture.getAttribute("id")+"mml"); + if (nd!=null) // clear out MathML layer + while (nd.childNodes.length>0) nd.removeChild(nd.lastChild); + 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"); // used for displayCoord + node.appendChild(doc.createTextNode(" ")); + node.setAttribute("id","coords"); + svgpicture.appendChild(node); + node = myCreateElementSVG("text"); // used for text display + node.appendChild(doc.createTextNode(" ")); + node.setAttribute("id","coords"); + 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") != -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,largearc) { // coordinates in units + var node, v; +//alert([fill, stroke, origin, xunitlength, yunitlength, height]) + if (id!=null) node = doc.getElementById(id); + if (largearc==null) largearc=0; + 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 "+largearc+",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, str = st.toString(); + if (/(`|\$)/.test(str)) { // 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 = createElementXHTML("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(str)); + if (/`/.test(str)) 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(str)); + } + while (node.childNodes.length>1) node.removeChild(node.lastChild); + node.lastChild.nodeValue = "\xA0"+str+"\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: + (str.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,fontsz) { // 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",(fontsz!=null?fontsz: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]; x0; x = x-gdx) + st += " M"+x+",0"+" "+x+","+height; + for (y = height-origin[1]; y0; 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; x0; x = x-dx) + st += " M"+x+","+(height-origin[1]+ticklength)+" "+x+","+ + (height-origin[1]-ticklength); + for (y = height-origin[1]+dy; y0; 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="0" && ch<="9") k++; + if (ch==".") { + k++; + while (k="0" && ch<="9") k++; + } + } else if (ch=="(") {// look for matching closing bracket and function name + nested = 1; + k++; + while (k0) { + 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="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 pth; +} + +// 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) { + var svgroot = evt.target.parentNode; + var nl = svgroot.childNodes; + for (var i=0; i\n\nASCIIMath Scientific Calculator\n\n\nClick in the box to use your keyboard or use the buttons\n\n\n\nResult:     \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\n
"; + +// GO1.1 Generic onload by Brothercake +// http://www.brothercake.com/ +//onload function (replaces the onload="translate()" in the tag) +function generic() +{ + if(!init()) return; + if (translateOnLoad) { + var nd = document.getElementById("processasciimathinmoodle"); + if (nd!=null) dsvglocation = nd.className; + if (nd!=null || !checkforprocessasciimathinmoodle) { + translate(); + if (!noSVG && translateASCIIsvg) drawPictures(); + } + var li = getElementsByClass(document,"div","ASCIIMathCalculator"); + if (!noMathML && 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; + } +} diff --git a/data/ASCIIMathML.js.comment b/data/ASCIIMathML.js.comment new file mode 100644 index 000000000..8721031e1 --- /dev/null +++ b/data/ASCIIMathML.js.comment @@ -0,0 +1,2 @@ +/* ASCIIMathML.js - copyright Peter Jipsen, released under the GPL + See http://www1.chapman.edu/~jipsen/mathml/asciimath.html/ */ diff --git a/data/ASCIIMathML.js.packed b/data/ASCIIMathML.js.packed new file mode 100644 index 000000000..eabb35af7 --- /dev/null +++ b/data/ASCIIMathML.js.packed @@ -0,0 +1,374 @@ +var mathcolor="";var mathfontsize="1em";var mathfontfamily="serif";var automathrecognize=false;var checkForMathML=true;var notifyIfNoMathML=true;var alertIfNoMathML=false;var translateOnLoad=true;var translateLaTeX=true;var translateLaTeXformatting=true;var translateASCIIMath=true;var translateASCIIsvg=true;var avoidinnerHTML=false;var displaystyle=true;var showasciiformulaonhover=true;var decimalsign=".";var AMdelimiter1="`",AMescape1="\\\\`";var AMdocumentId="wikitext" +var checkforprocessasciimathinmoodle=false;var dsvglocation="";var isIE=document.createElementNS==null;var noMathML=false,translated=false;if(isIE){document.write("");document.write("");} +function setStylesheet(s){var id="AMMLcustomStyleSheet";var n=document.getElementById(id);if(document.createStyleSheet){if(n) +n.parentNode.removeChild(n);document.getElementsByTagName("head")[0].insertAdjacentHTML("beforeEnd"," ");}else{if(n){n.replaceChild(document.createTextNode(s),n.firstChild);}else{n=document.createElement("style");n.type="text/css";n.id=id;n.appendChild(document.createTextNode(s));document.getElementsByTagName("head")[0].appendChild(n);}}} +setStylesheet("#AMMLcloseDiv \{font-size:0.8em; padding-top:1em; color:#014\}\n#AMMLwarningBox \{position:absolute; width:100%; top:0; left:0; z-index:200; text-align:center; font-size:1em; font-weight:bold; padding:0.5em 0 0.5em 0; color:#ffc; background:#c30\}");function init(){var msg,warnings=new Array();if(document.getElementById==null){alert("This webpage requires a recent browser such as Mozilla Firefox/Netscape 7+ or Internet Explorer 6+ with MathPlayer and Adobe SVGviewer");return null;} +if(checkForMathML&&(msg=checkMathML()))warnings.push(msg);if(checkIfSVGavailable&&(msg=checkSVG()))warnings.push(msg);if(warnings.length>0)displayWarnings(warnings);if(!noMathML)initSymbols();return true;} +function checkMathML(){if(navigator.appName.slice(0,8)=="Netscape") +if(navigator.appVersion.slice(0,1)>="5")noMathML=null;else noMathML=true;else if(navigator.appName.slice(0,9)=="Microsoft") +try{var ActiveX=new ActiveXObject("MathPlayer.Factory.1");noMathML=null;}catch(e){noMathML=true;} +else noMathML=true;if(noMathML&¬ifyIfNoMathML){var msg="To view the ASCIIMathML notation use Internet Explorer + MathPlayer or Mozilla Firefox 2.0 or later.";if(alertIfNoMathML) +alert(msg);else return msg;}} +function hideWarning(){var body=document.getElementsByTagName("body")[0];body.removeChild(document.getElementById('AMMLwarningBox'));body.onclick=null;} +function displayWarnings(warnings){var i,frag,nd=createElementXHTML("div");var body=document.getElementsByTagName("body")[0];body.onclick=hideWarning;nd.id='AMMLwarningBox';for(i=0;i=",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},{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},{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:"\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},{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},{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},{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:"\u21A3",tex:"rightarrowtail",ttype:CONST},{input:"->>",tag:"mo",output:"\u21A0",tex:"twoheadrightarrow",ttype:CONST},{input:">->>",tag:"mo",output:"\u2916",tex:"twoheadrightarrowtail",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},{input:"sqrt",tag:"msqrt",output:"sqrt",tex:null,ttype:UNARY},{input:"root",tag:"mroot",output:"root",tex:null,ttype:BINARY},{input:"frac",tag:"mfrac",output:"/",tex:null,ttype:BINARY},{input:"/",tag:"mfrac",output:"/",tex:null,ttype:INFIX},{input:"stackrel",tag:"mover",output:"stackrel",tex:null,ttype:BINARY},{input:"_",tag:"msub",output:"_",tex:null,ttype:INFIX},{input:"^",tag:"msup",output:"^",tex:null,ttype:INFIX},{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},{input:"text",tag:"mtext",output:"text",tex:null,ttype:TEXT},{input:"mbox",tag:"mtext",output:"mbox",tex:null,ttype:TEXT},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=[];function initSymbols(){var texsymbols=[],i;for(i=0;i>1;if(arr[m]=AMnames[k];} +AMpreviousSymbol=AMcurrentSymbol;if(match!=""){AMcurrentSymbol=AMsymbols[mk].ttype;return AMsymbols[mk];} +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);tagst=(("A">st||st>"Z")&&("a">st||st>"z")?"mo":"mi");} +if(st=="-"&&AMpreviousSymbol==INFIX){AMcurrentSymbol=INFIX;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);}} +var AMnestingDepth,AMpreviousSymbol,AMcurrentSymbol;function AMparseSexpr(str){var symbol,node,result,i,st,newFrag=document.createDocumentFragment();str=AMremoveCharsAndBlanks(str,0);symbol=AMgetSymbol(str);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[createMmlNode(symbol.tag,document.createTextNode(symbol.output)),str];case LEFTBRACKET:AMnestingDepth++;str=AMremoveCharsAndBlanks(str,symbol.input.length);result=AMparseExpr(str,true);AMnestingDepth--;if(typeof symbol.invisible=="boolean"&&symbol.invisible) +node=createMmlNode("mrow",result[0]);else{node=createMmlNode("mo",document.createTextNode(symbol.output));node=createMmlNode("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=createMmlNode("mspace");node.setAttribute("width","1ex");newFrag.appendChild(node);} +newFrag.appendChild(createMmlNode(symbol.tag,document.createTextNode(st)));if(st.charAt(st.length-1)==" "){node=createMmlNode("mspace");node.setAttribute("width","1ex");newFrag.appendChild(node);} +str=AMremoveCharsAndBlanks(str,i+1);return[createMmlNode("mrow",newFrag),str];case UNARY:str=AMremoveCharsAndBlanks(str,symbol.input.length);result=AMparseSexpr(str);if(result[0]==null)return[createMmlNode(symbol.tag,document.createTextNode(symbol.output)),str];if(typeof symbol.func=="boolean"&&symbol.func){st=str.charAt(0);if(st=="^"||st=="_"||st=="/"||st=="|"||st==","){return[createMmlNode(symbol.tag,document.createTextNode(symbol.output)),str];}else{node=createMmlNode("mrow",createMmlNode(symbol.tag,document.createTextNode(symbol.output)));node.appendChild(result[0]);return[node,result[1]];}} +AMremoveBrackets(result[0]);if(symbol.input=="sqrt"){return[createMmlNode(symbol.tag,result[0]),result[1]];}else if(typeof symbol.acc=="boolean"&&symbol.acc){node=createMmlNode(symbol.tag,result[0]);node.appendChild(createMmlNode("mo",document.createTextNode(symbol.output)));return[node,result[1]];}else{if(!isIE&&typeof symbol.codes!="undefined"){for(i=0;i64&&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]=createMmlNode("mo").appendChild(document.createTextNode(newst));else result[0].replaceChild(createMmlNode("mo").appendChild(document.createTextNode(newst)),result[0].childNodes[i]);}} +node=createMmlNode(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[createMmlNode("mo",document.createTextNode(symbol.input)),str];AMremoveBrackets(result[0]);var result2=AMparseSexpr(result[1]);if(result2[0]==null)return[createMmlNode("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[createMmlNode(symbol.tag,newFrag),result2[1]];case INFIX:str=AMremoveCharsAndBlanks(str,symbol.input.length);return[createMmlNode("mo",document.createTextNode(symbol.output)),str];case SPACE:str=AMremoveCharsAndBlanks(str,symbol.input.length);node=createMmlNode("mspace");node.setAttribute("width","1ex");newFrag.appendChild(node);newFrag.appendChild(createMmlNode(symbol.tag,document.createTextNode(symbol.output)));node=createMmlNode("mspace");node.setAttribute("width","1ex");newFrag.appendChild(node);return[createMmlNode("mrow",newFrag),str];case LEFTRIGHT: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=="|"){node=createMmlNode("mo",document.createTextNode(symbol.output));node=createMmlNode("mrow",node);node.appendChild(result[0]);return[node,result[1]];}else{node=createMmlNode("mo",document.createTextNode("\u2223"));node=createMmlNode("mrow",node);return[node,str];} +default:str=AMremoveCharsAndBlanks(str,symbol.input.length);return[createMmlNode(symbol.tag,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);result=AMparseSexpr(str);if(result[0]==null) +result[0]=createMmlNode("mo",document.createTextNode("\u25A1"));else AMremoveBrackets(result[0]);str=result[1];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=createMmlNode((underover?"munderover":"msubsup"),node);node.appendChild(result[0]);node.appendChild(res2[0]);node=createMmlNode("mrow",node);}else{node=createMmlNode((underover?"munder":"msub"),node);node.appendChild(result[0]);}}else{node=createMmlNode(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) +result[0]=createMmlNode("mo",document.createTextNode("\u25A1"));else AMremoveBrackets(result[0]);str=result[1];AMremoveBrackets(node);node=createMmlNode(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){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==","){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=[];var matrix=true;var m=newFrag.childNodes.length;for(i=0;matrix&&i1)matrix=pos[i].length==pos[i-2].length;} +if(matrix){var row,frag,n,k,table=document.createDocumentFragment();for(i=0;i2){newFrag.removeChild(newFrag.firstChild);newFrag.removeChild(newFrag.firstChild);} +table.appendChild(createMmlNode("mtr",row));} +node=createMmlNode("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=createMmlNode("mo",document.createTextNode(symbol.output));newFrag.appendChild(node);}} +return[newFrag,str];} +function parseMath(str,latex){var frag,node;AMnestingDepth=0;frag=latex?LMparseExpr(str.replace(/^\s+/g,""),false,false)[0]:AMparseExpr(str.replace(/^\s+/g,""),false)[0];node=createMmlNode("mstyle",frag);node.setAttribute("mathcolor",mathcolor);node.setAttribute("fontfamily",mathfontfamily);node.setAttribute("mathsize",mathfontsize);if(displaystyle)node.setAttribute("displaystyle","true");node=createMmlNode("math",node);if(showasciiformulaonhover) +node.setAttribute("title",str.replace(/\s+/g," "));return node;} +function strarr2docFrag(arr,linebreaks,latex){var newFrag=document.createDocumentFragment();var expr=false;for(var i=0;i,\\|!:;'~]|\\.(?!(?:\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");for(i=0;i1||mtch){if(!noMathML){frg=strarr2docFrag(arr,n.nodeType==8,latex);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",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},{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},{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},{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},{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},{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:"\\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:"\\diamond",tag:"mo",output:"\u22C4",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},{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},{input:"\\exp",tag:"mi",output:"exp",ttype:UNARY,func:true},{input:"\\gcd",tag:"mi",output:"gcd",ttype:UNARY,func:true},{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},{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:"\\implies",tag:"mo",output:"\u21D2",ttype:LONG},{input:"\\Longleftrightarrow",tag:"mo",output:"\u21D4",ttype:LONG},{input:"\\longmapsto",tag:"mo",output:"\u21A6",ttype:CONST},{input:"\\sqrt",tag:"msqrt",output:"sqrt",ttype:UNARY},{input:"\\root",tag:"mroot",output:"root",ttype:BINARY},{input:"\\frac",tag:"mfrac",output:"/",ttype:BINARY},{input:"\\stackrel",tag:"mover",output:"stackrel",ttype:BINARY},{input:"\\atop",tag:"mfrac",output:"",ttype:INFIX},{input:"\\choose",tag:"mfrac",output:"",ttype:INFIX},{input:"_",tag:"msub",output:"_",ttype:INFIX},{input:"^",tag:"msup",output:"^",ttype:INFIX},{input:"\\mathrm",tag:"mtext",output:"text",ttype:TEXT},{input:"\\mbox",tag:"mtext",output:"mbox",ttype:TEXT},{input:"\\acute",tag:"mover",output:"\u00B4",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:"\\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:"\\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:"\\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:AMbbb},{input:"\\mathcal",tag:"mstyle",atname:"mathvariant",atval:"script",ttype:UNARY,codes:AMcal},{input:"\\mathfrak",tag:"mstyle",atname:"mathvariant",atval:"fraktur",ttype:UNARY,codes:AMfrk}];var LMnames=[];function LMremoveCharsAndBlanks(str,n){var st;st=str.slice(n);for(var i=0;i=LMnames[k];} +LMpreviousSymbol=LMcurrentSymbol;if(match!=""){LMcurrentSymbol=LMsymbols[mk].ttype;return LMsymbols[mk];} +LMcurrentSymbol=CONST;k=1;st=str.slice(0,1);if("0"<=st&&st<="9")tagst="mn";else tagst=(("A">st||st>"Z")&&("a">st||st>"z")?"mo":"mi");return{input:st,tag:tagst,output:st,ttype:CONST};} +var LMpreviousSymbol,LMcurrentSymbol;function LMparseSexpr(str){var symbol,node,result,result2,i,st,newFrag=document.createDocumentFragment();str=LMremoveCharsAndBlanks(str,0);symbol=LMgetSymbol(str);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=createMmlNode(symbol.tag);node.setAttribute(symbol.atname,symbol.atval);return[node,str,symbol.tag];case UNDEROVER:if(isIE){if(symbol.input.substr(0,4)=="\\big"){str="\\"+symbol.input.substr(4)+str;symbol=LMgetSymbol(str);symbol.ttype=UNDEROVER;str=LMremoveCharsAndBlanks(str,symbol.input.length);}} +return[createMmlNode(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";else if(symbol.input.substr(0,5)=="\\frac"){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=createMmlNode(symbol.tag,document.createTextNode(output));return[node,str,symbol.tag];case LONG:node=createMmlNode(symbol.tag,document.createTextNode(symbol.output));node.setAttribute("minsize","1.5");node.setAttribute("maxsize","1.5");node=createMmlNode("mover",node);node.appendChild(createMmlNode("mspace"));return[node,str,symbol.tag];case STRETCHY:if(isIE&&symbol.input=="\\backslash") +symbol.output="\\";node=createMmlNode(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);if(symbol.rtag!=null) +return[node,str,symbol.rtag];else +return[node,str,symbol.tag];case BIG: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=createMmlNode(symbol.tag,document.createTextNode(symbol.output));if(isIE){var space=createMmlNode("mspace");space.setAttribute("height",atval+"ex");node=createMmlNode("mrow",node);node.appendChild(space);}else{node.setAttribute("minsize",atval);node.setAttribute("maxsize",atval);} +return[node,str,symbol.tag];case LEFTBRACKET:if(symbol.input=="\\left"){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=createMmlNode("mrow",result[0]);else{node=createMmlNode("mo",document.createTextNode(symbol.output));node=createMmlNode("mrow",node);node.appendChild(result[0]);} +return[node,result[1],result[2]];case MATRIX: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);node=createMmlNode("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];var lspace=createMmlNode("mspace");lspace.setAttribute("width","0.167em");var rspace=createMmlNode("mspace");rspace.setAttribute("width","0.167em");var node1=createMmlNode("mrow",lspace);node1.appendChild(node);node1.appendChild(rspace);return[node1,result[1],null];}else{result=LMparseExpr("{"+str,true,true);node=createMmlNode("mtable",result[0]);if(isIE) +node.setAttribute("columnspacing","0.25em");else +node.setAttribute("columnspacing","0.167em");node.setAttribute("columnalign","right center left");node.setAttribute("displaystyle","true");node=createMmlNode("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=createMmlNode("mspace");node.setAttribute("width","0.33em");newFrag.appendChild(node);} +newFrag.appendChild(createMmlNode(symbol.tag,document.createTextNode(st)));if(st.charAt(st.length-1)==" "){node=createMmlNode("mspace");node.setAttribute("width","0.33em");newFrag.appendChild(node);} +str=LMremoveCharsAndBlanks(str,i+1);return[createMmlNode("mrow",newFrag),str,null];case UNARY:result=LMparseSexpr(str);if(result[0]==null)return[createMmlNode(symbol.tag,document.createTextNode(symbol.output)),str];if(typeof symbol.func=="boolean"&&symbol.func){st=str.charAt(0);if(st=="^"||st=="_"||st==","){return[createMmlNode(symbol.tag,document.createTextNode(symbol.output)),str,symbol.tag];}else{node=createMmlNode("mrow",createMmlNode(symbol.tag,document.createTextNode(symbol.output)));if(isIE){var space=createMmlNode("mspace");space.setAttribute("width","0.167em");node.appendChild(space);} +node.appendChild(result[0]);return[node,result[1],symbol.tag];}} +if(symbol.input=="\\sqrt"){if(isIE){var space=createMmlNode("mspace");space.setAttribute("height","1.2ex");space.setAttribute("width","0em");node=createMmlNode(symbol.tag,result[0]) +node.appendChild(space);return[node,result[1],symbol.tag];}else +return[createMmlNode(symbol.tag,result[0]),result[1],symbol.tag];}else if(typeof symbol.acc=="boolean"&&symbol.acc){node=createMmlNode(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=createMmlNode("mo",document.createTextNode(output));if(symbol.input=="\\vec"||symbol.input=="\\check") +node1.setAttribute("maxsize","1.2");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{if(!isIE&&typeof symbol.codes!="undefined"){for(i=0;i64&&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]=createMmlNode("mo").appendChild(document.createTextNode(newst));else result[0].replaceChild(createMmlNode("mo").appendChild(document.createTextNode(newst)),result[0].childNodes[i]);}} +node=createMmlNode(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[createMmlNode("mo",document.createTextNode(symbol.input)),str,null];result2=LMparseSexpr(result[1]);if(result2[0]==null)return[createMmlNode("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[createMmlNode(symbol.tag,newFrag),result2[1],symbol.tag];case INFIX:str=LMremoveCharsAndBlanks(str,symbol.input.length);return[createMmlNode("mo",document.createTextNode(symbol.output)),str,symbol.tag];default:return[createMmlNode(symbol.tag,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) +result[0]=createMmlNode("mo",document.createTextNode("\u25A1"));str=result[1];tag=result[2];if(symbol.input=="_"||symbol.input=="^"){sym2=LMgetSymbol(str);tag=null;underover=((sym1.ttype==UNDEROVER)||(node.ttype==UNDEROVER));if(symbol.input=="_"&&sym2.input=="^"){str=LMremoveCharsAndBlanks(str,sym2.input.length);var res2=LMparseSexpr(str);str=res2[1];tag=res2[2];node=createMmlNode((underover?"munderover":"msubsup"),node);node.appendChild(result[0]);node.appendChild(res2[0]);}else if(symbol.input=="_"){node=createMmlNode((underover?"munder":"msub"),node);node.appendChild(result[0]);}else{node=createMmlNode((underover?"mover":"msup"),node);node.appendChild(result[0]);} +node=createMmlNode("mrow",node);}else{node=createMmlNode(symbol.tag,node);if(symbol.input=="\\atop"||symbol.input=="\\choose") +node.setAttribute("linethickness","0ex");node.appendChild(result[0]);if(symbol.input=="\\choose") +node=createMmlNode("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){var space=createMmlNode("mspace");space.setAttribute("width","0.167em");node=createMmlNode("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"){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);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=="&"){var pos=[];var m=newFrag.childNodes.length;for(i=0;matrix&&i2){newFrag.removeChild(newFrag.firstChild);newFrag.removeChild(newFrag.firstChild);} +table.appendChild(createMmlNode("mtr",row));} +return[table,str];} +if(typeof symbol.invisible!="boolean"||!symbol.invisible){node=createMmlNode("mo",document.createTextNode(symbol.output));newFrag.appendChild(node);}} +return[newFrag,str,tag];} +var tcnt=0,dcnt=0;function simpleLaTeXformatting(st){st=st.replace(/\$\$((.|\n)*?)\$\$/g,"

$\\displaystyle{$1}$

");st=st.replace(/\\begin{(theorem|lemma|proposition|corollary)}((.|\n)*?)\\end{\1}/g,function(r,s,t){tcnt++;return""+s.charAt(0).toUpperCase()+s.slice(1)+" "+tcnt+". "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+""});st=st.replace(/\\begin{(definition|example|remark|problem|exercise|conjecture|solution)}((.|\n)*?)\\end{\1}/g,function(r,s,t){dcnt++;return""+s.charAt(0).toUpperCase()+s.slice(1)+" "+dcnt+". "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")});st=st.replace(/\\begin{proof}((.|\n)*?)\\end{proof}/g,function(s,t){return"Proof: "+t.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+" □"});st=st.replace(/\\emph{(.*?)}/g,"$1");st=st.replace(/\\textbf{(.*?)}/g,"$1");st=st.replace(/\\cite{(.*?)}/g,"[$1]");st=st.replace(/\\chapter{(.*?)}/g,"

$1

");st=st.replace(/\\section{(.*?)}(\s*<\/?(br|p)\s?\/?>)?/g,"

$1

");st=st.replace(/\\subsection{((.|\n)*?)}/g,"

$1

");st=st.replace(/\\begin{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"
    ");st=st.replace(/\\item\s((.|\n)*?)(?=(\\item|\\end))/g,"
  • $1
    • ");st=st.replace(/\\end{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"
");st=st.replace(/\\begin{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"
    ");st=st.replace(/\\end{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"
");st=st.replace(/\\item\[(.*?)]{(.*?)}/g,"
$1
$2
");st=st.replace(/\\begin{description}/g,"
");st=st.replace(/\\end{description}/g,"
");st=st.replace(/\\newline\b/g,"
");st=st.replace(/\\newpage\b/g,"
");st=st.replace(/\\par\b/g,"

 

");st=st.replace(/\\bigskip/g,"

 

");st=st.replace(/\\medskip/g,"

 

");st=st.replace(/\\smallskip/g,"

 

");st=st.replace(/\\begin{center}((.|\n)*?)\\end{center}/g,"
$1
");return st} +function ASCIIandgraphformatting(st){st=st.replace(/(.*?)<\/sup>(\s|(\S))/gi,"^{$1} $3");st=st.replace(/(Proof:)/g,"$1");st=st.replace(/QED/g,"    □");st=st.replace(/(\\?end{?a?math}?)/ig,"$1");st=st.replace(/(\bamath\b|\\begin{a?math})/ig,"$1");st=st.replace(/([>\n])(Theorem|Lemma|Proposition|Corollary|Definition|Example|Remark|Problem|Exercise|Conjecture|Solution)(:|\W\W?(\w|\s|-|\.)*?\W?:)/g,"$1$2$3");st=st.replace(/
/gi,"\n")+"\'/>
"});st=st.replace(/insertASCIIMathCalculator/g,"
");return st} +function LMprocessNode(n){var frag,st;try{st=n.innerHTML;}catch(err){} +var am=/amath\b|graph/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|wpTextbox1/.test(st)){if(!avoidinnerHTML&&translateLaTeXformatting) +st=simpleLaTeXformatting(st);if(st!=null&&am&&!avoidinnerHTML){st=ASCIIandgraphformatting(st);} +st=st.replace(/%7E/g,"~");if(!avoidinnerHTML)n.innerHTML=st;processNodeR(n,false,true);}} +var checkIfSVGavailable=true;var notifyIfNoSVG=true;var alertIfNoSVG=false;var noSVG=false;var defaultwidth=300;defaultheight=200;var defaultxmin=-5.5;defaultxmax=5.5;var defaultborder=0;border=defaultborder;var defaultstrokewidth="1";var defaultstroke="blue";var defaultstrokeopacity=1;var defaultstrokedasharray=null;var defaultfill="none";var defaultfillopacity=1;var defaultfontstyle="normal";var defaultfontfamily="times";var defaultfontsize="16";var defaultfontweight="normal";var defaultfontstroke="none";var defaultfontfill="none";var defaultmarker="none";var defaultendpoints="";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;var picturepos=null;var xunitlength;var yunitlength;var origin=[0,0];var above="above";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;var isIE=document.createElementNS==null;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){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){var res=1;for(var i=0;i=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;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();}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("width",picture.getAttribute("width"));qnode.setAttribute("height",picture.getAttribute("height"));picturepos=findPos(picture);if(picture.parentNode!=null){picture.parentNode.replaceChild(qnode,picture);}else{svgpicture.parentNode.replaceChild(qnode,svgpicture);} +svgpicture=qnode;doc=document;} +var nd=document.getElementById(picture.getAttribute("id")+"mml");if(nd!=null) +while(nd.childNodes.length>0)nd.removeChild(nd.lastChild);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(" "));node.setAttribute("id","coords");svgpicture.appendChild(node);node=myCreateElementSVG("text");node.appendChild(doc.createTextNode(" "));node.setAttribute("id","coords");svgpicture.appendChild(node);border=defaultborder;}}} +function line(p,q,id,endpts){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")!=-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){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){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,largearc){var node,v;if(id!=null)node=doc.getElementById(id);if(largearc==null)largearc=0;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 "+largearc+",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];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){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){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){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,str=st.toString();if(/(`|\$)/.test(str)){dnode=document.getElementById(svgpicture.getAttribute("name")+"mml");if(dnode!=null){if(id!=null)node=document.getElementById(id);if(node==null){node=createElementXHTML("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(str));if(/`/.test(str))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";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(str));} +while(node.childNodes.length>1)node.removeChild(node.lastChild);node.lastChild.nodeValue="\xA0"+str+"\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:(str.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,fontsz){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",(fontsz!=null?fontsz: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){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){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;function arrowhead(p,q){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);node.setAttribute("fill",stroke);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){axes(dx,dy,null,dx,dy)} +function noaxes(){if(!initialized)initPicture();} +function axes(dx,dy,labels,gdx,gdy){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);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];x0;x=x-gdx) +st+=" M"+x+",0"+" "+x+","+height;for(y=height-origin[1];y0;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;x0;x=x-dx) +st+=" M"+x+","+(height-origin[1]+ticklength)+" "+x+","+ +(height-origin[1]-ticklength);for(y=height-origin[1]+dy;y0;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){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(/([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){if(i==0)return"Error: missing argument";j=i-1;ch=st.charAt(j);if(ch>="0"&&ch<="9"){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==")"){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"){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;} +if(i==st.length-1)return"Error: missing argument";k=i+1;ch=st.charAt(k);if(ch>="0"&&ch<="9"||ch=="-"){k++;while(k="0"&&ch<="9")k++;if(ch=="."){k++;while(k="0"&&ch<="9")k++;}}else if(ch=="("){nested=1;k++;while(k0){ch=st.charAt(k);if(ch=="(")nested++;else if(ch==")")nested--;k++;}}else if(ch>="a"&&ch<="z"||ch>="A"&&ch<="Z"){k++;while(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){if(i==0)return"Error: missing argument";j=i-1;ch=st.charAt(j);if(ch>="0"&&ch<="9"){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==")"){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"){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;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 pth;} +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]);}}} +function show_props(obj){var result="";for(var i=0;i\n\nASCIIMath Scientific Calculator\n\n\nClick in the box to use your keyboard or use the buttons\n\n\n\nResult:     \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\n
";function generic() +{if(!init())return;if(translateOnLoad){var nd=document.getElementById("processasciimathinmoodle");if(nd!=null)dsvglocation=nd.className;if(nd!=null||!checkforprocessasciimathinmoodle){translate();if(!noSVG&&translateASCIIsvg)drawPictures();} +var li=getElementsByClass(document,"div","ASCIIMathCalculator");if(!noMathML&&li.length>0)initASCIIMathCalculators(li);}};if(typeof window.addEventListener!='undefined') +{window.addEventListener('load',generic,false);} +else if(typeof document.addEventListener!='undefined') +{document.addEventListener('load',generic,false);} +else if(typeof window.attachEvent!='undefined') +{window.attachEvent('onload',generic);} +else +{if(typeof window.onload=='function') +{var existing=onload;window.onload=function() +{existing();generic();};} +else +{window.onload=generic;}} diff --git a/data/headers/ConTeXt.header b/data/headers/ConTeXt.header new file mode 100644 index 000000000..d19b41c45 --- /dev/null +++ b/data/headers/ConTeXt.header @@ -0,0 +1,70 @@ +\enableregime[utf] % use UTF-8 + +\setupcolors[state=start] +\setupinteraction[state=start, color=middleblue] % needed for hyperlinks + +\setuppapersize[letter][letter] % use letter paper +\setuplayout[width=middle, backspace=1.5in, cutspace=1.5in, + height=middle, header=0.75in, footer=0.75in] % page layout +\setuppagenumbering[location={footer,center}] % number pages +\setupbodyfont[11pt] % 11pt font +\setupwhitespace[medium] % inter-paragraph spacing + +\setuphead[section][style=\tfc] +\setuphead[subsection][style=\tfb] +\setuphead[subsubsection][style=\bf] + +% define title block commands +\unprotect +\def\doctitle#1{\gdef\@title{#1}} +\def\author#1{\gdef\@author{#1}} +\def\date#1{\gdef\@date{#1}} +\date{\currentdate} % Default to today unless specified otherwise. +\def\maketitle{% + \startalignment[center] + \blank[2*big] + {\tfd \@title} + \blank[3*medium] + {\tfa \@author} + \blank[2*medium] + {\tfa \@date} + \blank[3*medium] + \stopalignment} +\protect + +% define descr (for definition lists) +\definedescription[descr][ + headstyle=bold,style=normal,align=left,location=hanging, + width=broad,margin=1cm] + +% prevent orphaned list intros +\setupitemize[autointro] + +% define defaults for bulleted lists +\setupitemize[1][symbol=1][indentnext=no] +\setupitemize[2][symbol=2][indentnext=no] +\setupitemize[3][symbol=3][indentnext=no] +\setupitemize[4][symbol=4][indentnext=no] + +\setupthinrules[width=15em] % width of horizontal rules + +% for block quotations +\unprotect + +\startvariables all +blockquote: blockquote +\stopvariables + +\definedelimitedtext +[\v!blockquote][\v!quotation] + +\setupdelimitedtext +[\v!blockquote] +[\c!left=, +\c!right=, +before={\blank[medium]}, +after={\blank[medium]}, +] + +\protect + diff --git a/data/headers/Docbook.header b/data/headers/Docbook.header new file mode 100644 index 000000000..7b26b2c73 --- /dev/null +++ b/data/headers/Docbook.header @@ -0,0 +1,3 @@ + + diff --git a/data/headers/LaTeX.header b/data/headers/LaTeX.header new file mode 100644 index 000000000..a6729cf2d --- /dev/null +++ b/data/headers/LaTeX.header @@ -0,0 +1,6 @@ +\documentclass{article} +\usepackage{amsmath} +\usepackage[mathletters]{ucs} +\usepackage[utf8x]{inputenc} +\setlength{\parindent}{0pt} +\setlength{\parskip}{6pt plus 2pt minus 1pt} diff --git a/data/headers/OpenDocument.header b/data/headers/OpenDocument.header new file mode 100644 index 000000000..17ed4fd9f --- /dev/null +++ b/data/headers/OpenDocument.header @@ -0,0 +1 @@ + diff --git a/data/headers/RTF.header b/data/headers/RTF.header new file mode 100644 index 000000000..b4368694b --- /dev/null +++ b/data/headers/RTF.header @@ -0,0 +1,4 @@ +{\rtf1\ansi\deff0{\fonttbl{\f0 \fswiss Helvetica;}{\f1 Courier;}} +{\colortbl;\red255\green0\blue0;\red0\green0\blue255;} +\widowctrl\hyphauto + diff --git a/data/headers/S5.header b/data/headers/S5.header new file mode 100644 index 000000000..ebb24ebe2 --- /dev/null +++ b/data/headers/S5.header @@ -0,0 +1,3 @@ + + + diff --git a/data/ui/default/blank.gif b/data/ui/default/blank.gif new file mode 100644 index 000000000..75b945d25 Binary files /dev/null and b/data/ui/default/blank.gif differ diff --git a/data/ui/default/bodybg.gif b/data/ui/default/bodybg.gif new file mode 100644 index 000000000..5f448a16f Binary files /dev/null and b/data/ui/default/bodybg.gif differ diff --git a/data/ui/default/framing.css b/data/ui/default/framing.css new file mode 100644 index 000000000..14d8509e9 --- /dev/null +++ b/data/ui/default/framing.css @@ -0,0 +1,23 @@ +/* The following styles size, place, and layer the slide components. + Edit these if you want to change the overall slide layout. + The commented lines can be uncommented (and modified, if necessary) + to help you with the rearrangement process. */ + +/* target = 1024x768 */ + +div#header, div#footer, .slide {width: 100%; top: 0; left: 0;} +div#header {top: 0; height: 3em; z-index: 1;} +div#footer {top: auto; bottom: 0; height: 2.5em; z-index: 5;} +.slide {top: 0; width: 92%; padding: 3.5em 4% 4%; z-index: 2; list-style: none;} +div#controls {left: 50%; bottom: 0; width: 50%; z-index: 100;} +div#controls form {position: absolute; bottom: 0; right: 0; width: 100%; + margin: 0;} +#currentSlide {position: absolute; width: 10%; left: 45%; bottom: 1em; z-index: 10;} +html>body #currentSlide {position: fixed;} + +/* +div#header {background: #FCC;} +div#footer {background: #CCF;} +div#controls {background: #BBD;} +div#currentSlide {background: #FFC;} +*/ diff --git a/data/ui/default/iepngfix.htc b/data/ui/default/iepngfix.htc new file mode 100644 index 000000000..bba2db756 --- /dev/null +++ b/data/ui/default/iepngfix.htc @@ -0,0 +1,42 @@ + + + + + \ No newline at end of file diff --git a/data/ui/default/opera.css b/data/ui/default/opera.css new file mode 100644 index 000000000..9e9d2a3c5 --- /dev/null +++ b/data/ui/default/opera.css @@ -0,0 +1,7 @@ +/* DO NOT CHANGE THESE unless you really want to break Opera Show */ +.slide { + visibility: visible !important; + position: static !important; + page-break-before: always; +} +#slide0 {page-break-before: avoid;} diff --git a/data/ui/default/outline.css b/data/ui/default/outline.css new file mode 100644 index 000000000..62db519ed --- /dev/null +++ b/data/ui/default/outline.css @@ -0,0 +1,15 @@ +/* don't change this unless you want the layout stuff to show up in the outline view! */ + +.layout div, #footer *, #controlForm * {display: none;} +#footer, #controls, #controlForm, #navLinks, #toggle { + display: block; visibility: visible; margin: 0; padding: 0;} +#toggle {float: right; padding: 0.5em;} +html>body #toggle {position: fixed; top: 0; right: 0;} + +/* making the outline look pretty-ish */ + +#slide0 h1, #slide0 h2, #slide0 h3, #slide0 h4 {border: none; margin: 0;} +#slide0 h1 {padding-top: 1.5em;} +.slide h1 {margin: 1.5em 0 0; padding-top: 0.25em; + border-top: 1px solid #888; border-bottom: 1px solid #AAA;} +#toggle {border: 1px solid; border-width: 0 0 1px 1px; background: #FFF;} diff --git a/data/ui/default/pretty.css b/data/ui/default/pretty.css new file mode 100644 index 000000000..a87b24375 --- /dev/null +++ b/data/ui/default/pretty.css @@ -0,0 +1,86 @@ +/* Following are the presentation styles -- edit away! */ + +body {background: #FFF url(bodybg.gif) -16px 0 no-repeat; color: #000; font-size: 2em;} +:link, :visited {text-decoration: none; color: #00C;} +#controls :active {color: #88A !important;} +#controls :focus {outline: 1px dotted #227;} +h1, h2, h3, h4 {font-size: 100%; margin: 0; padding: 0; font-weight: inherit;} +ul, pre {margin: 0; line-height: 1em;} +html, body {margin: 0; padding: 0;} + +blockquote, q {font-style: italic;} +blockquote {padding: 0 2em 0.5em; margin: 0 1.5em 0.5em; text-align: center; font-size: 1em;} +blockquote p {margin: 0;} +blockquote i {font-style: normal;} +blockquote b {display: block; margin-top: 0.5em; font-weight: normal; font-size: smaller; font-style: normal;} +blockquote b i {font-style: italic;} + +kbd {font-weight: bold; font-size: 1em;} +sup {font-size: smaller; line-height: 1px;} + +.slide code {padding: 2px 0.25em; font-weight: bold; color: #533;} +.slide code.bad, code del {color: red;} +.slide code.old {color: silver;} +.slide pre {padding: 0; margin: 0.25em 0 0.5em 0.5em; color: #533; font-size: 90%;} +.slide pre code {display: block;} +.slide ul {margin-left: 5%; margin-right: 7%; list-style: disc;} +.slide li {margin-top: 0.75em; margin-right: 0;} +.slide ul ul {line-height: 1;} +.slide ul ul li {margin: .2em; font-size: 85%; list-style: square;} +.slide img.leader {display: block; margin: 0 auto;} + +div#header, div#footer {background: #005; color: #AAB; + font-family: Verdana, Helvetica, sans-serif;} +div#header {background: #005 url(bodybg.gif) -16px 0 no-repeat; + line-height: 1px;} +div#footer {font-size: 0.5em; font-weight: bold; padding: 1em 0;} +#footer h1, #footer h2 {display: block; padding: 0 1em;} +#footer h2 {font-style: italic;} + +div.long {font-size: 0.75em;} +.slide h1 {position: absolute; top: 0.7em; left: 87px; z-index: 1; + margin: 0; padding: 0.3em 0 0 50px; white-space: nowrap; + font: bold 150%/1em Helvetica, sans-serif; text-transform: capitalize; + color: #DDE; background: #005;} +.slide h3 {font-size: 130%;} +h1 abbr {font-variant: small-caps;} + +div#controls {position: absolute; left: 50%; bottom: 0; + width: 50%; + text-align: right; font: bold 0.9em Verdana, Helvetica, sans-serif;} +html>body div#controls {position: fixed; padding: 0 0 1em 0; + top: auto;} +div#controls form {position: absolute; bottom: 0; right: 0; width: 100%; + margin: 0; padding: 0;} +#controls #navLinks a {padding: 0; margin: 0 0.5em; + background: #005; border: none; color: #779; + cursor: pointer;} +#controls #navList {height: 1em;} +#controls #navList #jumplist {position: absolute; bottom: 0; right: 0; background: #DDD; color: #227;} + +#currentSlide {text-align: center; font-size: 0.5em; color: #449;} + +#slide0 {padding-top: 3.5em; font-size: 90%;} +#slide0 h1 {position: static; margin: 1em 0 0; padding: 0; + font: bold 2em Helvetica, sans-serif; white-space: normal; + color: #000; background: transparent;} +#slide0 h2 {font: bold italic 1em Helvetica, sans-serif; margin: 0.25em;} +#slide0 h3 {margin-top: 1.5em; font-size: 1.5em;} +#slide0 h4 {margin-top: 0; font-size: 1em;} + +ul.urls {list-style: none; display: inline; margin: 0;} +.urls li {display: inline; margin: 0;} +.note {display: none;} +.external {border-bottom: 1px dotted gray;} +html>body .external {border-bottom: none;} +.external:after {content: " \274F"; font-size: smaller; color: #77B;} + +.incremental, .incremental *, .incremental *:after {color: #DDE; visibility: visible;} +img.incremental {visibility: hidden;} +.slide .current {color: #B02;} + + +/* diagnostics + +li:after {content: " [" attr(class) "]"; color: #F88;} +*/ diff --git a/data/ui/default/print.css b/data/ui/default/print.css new file mode 100644 index 000000000..4a3554ddd --- /dev/null +++ b/data/ui/default/print.css @@ -0,0 +1,24 @@ +/* The following rule is necessary to have all slides appear in print! DO NOT REMOVE IT! */ +.slide, ul {page-break-inside: avoid; visibility: visible !important;} +h1 {page-break-after: avoid;} + +body {font-size: 12pt; background: white;} +* {color: black;} + +#slide0 h1 {font-size: 200%; border: none; margin: 0.5em 0 0.25em;} +#slide0 h3 {margin: 0; padding: 0;} +#slide0 h4 {margin: 0 0 0.5em; padding: 0;} +#slide0 {margin-bottom: 3em;} + +h1 {border-top: 2pt solid gray; border-bottom: 1px dotted silver;} +.extra {background: transparent !important;} +div.extra, pre.extra, .example {font-size: 10pt; color: #333;} +ul.extra a {font-weight: bold;} +p.example {display: none;} + +#header {display: none;} +#footer h1 {margin: 0; border-bottom: 1px solid; color: gray; font-style: italic;} +#footer h2, #controls {display: none;} + +/* The following rule keeps the layout stuff out of print. Remove at your own risk! */ +.layout, .layout * {display: none !important;} diff --git a/data/ui/default/s5-core.css b/data/ui/default/s5-core.css new file mode 100644 index 000000000..86444e041 --- /dev/null +++ b/data/ui/default/s5-core.css @@ -0,0 +1,9 @@ +/* Do not edit or override these styles! The system will likely break if you do. */ + +div#header, div#footer, div#controls, .slide {position: absolute;} +html>body div#header, html>body div#footer, + html>body div#controls, html>body .slide {position: fixed;} +.handout {display: none;} +.layout {display: block;} +.slide, .hideme, .incremental {visibility: hidden;} +#slide0 {visibility: visible;} diff --git a/data/ui/default/slides.css b/data/ui/default/slides.css new file mode 100644 index 000000000..0786d7dbd --- /dev/null +++ b/data/ui/default/slides.css @@ -0,0 +1,3 @@ +@import url(s5-core.css); /* required to make the slide show run at all */ +@import url(framing.css); /* sets basic placement and size of slide components */ +@import url(pretty.css); /* stuff that makes the slides look better than blah */ \ No newline at end of file diff --git a/data/ui/default/slides.js b/data/ui/default/slides.js new file mode 100644 index 000000000..38fe8531c --- /dev/null +++ b/data/ui/default/slides.js @@ -0,0 +1,553 @@ +// S5 v1.1 slides.js -- released into the Public Domain +// +// Please see http://www.meyerweb.com/eric/tools/s5/credits.html for information +// about all the wonderful and talented contributors to this code! + +var undef; +var slideCSS = ''; +var snum = 0; +var smax = 1; +var incpos = 0; +var number = undef; +var s5mode = true; +var defaultView = 'slideshow'; +var controlVis = 'visible'; + +var isIE = navigator.appName == 'Microsoft Internet Explorer' && navigator.userAgent.indexOf('Opera') < 1 ? 1 : 0; +var isOp = navigator.userAgent.indexOf('Opera') > -1 ? 1 : 0; +var isGe = navigator.userAgent.indexOf('Gecko') > -1 && navigator.userAgent.indexOf('Safari') < 1 ? 1 : 0; + +function hasClass(object, className) { + if (!object.className) return false; + return (object.className.search('(^|\\s)' + className + '(\\s|$)') != -1); +} + +function hasValue(object, value) { + if (!object) return false; + return (object.search('(^|\\s)' + value + '(\\s|$)') != -1); +} + +function removeClass(object,className) { + if (!object) return; + object.className = object.className.replace(new RegExp('(^|\\s)'+className+'(\\s|$)'), RegExp.$1+RegExp.$2); +} + +function addClass(object,className) { + if (!object || hasClass(object, className)) return; + if (object.className) { + object.className += ' '+className; + } else { + object.className = className; + } +} + +function GetElementsWithClassName(elementName,className) { + var allElements = document.getElementsByTagName(elementName); + var elemColl = new Array(); + for (var i = 0; i< allElements.length; i++) { + if (hasClass(allElements[i], className)) { + elemColl[elemColl.length] = allElements[i]; + } + } + return elemColl; +} + +function isParentOrSelf(element, id) { + if (element == null || element.nodeName=='BODY') return false; + else if (element.id == id) return true; + else return isParentOrSelf(element.parentNode, id); +} + +function nodeValue(node) { + var result = ""; + if (node.nodeType == 1) { + var children = node.childNodes; + for (var i = 0; i < children.length; ++i) { + result += nodeValue(children[i]); + } + } + else if (node.nodeType == 3) { + result = node.nodeValue; + } + return(result); +} + +function slideLabel() { + var slideColl = GetElementsWithClassName('*','slide'); + var list = document.getElementById('jumplist'); + smax = slideColl.length; + for (var n = 0; n < smax; n++) { + var obj = slideColl[n]; + + var did = 'slide' + n.toString(); + obj.setAttribute('id',did); + if (isOp) continue; + + var otext = ''; + var menu = obj.firstChild; + if (!menu) continue; // to cope with empty slides + while (menu && menu.nodeType == 3) { + menu = menu.nextSibling; + } + if (!menu) continue; // to cope with slides with only text nodes + + var menunodes = menu.childNodes; + for (var o = 0; o < menunodes.length; o++) { + otext += nodeValue(menunodes[o]); + } + list.options[list.length] = new Option(n + ' : ' + otext, n); + } +} + +function currentSlide() { + var cs; + if (document.getElementById) { + cs = document.getElementById('currentSlide'); + } else { + cs = document.currentSlide; + } + cs.innerHTML = '' + snum + '<\/span> ' + + '\/<\/span> ' + + '' + (smax-1) + '<\/span>'; + if (snum == 0) { + cs.style.visibility = 'hidden'; + } else { + cs.style.visibility = 'visible'; + } +} + +function go(step) { + if (document.getElementById('slideProj').disabled || step == 0) return; + var jl = document.getElementById('jumplist'); + var cid = 'slide' + snum; + var ce = document.getElementById(cid); + if (incrementals[snum].length > 0) { + for (var i = 0; i < incrementals[snum].length; i++) { + removeClass(incrementals[snum][i], 'current'); + removeClass(incrementals[snum][i], 'incremental'); + } + } + if (step != 'j') { + snum += step; + lmax = smax - 1; + if (snum > lmax) snum = lmax; + if (snum < 0) snum = 0; + } else + snum = parseInt(jl.value); + var nid = 'slide' + snum; + var ne = document.getElementById(nid); + if (!ne) { + ne = document.getElementById('slide0'); + snum = 0; + } + if (step < 0) {incpos = incrementals[snum].length} else {incpos = 0;} + if (incrementals[snum].length > 0 && incpos == 0) { + for (var i = 0; i < incrementals[snum].length; i++) { + if (hasClass(incrementals[snum][i], 'current')) + incpos = i + 1; + else + addClass(incrementals[snum][i], 'incremental'); + } + } + if (incrementals[snum].length > 0 && incpos > 0) + addClass(incrementals[snum][incpos - 1], 'current'); + ce.style.visibility = 'hidden'; + ne.style.visibility = 'visible'; + jl.selectedIndex = snum; + currentSlide(); + number = 0; +} + +function goTo(target) { + if (target >= smax || target == snum) return; + go(target - snum); +} + +function subgo(step) { + if (step > 0) { + removeClass(incrementals[snum][incpos - 1],'current'); + removeClass(incrementals[snum][incpos], 'incremental'); + addClass(incrementals[snum][incpos],'current'); + incpos++; + } else { + incpos--; + removeClass(incrementals[snum][incpos],'current'); + addClass(incrementals[snum][incpos], 'incremental'); + addClass(incrementals[snum][incpos - 1],'current'); + } +} + +function toggle() { + var slideColl = GetElementsWithClassName('*','slide'); + var slides = document.getElementById('slideProj'); + var outline = document.getElementById('outlineStyle'); + if (!slides.disabled) { + slides.disabled = true; + outline.disabled = false; + s5mode = false; + fontSize('1em'); + for (var n = 0; n < smax; n++) { + var slide = slideColl[n]; + slide.style.visibility = 'visible'; + } + } else { + slides.disabled = false; + outline.disabled = true; + s5mode = true; + fontScale(); + for (var n = 0; n < smax; n++) { + var slide = slideColl[n]; + slide.style.visibility = 'hidden'; + } + slideColl[snum].style.visibility = 'visible'; + } +} + +function showHide(action) { + var obj = GetElementsWithClassName('*','hideme')[0]; + switch (action) { + case 's': obj.style.visibility = 'visible'; break; + case 'h': obj.style.visibility = 'hidden'; break; + case 'k': + if (obj.style.visibility != 'visible') { + obj.style.visibility = 'visible'; + } else { + obj.style.visibility = 'hidden'; + } + break; + } +} + +// 'keys' code adapted from MozPoint (http://mozpoint.mozdev.org/) +function keys(key) { + if (!key) { + key = event; + key.which = key.keyCode; + } + if (key.which == 84) { + toggle(); + return; + } + if (s5mode) { + switch (key.which) { + case 10: // return + case 13: // enter + if (window.event && isParentOrSelf(window.event.srcElement, 'controls')) return; + if (key.target && isParentOrSelf(key.target, 'controls')) return; + if(number != undef) { + goTo(number); + break; + } + case 32: // spacebar + case 34: // page down + case 39: // rightkey + case 40: // downkey + if(number != undef) { + go(number); + } else if (!incrementals[snum] || incpos >= incrementals[snum].length) { + go(1); + } else { + subgo(1); + } + break; + case 33: // page up + case 37: // leftkey + case 38: // upkey + if(number != undef) { + go(-1 * number); + } else if (!incrementals[snum] || incpos <= 0) { + go(-1); + } else { + subgo(-1); + } + break; + case 36: // home + goTo(0); + break; + case 35: // end + goTo(smax-1); + break; + case 67: // c + showHide('k'); + break; + } + if (key.which < 48 || key.which > 57) { + number = undef; + } else { + if (window.event && isParentOrSelf(window.event.srcElement, 'controls')) return; + if (key.target && isParentOrSelf(key.target, 'controls')) return; + number = (((number != undef) ? number : 0) * 10) + (key.which - 48); + } + } + return false; +} + +function clicker(e) { + number = undef; + var target; + if (window.event) { + target = window.event.srcElement; + e = window.event; + } else target = e.target; + if (target.getAttribute('href') != null || hasValue(target.rel, 'external') || isParentOrSelf(target, 'controls') || isParentOrSelf(target,'embed') || isParentOrSelf(target,'object')) return true; + if (!e.which || e.which == 1) { + if (!incrementals[snum] || incpos >= incrementals[snum].length) { + go(1); + } else { + subgo(1); + } + } +} + +function findSlide(hash) { + var target = null; + var slides = GetElementsWithClassName('*','slide'); + for (var i = 0; i < slides.length; i++) { + var targetSlide = slides[i]; + if ( (targetSlide.name && targetSlide.name == hash) + || (targetSlide.id && targetSlide.id == hash) ) { + target = targetSlide; + break; + } + } + while(target != null && target.nodeName != 'BODY') { + if (hasClass(target, 'slide')) { + return parseInt(target.id.slice(5)); + } + target = target.parentNode; + } + return null; +} + +function slideJump() { + if (window.location.hash == null) return; + var sregex = /^#slide(\d+)$/; + var matches = sregex.exec(window.location.hash); + var dest = null; + if (matches != null) { + dest = parseInt(matches[1]); + } else { + dest = findSlide(window.location.hash.slice(1)); + } + if (dest != null) + go(dest - snum); +} + +function fixLinks() { + var thisUri = window.location.href; + thisUri = thisUri.slice(0, thisUri.length - window.location.hash.length); + var aelements = document.getElementsByTagName('A'); + for (var i = 0; i < aelements.length; i++) { + var a = aelements[i].href; + var slideID = a.match('\#slide[0-9]{1,2}'); + if ((slideID) && (slideID[0].slice(0,1) == '#')) { + var dest = findSlide(slideID[0].slice(1)); + if (dest != null) { + if (aelements[i].addEventListener) { + aelements[i].addEventListener("click", new Function("e", + "if (document.getElementById('slideProj').disabled) return;" + + "go("+dest+" - snum); " + + "if (e.preventDefault) e.preventDefault();"), true); + } else if (aelements[i].attachEvent) { + aelements[i].attachEvent("onclick", new Function("", + "if (document.getElementById('slideProj').disabled) return;" + + "go("+dest+" - snum); " + + "event.returnValue = false;")); + } + } + } + } +} + +function externalLinks() { + if (!document.getElementsByTagName) return; + var anchors = document.getElementsByTagName('a'); + for (var i=0; i' + + '