/* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */
/* vim: set ts=2 et sw=2 tw=80: */
/*************************************************************
*
* MathJax/jax/output/CommonHTML/jax.js
*
* Implements the CommonHTML OutputJax that displays mathematics
* using HTML and CSS to position the characters from math fonts
* in their proper locations. Unlike the HTML-CSS output jax,
* this HTML is browswer and OS independent.
*
* ---------------------------------------------------------------------
*
* Copyright (c) 2013-2015 The MathJax Consortium
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
(function (AJAX,HUB,HTML,CHTML) {
var MML;
var EVENT, TOUCH, HOVER; // filled in later
var SCRIPTFACTOR = Math.sqrt(1/2),
AXISHEIGHT = .25,
HFUZZ = .05, DFUZZ = 0; // adjustments to bounding box of character boxes
var STYLES = {
".MathJax_CHTML_Display": {
"display": "block",
"text-align": "center",
"margin": "1em 0"
},
"mjx-math": {
"display": "inline-block",
"line-height": 0,
"text-indent": 0,
"white-space": "nowrap",
"border-collapse":"collapse"
},
"mjx-math *": {display:"inline-block", "text-align":"left"},
"mjx-numerator": {display:"block", "text-align":"center"},
"mjx-denominator": {display:"block", "text-align":"center"},
".MJXc-fpad": {"padding-left":".1em", "padding-right":".1em"},
"mjx-stack": {display:"inline-block"},
"mjx-op": {display:"block"},
"mjx-under": {display:"table-cell"},
"mjx-over": {display:"block"},
"mjx-stack > mjx-sup": {display:"block"},
"mjx-stack > mjx-sub": {display:"block"},
"mjx-delim-v > mjx-char": {transform:"scale(1)"}, // for Firefox to get horizontal alignment better
"mjx-delim-h": {display:"block"},
"mjx-delim-h > mjx-char": {
transform:"scale(1)",
display:"inline-block",
"vertical-align":"top"
},
"mjx-surd": {"vertical-align":"top!important"},
"mjx-mphantom": {visibility:"hidden"},
"mjx-merror": {
"background-color":"#FFFF88",
color: "#CC0000",
border: "1px solid #CC0000",
padding: "2px 3px",
"font-style": "normal",
"font-size": "90%"
},
"mjx-box": {display:"inline-block"},
"mjx-block": {display:"block"},
"mjx-char": {display:"block"},
"mjx-itable": {display:"inline-table"},
"mjx-row": {display:"table-row"},
"mjx-cell": {display:"table-cell"},
"mjx-table": {display:"table", width:"100%"},
"mjx-line": {display:"block", width:"100%", "border-top":"0 solid"},
".MJXc-script": {"font-size":SCRIPTFACTOR+"em"},
/*********************************/
".MJXc-mtable": {"vertical-align":AXISHEIGHT+"em", "margin":"0 .125em"},
".MJXc-mtable > span": {"display":"inline-table!important", "vertical-align":"middle"},
".MJXc-mtr": {"display":"table-row!important"},
".MJXc-mtd": {"display":"table-cell!important", "text-align":"center", "padding":".5em 0 0 .5em"},
".MJXc-mtr > .MJXc-mtd:first-child": {"padding-left":0},
".MJXc-mtr:first-child > .MJXc-mtd": {"padding-top":0},
".MJXc-mlabeledtr": {"display":"table-row!important"},
".MJXc-mlabeledtr > .MJXc-mtd:first-child": {"padding-left":0},
".MJXc-mlabeledtr:first-child > .MJXc-mtd": {"padding-top":0}
};
/************************************************************/
var BIGDIMEN = 1000000;
var V = "V", H = "H";
CHTML.Augment({
settings: HUB.config.menuSettings,
config: {styles: STYLES},
/********************************************/
Config: function () {
if (!this.require) {this.require = []}
this.SUPER(arguments).Config.call(this); var settings = this.settings;
if (settings.scale) {this.config.scale = settings.scale}
this.require.push(this.fontDir+"/TeX/fontdata.js");
this.require.push(MathJax.OutputJax.extensionDir+"/MathEvents.js");
},
Startup: function () {
//
// Set up event handling
//
EVENT = MathJax.Extension.MathEvents.Event;
TOUCH = MathJax.Extension.MathEvents.Touch;
HOVER = MathJax.Extension.MathEvents.Hover;
this.ContextMenu = EVENT.ContextMenu;
this.Mousedown = EVENT.AltContextMenu;
this.Mouseover = HOVER.Mouseover;
this.Mouseout = HOVER.Mouseout;
this.Mousemove = HOVER.Mousemove;
//
// Determine pixels per inch
//
var div = HTML.addElement(document.body,"div",{style:{width:"5in"}});
this.pxPerInch = div.offsetWidth/5; div.parentNode.removeChild(div);
//
// Set up styles and preload web fonts
//
return AJAX.Styles(this.config.styles,["InitializeCHTML",this]);
},
InitializeCHTML: function () {
},
/********************************************/
preTranslate: function (state) {
var scripts = state.jax[this.id], i, m = scripts.length,
script, prev, span, div, jax;
//
// Loop through the scripts
//
for (i = 0; i < m; i++) {
script = scripts[i]; if (!script.parentNode) continue;
//
// Remove any existing output
//
prev = script.previousSibling;
if (prev && String(prev.className).match(/^MathJax_CHTML(_Display)?( MathJax_Processing)?$/))
{prev.parentNode.removeChild(prev)}
//
// Add the span, and a div if in display mode,
// then set the role and mark it as being processed
//
jax = script.MathJax.elementJax; if (!jax) continue;
jax.CHTML = {display: (jax.root.Get("display") === "block")}
span = div = HTML.Element("span",{
className:"MathJax_CHTML", id:jax.inputID+"-Frame", isMathJax:true, jaxID:this.id,
oncontextmenu:EVENT.Menu, onmousedown: EVENT.Mousedown,
onmouseover:EVENT.Mouseover, onmouseout:EVENT.Mouseout, onmousemove:EVENT.Mousemove,
onclick:EVENT.Click, ondblclick:EVENT.DblClick
});
if (HUB.Browser.noContextMenu) {
span.ontouchstart = TOUCH.start;
span.ontouchend = TOUCH.end;
}
if (jax.CHTML.display) {
div = HTML.Element("div",{className:"MathJax_CHTML_Display"});
div.appendChild(span);
}
//
div.className += " MathJax_Processing";
script.parentNode.insertBefore(div,script);
}
/*
* state.CHTMLeqn = state.CHTMLlast = 0; state.CHTMLi = -1;
* state.CHTMLchunk = this.config.EqnChunk;
* state.CHTMLdelay = false;
*/
},
/********************************************/
Translate: function (script,state) {
if (!script.parentNode) return;
/*
* //
* // If we are supposed to do a chunk delay, do it
* //
* if (state.CHTMLdelay) {
* state.CHTMLdelay = false;
* HUB.RestartAfter(MathJax.Callback.Delay(this.config.EqnChunkDelay));
* }
*/
//
// Get the data about the math
//
var jax = script.MathJax.elementJax, math = jax.root,
span = document.getElementById(jax.inputID+"-Frame"),
div = (jax.CHTML.display ? span.parentNode : span);
//
// Typeset the math
//
this.initCHTML(math,span);
math.setTeXclass();
try {math.toCommonHTML(span)} catch (err) {
while (span.firstChild) span.removeChild(span.firstChild);
throw err;
}
//
// Put it in place, and remove the processing marker
//
div.className = div.className.split(/ /)[0];
//
// Check if we are hiding the math until more is processed
//
if (this.hideProcessedMath) {
//
// Hide the math and don't let its preview be removed
//
div.className += " MathJax_Processed";
if (script.MathJax.preview) {
jax.CHTML.preview = script.MathJax.preview;
delete script.MathJax.preview;
}
/*
* //
* // Check if we should show this chunk of equations
* //
* state.CHTMLeqn += (state.i - state.CHTMLi); state.CHTMLi = state.i;
* if (state.CHTMLeqn >= state.CHTMLlast + state.CHTMLchunk) {
* this.postTranslate(state);
* state.CHTMLchunk = Math.floor(state.CHTMLchunk*this.config.EqnChunkFactor);
* state.CHTMLdelay = true; // delay if there are more scripts
* }
*/
}
},
initCHTML: function (math,span) {},
/********************************************/
postTranslate: function (state) {
var scripts = state.jax[this.id];
if (!this.hideProcessedMath) return;
for (var i = 0, m = scripts.length; i < m; i++) {
var script = scripts[i];
if (script && script.MathJax.elementJax) {
//
// Remove the processed marker
//
script.previousSibling.className = script.previousSibling.className.split(/ /)[0];
var data = script.MathJax.elementJax.CHTML;
//
// Remove the preview, if any
//
if (data.preview) {
data.preview.innerHTML = "";
script.MathJax.preview = data.preview;
delete data.preview;
}
}
}
/*
* //
* // Reveal this chunk of math
* //
* for (var i = state.CHTMLlast, m = state.CHTMLeqn; i < m; i++) {
* var script = scripts[i];
* if (script && script.MathJax.elementJax) {
* //
* // Remove the processed marker
* //
* script.previousSibling.className = script.previousSibling.className.split(/ /)[0];
* var data = script.MathJax.elementJax.CHTML;
* //
* // Remove the preview, if any
* //
* if (data.preview) {
* data.preview.innerHTML = "";
* script.MathJax.preview = data.preview;
* delete data.preview;
* }
* }
* }
* //
* // Save our place so we know what is revealed
* //
* state.CHTMLlast = state.CHTMLeqn;
*/
},
/********************************************/
getJaxFromMath: function (math) {
if (math.parentNode.className === "MathJax_CHTML_Display") {math = math.parentNode}
do {math = math.nextSibling} while (math && math.nodeName.toLowerCase() !== "script");
return HUB.getJaxFor(math);
},
getHoverSpan: function (jax,math) {return jax.root.CHTMLnodeElement()},
getHoverBBox: function (jax,span,math) {
// var bbox = span.CHTML, em = jax.CHTML.outerEm;
// var BBOX = {w:bbox.w*em, h:bbox.h*em, d:bbox.d*em};
// if (bbox.width) {BBOX.width = bbox.width}
return BBOX;
},
Zoom: function (jax,span,math,Mw,Mh) {
//
// Re-render at larger size
//
span.className = "MathJax";
this.idPostfix = "-zoom"; jax.root.toCommonHTML(span,span); this.idPostfix = "";
//
// Get height and width of zoomed math and original math
//
span.style.position = "absolute";
var zW = span.offsetWidth, zH = span.offsetHeight,
mH = math.offsetHeight, mW = math.offsetWidth;
if (mW === 0) {mW = math.parentNode.offsetWidth}; // IE7 gets mW == 0?
span.style.position = math.style.position = "";
//
return {Y:-EVENT.getBBox(span).h, mW:mW, mH:mH, zW:zW, zH:zH};
},
Remove: function (jax) {
var span = document.getElementById(jax.inputID+"-Frame");
if (span) {
if (jax.CHTML.display) {span = span.parentNode}
span.parentNode.removeChild(span);
}
delete jax.CHTML;
},
/********************************************/
ID: 0, idPostfix: "",
GetID: function () {this.ID++; return this.ID},
MATHSPACE: {
veryverythinmathspace: 1/18,
verythinmathspace: 2/18,
thinmathspace: 3/18,
mediummathspace: 4/18,
thickmathspace: 5/18,
verythickmathspace: 6/18,
veryverythickmathspace: 7/18,
negativeveryverythinmathspace: -1/18,
negativeverythinmathspace: -2/18,
negativethinmathspace: -3/18,
negativemediummathspace: -4/18,
negativethickmathspace: -5/18,
negativeverythickmathspace: -6/18,
negativeveryverythickmathspace: -7/18,
thin: .04,
medium: .06,
thick: .1,
infinity: BIGDIMEN
},
pxPerInch: 96,
em: 16,
FONTDEF: {},
TEXDEF: {
x_height: .442,
quad: 1,
num1: .676508,
num2: .393732,
num3: .44373,
denom1: .685951,
denom2: .344841,
sup1: .412892,
sup2: .362892,
sup3: .288888,
sub1: .15,
sub2: .247217,
sup_drop: .386108,
sub_drop: .05,
delim1: 2.39,
delim2: 1.0,
axis_height: .25,
rule_thickness: .06,
big_op_spacing1: .111111,
big_op_spacing2: .166666,
big_op_spacing3: .2,
big_op_spacing4: .6,
big_op_spacing5: .1,
surd_height: .1,
scriptspace: .05,
nulldelimiterspace: .12,
delimiterfactor: 901,
delimitershortfall: .3,
min_rule_thickness: 1.25 // in pixels
},
/********************************************************/
getUnicode: function (string) {
var n = string.text.charCodeAt(string.i); string.i++;
if (n >= 0xD800 && n < 0xDBFF) {
n = (((n-0xD800)<<10)+(string.text.charCodeAt(string.i)-0xDC00))+0x10000;
string.i++;
}
return n;
},
getCharList: function (variant,n) {
var id, M, list = [], cache = variant.cache, N = n;
if (cache[n]) return cache[n];
var RANGES = this.FONTDATA.RANGES, VARIANT = this.FONTDATA.VARIANT;
if (n >= RANGES[0].low && n <= RANGES[RANGES.length-1].high) {
for (id = 0, M = RANGES.length; id < M; id++) {
if (RANGES[id].name === "alpha" && variant.noLowerCase) continue;
var N = variant["offset"+RANGES[id].offset];
if (N && n >= RANGES[id].low && n <= RANGES[id].high) {
if (RANGES[id].remap && RANGES[id].remap[n]) {
n = N + RANGES[id].remap[n];
} else {
n = n - RANGES[id].low + N;
if (RANGES[id].add) {n += RANGES[id].add}
}
if (variant["variant"+RANGES[id].offset])
variant = VARIANT[variant["variant"+RANGES[id].offset]];
break;
}
}
}
if (variant.remap && variant.remap[n]) {
n = variant.remap[n];
if (variant.remap.variant) {variant = VARIANT[variant.remap.variant]}
} else if (this.FONTDATA.REMAP[n] && !variant.noRemap) {
n = this.FONTDATA.REMAP[n];
}
if (n instanceof Array) {variant = VARIANT[n[1]]; n = n[0]}
if (typeof(n) === "string") {
var string = {text:n, i:0, length:n.length};
while (string.i < string.length) {
n = this.getUnicode(string);
var chars = this.getCharList(variant,n);
if (chars) list.push.apply(list,chars);
}
} else {
if (variant.cache[n]) {list = variant.cache[n]}
else {variant.cache[n] = list = [this.lookupChar(variant,n)]}
}
cache[N] = list;
return list;
},
lookupChar: function (variant,n) {
while (variant) {
for (var i = 0, m = variant.fonts.length; i < m; i++) {
var font = this.FONTDATA.FONTS[variant.fonts[i]];
// if (typeof(font) === "string") this.loadFont(font);
var C = font[n];
if (C) {
// ### FIXME: implement aliases, spaces, etc.
if (C.length === 5) C[5] = {};
if (C.c == null) {
C[0] /= 1000; C[1] /= 1000; C[2] /= 1000; C[3] /= 1000; C[4] /= 1000;
if (n <= 0xFFFF) {
C.c = String.fromCharCode(n);
} else {
var N = n - 0x10000;
C.c = String.fromCharCode((N>>10)+0xD800)
+ String.fromCharCode((N&0x3FF)+0xDC00);
}
}
return {type:"char", font:font, n:n};
} // else load block files?
}
variant = this.FONTDATA.VARIANT[variant.chain];
}
return this.unknownChar(variant,n);
},
unknownChar: function (variant,n) {},
/********************************************************/
addCharList: function (node,list,bbox) {
var text = "", className;
for (var i = 0, m = list.length; i < m; i++) {
var item = list[i];
switch (item.type) {
case "char":
var font = item.font;
if (className && font.className !== className) {
HTML.addElement(node,"span",{className:className},[text]);
text = ""; className = null;
}
var C = font[item.n];
text += C.c; className = font.className;
if (bbox.h < C[0]) bbox.t = bbox.h = C[0];
if (bbox.d < C[1]) bbox.b = bbox.d = C[1];
if (bbox.l > bbox.w+C[3]) bbox.l = bbox.w+C[3];
if (bbox.r < bbox.w+C[4]) bbox.r = bbox.w+C[4];
bbox.w += C[2];
if (m == 1 && font.skew && font.skew[item.n]) bbox.skew = font.skew[item.n];
}
}
if (node.childNodes.length) {
HTML.addElement(node,"span",{className:className},[text]);
} else {
HTML.addText(node,text);
node.className = className;
}
},
handleText: function (node,text,variant,bbox) {
if (node.childNodes.length === 0) {
HTML.addElement(node,"mjx-char");
bbox = CHTML.emptyBBox();
}
var string = {text:text, i:0, length:text.length};
if (typeof(variant) === "string") variant = this.FONTDATA.VARIANT[variant];
if (!variant) variant = this.FONTDATA.VARIANT[MML.VARIANT.NORMAL];
var list = [];
while (string.i < string.length) {
var n = this.getUnicode(string);
list.push.apply(list,this.getCharList(variant,n));
}
this.addCharList(node.firstChild,list,bbox);
this.cleanBBox(bbox);
bbox.h += HFUZZ; bbox.d += DFUZZ; bbox.t += HFUZZ; bbox.b += DFUZZ;
node.firstChild.style[bbox.h < 0 ? "marginTop" : "paddingTop"] = this.Em(bbox.h);
node.firstChild.style[bbox.d < 0 ? "marginBottom": "paddingBottom"] = this.Em(bbox.d);
return bbox;
},
/********************************************************/
createDelimiter: function (node,code,HW,scale,font) {
var bbox = this.zeroBBox();
if (!code) {
bbox.w = bbox.r = this.TEX.nulldelimiterspace;
HTML.addElement(node,"mjx-box",{style:{width:bbox.w}});
return bbox;
}
if (!scale) scale = 1;
if (!(HW instanceof Array)) HW = [HW,HW];
var hw = HW[1]; HW = HW[0];
var delim = {alias: code};
while (delim.alias) {
code = delim.alias; delim = this.FONTDATA.DELIMITERS[code];
if (!delim) {delim = {HW: [0,this.FONTDATA.VARIANT[MML.VARIANT.NORMAL]]}}
}
// if (delim.load) {HUB.RestartAfter(AJAX.Require(this.fontDir+"/fontdata-"+delim.load+".js"))}
for (var i = 0, m = delim.HW.length; i < m; i++) {
if (delim.HW[i][0]*scale >= HW-.01 || (i == m-1 && !delim.stretch)) {
if (delim.HW[i][2]) scale *= delim.HW[i][2];
if (delim.HW[i][3]) code = delim.HW[i][3];
var BBOX = this.createChar(node,[code,delim.HW[i][1]],scale,font);
BBOX.offset = .6 * BBOX.w;
return BBOX;
}
}
if (!delim.stretch) return bbox;
return this["extendDelimiter"+delim.dir](node,hw,delim.stretch,scale,font);
},
extendDelimiterV: function (node,H,delim,scale,font) {
node = HTML.addElement(node,"mjx-delim-v"); var tmp = HTML.Element("span");
var top, bot, mid, ext, tbox, bbox, mbox, ebox, k = 1;
tbox = this.createChar(tmp,(delim.top||delim.ext),scale,font); top = tmp.removeChild(tmp.firstChild);
bbox = this.createChar(tmp,(delim.bot||delim.ext),scale,font); bot = tmp.removeChild(tmp.firstChild);
mbox = ebox = this.zeroBBox();
var h = tbox.h + tbox.d + bbox.h + bbox.d;
node.appendChild(top);
if (delim.mid) {
mbox = this.createChar(tmp,delim.mid,scale,font); mid = tmp.removeChild(tmp.firstChild);
h += mbox.h + mbox.d; k = 2;
}
if (delim.min && H < h*delim.min) H = h*delim.min;
if (H > h) {
ebox = this.createChar(tmp,delim.ext,scale,font); ext = tmp.removeChild(tmp.firstChild);
if (delim.fullExtenders) {
var n = Math.ceil((H-h)/(k*(ebox.h+ebox.d)*.9));
H = .9*n*k*(ebox.h+ebox.d) + h;
}
var s = 1.1*(H - h)/k + .2*k; // space to cover by extender
s /= (ebox.h+ebox.d); // scale factor;
this.Transform(ext,
"translateY("+CHTML.Em(-ebox.d+.05)+") scaleY("+s.toFixed(3).replace(/0+$/,"")+")",
"left "+CHTML.Em(ebox.d)
);
ext.style.paddingTop=ext.style.paddingBottom = 0;
top.style.marginBottom = CHTML.Em((H-h)/k);
node.appendChild(ext);
if (delim.mid) {
node.appendChild(mid);
mid.style.marginBottom = top.style.marginBottom;
node.appendChild(ext.cloneNode(true));
}
} else {
H = h - .25; top.style.marginBottom = "-.25em";
if (delim.mid) {
node.appendChild(mid);
mid.style.marginBottom = "-.3em"; H -= .1;
}
}
node.appendChild(bot);
var BBOX = {
w: Math.max(tbox.w,ebox.w,bbox.w,mbox.w),
l: Math.min(tbox.l,ebox.l,bbox.l,mbox.l),
r: Math.max(tbox.r,ebox.r,bbox.r,mbox.r),
h: H-bbox.d, d: bbox.d, t: H-bbox.d, b: bbox.d
};
BBOX.offset = .5 * BBOX.w;
return BBOX;
},
extendDelimiterH: function (node,W,delim,scale,font) {
node = HTML.addElement(node,"mjx-delim-h"); var tmp = HTML.Element("span");
var left, right, mid, ext, ext2, lbox, rbox, mbox, ebox, k = 1;
lbox = this.createChar(tmp,(delim.left||delim.rep),scale,font); left = tmp.removeChild(tmp.firstChild);
rbox = this.createChar(tmp,(delim.right||delim.rep),scale,font); right = tmp.removeChild(tmp.firstChild);
node.appendChild(left);
var BBOX = this.zeroBBox();
BBOX.h = Math.max(lbox.h,rbox.h); BBOX.d = Math.max(lbox.d,rbox.d);
left.style.marginLeft = CHTML.Em(-lbox.l); left.style.marginRight = CHTML.Em(lbox.r-lbox.w);
right.style.marginleft = CHTML.Em(-rbox.l); right.style.marginRight = CHTML.Em(rbox.r-rbox.w);
var w = (lbox.r - lbox.l) + (rbox.r - rbox.l) - .05;
if (delim.mid) {
mbox = this.createChar(tmp,delim.mid,scale,font);
mid = tmp.removeChild(tmp.firstChild);
w += mbox.w; k = 2;
if (mbox.h > BBOX.h) BBOX.h = mbox.h;
if (mbox.d < BBOX.d) BBOX.d = mbox.d;
}
if (delim.min && W < w*delim.min) W = w*delim.min;
right.style.marginLeft = CHTML.Em((W-w-rbox.l)/k);
BBOX.w = BBOX.r = W;
if (W > w) {
ebox = this.createChar(tmp,delim.rep,scale,font); ext = tmp.removeChild(tmp.firstChild);
if (ebox.h > BBOX.h) BBOX.h = ebox.h;
if (ebox.d < BBOX.d) BBOX.d = ebox.d;
var s = (W - w)/k + .2; // space to cover by extender
s /= (ebox.r - ebox.l); // scale factor
this.Transform(ext,
"translateX("+CHTML.Em(-ebox.l-.1)+") scaleX("+s.toFixed(3).replace(/0+$/,"")+")",
CHTML.Em(ebox.l)+" center"
);
ext.style.width = 0;
node.appendChild(ext);
if (delim.mid) {
node.appendChild(mid);
mid.style.marginLeft = right.style.marginLeft;
ext2 = node.appendChild(ext.cloneNode(true));
}
} else {
if (delim.mid) {
node.appendChild(mid);
mid.style.marginLeft = CHTML.Em((W-w)/k);
}
}
node.appendChild(right);
this.adjustTops([left,ext,mid,ext2,right]);
BBOX.t = BBOX.h; BBOX.b = BBOX.d;
if (ext) {
if (BBOX.h !== ebox.h) node.style.marginTop = CHTML.Em(ebox.h - BBOX.h);
if (BBOX.d !== ebox.d) node.style.marginBottom = CHTML.Em(ebox.d - BBOX.d);
BBOX.h = ebox.h; BBOX.d = ebox.d;
}
return BBOX;
},
adjustTops: function (nodes) {
//
// to get alignment right in horizontal delimiters, we force all
// the elements to the same height and align to top
//
var i, m = nodes.length, T = 0;
for (i = 0; i < m; i++) {
if (nodes[i] && nodes[i].style.paddingTop) {
var t = this.unEm(nodes[i].style.paddingTop);
if (t > T) T = t;
}
}
for (i = 0; i < m; i++) if (nodes[i]) nodes[i].style.paddingTop = CHTML.Em(T);
},
createChar: function (node,data,scale,font) {
// ### FIXME: handle cache better (by data[1] and font)
var text = "", variant = {fonts: [data[1]], noRemap:true, cache:{}};
if (font && font === MML.VARIANT.BOLD) variant.fonts = [data[1]+"-bold",data[1]];
if (typeof(data[1]) !== "string") variant = data[1];
if (data[0] instanceof Array) {
for (var i = 0, m = data[0].length; i < m; i++) text += String.fromCharCode(data[0][i]);
} else text = String.fromCharCode(data[0]);
if (data[4]) scale *= data[4];
if (scale !== 1) node.style.fontSize = this.Percent(scale);
var bbox = this.handleText(node,text,variant);
if (data[2]) { // x offset
node.style.paddingLeft = this.Em(data[2]);
bbox.w += data[2]; bbox.r += data[2];
}
if (data[3]) { // y offset
node.style.verticalAlign = this.Em(data[3]);
bbox.h += data[3]; if (bbox.h < 0) bbox.h = 0;
}
if (data[5]) { // extra height
node.style.marginTop = this.Em(data[5]);
bbox.h += data[5]; bbox.t += data[5];
}
if (data[6]) { // extra depth
node.style.marginBottom = this.Em(data[6]);
bbox.d += data[6]; bbox.b += data[6];
}
return bbox;
},
/********************************************************/
//
// ### FIXME: Handle mu's
//
length2em: function (length,size) {
if (typeof(length) !== "string") {length = length.toString()}
if (length === "") {return ""}
if (length === MML.SIZE.NORMAL) {return 1}
if (length === MML.SIZE.BIG) {return 2}
if (length === MML.SIZE.SMALL) {return .71}
if (this.MATHSPACE[length]) {return this.MATHSPACE[length]}
var match = length.match(/^\s*([-+]?(?:\.\d+|\d+(?:\.\d*)?))?(pt|em|ex|mu|px|pc|in|mm|cm|%)?/);
var m = parseFloat(match[1]||"1"), unit = match[2];
if (size == null) {size = 1}
if (unit === "em") {return m}
if (unit === "ex") {return m * this.TEX.x_height}
if (unit === "%") {return m / 100 * size}
if (unit === "px") {return m / this.em}
if (unit === "pt") {return m / 10} // 10 pt to an em
if (unit === "pc") {return m * 1.2} // 12 pt to a pc
if (unit === "in") {return m * this.pxPerInch / this.em}
if (unit === "cm") {return m * this.pxPerInch / this.em / 2.54} // 2.54 cm to an inch
if (unit === "mm") {return m * this.pxPerInch / this.em / 25.4} // 10 mm to a cm
if (unit === "mu") {return m / 18} // 18mu to an em for the scriptlevel
return m*size; // relative to given size (or 1em as default)
},
Em: function (m) {
if (Math.abs(m) < .001) return "0em";
return (m.toFixed(3).replace(/\.?0+$/,""))+"em";
},
unEm: function (m) {
return parseFloat(m);
},
Percent: function (m) {
return (100*m).toFixed(1).replace(/\.?0+$/,"") + "%";
},
Transform: function (node,trans,origin) {
var style = node.style;
style.transform = style.WebkitTransform = style.MozTransform = trans;
if (origin)
style.transformOrigin = style.WebkitTransformOrigin = style.MozTransformOrigin = origin;
},
/********************************************************/
zeroBBox: function () {
return {h:0, d:0, w:0, l:0, r:0, t:0, b:0};
},
emptyBBox: function () {
return {h:-BIGDIMEN, d:-BIGDIMEN, w:0, l:BIGDIMEN, r:-BIGDIMEN,
t:-BIGDIMEN, b:-BIGDIMEN};
},
cleanBBox: function (bbox) {
if (bbox.h === -BIGDIMEN) bbox.h = 0;
if (bbox.d === -BIGDIMEN) bbox.d = 0;
if (bbox.l === BIGDIMEN) bbox.l = 0;
if (bbox.r === -BIGDIMEN) bbox.r = 0;
if (bbox.t === -BIGDIMEN) bbox.t = 0;
if (bbox.b === -BIGDIMEN) bbox.b = 0;
},
scaleBBox: function (bbox,level,dlevel) {
var scale = Math.pow(SCRIPTFACTOR,Math.min(2,level)-(dlevel||0));
bbox.w *= scale; bbox.h *= scale; bbox.d *= scale;
bbox.l *= scale; bbox.r *= scale; bbox.t *= scale; bbox.b *= scale;
if (bbox.L) bbox.L *= scale;
if (bbox.R) bbox.R *= scale;
},
combineBBoxes: function (bbox,cbox,x,y,scale) {
if (x + scale*cbox.r > bbox.r) bbox.r = x + scale*cbox.r;
if (x + scale*cbox.l < bbox.l) bbox.l = x + scale*cbox.l;
if (x + scale*(cbox.w+(cbox.L||0)+(cbox.R||0)) > bbox.w)
bbox.w = x + scale*(cbox.w + (cbox.L||0) + (cbox.R||0));
if (y + scale*cbox.h > bbox.h) bbox.h = y + scale*cbox.h;
if (scale*cbox.d - y > bbox.d) bbox.d = scale*cbox.d - y;
if (y + scale*cbox.t > bbox.t) bbox.t = y + scale*cbox.t;
if (scale*cbox.b - y > bbox.b) bbox.b = scale*cbox.b - y;
},
/********************************************************/
arrayEntry: function (a,i) {return a[Math.max(0,Math.min(i,a.length-1))]}
});
/**********************************************************/
MathJax.Hub.Register.StartupHook("mml Jax Ready",function () {
MML = MathJax.ElementJax.mml;
/********************************************************/
MML.mbase.Augment({
toCommonHTML: function (node,options) {
return this.CHTMLdefaultNode(node,options);
},
CHTMLdefaultNode: function (node,options) {
if (!options) options = {};
node = this.CHTMLcreateNode(node);
if (!options.noBBox) this.CHTMLhandleSpace(node);
this.CHTMLhandleStyle(node);
this.CHTMLhandleColor(node);
var m = Math.max((options.minChildren||0),this.data.length);
for (var i = 0; i < m; i++) this.CHTMLaddChild(node,i,options);
if (!options.noBBox) CHTML.cleanBBox(this.CHTML);
return node;
},
CHTMLaddChild: function (node,i,options) {
var child = this.data[i];
if (child) {
var type = options.childNodes;
if (type) {
if (type instanceof Array) type = type[i];
node = HTML.addElement(node,type);
}
child.toCommonHTML(node,options.childOptions);
if (!options.noBBox) {
var bbox = this.CHTML, cbox = child.CHTML;
CHTML.combineBBoxes(bbox,cbox,bbox.w,0,1);
if (cbox.ic) {bbox.ic = cbox.ic} else {delete bbox.ic}
if (cbox.skew) bbox.skew = cbox.skew;
}
} else if (options.forceChild) {HTML.addElement(node,"span")}
},
CHTMLstretchChildV: function (i,H,D) {
var data = this.data[i];
if (data) {
var bbox = this.CHTML;
if (bbox.stretch || (bbox.stretch == null && data.CHTMLcanStretch("Vertical",H,D))) {
var w = data.CHTML.w;
data.CHTMLstretchV(H,D);
var dbox = data.CHTML;
bbox.w += dbox.w - w;
if (dbox.h > bbox.h) bbox.h = dbox.h;
if (dbox.d > bbox.d) bbox.d = dbox.d;
if (dbox.t > bbox.t) bbox.t = dbox.t;
if (dbox.b > bbox.b) bbox.b = dbox.b;
}
}
},
CHTMLstretchChildH: function (i,W,nodes) {
var data = this.data[i];
if (data) {
var bbox = this.CHTML;
if (bbox.stretch || (bbox.stretch == null && data.CHTMLcanStretch("Horizontal",W))) {
data.CHTMLstretchH(nodes[i].firstChild,W);
MathJax.Hub.Insert(this.CHTML,data.CHTML);
}
}
},
CHTMLcanStretch: function (direction,H,D) {
var stretch = false;
if (this.isEmbellished()) {
var core = this.Core();
if (core && core !== this) stretch = core.CHTMLcanStretch(direction,H,D);
}
this.CHTML.stretch = stretch;
return stretch;
},
CHTMLstretchV: function (h,d) {},
CHTMLstretchH: function (node,w) {},
CHTMLcreateNode: function (node) {
if (!this.CHTML) this.CHTML = {};
this.CHTML = CHTML.zeroBBox();
if (this.inferred) return node;
if (!this.CHTMLnodeID) {this.CHTMLnodeID = CHTML.GetID()};
var id = (this.id || "MJXc-Node-"+this.CHTMLnodeID);
return HTML.addElement(node,"mjx-"+this.type,{id:id});
},
CHTMLnodeElement: function () {
if (!this.CHTMLnodeID) {return null}
return document.getElementById(this.id||"MJXc-Node-"+this.CHTMLnodeID);
},
CHTMLhandleStyle: function (node) {
if (this.style) node.style.cssText = this.style;
},
CHTMLhandleColor: function (node) {
if (this.mathcolor) {node.style.color = this.mathcolor}
else if (this.color) {node.style.color = this.color}
if (this.mathbackground) {node.style.backgroundColor = this.mathbackground}
else if (this.background) {node.style.backgroundColor = this.background}
},
CHTMLhandleSpace: function (node) {
if (!this.useMMLspacing) {
var space = this.texSpacing();
if (space !== "") this.CHTML.L = CHTML.length2em(space) + (this.CHTML.L||0);
if (this.CHTML.L) node.style.marginLeft = CHTML.Em(this.CHTML.L);
if (this.CHTML.R) node.style.marginRight = CHTML.Em(this.CHTML.R);
}
},
CHTMLhandleScriptlevel: function (node,dlevel) {
var level = this.Get("scriptlevel");
if (level === 0) return;
// ### FIXME: handle scriptminsize
if (level > 2) level = 2;
if (level > 0 && dlevel == null) {
node.className += " MJXc-script";
} else {
if (dlevel) level -= dlevel;
var scale = Math.floor(Math.pow(SCRIPTFACTOR,level)*100);
node.style.fontSize = scale+"%";
}
},
CHTMLhandleText: function (node,text,variant) {
this.CHTML = CHTML.handleText(node,text,variant,this.CHTML);
},
CHTMLbboxFor: function (n) {
if (this.data[n] && this.data[n].CHTML) return this.data[n].CHTML;
return CHTML.zeroBBox();
},
//
// Debugging function to see if internal BBox matches actual bbox
//
CHTMLdrawBBox: function (node) {
var bbox = this.CHTML;
HTML.addElement(node.parentNode,"mjx-box",
{style:{opacity:.25,"margin-left":CHTML.Em(-bbox.w-(bbox.R||0))}},[
["mjx-box",{style:{
height:CHTML.Em(bbox.h),width:CHTML.Em(bbox.w),"background-color":"red"}
}],
["mjx-box",{style:{
height:CHTML.Em(bbox.d),width:CHTML.Em(bbox.w),
"margin-left":CHTML.Em(-bbox.w),"vertical-align":CHTML.Em(-bbox.d),
"background-color":"green"}
}]
]);
},
CHTMLnotEmpty: function (mml) {
while (mml && mml.data.length < 2 && (mml.type === "mrow" || mml.type === "texatom"))
mml = mml.data[0];
return !!mml;
}
});
/********************************************************/
MML.chars.Augment({
toCommonHTML: function (node,options) {
if (options == null) options = {};
var text = this.toString();
if (options.remap) text = options.remap(text,options.remapchars);
// ### FIXME: handle mtextFontInherit
this.CHTMLhandleText(node,text,options.variant||this.parent.Get("mathvariant"));
}
});
MML.entity.Augment({
toCommonHTML: function (node,options) {
if (options == null) options = {};
var text = this.toString();
if (options.remapchars) text = options.remap(text,options.remapchars);
// ### FIXME: handle mtextFontInherit
this.CHTMLhandleText(node,text,options.variant||this.parent.Get("mathvariant"));
}
});
/********************************************************/
MML.math.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node);
if (this.Get("display") === "block") {node.className += " MJXc-display"}
return node;
}
});
/********************************************************/
MML.mi.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node);
var bbox = this.CHTML, text = this.data.join("");
if (bbox.skew != null && text.length !== 1) delete bbox.skew;
if (bbox.r > bbox.w && text.length === 1 /*&& !variant.noIC*/) { // ### FIXME: handle variants
bbox.ic = bbox.r - bbox.w; bbox.w = bbox.r;
node.style.paddingRight = CHTML.Em(bbox.ic);
}
}
});
/********************************************************/
MML.mo.Augment({
toCommonHTML: function (node) {
node = this.CHTMLcreateNode(node);
this.CHTML = CHTML.emptyBBox();
var values = this.getValues("displaystyle","largeop","mathvariant");
values.text = this.data.join("");
if (values.text == "") {
if (this.fence) node.style.width = CHTML.Em(CHTML.TEX.nulldelimiterspace);
} else {
this.CHTMLadjustAccent(values);
this.CHTMLadjustVariant(values);
for (var i = 0, m = this.data.length; i < m; i++) {
this.CHTMLaddChild(node,i,{childOptions:{
variant: values.mathvariant,
remap: this.remap,
remapchars: values.mapchars
}});
}
if (values.text.length !== 1) delete this.CHTML.skew;
if (values.largeop) this.CHTMLcenterOp(node);
}
CHTML.cleanBBox(this.CHTML);
this.CHTMLhandleSpace(node);
this.CHTMLhandleStyle(node);
this.CHTMLhandleColor(node);
return node;
},
CHTMLhandleSpace: function (node) {
if (this.useMMLspacing) {
var values = this.getValues("scriptlevel","lspace","rspace");
values.lspace = Math.max(0,CHTML.length2em(values.lspace));
values.rspace = Math.max(0,CHTML.length2em(values.rspace));
if (values.scriptlevel > 0) {
if (!this.hasValue("lspace")) values.lspace = .15;
if (!this.hasValue("rspace")) values.rspace = .15;
}
var core = this, parent = this.Parent();
while (parent && parent.isEmbellished() && parent.Core() === core)
{core = parent; parent = parent.Parent(); node = core.CHTMLnodeElement()}
if (values.lspace) {node.style.paddingLeft = CHTML.Em(values.lspace)}
if (values.rspace) {node.style.paddingRight = CHTML.Em(values.rspace)}
} else {
this.SUPER(arguments).CHTMLhandleSpace.apply(this,arguments);
}
},
CHTMLadjustAccent: function (data) {
var parent = this.CoreParent(); data.parent = parent;
if (data.text.length === 1 && parent && parent.isa(MML.munderover) &&
this.CoreText(parent.data[parent.base]).length === 1) {
var over = parent.data[parent.over], under = parent.data[parent.under];
if (over && this === over.CoreMO() && parent.Get("accent")) {
data.mapchars = CHTML.FONTDATA.REMAPACCENT
} else if (under && this === under.CoreMO() && parent.Get("accentunder")) {
data.mapchars = CHTML.FONTDATA.REMAPACCENTUNDER
}
}
},
CHTMLadjustVariant: function (data) {
var parent = data.parent,
isScript = (parent && parent.isa(MML.msubsup) && this !== parent.data[parent.base]);
if (data.largeop) data.mathvariant = (data.displaystyle ? "-largeOp" : "-smallOp");
if (isScript) {
data.mapchars = this.remapChars;
if (data.text.match(/['`"\u00B4\u2032-\u2037\u2057]/))
data.mathvariant = "-TeX-variant"; // ### FIXME: handle other fonts
}
},
CHTMLcenterOp: function (node) {
var bbox = this.CHTML;
var p = (bbox.h - bbox.d)/2 - CHTML.TEX.axis_height;
if (Math.abs(p) > .001) node.style.verticalAlign = CHTML.Em(-p);
bbox.h -= p; bbox.d += p;
if (bbox.r > bbox.w) {
bbox.ic = bbox.r - bbox.w; bbox.w = bbox.r;
node.style.paddingRight = CHTML.Em(bbox.ic);
}
},
CHTMLcanStretch: function (direction,H,D) {
if (!this.Get("stretchy")) return false;
var c = this.data.join(""); if (c.length !== 1) return false;
var values = {text: c};
this.CHTMLadjustAccent(values);
if (values.remapchars) c = values.remapchars[c]||c;
c = CHTML.FONTDATA.DELIMITERS[c.charCodeAt(0)];
var stretch = (c && c.dir === direction.substr(0,1));
if (stretch) {
stretch = (this.CHTML.h !== H || this.CHTML.d !== D ||
!!this.Get("minsize",true) || !!this.Get("maxsize",true));
if (stretch) this.CHTML.stretch = true;
}
return stretch;
},
CHTMLstretchV: function (h,d) {
var node = this.CHTMLnodeElement(), bbox = this.CHTML;
var values = this.getValues("symmetric","maxsize","minsize");
//
// Determine the height needed
//
var H, a = CHTML.TEX.axis_height;
if (values.symmetric) {H = 2*Math.max(h-a,d+a)} else {H = h + d}
values.maxsize = CHTML.length2em(values.maxsize,bbox.h+bbox.d);
values.minsize = CHTML.length2em(values.minsize,bbox.h+bbox.d);
H = Math.max(values.minsize,Math.min(values.maxsize,H));
//
// If we are not already stretched to this height
//
if (H !== bbox.sH) {
//
// Get a delimiter of the proper height and save the height
//
if (H != values.minsize)
{H = [Math.max(H*CHTML.TEX.delimiterfactor/1000,H-CHTML.TEX.delimitershortfall),H]}
while (node.firstChild) node.removeChild(node.firstChild);
this.CHTML = bbox = CHTML.createDelimiter(node,this.data.join("").charCodeAt(0),H,1);
bbox.sH = (H instanceof Array ? H[1] : H);
//
// Reposition as needed
//
if (values.symmetric) {H = (bbox.h + bbox.d)/2 + a}
else {H = (bbox.h + bbox.d) * h/(h + d)}
H -= bbox.h;
if (Math.abs(H) > .05) {
node.style.verticalAlign = CHTML.Em(H);
bbox.h += H; bbox.d -= H; bbox.t += H; bbox.b -= H;
}
}
},
CHTMLstretchH: function (node,W) {
var bbox = this.CHTML;
var values = this.getValues("maxsize","minsize","mathvariant","fontweight");
// FIXME: should take style="font-weight:bold" into account as well
if ((values.fontweight === "bold" || parseInt(values.fontweight) >= 600) &&
!this.Get("mathvariant",true)) values.mathvariant = MML.VARIANT.BOLD;
values.maxsize = CHTML.length2em(values.maxsize,bbox.w);
values.minsize = CHTML.length2em(values.minsize,bbox.w);
W = Math.max(values.minsize,Math.min(values.maxsize,W));
if (W !== bbox.sW) {
while (node.firstChild) node.removeChild(node.firstChild);
this.CHTML = bbox = CHTML.createDelimiter(node,this.data.join("").charCodeAt(0),W,1,values.mathvariant);
bbox.sW = W;
}
}
});
/********************************************************/
MML.mspace.Augment({
toCommonHTML: function (node) {
node = this.CHTMLcreateNode(node);
this.CHTMLhandleStyle(node);
this.CHTMLhandleColor(node);
var values = this.getValues("height","depth","width");
var w = CHTML.length2em(values.width),
h = CHTML.length2em(values.height),
d = CHTML.length2em(values.depth);
var bbox = this.CHTML;
bbox.w = bbox.r = w; bbox.h = bbox.t = h; bbox.d = bbox.b = d; bbox.l = 0;
if (w < 0) {node.style.marginRight = CHTML.Em(w); w = 0}
node.style.width = CHTML.Em(w);
node.style.height = CHTML.Em(h+d);
if (d) node.style.verticalAlign = CHTML.Em(-d);
return node;
}
});
/********************************************************/
MML.mpadded.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node,{childNodes:"mjx-block", forceChild:true});
var child = node.firstChild, cbox = this.CHTMLbboxFor(0);
node = HTML.addElement(node,"mjx-block");
node.appendChild(child); HTML.addElement(child,"mjx-box"); // force box to be in text mode
var values = this.getValues("width","height","depth","lspace","voffset");
var dimen, x = 0, y = 0, w = cbox.w, h = cbox.h, d = cbox.d;
if (values.width !== "") {
dimen = this.CHTMLdimen(values.width,"w",0);
if (dimen.pm) dimen.len += cbox.w;
if (dimen.len < 0) dimen.len = 0;
if (dimen.len !== cbox.w) node.style.width = CHTML.Em(dimen.len);
w = dimen.len;
}
if (values.height !== "") {
dimen = this.CHTMLdimen(values.height,"h",0);
if (dimen.pm) {h += dimen.len} else {h = dimen.len; dimen.len += -cbox.h}
if (dimen.len+cbox.h < 0) {dimen.len = -cbox.h; h = 0}
if (dimen.len) child.style.marginTop = CHTML.Em(dimen.len);
}
if (values.depth !== "") {
dimen = this.CHTMLdimen(values.depth,"d",0);
if (dimen.pm) {d += dimen.len} else {d = dimen.len; dimen.len += -cbox.d}
if (dimen.len+cbox.d < 0) {dimen.len = -cbox.d; d = 0}
if (dimen.len) child.style.marginBottom = CHTML.Em(dimen.len);
}
if (values.voffset !== "") {
dimen = this.CHTMLdimen(values.voffset);
if (dimen.len) {
y = dimen.len;
node.style.position = "relative";
node.style.top = CHTML.Em(-y);
}
}
if (values.lspace !== "") {
dimen = this.CHTMLdimen(values.lspace);
if (dimen.len) {
x = dimen.len;
node.style.position = "relative";
node.style.left = CHTML.Em(x);
}
}
var bbox = {w:w, h:h, d:d, l:0, r:w, t:h, b:d};
CHTML.combineBBoxes(bbox,cbox,x,y,1);
bbox.w = w; bbox.h = h; bbox.d = d;
this.CHTML = bbox;
return node.parentNode;
},
CHTMLdimen: function (length,d,m) {
if (m == null) {m = -BIGDIMEN}
length = String(length);
var match = length.match(/width|height|depth/);
var size = (match ? this.CHTML[match[0].charAt(0)] : (d ? this.CHTML[d] : 0));
return {len: CHTML.length2em(length,size)||0, pm: !!length.match(/^[-+]/)};
}
});
/********************************************************/
MML.munderover.Augment({
toCommonHTML: function (node) {
var values = this.getValues("displaystyle","scriptlevel","accent","accentunder","align");
if (!values.displaystyle && this.data[this.base] != null &&
this.data[this.base].CoreMO().Get("movablelimits"))
return MML.msubsup.prototype.toCommonHTML.call(this,node);
//
// Get the nodes for base and limits
//
var types = ["mjx-op","mjx-under","mjx-over"];
if (this.over === 1) types[1] = types[2];
node = this.CHTMLdefaultNode(node,{
childNodes:types, noBBox:true, forceChild:true, minChildren: 2
});
var base, under, over, nodes = [];
nodes[0] = base = node.removeChild(node.firstChild);
nodes[1] = under = over = node.removeChild(node.firstChild);
if (node.firstChild) nodes[2] = over = node.removeChild(node.firstChild);
//
// Get the scale of the base and its limits
//
this.CHTMLgetScaleFactors(values,under,over);
//
// Get the bounding boxes and the maximum width
//
var boxes = [], W = this.CHTMLgetBBoxes(boxes,nodes,values);
var bbox = boxes[this.base], BBOX = this.CHTML;
BBOX.w = W; BBOX.h = bbox.h; BBOX.d = bbox.d; // modified below
//
// Add over- and under-scripts
//
var stack = base, delta = 0;
if (bbox.ic) {delta = 1.3*bbox.ic + .05} // make faked IC be closer to expeted results
if (this.data[this.over]) {
stack = this.CHTMLaddOverscript(over,boxes,values,delta,base);
}
if (this.data[this.under]) {
this.CHTMLaddUnderscript(under,boxes,values,delta,node,stack);
} else {
node.appendChild(stack);
}
//
// Handle horizontal positions
//
this.CHTMLplaceBoxes(base,under,over,values,boxes);
this.CHTMLhandleSpace(node);
return node;
},
//
// Compute scaling factors for the under- and over-scripts
//
CHTMLgetScaleFactors: function (values,under,over) {
values.oscale = values.uscale = 1;
if (values.scriptlevel < 2) {
if (!values.accent) {
values.oscale = SCRIPTFACTOR;
if (this.data[this.over]) this.data[this.over].CHTMLhandleScriptlevel(over);
}
if (!values.accentunder) {
values.uscale = SCRIPTFACTOR;
if (this.data[this.under]) this.data[this.under].CHTMLhandleScriptlevel(under);
}
}
},
//
// Get the bounding boxes for the children, stretch
// any stretchable elements, and compute the maximum width
//
CHTMLgetBBoxes: function (bbox,nodes,values) {
var i, m = this.data.length, SCALE,
w = -BIGDIMEN, // maximum width of non-stretchy items
W = w; // maximum width of all items
//
// Get the maximum width
//
for (i = 0; i < m; i++) {
bbox[i] = this.CHTMLbboxFor(i); bbox[i].x = bbox[i].y = 0;
if (this.data[i]) bbox[i].stretch = this.data[i].CHTMLcanStretch("Horizontal");
SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale);
W = Math.max(W,SCALE*(bbox[i].w + (bbox[i].L||0) + (bbox[i].R||0)));
if (!bbox[i].stretch && W > w) w = W;
}
if (w === -BIGDIMEN) w = W;
//
// Stretch those parts that need it
//
for (i = 0; i < m; i++) {
if (bbox[i].stretch) {
SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale);
this.CHTMLstretchChildH(i,w/SCALE,nodes);
bbox[i] = this.CHTMLbboxFor(i); bbox[i].x = bbox[i].y = 0;
W = Math.max(W,SCALE*(bbox[i].w + (bbox[i].L||0) + (bbox[i].R||0)));
}
}
return W;
},
//
// Add an overscript
//
CHTMLaddOverscript: function (over,boxes,values,delta,base) {
var BBOX = this.CHTML;
var w, z1, z2, z3 = CHTML.TEX.big_op_spacing5, k;
var scale = values.oscale, obox = boxes[this.over], bbox = boxes[this.base];
//
// Put the base and script into a stack
//
var stack = HTML.Element("mjx-stack");
stack.appendChild(over); stack.appendChild(base);
if (obox.d < 0 || obox.h < .25) {
//
// For negative depths, set the height and align to top
// in order to avoid extra baseline space
//
over.firstChild.style.verticalAlign = "top";
over.style.height = CHTML.Em(obox.h+obox.d);
}
//
// Determine the spacing
//
obox.x = 0;
if (values.accent) {
if (obox.w < .001) obox.x += (obox.r - obox.l)/2; // center combining accents
k = CHTML.TEX.rule_thickness; z3 = 0;
if (bbox.skew) {
obox.x += scale*bbox.skew; BBOX.skew = scale*bbox.skew;
if (obox.x+scale*obox.w > BBOX.w) BBOX.skew += (BBOX.w - (obox.x+scale*obox.w))/2;
}
} else {
z1 = CHTML.TEX.big_op_spacing1;
z2 = CHTML.TEX.big_op_spacing3;
k = Math.max(z1,z2-Math.max(0,scale*obox.d));
}
obox.x += delta/2; obox.y = BBOX.h + k + z3 + scale*obox.d;
//
// Position the overscript
//
if (k) over.style.paddingBottom = CHTML.Em(k/scale);
if (z3) over.style.paddingTop = CHTML.Em(z3/scale);
return stack;
},
//
// Add an underscript
//
CHTMLaddUnderscript: function (under,boxes,values,delta,node,stack) {
var BBOX = this.CHTML;
var w, x = 0, z1, z2, z3 = CHTML.TEX.big_op_spacing5, k;
var scale = values.uscale, ubox = boxes[this.under], bbox = boxes[this.base];
//
// Create a table for the underscript
//
HTML.addElement(node,"mjx-itable",{},[
["mjx-row",{},[["mjx-cell"]]],
["mjx-row"],
]);
node.firstChild.firstChild.firstChild.appendChild(stack);
node.firstChild.lastChild.appendChild(under);
if (ubox.d < 0 || ubox.h < .25) {
//
// For negative depths, set the height and align to top
// in order to avoid extra baseline space
//
under.firstChild.style.verticalAlign = "top";
under.style.height = CHTML.Em(ubox.h+ubox.d);
}
//
// determine the spacing
//
if (values.accentunder) {
k = 3*CHTML.TEX.rule_thickness; z3 = 0;
} else {
z1 = CHTML.TEX.big_op_spacing2;
z2 = CHTML.TEX.big_op_spacing4;
k = Math.max(z1,z2-scale*ubox.h);
}
ubox.x = -delta/2; ubox.y = -(BBOX.d + k + z3 + scale*ubox.h);
//
// Position the overscript
//
if (k) under.style.paddingTop = CHTML.Em(k/scale);
if (z3) under.style.paddingBottom = CHTML.Em(z3/scale);
},
//
// Center boxes horizontally, taking offsets into account
// ### FIXME: handle BBOX.l and BBOX.r
//
CHTMLplaceBoxes: function (base,under,over,values,boxes) {
var W = this.CHTML.w, i, m = boxes.length;
var BBOX = this.CHTML = CHTML.zeroBBox();
boxes[this.base].x = boxes[this.base].y = 0; var dx = BIGDIMEN;
for (i = 0; i < m; i++) {
var SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale);
var w = SCALE*(boxes[i].w + (boxes[i].L||0) + (boxes[i].R||0));
boxes[i].x += (W-w)/2;
if (boxes[i].x < dx) dx = boxes[i].x;
}
for (i = 0; i < m; i++) {
if (this.data[i]) {
var SCALE = (i === this.base ? 1 : i === this.over ? values.oscale : values.uscale);
if (boxes[i].x - dx) {
var node = (i === this.base ? base : i === this.over ? over : under);
node.style.paddingLeft = CHTML.Em((boxes[i].x-dx)/SCALE);
}
CHTML.combineBBoxes(BBOX,boxes[i],boxes[i].x-dx,boxes[i].y,SCALE);
}
}
}
});
/********************************************************/
MML.msubsup.Augment({
toCommonHTML: function (node) {
var values = this.getValues("displaystyle","scriptlevel",
"subscriptshift","superscriptshift","texprimestyle");
//
// Get the nodes for base and limits
//
var types = ["mjx-base","mjx-sub","mjx-sup"];
if (this.sup === 1) types[1] = types[2];
node = this.CHTMLdefaultNode(node,{
childNodes:types, noBBox:true, forceChild:true, minChildren: 2
});
var base, sub, sup; base = node.firstChild; sub = sup = base.nextSibling;
if (sub.nextSibling) sup = sub.nextSibling;
if (!this.CHTMLnotEmpty(this.data[this.sub])) {node.removeChild(sub); sub = null}
if (!this.CHTMLnotEmpty(this.data[this.sup])) {node.removeChild(sup); sup = null}
if (node.childNodes.length === 3) {
var stack = HTML.addElement(node,"mjx-stack");
stack.appendChild(sup); stack.appendChild(sub);
}
//
// Get the scale of the base and its limits
//
var sscale = 1;
if (values.scriptlevel < 2) {
sscale = SCRIPTFACTOR;
if (sub) this.data[this.sub].CHTMLhandleScriptlevel(sub);
if (sup) this.data[this.sup].CHTMLhandleScriptlevel(sup);
}
//
// Get the bounding boxes and maximum width of scripts
//
var boxes = [], BBOX = this.CHTML = CHTML.emptyBBox();
for (var i = 0, m = this.data.length; i < m; i++) boxes[i] = this.CHTMLbboxFor(i);
var bbox = boxes[this.base], subbox = boxes[this.sub], supbox = boxes[this.sup];
CHTML.combineBBoxes(BBOX,bbox,0,0,1);
//
// Get initial values for parameters
//
var ex = CHTML.TEX.x_height, s = CHTML.TEX.scriptspace;
var q = CHTML.TEX.sup_drop * sscale, r = CHTML.TEX.sub_drop * sscale;
var u = bbox.h - q, v = bbox.d + r, delta = 0, p;
if (bbox.ic) {
BBOX.w -= bbox.ic; // remove IC (added by mo and mi)
base.style.marginRight = CHTML.Em(-bbox.ic);
delta = 1.3*bbox.ic + .05; // make faked IC be closer to expeted results
}
var bmml = this.data[this.base];
if (bmml && (bmml.type === "mi" || bmml.type === "mo")) {
if (bmml.data.join("").length === 1 && bmml.Get("scriptlevel") === 0 &&
!bmml.Get("largeop")) {u = v = 0} // ### FIXME: get scale rather than use scriptlevel
}
values.subscriptshift = (values.subscriptshift === "" ? 0 : CHTML.length2em(values.subscriptshift));
values.superscriptshift = (values.superscriptshift === "" ? 0 : CHTML.length2em(values.superscriptshift));
//
// Add the super- and subscripts
//
var x = BBOX.w; if (sub) subbox.w += s; if (sup) supbox.w += s;
if (!sup) {
if (sub) {
v = Math.max(v,CHTML.TEX.sub1,sscale*subbox.h-(4/5)*ex,values.subscriptshift);
sub.style.verticalAlign = CHTML.Em(-v/sscale);
sub.style.paddingRight = CHTML.Em(s/sscale);
CHTML.combineBBoxes(BBOX,subbox,x,-v,sscale);
}
} else {
if (!sub) {
p = CHTML.TEX[(values.displaystyle ? "sup1" : (values.texprimestyle ? "sup3" : "sup2"))];
u = Math.max(u,p,sscale*supbox.d+(1/4)*ex,values.superscriptshift);
sup.style.verticalAlign = CHTML.Em(u/sscale);
sup.style.paddingLeft = CHTML.Em(delta/sscale);
sup.style.paddingRight = CHTML.Em(s/sscale);
CHTML.combineBBoxes(BBOX,supbox,x+delta,u,sscale);
} else {
v = Math.max(v,CHTML.TEX.sub2);
var t = CHTML.TEX.rule_thickness;
if ((u - sscale*supbox.d) - (sscale*subbox.h - v) < 3*t) {
v = 3*t - u + sscale*(supbox.d + subbox.h);
q = (4/5)*ex - (u - sscale*supbox.d);
if (q > 0) {u += q; v -= q}
}
u = Math.max(u,values.superscriptshift);
v = Math.max(v,values.subscriptshift);
sub.style.paddingRight = CHTML.Em(s/sscale);
sup.style.paddingBottom = CHTML.Em((u+v)/sscale-supbox.d-subbox.h);
sup.style.paddingLeft = CHTML.Em(delta/sscale);
sup.style.paddingRight = CHTML.Em(s/sscale);
stack.style.verticalAlign = CHTML.Em(-v);
CHTML.combineBBoxes(BBOX,supbox,x+delta,u,sscale);
CHTML.combineBBoxes(BBOX,subbox,x,-v,sscale);
}
}
CHTML.cleanBBox(BBOX);
this.CHTMLhandleSpace(node);
return node;
}
});
/********************************************************/
MML.mfrac.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node,{
childNodes:["mjx-numerator","mjx-denominator"],
forceChild:true, noBBox:true, childCount:2
});
var values = this.getValues("linethickness","displaystyle","scriptlevel",
"numalign","denomalign","bevelled");
var isDisplay = values.displaystyle;
//
// Get the scale of the fraction and its parts
//
var sscale = 1, scale = (values.scriptlevel > 0 ? SCRIPTFACTOR : 1);
if (!isDisplay && values.scriptlevel < 2) {
sscale = SCRIPTFACTOR;
if (this.data[0]) this.data[0].CHTMLhandleScriptlevel(node.firstChild);
if (this.data[1]) this.data[1].CHTMLhandleScriptlevel(node.lastChild);
}
//
// Create the table for the fraction and set the alignment
//
var num = node.firstChild, denom = node.lastChild;
var frac = HTML.addElement(node,"mjx-box");
frac.appendChild(num); frac.appendChild(denom); node.appendChild(frac);
if (values.numalign !== "center") num.style.textAlign = values.numalign;
if (values.denomalign !== "center") denom.style.textAlign = values.denomalign;
//
// Get the bounding boxes for the parts, and determine the placement
// of the numerator and denominator
//
var nbox = this.CHTMLbboxFor(0), dbox = this.CHTMLbboxFor(1);
values.linethickness = Math.max(0,CHTML.length2em(values.linethickness||"0",0));
var mt = CHTML.TEX.min_rule_thickness/CHTML.em/scale, a = CHTML.TEX.axis_height;
var t = values.linethickness, p,q, u,v;
if (isDisplay) {u = CHTML.TEX.num1; v = CHTML.TEX.denom1}
else {u = (t === 0 ? CHTML.TEX.num3 : CHTML.TEX.num2); v = CHTML.TEX.denom2}
if (t === 0) { // \atop
p = Math.max((isDisplay ? 7 : 3) * CHTML.TEX.rule_thickness, 2*mt); // force to at least 2 px
q = (u - nbox.d*sscale) - (dbox.h*sscale - v);
if (q < p) {u += (p - q)/2; v += (p - q)/2}
} else { // \over
p = Math.max((isDisplay ? 3 : 0) * t, mt); // force to be at least 1px
t = Math.max(t,mt);
q = (u - nbox.d*sscale) - (a + t/2); if (q < p) u += (p - q);
q = (a - t/2) - (dbox.h*sscale - v); if (q < p) v += (p - q);
frac.style.verticalAlign = CHTML.Em(t/2-v);
num.style.borderBottom = CHTML.Em(t)+" solid";
num.className += " MJXc-fpad"; nbox.L = nbox.R = .1;
denom.className += " MJXc-fpad"; dbox.L = dbox.R = .1;
}
//
// Determine the new bounding box and place the parts
//
this.CHTML = CHTML.emptyBBox();
CHTML.combineBBoxes(this.CHTML,nbox,0,u,sscale);
CHTML.combineBBoxes(this.CHTML,dbox,0,-v,sscale);
CHTML.cleanBBox(this.CHTML);
u -= sscale*nbox.d + a + t/2; v -= sscale*dbox.h - a + t/2;
if (u > 0) num.style.paddingBottom = CHTML.Em(u);
if (v > 0) denom.style.paddingTop = CHTML.Em(v);
//
// Add nulldelimiterspace around the fraction
// (TeXBook pg 150 and Appendix G rule 15e)
//
if (!this.texWithDelims && !this.useMMLspacing)
this.CHTML.L = this.CHTML.R = CHTML.TEX.nulldelimiterspace;
this.CHTMLhandleSpace(node);
//
// Return the completed fraction
//
return node;
}
});
/********************************************************/
MML.msqrt.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node,{
childNodes:["mjx-box","mjx-root"], forceChild:true, noBBox:true
});
var base = node.firstChild;
var sqrt = HTML.addElement(node,"mjx-box"); sqrt.appendChild(base);
var bbox = this.CHTMLbboxFor(0), BBOX = this.CHTML = CHTML.emptyBBox();
var t = CHTML.TEX.surd_height, p = CHTML.TEX.rule_thickness, q, H;
if (this.Get("displaystyle")) p = CHTML.TEX.x_height;
q = t + p/4;
H = bbox.h + bbox.d + q + t;
var surd = HTML.Element("mjx-surd"); sqrt.insertBefore(surd,base);
var sbox = CHTML.createDelimiter(surd,0x221A,H,1);
if (sbox.h + sbox.d > H) q = ((sbox.h+sbox.d) - (H-t))/2;
H = bbox.h + q + t;
var x = this.CHTMLaddRoot(node,sbox,sbox.h+sbox.d-H);
surd.style.verticalAlign = CHTML.Em(H-sbox.h);
base.style.paddingTop = CHTML.Em(q);
base.style.borderTop = CHTML.Em(t)+" solid";
sqrt.style.paddingTop = CHTML.Em(t);
bbox.h += q + 2*t;
CHTML.combineBBoxes(BBOX,sbox,x,H-sbox.h,1);
CHTML.combineBBoxes(BBOX,bbox,x+sbox.w,0,1);
return node;
},
CHTMLaddRoot: function () {return 0}
});
/********************************************************/
MML.mroot.Augment({
toCommonHTML: MML.msqrt.prototype.toCommonHTML,
CHTMLaddRoot: function (sqrt,sbox,d) {
if (!this.data[1]) return;
var BBOX = this.CHTML, bbox = this.data[1].CHTML,
root = sqrt.firstChild;
var dlevel = Math.min(2,this.Get("scriptlevel")),
level = Math.min(2,this.data[1].Get("scriptlevel"));
scale = Math.pow(SCRIPTFACTOR,level-dlevel);
if (scale !== 1) this.data[1].CHTMLhandleScriptlevel(root,dlevel);
var h = this.CHTMLrootHeight(bbox,sbox,scale)-d;
var w = Math.min(bbox.w,bbox.r); // remove extra right-hand padding, if any
var dx = Math.max(w,sbox.offset/scale);
if (h) root.style.verticalAlign = CHTML.Em(h/scale);
if (dx > w) root.firstChild.style.paddingLeft = CHTML.Em(dx-w);
dx -= sbox.offset/scale;
root.style.width = CHTML.Em(dx);
CHTML.combineBBoxes(BBOX,bbox,0,h,scale);
return dx*scale;
},
CHTMLrootHeight: function (bbox,sbox,scale) {
return .45*(sbox.h+sbox.d-.9)+sbox.offset + Math.max(0,bbox.d-.075);
}
});
/********************************************************/
MML.mfenced.Augment({
toCommonHTML: function (node) {
node = this.CHTMLcreateNode(node);
this.CHTMLhandleSpace(node);
this.CHTMLhandleStyle(node);
this.CHTMLhandleColor(node);
//
// Make row of open, data, sep, ... data, close
//
this.addFakeNodes();
this.CHTMLaddChild(node,"open",{});
for (var i = 0, m = this.data.length; i < m; i++) {
this.CHTMLaddChild(node,"sep"+i,{});
this.CHTMLaddChild(node,i,{});
}
this.CHTMLaddChild(node,"close",{});
//
// Check for stretching the elements
//
var H = this.CHTML.h, D = this.CHTML.d;
this.CHTMLstretchChildV("open",H,D);
for (i = 0, m = this.data.length; i < m; i++) {
this.CHTMLstretchChildV("sep"+i,H,D);
this.CHTMLstretchChildV(i,H,D);
}
this.CHTMLstretchChildV("close",H,D);
return node;
}
});
/********************************************************/
MML.mrow.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node);
var bbox = this.CHTML, H = bbox.h, D = bbox.d;
for (var i = 0, m = this.data.length; i < m; i++) this.CHTMLstretchChildV(i,H,D);
return node;
}
});
/********************************************************/
MML.mstyle.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node);
if (this.scriptlevel) {
var dlevel = this.Get("scriptlevel",null,true);
if (this.scriptlevel !== dlevel) {
this.CHTMLhandleScriptlevel(node,dlevel);
CHTML.scaleBBox(this.CHTML,this.scriptlevel,dlevel);
}
}
return node;
}
});
/********************************************************/
MML.TeXAtom.Augment({
toCommonHTML: function (node) {
// ### FIXME: handle TeX class?
node = this.CHTMLdefaultNode(node);
var H = this.CHTML.h, D = this.CHTML.d;
for (var i = 0, m = this.data.length; i < m; i++) this.CHTMLstretchChildV(i,H,D);
return node;
}
});
/********************************************************/
MML.mtable.Augment({
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node,{noBBox:true});
var values = this.getValues("columnalign","rowalign","columnspacing","rowspacing",
"columnwidth","equalcolumns","equalrows",
"columnlines","rowlines","frame","framespacing",
"align","width"/*,"useHeight","side","minlabelspacing"*/);
var SPLIT = MathJax.Hub.SplitList, i, m, j, n;
var CSPACE = SPLIT(values.columnspacing),
RSPACE = SPLIT(values.rowspacing),
CALIGN = SPLIT(values.columnalign),
RALIGN = SPLIT(values.rowalign);//,
// CLINES = SPLIT(values.columnlines),
// RLINES = SPLIT(values.rowlines),
// CWIDTH = SPLIT(values.columnwidth),
// RCALIGN = [];
for (i = 0, m = CSPACE.length; i < m; i++) {CSPACE[i] = CHTML.length2em(CSPACE[i])}
for (i = 0, m = RSPACE.length; i < m; i++) {RSPACE[i] = CHTML.length2em(RSPACE[i])}
var table = HTML.Element("node");
while (node.firstChild) table.appendChild(node.firstChild);
node.appendChild(table);
var H = 0, W = 0;
for (i = 0, m = this.data.length; i < m; i++) {
var row = this.data[i];
if (row) {
var rspace = CHTML.arrayEntry(RSPACE,i-1), ralign = CHTML.arrayEntry(RALIGN,i);
var rbox = row.CHTML, rnode = row.CHTMLnodeElement();
rnode.style.verticalAlign = ralign;
var k = (row.type === "mlabeledtr" ? 1 : 0);
for (j = 0, n = row.data.length; j < n-k; j++) {
var cell = row.data[j+k];
if (cell) {
var cspace = CHTML.arrayEntry(CSPACE,j-1), calign = CHTML.arrayEntry(CALIGN,j);
var /*cbox = cell.CHTML,*/ cnode = cell.CHTMLnodeElement();
if (j) {rbox.w += cspace; cnode.style.paddingLeft = CHTML.Em(cspace)}
if (i) cnode.style.paddingTop = CHTML.Em(rspace);
cnode.style.textAlign = calign;
}
}
H += rbox.h + rbox.d; if (i) {H += rspace}
if (rbox.w > W) W = rbox.w;
}
}
var bbox = this.CHTML;
bbox.w = W; bbox.h = H/2 + AXISHEIGHT; bbox.d = H/2 - AXISHEIGHT;
bbox.L = bbox.R = .125;
return node;
}
});
MML.mlabeledtr.Augment({
CHTMLdefaultNode: function (node,options) {
if (!options) options = {};
node = this.CHTMLcreateNode(node);
this.CHTMLhandleStyle(node);
this.CHTMLhandleColor(node);
// skip label for now
for (var i = 1, m = this.data.length; i < m; i++) this.CHTMLaddChild(node,i,options);
return node;
}
});
/********************************************************/
MML.semantics.Augment({
toCommonHTML: function (node) {
node = this.CHTMLcreateNode(node);
if (this.data[0]) {
this.data[0].toCommonHTML(node);
MathJax.Hub.Insert(this.data[0].CHTML||{},this.CHTML);
}
return node;
}
});
MML.annotation.Augment({toCommonHTML: function(node) {}});
MML["annotation-xml"].Augment({toCommonHTML: function(node) {}});
/********************************************************/
//
// Loading isn't complete until the element jax is modified,
// but can't call loadComplete within the callback for "mml Jax Ready"
// (it would call CommonHTML's Require routine, asking for the mml jax again)
// so wait until after the mml jax has finished processing.
//
// We also need to wait for the onload handler to run, since the loadComplete
// will call Config and Startup, which need to modify the body.
//
MathJax.Hub.Register.StartupHook("onLoad",function () {
setTimeout(MathJax.Callback(["loadComplete",CHTML,"jax.js"]),0);
});
});
MathJax.Hub.Register.StartupHook("End Cookie", function () {
if (HUB.config.menuSettings.zoom !== "None")
{AJAX.Require("[MathJax]/extensions/MathZoom.js")}
});
})(MathJax.Ajax,MathJax.Hub,MathJax.HTML,MathJax.OutputJax.CommonHTML);