2 * \file InsetMathFracBase.cpp
3 * This file is part of LyX, the document processor.
4 * Licence details can be found in the file COPYING.
6 * \author Alejandro Aguilar Sierra
9 * Full author contact details are available in file CREDITS.
14 #include "InsetMathFrac.h"
17 #include "LaTeXFeatures.h"
19 #include "MathStream.h"
20 #include "MathSupport.h"
21 #include "MetricsInfo.h"
22 #include "TextPainter.h"
24 #include "frontends/Painter.h"
30 /////////////////////////////////////////////////////////////////////
34 /////////////////////////////////////////////////////////////////////
37 InsetMathFracBase::InsetMathFracBase(idx_type ncells)
38 : InsetMathNest(ncells)
42 bool InsetMathFracBase::idxUpDown(Cursor & cur, bool up) const
44 InsetMath::idx_type target = !up; // up ? 0 : 1, since upper cell has idx 0
45 if (cur.idx() == target)
48 cur.pos() = cell(target).x2pos(&cur.bv(), cur.x_target());
54 /////////////////////////////////////////////////////////////////////
58 /////////////////////////////////////////////////////////////////////
61 InsetMathFrac::InsetMathFrac(Kind kind, InsetMath::idx_type ncells)
62 : InsetMathFracBase(ncells), kind_(kind)
66 Inset * InsetMathFrac::clone() const
68 return new InsetMathFrac(*this);
72 InsetMathFrac * InsetMathFrac::asFracInset()
74 return kind_ == ATOP ? 0 : this;
78 InsetMathFrac const * InsetMathFrac::asFracInset() const
80 return kind_ == ATOP ? 0 : this;
84 bool InsetMathFrac::idxForward(Cursor & cur) const
86 InsetMath::idx_type target = 0;
87 if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
90 else if (nargs() == 2)
94 if (cur.idx() == target)
97 cur.pos() = cell(target).x2pos(&cur.bv(), cur.x_target());
102 bool InsetMathFrac::idxBackward(Cursor & cur) const
104 InsetMath::idx_type target = 0;
105 if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
108 else if (nargs() == 2)
112 if (cur.idx() == target)
115 cur.pos() = cell(target).x2pos(&cur.bv(), cur.x_target());
120 void InsetMathFrac::metrics(MetricsInfo & mi, Dimension & dim) const
122 Dimension dim0, dim1, dim2;
124 if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
126 ShapeChanger dummy2(mi.base.font, UP_SHAPE);
127 cell(0).metrics(mi, dim0);
128 dim.wid = dim0.width()+ 3;
131 } else if (nargs() == 2) {
132 cell(0).metrics(mi, dim0);
133 ShapeChanger dummy2(mi.base.font, UP_SHAPE);
134 cell(1).metrics(mi, dim1);
135 dim.wid = dim0.width() + dim1.wid + 5;
136 dim.asc = max(dim0.asc, dim1.asc);
137 dim.des = max(dim0.des, dim1.des);
139 cell(2).metrics(mi, dim2);
140 ShapeChanger dummy2(mi.base.font, UP_SHAPE);
141 FracChanger dummy(mi.base);
142 cell(0).metrics(mi, dim0);
143 cell(1).metrics(mi, dim1);
144 dim.wid = dim0.width() + dim1.wid + dim2.wid + 10;
145 dim.asc = max(dim2.asc, dim0.height() + 5);
146 dim.des = max(dim2.des, dim1.height() - 5);
149 FracChanger dummy(mi.base);
150 cell(0).metrics(mi, dim0);
151 cell(1).metrics(mi, dim1);
153 cell(2).metrics(mi, dim2);
155 if (kind_ == NICEFRAC) {
156 dim.wid = dim0.width() + dim1.wid + 5;
157 dim.asc = dim0.height() + 5;
158 dim.des = dim1.height() - 5;
159 } else if (kind_ == UNITFRAC) {
160 ShapeChanger dummy2(mi.base.font, UP_SHAPE);
161 dim.wid = dim0.width() + dim1.wid + 5;
162 dim.asc = dim0.height() + 5;
163 dim.des = dim1.height() - 5;
165 dim.wid = max(dim0.width(), dim1.wid) + 2;
166 dim.asc = dim0.height() + 2 + 5;
167 dim.des = dim1.height() + 2 - 5;
174 void InsetMathFrac::draw(PainterInfo & pi, int x, int y) const
176 setPosCache(pi, x, y);
177 Dimension const dim = dimension(*pi.base.bv);
178 Dimension const dim0 = cell(0).dimension(*pi.base.bv);
179 int m = x + dim.wid / 2;
180 if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
182 ShapeChanger dummy2(pi.base.font, UP_SHAPE);
183 cell(0).draw(pi, x + 1, y);
184 } else if (nargs() == 2) {
185 cell(0).draw(pi, x + 1, y);
186 ShapeChanger dummy2(pi.base.font, UP_SHAPE);
187 cell(1).draw(pi, x + dim0.width() + 5, y);
189 cell(2).draw(pi, x + 1, y);
190 ShapeChanger dummy2(pi.base.font, UP_SHAPE);
191 FracChanger dummy(pi.base);
192 Dimension const dim1 = cell(1).dimension(*pi.base.bv);
193 Dimension const dim2 = cell(2).dimension(*pi.base.bv);
194 int xx = x + dim2.wid + 5;
195 cell(0).draw(pi, xx + 2,
197 cell(1).draw(pi, xx + dim0.width() + 5,
201 FracChanger dummy(pi.base);
202 Dimension const dim1 = cell(1).dimension(*pi.base.bv);
203 if (kind_ == NICEFRAC) {
204 cell(0).draw(pi, x + 2,
206 cell(1).draw(pi, x + dim0.width() + 5,
208 } else if (kind_ == UNITFRAC) {
209 ShapeChanger dummy2(pi.base.font, UP_SHAPE);
210 cell(0).draw(pi, x + 2,
212 cell(1).draw(pi, x + dim0.width() + 5,
215 // Classical fraction
216 cell(0).draw(pi, m - dim0.width() / 2,
217 y - dim0.des - 2 - 5);
218 cell(1).draw(pi, m - dim1.wid / 2,
219 y + dim1.asc + 2 - 5);
222 if (kind_ == NICEFRAC || kind_ == UNITFRAC) {
226 xx += cell(2).dimension(*pi.base.bv).wid + 5;
228 pi.pain.line(xx + dim0.wid,
231 y - dim.asc + 2, Color_math);
233 if (kind_ == FRAC || kind_ == OVER)
234 pi.pain.line(x + 1, y - 5,
235 x + dim.wid - 2, y - 5, Color_math);
236 drawMarkers(pi, x, y);
240 void InsetMathFrac::metricsT(TextMetricsInfo const & mi, Dimension & dim) const
242 Dimension dim0, dim1;
243 cell(0).metricsT(mi, dim0);
244 cell(1).metricsT(mi, dim1);
245 dim.wid = max(dim0.width(), dim1.wid);
246 dim.asc = dim0.height() + 1;
247 dim.des = dim1.height();
251 void InsetMathFrac::drawT(TextPainter & /*pain*/, int /*x*/, int /*y*/) const
256 int m = x + dim.width() / 2;
257 cell(0).drawT(pain, m - dim0.width() / 2, y - dim0.des - 1);
258 cell(1).drawT(pain, m - dim1.wid / 2, y + dim1.asc);
259 // ASCII art: ignore niceties
260 if (kind_ == FRAC || kind_ == OVER || kind_ == NICEFRAC || kind_ == UNITFRAC)
261 pain.horizontalLine(x, y, dim.width());
266 void InsetMathFrac::write(WriteStream & os) const
268 bool brace = ensureMath(os);
272 os << '{' << cell(0) << "\\atop " << cell(1) << '}';
275 // \\over is only for compatibility, normalize this to \\frac
276 os << "\\frac{" << cell(0) << "}{" << cell(1) << '}';
282 InsetMathNest::write(os);
284 os << "\\unitfrac[" << cell(2) << "]{" << cell(0) << "}{" << cell(1) << '}';
288 os << "\\unit[" << cell(0) << "]{" << cell(1) << '}';
290 os << "\\unit{" << cell(0) << '}';
294 os.pendingBrace(brace);
298 docstring InsetMathFrac::name() const
302 return from_ascii("frac");
304 return from_ascii("over");
306 return from_ascii("nicefrac");
308 return from_ascii("unitfrac");
310 return from_ascii("unit");
312 return from_ascii("atop");
314 // shut up stupid compiler
319 bool InsetMathFrac::extraBraces() const
321 return kind_ == ATOP || kind_ == OVER;
325 void InsetMathFrac::maple(MapleStream & os) const
327 os << '(' << cell(0) << ")/(" << cell(1) << ')';
331 void InsetMathFrac::mathematica(MathematicaStream & os) const
333 os << '(' << cell(0) << ")/(" << cell(1) << ')';
337 void InsetMathFrac::octave(OctaveStream & os) const
339 os << '(' << cell(0) << ")/(" << cell(1) << ')';
343 void InsetMathFrac::mathmlize(MathStream & os) const
345 os << MTag("mfrac") << cell(0) << cell(1) << ETag("mfrac");
349 void InsetMathFrac::validate(LaTeXFeatures & features) const
351 if (kind_ == NICEFRAC || kind_ == UNITFRAC || kind_ == UNIT)
352 features.require("units");
353 InsetMathNest::validate(features);
357 /////////////////////////////////////////////////////////////////////
361 /////////////////////////////////////////////////////////////////////
364 Inset * InsetMathDFrac::clone() const
366 return new InsetMathDFrac(*this);
370 void InsetMathDFrac::metrics(MetricsInfo & mi, Dimension & dim) const
372 Dimension dim0, dim1;
373 cell(0).metrics(mi, dim0);
374 cell(1).metrics(mi, dim1);
375 dim.wid = max(dim0.wid, dim1.wid) + 2;
376 dim.asc = dim0.height() + 2 + 5;
377 dim.des = dim1.height() + 2 - 5;
381 void InsetMathDFrac::draw(PainterInfo & pi, int x, int y) const
383 Dimension const dim = dimension(*pi.base.bv);
384 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
385 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
386 int m = x + dim.wid / 2;
387 cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
388 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
389 pi.pain.line(x + 1, y - 5, x + dim.wid - 2, y - 5, Color_math);
390 setPosCache(pi, x, y);
394 docstring InsetMathDFrac::name() const
396 return from_ascii("dfrac");
400 void InsetMathDFrac::mathmlize(MathStream & os) const
402 os << MTag("mdfrac") << cell(0) << cell(1) << ETag("mdfrac");
406 void InsetMathDFrac::validate(LaTeXFeatures & features) const
408 features.require("amsmath");
409 InsetMathNest::validate(features);
413 /////////////////////////////////////////////////////////////////////
417 /////////////////////////////////////////////////////////////////////
420 Inset * InsetMathTFrac::clone() const
422 return new InsetMathTFrac(*this);
426 void InsetMathTFrac::metrics(MetricsInfo & mi, Dimension & dim) const
428 StyleChanger dummy(mi.base, LM_ST_SCRIPT);
430 cell(0).metrics(mi, dim0);
432 cell(1).metrics(mi, dim1);
433 dim.wid = max(dim0.width(), dim1.width()) + 2;
434 dim.asc = dim0.height() + 2 + 5;
435 dim.des = dim1.height() + 2 - 5;
439 void InsetMathTFrac::draw(PainterInfo & pi, int x, int y) const
441 StyleChanger dummy(pi.base, LM_ST_SCRIPT);
442 Dimension const dim = dimension(*pi.base.bv);
443 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
444 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
445 int m = x + dim.wid / 2;
446 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.descent() - 2 - 5);
447 cell(1).draw(pi, m - dim1.width() / 2, y + dim1.ascent() + 2 - 5);
448 pi.pain.line(x + 1, y - 5, x + dim.wid - 2, y - 5, Color_math);
449 setPosCache(pi, x, y);
453 docstring InsetMathTFrac::name() const
455 return from_ascii("tfrac");
459 void InsetMathTFrac::mathmlize(MathStream & os) const
461 os << MTag("mtfrac") << cell(0) << cell(1) << ETag("mtfrac");
465 void InsetMathTFrac::validate(LaTeXFeatures & features) const
467 features.require("amsmath");
468 InsetMathNest::validate(features);
472 /////////////////////////////////////////////////////////////////////
476 /////////////////////////////////////////////////////////////////////
479 InsetMathBinom::InsetMathBinom(Kind kind)
484 Inset * InsetMathBinom::clone() const
486 return new InsetMathBinom(*this);
490 int InsetMathBinom::dw(int height) const
501 void InsetMathBinom::metrics(MetricsInfo & mi, Dimension & dim) const
503 FracChanger dummy(mi.base);
504 Dimension dim0, dim1;
505 cell(0).metrics(mi, dim0);
506 cell(1).metrics(mi, dim1);
507 dim.asc = dim0.height() + 4 + 5;
508 dim.des = dim1.height() + 4 - 5;
509 dim.wid = max(dim0.width(), dim1.wid) + 2 * dw(dim.height()) + 4;
510 metricsMarkers2(dim);
514 void InsetMathBinom::draw(PainterInfo & pi, int x, int y) const
516 Dimension const dim = dimension(*pi.base.bv);
517 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
518 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
519 docstring const bra = kind_ == BRACE ? from_ascii("{") :
520 kind_ == BRACK ? from_ascii("[") : from_ascii("(");
521 docstring const ket = kind_ == BRACE ? from_ascii("}") :
522 kind_ == BRACK ? from_ascii("]") : from_ascii(")");
523 int m = x + dim.width() / 2;
524 FracChanger dummy(pi.base);
525 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.des - 3 - 5);
526 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
527 mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), bra);
528 mathed_draw_deco(pi, x + dim.width() - dw(dim.height()), y - dim.ascent(),
529 dw(dim.height()), dim.height(), ket);
530 drawMarkers2(pi, x, y);
534 bool InsetMathBinom::extraBraces() const
536 return kind_ == CHOOSE || kind_ == BRACE || kind_ == BRACK;
540 void InsetMathBinom::write(WriteStream & os) const
542 bool brace = ensureMath(os);
546 os << "\\binom{" << cell(0) << "}{" << cell(1) << '}';
549 os << '{' << cell(0) << " \\choose " << cell(1) << '}';
552 os << '{' << cell(0) << " \\brace " << cell(1) << '}';
555 os << '{' << cell(0) << " \\brack " << cell(1) << '}';
559 os.pendingBrace(brace);
563 void InsetMathBinom::normalize(NormalStream & os) const
565 os << "[binom " << cell(0) << ' ' << cell(1) << ']';
569 void InsetMathBinom::validate(LaTeXFeatures & features) const
572 features.require("binom");
573 InsetMathNest::validate(features);
577 /////////////////////////////////////////////////////////////////////
581 /////////////////////////////////////////////////////////////////////
583 Inset * InsetMathDBinom::clone() const
585 return new InsetMathDBinom(*this);
589 int InsetMathDBinom::dw(int height) const
600 void InsetMathDBinom::metrics(MetricsInfo & mi, Dimension & dim) const
602 Dimension dim0, dim1;
603 cell(0).metrics(mi, dim0);
604 cell(1).metrics(mi, dim1);
605 dim.asc = dim0.height() + 4 + 5;
606 dim.des = dim1.height() + 4 - 5;
607 dim.wid = max(dim0.width(), dim1.wid) + 2 * dw(dim.height()) + 4;
608 metricsMarkers2(dim);
612 void InsetMathDBinom::draw(PainterInfo & pi, int x, int y) const
614 Dimension const dim = dimension(*pi.base.bv);
615 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
616 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
617 int m = x + dim.width() / 2;
618 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.des - 3 - 5);
619 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
620 mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), from_ascii("("));
621 mathed_draw_deco(pi, x + dim.width() - dw(dim.height()), y - dim.ascent(),
622 dw(dim.height()), dim.height(), from_ascii(")"));
623 drawMarkers2(pi, x, y);
627 docstring InsetMathDBinom::name() const
629 return from_ascii("dbinom");
632 void InsetMathDBinom::mathmlize(MathStream & os) const
634 os << MTag("mdbinom") << cell(0) << cell(1) << ETag("mdbinom");
637 void InsetMathDBinom::validate(LaTeXFeatures & features) const
639 features.require("amsmath");
640 InsetMathNest::validate(features);
644 /////////////////////////////////////////////////////////////////////
648 /////////////////////////////////////////////////////////////////////
650 Inset * InsetMathTBinom::clone() const
652 return new InsetMathTBinom(*this);
656 int InsetMathTBinom::dw(int height) const
667 void InsetMathTBinom::metrics(MetricsInfo & mi, Dimension & dim) const
669 StyleChanger dummy(mi.base, LM_ST_SCRIPT);
670 Dimension dim0, dim1;
671 cell(0).metrics(mi, dim0);
672 cell(1).metrics(mi, dim1);
673 dim.asc = dim0.height() + 4 + 5;
674 dim.des = dim1.height() + 4 - 5;
675 dim.wid = max(dim0.width(), dim1.wid) + 2 * dw(dim.height()) + 4;
676 metricsMarkers2(dim);
680 void InsetMathTBinom::draw(PainterInfo & pi, int x, int y) const
682 StyleChanger dummy(pi.base, LM_ST_SCRIPT);
683 Dimension const dim = dimension(*pi.base.bv);
684 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
685 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
686 int m = x + dim.width() / 2;
687 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.des - 3 - 5);
688 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
689 mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), from_ascii("("));
690 mathed_draw_deco(pi, x + dim.width() - dw(dim.height()), y - dim.ascent(),
691 dw(dim.height()), dim.height(), from_ascii(")"));
692 drawMarkers2(pi, x, y);
696 docstring InsetMathTBinom::name() const
698 return from_ascii("tbinom");
701 void InsetMathTBinom::mathmlize(MathStream & os) const
703 os << MTag("mtbinom") << cell(0) << cell(1) << ETag("mtbinom");
706 void InsetMathTBinom::validate(LaTeXFeatures & features) const
708 features.require("amsmath");
709 InsetMathNest::validate(features);