]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/InsetMathFrac.cpp
Revert some recent test changes
[lyx.git] / src / mathed / InsetMathFrac.cpp
index 863107403074570638dd0181e2fb938488eecada..6a175fad31ac26e0568c24684ef557917ee5a5c9 100644 (file)
@@ -1,10 +1,11 @@
 /**
- * \file InsetMathFrac.cpp
+ * \file InsetMathFracBase.cpp
  * This file is part of LyX, the document processor.
  * Licence details can be found in the file COPYING.
  *
  * \author Alejandro Aguilar Sierra
- * \author André Pönitz
+ * \author André Pönitz
+ * \author Uwe Stöhr
  *
  * Full author contact details are available in file CREDITS.
  */
 #include <config.h>
 
 #include "InsetMathFrac.h"
+
+#include "Cursor.h"
+#include "LaTeXFeatures.h"
 #include "MathData.h"
 #include "MathStream.h"
+#include "MathSupport.h"
+#include "MetricsInfo.h"
 #include "TextPainter.h"
-#include "LaTeXFeatures.h"
-#include "Color.h"
-#include "Cursor.h"
+
+#include "support/lassert.h"
 #include "frontends/Painter.h"
 
+using namespace std;
 
 namespace lyx {
 
-InsetMathFrac::InsetMathFrac(Kind kind, InsetMath::idx_type ncells)
-       : InsetMathFracBase(ncells), kind_(kind)
+/////////////////////////////////////////////////////////////////////
+//
+// InsetMathFracBase
+//
+/////////////////////////////////////////////////////////////////////
+
+
+InsetMathFracBase::InsetMathFracBase(Buffer * buf, idx_type ncells)
+       : InsetMathNest(buf, ncells)
+{}
+
+
+bool InsetMathFracBase::idxUpDown(Cursor & cur, bool up) const
+{
+       // If we only have one cell, target = 0, otherwise
+       // target = up ? 0 : 1, since upper cell has idx 0
+       InsetMath::idx_type target = nargs() > 1 ? !up : 0;
+       if (cur.idx() == target)
+               return false;
+       cur.idx() = target;
+       cur.pos() = cell(target).x2pos(&cur.bv(), cur.x_target());
+       return true;
+}
+
+
+
+/////////////////////////////////////////////////////////////////////
+//
+// InsetMathFrac
+//
+/////////////////////////////////////////////////////////////////////
+
+
+InsetMathFrac::InsetMathFrac(Buffer * buf, Kind kind, InsetMath::idx_type ncells)
+       : InsetMathFracBase(buf, ncells), kind_(kind)
 {}
 
 
@@ -46,38 +85,38 @@ InsetMathFrac const * InsetMathFrac::asFracInset() const
 }
 
 
-bool InsetMathFrac::idxRight(Cursor & cur) const
+bool InsetMathFrac::idxForward(Cursor & cur) const
 {
-       InsetMath::idx_type target;
+       InsetMath::idx_type target = 0;
        if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
                if (nargs() == 3)
                        target = 0;
                else if (nargs() == 2)
                        target = 1;
        } else
-               return false;
+               return false;
        if (cur.idx() == target)
                return false;
        cur.idx() = target;
-       cur.pos() = cell(target).x2pos(cur.x_target());
+       cur.pos() = cell(target).x2pos(&cur.bv(), cur.x_target());
        return true;
 }
 
 
-bool InsetMathFrac::idxLeft(Cursor & cur) const
+bool InsetMathFrac::idxBackward(Cursor & cur) const
 {
-       InsetMath::idx_type target;
+       InsetMath::idx_type target = 0;
        if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
                if (nargs() == 3)
                        target = 2;
                else if (nargs() == 2)
                        target = 0;
        } else
-               return false;
+               return false;
        if (cur.idx() == target)
                return false;
        cur.idx() = target;
-       cur.pos() = cell(target).x2pos(cur.x_target());
+       cur.pos() = cell(target).x2pos(&cur.bv(), cur.x_target());
        return true;
 }
 
