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 MathEnsurer ensurer(os);
271 os << '{' << cell(0) << "\\atop " << cell(1) << '}';
274 // \\over is only for compatibility, normalize this to \\frac
275 os << "\\frac{" << cell(0) << "}{" << cell(1) << '}';
281 InsetMathNest::write(os);
283 os << "\\unitfrac[" << cell(2) << "]{" << cell(0) << "}{" << cell(1) << '}';
287 os << "\\unit[" << cell(0) << "]{" << cell(1) << '}';
289 os << "\\unit{" << cell(0) << '}';
295 docstring InsetMathFrac::name() const
299 return from_ascii("frac");
301 return from_ascii("over");
303 return from_ascii("nicefrac");
305 return from_ascii("unitfrac");
307 return from_ascii("unit");
309 return from_ascii("atop");
311 // shut up stupid compiler
316 bool InsetMathFrac::extraBraces() const
318 return kind_ == ATOP || kind_ == OVER;
322 void InsetMathFrac::maple(MapleStream & os) const
324 os << '(' << cell(0) << ")/(" << cell(1) << ')';
328 void InsetMathFrac::mathematica(MathematicaStream & os) const
330 os << '(' << cell(0) << ")/(" << cell(1) << ')';
334 void InsetMathFrac::octave(OctaveStream & os) const
336 os << '(' << cell(0) << ")/(" << cell(1) << ')';
340 void InsetMathFrac::mathmlize(MathStream & os) const
342 os << MTag("mfrac") << cell(0) << cell(1) << ETag("mfrac");
346 void InsetMathFrac::validate(LaTeXFeatures & features) const
348 if (kind_ == NICEFRAC || kind_ == UNITFRAC || kind_ == UNIT)
349 features.require("units");
350 InsetMathNest::validate(features);
354 /////////////////////////////////////////////////////////////////////
358 /////////////////////////////////////////////////////////////////////
361 Inset * InsetMathDFrac::clone() const
363 return new InsetMathDFrac(*this);
367 void InsetMathDFrac::metrics(MetricsInfo & mi, Dimension & dim) const
369 Dimension dim0, dim1;
370 cell(0).metrics(mi, dim0);
371 cell(1).metrics(mi, dim1);
372 dim.wid = max(dim0.wid, dim1.wid) + 2;
373 dim.asc = dim0.height() + 2 + 5;
374 dim.des = dim1.height() + 2 - 5;
378 void InsetMathDFrac::draw(PainterInfo & pi, int x, int y) const
380 Dimension const dim = dimension(*pi.base.bv);
381 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
382 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
383 int m = x + dim.wid / 2;
384 cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
385 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
386 pi.pain.line(x + 1, y - 5, x + dim.wid - 2, y - 5, Color_math);
387 setPosCache(pi, x, y);
391 docstring InsetMathDFrac::name() const
393 return from_ascii("dfrac");
397 void InsetMathDFrac::mathmlize(MathStream & os) const
399 os << MTag("mdfrac") << cell(0) << cell(1) << ETag("mdfrac");
403 void InsetMathDFrac::validate(LaTeXFeatures & features) const
405 features.require("amsmath");
406 InsetMathNest::validate(features);
410 /////////////////////////////////////////////////////////////////////
414 /////////////////////////////////////////////////////////////////////
417 Inset * InsetMathTFrac::clone() const
419 return new InsetMathTFrac(*this);
423 void InsetMathTFrac::metrics(MetricsInfo & mi, Dimension & dim) const
425 StyleChanger dummy(mi.base, LM_ST_SCRIPT);
427 cell(0).metrics(mi, dim0);
429 cell(1).metrics(mi, dim1);
430 dim.wid = max(dim0.width(), dim1.width()) + 2;
431 dim.asc = dim0.height() + 2 + 5;
432 dim.des = dim1.height() + 2 - 5;
436 void InsetMathTFrac::draw(PainterInfo & pi, int x, int y) const
438 StyleChanger dummy(pi.base, LM_ST_SCRIPT);
439 Dimension const dim = dimension(*pi.base.bv);
440 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
441 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
442 int m = x + dim.wid / 2;
443 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.descent() - 2 - 5);
444 cell(1).draw(pi, m - dim1.width() / 2, y + dim1.ascent() + 2 - 5);
445 pi.pain.line(x + 1, y - 5, x + dim.wid - 2, y - 5, Color_math);
446 setPosCache(pi, x, y);
450 docstring InsetMathTFrac::name() const
452 return from_ascii("tfrac");
456 void InsetMathTFrac::mathmlize(MathStream & os) const
458 os << MTag("mtfrac") << cell(0) << cell(1) << ETag("mtfrac");
462 void InsetMathTFrac::validate(LaTeXFeatures & features) const
464 features.require("amsmath");
465 InsetMathNest::validate(features);
469 /////////////////////////////////////////////////////////////////////
473 /////////////////////////////////////////////////////////////////////
476 InsetMathBinom::InsetMathBinom(Kind kind)
481 Inset * InsetMathBinom::clone() const
483 return new InsetMathBinom(*this);
487 int InsetMathBinom::dw(int height) const
498 void InsetMathBinom::metrics(MetricsInfo & mi, Dimension & dim) const
500 FracChanger dummy(mi.base);
501 Dimension dim0, dim1;
502 cell(0).metrics(mi, dim0);
503 cell(1).metrics(mi, dim1);
504 dim.asc = dim0.height() + 4 + 5;
505 dim.des = dim1.height() + 4 - 5;
506 dim.wid = max(dim0.width(), dim1.wid) + 2 * dw(dim.height()) + 4;
507 metricsMarkers2(dim);
511 void InsetMathBinom::draw(PainterInfo & pi, int x, int y) const
513 Dimension const dim = dimension(*pi.base.bv);
514 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
515 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
516 docstring const bra = kind_ == BRACE ? from_ascii("{") :
517 kind_ == BRACK ? from_ascii("[") : from_ascii("(");
518 docstring const ket = kind_ == BRACE ? from_ascii("}") :
519 kind_ == BRACK ? from_ascii("]") : from_ascii(")");
520 int m = x + dim.width() / 2;
521 FracChanger dummy(pi.base);
522 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.des - 3 - 5);
523 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
524 mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), bra);
525 mathed_draw_deco(pi, x + dim.width() - dw(dim.height()), y - dim.ascent(),
526 dw(dim.height()), dim.height(), ket);
527 drawMarkers2(pi, x, y);
531 bool InsetMathBinom::extraBraces() const
533 return kind_ == CHOOSE || kind_ == BRACE || kind_ == BRACK;
537 void InsetMathBinom::write(WriteStream & os) const
539 MathEnsurer ensurer(os);
542 os << "\\binom{" << cell(0) << "}{" << cell(1) << '}';
545 os << '{' << cell(0) << " \\choose " << cell(1) << '}';
548 os << '{' << cell(0) << " \\brace " << cell(1) << '}';
551 os << '{' << cell(0) << " \\brack " << cell(1) << '}';
557 void InsetMathBinom::normalize(NormalStream & os) const
559 os << "[binom " << cell(0) << ' ' << cell(1) << ']';
563 void InsetMathBinom::validate(LaTeXFeatures & features) const
566 features.require("binom");
567 InsetMathNest::validate(features);
571 /////////////////////////////////////////////////////////////////////
575 /////////////////////////////////////////////////////////////////////
577 Inset * InsetMathDBinom::clone() const
579 return new InsetMathDBinom(*this);
583 int InsetMathDBinom::dw(int height) const
594 void InsetMathDBinom::metrics(MetricsInfo & mi, Dimension & dim) const
596 Dimension dim0, dim1;
597 cell(0).metrics(mi, dim0);
598 cell(1).metrics(mi, dim1);
599 dim.asc = dim0.height() + 4 + 5;
600 dim.des = dim1.height() + 4 - 5;
601 dim.wid = max(dim0.width(), dim1.wid) + 2 * dw(dim.height()) + 4;
602 metricsMarkers2(dim);
606 void InsetMathDBinom::draw(PainterInfo & pi, int x, int y) const
608 Dimension const dim = dimension(*pi.base.bv);
609 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
610 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
611 int m = x + dim.width() / 2;
612 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.des - 3 - 5);
613 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
614 mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), from_ascii("("));
615 mathed_draw_deco(pi, x + dim.width() - dw(dim.height()), y - dim.ascent(),
616 dw(dim.height()), dim.height(), from_ascii(")"));
617 drawMarkers2(pi, x, y);
621 docstring InsetMathDBinom::name() const
623 return from_ascii("dbinom");
626 void InsetMathDBinom::mathmlize(MathStream & os) const
628 os << MTag("mdbinom") << cell(0) << cell(1) << ETag("mdbinom");
631 void InsetMathDBinom::validate(LaTeXFeatures & features) const
633 features.require("amsmath");
634 InsetMathNest::validate(features);
638 /////////////////////////////////////////////////////////////////////
642 /////////////////////////////////////////////////////////////////////
644 Inset * InsetMathTBinom::clone() const
646 return new InsetMathTBinom(*this);
650 int InsetMathTBinom::dw(int height) const
661 void InsetMathTBinom::metrics(MetricsInfo & mi, Dimension & dim) const
663 StyleChanger dummy(mi.base, LM_ST_SCRIPT);
664 Dimension dim0, dim1;
665 cell(0).metrics(mi, dim0);
666 cell(1).metrics(mi, dim1);
667 dim.asc = dim0.height() + 4 + 5;
668 dim.des = dim1.height() + 4 - 5;
669 dim.wid = max(dim0.width(), dim1.wid) + 2 * dw(dim.height()) + 4;
670 metricsMarkers2(dim);
674 void InsetMathTBinom::draw(PainterInfo & pi, int x, int y) const
676 StyleChanger dummy(pi.base, LM_ST_SCRIPT);
677 Dimension const dim = dimension(*pi.base.bv);
678 Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
679 Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
680 int m = x + dim.width() / 2;
681 cell(0).draw(pi, m - dim0.width() / 2, y - dim0.des - 3 - 5);
682 cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
683 mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()), dim.height(), from_ascii("("));
684 mathed_draw_deco(pi, x + dim.width() - dw(dim.height()), y - dim.ascent(),
685 dw(dim.height()), dim.height(), from_ascii(")"));
686 drawMarkers2(pi, x, y);
690 docstring InsetMathTBinom::name() const
692 return from_ascii("tbinom");
695 void InsetMathTBinom::mathmlize(MathStream & os) const
697 os << MTag("mtbinom") << cell(0) << cell(1) << ETag("mtbinom");
700 void InsetMathTBinom::validate(LaTeXFeatures & features) const
702 features.require("amsmath");
703 InsetMathNest::validate(features);