+/////////////////////////////////////////////////////////////////////
+//
+// InsetMathBinom
+//
+/////////////////////////////////////////////////////////////////////
+
+
+InsetMathBinom::InsetMathBinom(Buffer * buf, Kind kind)
+ : InsetMathFracBase(buf), kind_(kind)
+{}
+
+
+Inset * InsetMathBinom::clone() const
+{
+ return new InsetMathBinom(*this);
+}
+
+
+int InsetMathBinom::dw(int height) const
+{
+ int w = height / 5;
+ if (w > 15)
+ w = 15;
+ if (w < 6)
+ w = 6;
+ return w;
+}
+
+
+void InsetMathBinom::metrics(MetricsInfo & mi, Dimension & dim) const
+{
+ Changer dummy2 = mi.base.changeEnsureMath();
+ Dimension dim0, dim1;
+ int const dy = axis_height(mi.base);
+ Changer dummy =
+ (kind_ == DBINOM) ? mi.base.font.changeStyle(LM_ST_DISPLAY) :
+ (kind_ == TBINOM) ? mi.base.font.changeStyle(LM_ST_SCRIPT) :
+ mi.base.changeFrac();
+ cell(0).metrics(mi, dim0);
+ cell(1).metrics(mi, dim1);
+ dim.asc = dim0.height() + 1 + dy/2 + dy;
+ dim.des = max(0, dim1.height() + 1 + dy/2 - dy);
+ dim.wid = max(dim0.wid, dim1.wid) + 2 * dw(dim.height()) + 4;
+}
+
+
+void InsetMathBinom::draw(PainterInfo & pi, int x, int y) const
+{
+ Changer dummy2 = pi.base.changeEnsureMath();
+ Dimension const dim = dimension(*pi.base.bv);
+ Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
+ Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
+ int const dy = axis_height(pi.base);
+ // define the binom brackets
+ docstring const bra = kind_ == BRACE ? from_ascii("{") :
+ kind_ == BRACK ? from_ascii("[") : from_ascii("(");
+ docstring const ket = kind_ == BRACE ? from_ascii("}") :
+ kind_ == BRACK ? from_ascii("]") : from_ascii(")");
+
+ int m = x + dim.width() / 2;
+ {
+ Changer dummy =
+ (kind_ == DBINOM) ? pi.base.font.changeStyle(LM_ST_DISPLAY) :
+ (kind_ == TBINOM) ? pi.base.font.changeStyle(LM_ST_SCRIPT) :
+ pi.base.changeFrac();
+ // take dy both for the vertical alignment and for the spacing between
+ // cells
+ cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - dy/2 - dy);
+ cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + dy/2 - dy);
+ }
+ // draw the brackets and the marker
+ mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()),
+ dim.height(), bra);
+ mathed_draw_deco(pi, x + dim.width() - dw(dim.height()),
+ y - dim.ascent(), dw(dim.height()), dim.height(), ket);
+}
+
+
+bool InsetMathBinom::extraBraces() const
+{
+ return kind_ == CHOOSE || kind_ == BRACE || kind_ == BRACK;
+}
+
+
+void InsetMathBinom::write(WriteStream & os) const
+{
+ MathEnsurer ensurer(os);
+ switch (kind_) {
+ case BINOM:
+ os << "\\binom{" << cell(0) << "}{" << cell(1) << '}';
+ break;
+ case DBINOM:
+ os << "\\dbinom{" << cell(0) << "}{" << cell(1) << '}';
+ break;
+ case TBINOM:
+ os << "\\tbinom{" << cell(0) << "}{" << cell(1) << '}';
+ break;
+ case CHOOSE:
+ os << '{' << cell(0) << " \\choose " << cell(1) << '}';
+ break;
+ case BRACE:
+ os << '{' << cell(0) << " \\brace " << cell(1) << '}';
+ break;
+ case BRACK:
+ os << '{' << cell(0) << " \\brack " << cell(1) << '}';
+ break;
+ }
+}
+
+
+void InsetMathBinom::normalize(NormalStream & os) const
+{
+ os << "[binom " << cell(0) << ' ' << cell(1) << ']';
+}
+
+
+void InsetMathBinom::mathmlize(MathStream & os) const
+{
+ char ldelim = ' ';
+ char rdelim = ' ';
+ switch (kind_) {
+ case BINOM:
+ case TBINOM:
+ case DBINOM:
+ case CHOOSE:
+ ldelim = '(';
+ rdelim = ')';
+ break;
+ case BRACE:
+ ldelim = '{';
+ rdelim = '}';
+ break;
+ case BRACK:
+ ldelim = '[';
+ rdelim = ']';
+ break;
+ }
+ os << "<mo fence='true' stretchy='true' form='prefix'>" << ldelim << "</mo>"
+ << "<mfrac linethickness='0'>"
+ << cell(0) << cell(1)
+ << "</mfrac>"
+ << "<mo fence='true' stretchy='true' form='postfix'>" << rdelim << "</mo>";
+}
+
+
+void InsetMathBinom::htmlize(HtmlStream & os) const
+{
+ char ldelim = ' ';
+ char rdelim = ' ';
+ switch (kind_) {
+ case BINOM:
+ case TBINOM:
+ case DBINOM:
+ case CHOOSE:
+ ldelim = '(';
+ rdelim = ')';
+ break;
+ case BRACE:
+ ldelim = '{';
+ rdelim = '}';
+ break;
+ case BRACK:
+ ldelim = '[';
+ rdelim = ']';
+ break;
+ }
+ os << MTag("span", "class='binomdelim'") << ldelim << ETag("span") << '\n'
+ << MTag("span", "class='binom'") << '\n'
+ << MTag("span") << cell(0) << ETag("span") << '\n'
+ << MTag("span") << cell(1) << ETag("span") << '\n'
+ << ETag("span") << '\n'
+ << MTag("span", "class='binomdelim'") << rdelim << ETag("span") << '\n';
+}
+
+
+void InsetMathBinom::validate(LaTeXFeatures & features) const
+{
+ if (features.runparams().isLaTeX()) {
+ if (kind_ == BINOM)
+ features.require("binom");
+ if (kind_ == DBINOM || kind_ == TBINOM)
+ features.require("amsmath");
+ } else if (features.runparams().math_flavor == OutputParams::MathAsHTML)
+ features.addCSSSnippet(
+ "span.binom{display: inline-block; vertical-align: bottom; text-align:center;}\n"
+ "span.binom span{display: block;}\n"
+ "span.binomdelim{font-size: 2em;}");
+ InsetMathNest::validate(features);
+}
+