@@ -88,50 +127,64 @@ void InsetMathFrac::metrics(MetricsInfo & mi, Dimension & dim) const
 
        if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
                if (nargs() == 1) {
-                       ShapeChanger dummy2(mi.base.font, Font::UP_SHAPE);
+                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
                        cell(0).metrics(mi, dim0);
                        dim.wid = dim0.width()+ 3;
                        dim.asc = dim0.asc;
                        dim.des = dim0.des;
                } else if (nargs() == 2) {
                        cell(0).metrics(mi, dim0);
-                       ShapeChanger dummy2(mi.base.font, Font::UP_SHAPE);
+                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
                        cell(1).metrics(mi, dim1);
                        dim.wid = dim0.width() + dim1.wid + 5;
-                       dim.asc = std::max(dim0.asc, dim1.asc);
-                       dim.des = std::max(dim0.des, dim1.des);
+                       dim.asc = max(dim0.asc, dim1.asc);
+                       dim.des = max(dim0.des, dim1.des);
                } else {
                        cell(2).metrics(mi, dim2);
-                       ShapeChanger dummy2(mi.base.font, Font::UP_SHAPE);
+                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
                        FracChanger dummy(mi.base);
                        cell(0).metrics(mi, dim0);
                        cell(1).metrics(mi, dim1);
                        dim.wid = dim0.width() + dim1.wid + dim2.wid + 10;
-                       dim.asc = std::max(dim2.asc, dim0.height() + 5);
-                       dim.des = std::max(dim2.des, dim1.height() - 5);
+                       dim.asc = max(dim2.asc, dim0.height() + 5);
+                       dim.des = max(dim2.des, dim1.height() - 5);
                }
        } else {
+               // general cell metrics used for \frac
                FracChanger dummy(mi.base);
                cell(0).metrics(mi, dim0);
                cell(1).metrics(mi, dim1);
+               if (nargs() == 3)
+                       cell(2).metrics(mi, dim2);
+               // metrics for special fraction types
                if (kind_ == NICEFRAC) {
                        dim.wid = dim0.width() + dim1.wid + 5;
                        dim.asc = dim0.height() + 5;
                        dim.des = dim1.height() - 5;
                } else if (kind_ == UNITFRAC) {
-                       ShapeChanger dummy2(mi.base.font, Font::UP_SHAPE);
+                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
                        dim.wid = dim0.width() + dim1.wid + 5;
                        dim.asc = dim0.height() + 5;
                        dim.des = dim1.height() - 5;
                } else {
-                       dim.wid = std::max(dim0.width(), dim1.wid) + 2;
+                       if (kind_ == CFRAC || kind_ == CFRACLEFT
+                                 || kind_ == CFRACRIGHT || kind_ == DFRAC) {
+                               // \cfrac and \dfrac are always in display size
+                               StyleChanger dummy2(mi.base, LM_ST_DISPLAY);
+                               cell(0).metrics(mi, dim0);
+                               cell(1).metrics(mi, dim1);
+                       } else if (kind_ == TFRAC) {
+                               // tfrac is in always in text size
+                               StyleChanger dummy2(mi.base, LM_ST_SCRIPT);
+                               cell(0).metrics(mi, dim0);
+                               cell(1).metrics(mi, dim1);
+                       }
+                       dim.wid = max(dim0.wid, dim1.wid) + 2;
                        dim.asc = dim0.height() + 2 + 5;
                        dim.des = dim1.height() + 2 - 5;
                }
        }
        metricsMarkers(dim);
-       // Cache the inset dimension. 
-       setDimCache(mi, dim);
 }
 
 
@@ -140,21 +193,20 @@ void InsetMathFrac::draw(PainterInfo & pi, int x, int y) const
        setPosCache(pi, x, y);
        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);
