2001-11-09 14:48:57 +00:00
|
|
|
// -*- C++ -*-
|
|
|
|
#ifndef MATH_EXINTINSET_H
|
|
|
|
#define MATH_EXINTINSET_H
|
|
|
|
|
2002-09-11 09:14:57 +00:00
|
|
|
|
2001-11-13 18:33:48 +00:00
|
|
|
// \int_l^u f(x) dx in one block (as opposed to 'f','(','x',')' or 'f','x')
|
|
|
|
// or \sum, \prod... for interfacing external programs
|
2001-11-09 14:48:57 +00:00
|
|
|
|
2001-11-15 14:14:37 +00:00
|
|
|
#include "math_nestinset.h"
|
2001-11-09 14:48:57 +00:00
|
|
|
|
2001-11-13 18:33:48 +00:00
|
|
|
// cell(0) is stuff before the 'd', cell(1) the stuff after
|
|
|
|
class MathExIntInset : public MathNestInset {
|
2001-11-09 14:48:57 +00:00
|
|
|
public:
|
|
|
|
///
|
2001-11-12 14:37:43 +00:00
|
|
|
explicit MathExIntInset(string const & name_);
|
2001-11-09 14:48:57 +00:00
|
|
|
///
|
2003-07-25 17:11:25 +00:00
|
|
|
virtual std::auto_ptr<InsetBase> clone() const;
|
2001-11-09 14:48:57 +00:00
|
|
|
///
|
2001-11-12 14:37:43 +00:00
|
|
|
void symbol(string const &);
|
2001-11-09 16:27:44 +00:00
|
|
|
///
|
2003-06-02 10:03:27 +00:00
|
|
|
void metrics(MetricsInfo & mi, Dimension & dim) const;
|
2001-11-09 14:48:57 +00:00
|
|
|
///
|
2003-03-21 14:20:48 +00:00
|
|
|
void draw(PainterInfo &, int x, int y) const;
|
2001-11-09 16:27:44 +00:00
|
|
|
|
2001-11-09 14:48:57 +00:00
|
|
|
///
|
|
|
|
void normalize(NormalStream &) const;
|
|
|
|
///
|
2003-02-14 14:30:09 +00:00
|
|
|
void maxima(MaximaStream &) const;
|
2002-10-28 17:15:19 +00:00
|
|
|
///
|
2003-02-14 14:30:09 +00:00
|
|
|
void maple(MapleStream &) const;
|
2001-11-09 14:48:57 +00:00
|
|
|
///
|
2003-02-14 14:30:09 +00:00
|
|
|
void mathematica(MathematicaStream &) const;
|
2002-07-01 11:17:14 +00:00
|
|
|
///
|
2001-11-09 14:48:57 +00:00
|
|
|
void mathmlize(MathMLStream &) const;
|
2001-11-09 16:27:44 +00:00
|
|
|
///
|
|
|
|
void write(WriteStream & os) const;
|
2001-11-09 14:48:57 +00:00
|
|
|
private:
|
|
|
|
///
|
2001-11-12 14:37:43 +00:00
|
|
|
bool hasScripts() const;
|
|
|
|
|
|
|
|
///
|
|
|
|
string symbol_;
|
2001-11-09 14:48:57 +00:00
|
|
|
};
|
2001-11-12 14:37:43 +00:00
|
|
|
|
2001-11-09 14:48:57 +00:00
|
|
|
#endif
|