-       Dimension const dim2 = cell(0).dimension(*pi.base.bv);
-       int m = x + dim.wid / 2;
        if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
                if (nargs() == 1) {
-                       ShapeChanger dummy2(pi.base.font, Font::UP_SHAPE);
+                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
                        cell(0).draw(pi, x + 1, y);
                } else if (nargs() == 2) {
                        cell(0).draw(pi, x + 1, y);
-                       ShapeChanger dummy2(pi.base.font, Font::UP_SHAPE);
+                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
                        cell(1).draw(pi, x + dim0.width() + 5, y);
                } else {
                        cell(2).draw(pi, x + 1, y);
-                       ShapeChanger dummy2(pi.base.font, Font::UP_SHAPE);
+                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
                        FracChanger dummy(pi.base);
+                       Dimension const dim1 = cell(1).dimension(*pi.base.bv);
+                       Dimension const dim2 = cell(2).dimension(*pi.base.bv);
                        int xx = x + dim2.wid + 5;
                        cell(0).draw(pi, xx + 2, 
                                         y - dim0.des - 5);
@@ -163,38 +215,53 @@ void InsetMathFrac::draw(PainterInfo & pi, int x, int y) const
                }
        } else {
                FracChanger dummy(pi.base);
+               Dimension const dim1 = cell(1).dimension(*pi.base.bv);
+               int m = x + dim.wid / 2;
                if (kind_ == NICEFRAC) {
                        cell(0).draw(pi, x + 2,
                                        y - dim0.des - 5);
                        cell(1).draw(pi, x + dim0.width() + 5,
                                        y + dim1.asc / 2);
                } else if (kind_ == UNITFRAC) {
-                       ShapeChanger dummy2(pi.base.font, Font::UP_SHAPE);
-                       cell(0).draw(pi, x + 2,
-                                       y - dim0.des - 5);
-                       cell(1).draw(pi, x + dim0.width() + 5,
-                                       y + dim1.asc / 2);
+                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
+                       cell(0).draw(pi, x + 2, y - dim0.des - 5);
+                       cell(1).draw(pi, x + dim0.width() + 5, y + dim1.asc / 2);
+               } else if (kind_ == FRAC || kind_ == ATOP || kind_ == OVER) {
+                       cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
+                       cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
+               } else if (kind_ == TFRAC) {
+                       // tfrac is in always in text size
+                       StyleChanger dummy2(pi.base, LM_ST_SCRIPT);
+                       cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
+                       cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
                } else {
-                       // Classical fraction
-                       cell(0).draw(pi, m - dim0.width() / 2,
+                       // \cfrac and \dfrac are always in display size
+                       StyleChanger dummy2(pi.base, LM_ST_DISPLAY);
+                       if (kind_ == CFRAC || kind_ == DFRAC)
+                               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
+                       else if (kind_ == CFRACLEFT)
+                               cell(0).draw(pi, x + 2, y - dim0.des - 2 - 5);
+                       else if (kind_ == CFRACRIGHT)
+                               cell(0).draw(pi, x + dim.wid - dim0.wid - 2,
                                        y - dim0.des - 2 - 5);
-                       cell(1).draw(pi, m - dim1.wid / 2,
-                                       y + dim1.asc  + 2 - 5);
+                       cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
                }
        }
        if (kind_ == NICEFRAC || kind_ == UNITFRAC) {
                // Diag line:
                int xx = x;
                if (nargs() == 3)
-                       xx += dim2.wid + 5;
+                       xx += cell(2).dimension(*pi.base.bv).wid + 5;
                pi.pain.line(xx + dim0.wid,
                                y + dim.des - 2,
                                xx + dim0.wid + 5,
-                               y - dim.asc + 2, Color::math);
+                               y - dim.asc + 2, pi.base.font.color());
        }
-       if (kind_ == FRAC || kind_ == OVER)
+       if (kind_ == FRAC || kind_ == CFRAC || kind_ == CFRACLEFT
+               || kind_ == CFRACRIGHT || kind_ == DFRAC
+               || kind_ == TFRAC || kind_ == OVER)
                pi.pain.line(x + 1, y - 5,
-                               x + dim.wid - 2, y - 5, Color::math);
+                               x + dim.wid - 2, y - 5, pi.base.font.color());
        drawMarkers(pi, x, y);
 }
 
@@ -204,13 +271,13 @@ void InsetMathFrac::metricsT(TextMetricsInfo const & mi, Dimension & dim) const
        Dimension dim0, dim1;
        cell(0).metricsT(mi, dim0);
        cell(1).metricsT(mi, dim1);
-       dim.wid = std::max(dim0.width(), dim1.wid);
+       dim.wid = max(dim0.width(), dim1.wid);
        dim.asc = dim0.height() + 1;
        dim.des = dim1.height();
 }
 
 
-void InsetMathFrac::drawT(TextPainter & pain, int x, int y) const
+void InsetMathFrac::drawT(TextPainter & /*pain*/, int /*x*/, int /*y*/) const
 {
        // FIXME: BROKEN!
        /*
@@ -227,8 +294,11 @@ void InsetMathFrac::drawT(TextPainter & pain, int x, int y) const
 
 void InsetMathFrac::write(WriteStream & os) const
 {
+       MathEnsurer ensurer(os);
        switch (kind_) {
        case ATOP:
+               // \\atop is only for compatibility, \\binom is the
+               // LaTeX2e successor
                os << '{' << cell(0) << "\\atop " << cell(1) << '}';
                break;
        case OVER:
@@ -236,7 +306,10 @@ void InsetMathFrac::write(WriteStream & os) const
                os << "\\frac{" << cell(0) << "}{" << cell(1) << '}';
                break;
        case FRAC:
+       case DFRAC:
+       case TFRAC:
        case NICEFRAC:
+       case CFRAC:
        case UNITFRAC:
                if (nargs() == 2)
                        InsetMathNest::write(os);
@@ -249,6 +322,12 @@ void InsetMathFrac::write(WriteStream & os) const
                else
                        os << "\\unit{" << cell(0) << '}';
                break;
+       case CFRACLEFT:
+               os << "\\cfrac[l]{" << cell(0) << "}{" << cell(1) << '}';
+               break;
+       case CFRACRIGHT:
+               os << "\\cfrac[r]{" << cell(0) << "}{" << cell(1) << '}';
+               break;
        }
 }
 
@@ -258,6 +337,14 @@ docstring InsetMathFrac::name() const
        switch (kind_) {
        case FRAC:
                return from_ascii("frac");
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+               return from_ascii("cfrac");
+       case DFRAC:
+               return from_ascii("dfrac");
+       case TFRAC:
+               return from_ascii("tfrac");
        case OVER:
                return from_ascii("over");
        case NICEFRAC:
@@ -282,25 +369,137 @@ bool InsetMathFrac::extraBraces() const
 
 void InsetMathFrac::maple(MapleStream & os) const
 {
+       if (nargs() != 2) {
+               // Someone who knows about maple should fix this.
+               LASSERT(false, return);
+       }
        os << '(' << cell(0) << ")/(" << cell(1) << ')';
 }
 
 
 void InsetMathFrac::mathematica(MathematicaStream & os) const
 {
+       if (nargs() != 2) {
+               // Someone who knows about mathematica should fix this.
+               LASSERT(false, return);
+       }
        os << '(' << cell(0) << ")/(" << cell(1) << ')';
 }
 
 
 void InsetMathFrac::octave(OctaveStream & os) const
 {
+       if (nargs() != 2) {
+               // Someone who knows about octave should fix this.
+               LASSERT(false, return);
+       }
        os << '(' << cell(0) << ")/(" << cell(1) << ')';
 }
 
 
 void InsetMathFrac::mathmlize(MathStream & os) const
 {
-       os << MTag("mfrac") << cell(0) << cell(1) << ETag("mfrac");
+       switch (kind_) {
+       case ATOP:
+               os << MTag("mfrac", "linethickeness='0'")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       // we do not presently distinguish these
+       case OVER:
+       case FRAC:
+       case DFRAC:
+       case TFRAC:
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+               os << MTag("mfrac")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       case NICEFRAC:
+               os << MTag("mfrac", "bevelled='true'")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       case UNITFRAC:
+               if (nargs() == 3)
+                       os << cell(2);
+               os << MTag("mfrac", "bevelled='true'")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       case UNIT:
+               // FIXME This is not right, because we still output mi, etc,
+               // when we output the cell. So we need to prevent that somehow.
+               if (nargs() == 2)
+                       os << cell(0) 
+                          << MTag("mstyle mathvariant='normal'") 
+                          << cell(1) 
+                          << ETag("mstyle");
+               else
+                       os << MTag("mstyle mathvariant='normal'") 
+                          << cell(0)
+                          << ETag("mstyle");
+       }
+}
+
+
+void InsetMathFrac::htmlize(HtmlStream & os) const
+{
+       switch (kind_) {
+       case ATOP:
+               os << MTag("span", "class='frac'")
+                        << MTag("span", "class='numer'") << cell(0) << ETag("span")
+                        << MTag("span", "class='numer'") << cell(1) << ETag("span")
+                        << ETag("span");
+               break;
+
+       // we do not presently distinguish these
+       case OVER:
+       case FRAC:
+       case DFRAC:
+       case TFRAC:
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+               os << MTag("span", "class='frac'")
+                        << MTag("span", "class='numer'") << cell(0) << ETag("span")
+                        << MTag("span", "class='denom'") << cell(1) << ETag("span")
+                        << ETag("span");
+               break;
+
+       case NICEFRAC:
+               os << cell(0) << '/' << cell(1);
+               break;
+
+       case UNITFRAC:
+               if (nargs() == 3)
+                       os << cell(2) << ' ';
+               os << cell(0) << '/' << cell(1);
+               break;
+
+       case UNIT:
+               // FIXME This is not right, because we still output i, etc,
+               // when we output the cell. So we need to prevent that somehow.
+               if (nargs() == 2)
+                       os << cell(0) 
+                          << MTag("span") 
+                          << cell(1) 
+                          << ETag("span");
+               else
+                       os << MTag("span") 
+                          << cell(0)
+                          << ETag("span");
+       }
 }
 
 
@@ -308,9 +507,221 @@ void InsetMathFrac::validate(LaTeXFeatures & features) const
 {
        if (kind_ == NICEFRAC || kind_ == UNITFRAC || kind_ == UNIT)
                features.require("units");
+       if (kind_ == CFRAC || kind_ == CFRACLEFT || kind_ == CFRACRIGHT
+                 || kind_ == DFRAC || kind_ == TFRAC)
+               features.require("amsmath");
+       if (features.runparams().math_flavor == OutputParams::MathAsHTML)
+               // CSS adapted from eLyXer
+               features.addCSSSnippet(
+                       "span.frac{display: inline-block; vertical-align: middle; text-align:center;}\n"
+                       "span.numer{display: block;}\n"
+                       "span.denom{display: block; border-top: thin solid #000040;}");
        InsetMathNest::validate(features);
 }
 
 
+/////////////////////////////////////////////////////////////////////
+//
+// 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
+{
+       Dimension dim0, dim1;
+
+       // FIXME: for an unknown reason the cells must be set directly
+       // after the StyleChanger and cannot be set after the if case
+       if (kind_ == DBINOM) {
+               StyleChanger dummy(mi.base, LM_ST_DISPLAY);
+               cell(0).metrics(mi, dim0);
+               cell(1).metrics(mi, dim1);
+       } else if (kind_ == TBINOM) {
+               StyleChanger dummy(mi.base, LM_ST_SCRIPT);
+               cell(0).metrics(mi, dim0);
+               cell(1).metrics(mi, dim1);
+       } else {
+               FracChanger dummy(mi.base);
+               cell(0).metrics(mi, dim0);
+               cell(1).metrics(mi, dim1);
+       }
+       dim.asc = dim0.height() + 4 + 5;
+       dim.des = dim1.height() + 4 - 5;
+       dim.wid = max(dim0.wid, dim1.wid) + 2 * dw(dim.height()) + 4;
+       metricsMarkers2(dim);
+}
+
+
+void InsetMathBinom::draw(PainterInfo & pi, int x, int y) const
+{
+       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);
+       // 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;
+       // FIXME: for an unknown reason the cells must be drawn directly
+       // after the StyleChanger and cannot be drawn after the if case
+       if (kind_ == DBINOM) {
+               StyleChanger dummy(pi.base, LM_ST_DISPLAY);
+               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 3 - 5);
+               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
+       } else if (kind_ == TBINOM) {
+               StyleChanger dummy(pi.base, LM_ST_SCRIPT);
+               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 3 - 5);
+               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
+       } else {
+               FracChanger dummy2(pi.base);
+               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 3 - 5);
+               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
+       }
+       // 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);
+       drawMarkers2(pi, x, y);
+}
+
+
+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);
+}
+
 
 } // namespace lyx