///
void write(WriteStream & os) const;
///
+ void normalize(NormalStream & os) const;
+ ///
void maple(MapleStream &) const;
///
void mathmlize(MathStream &) const;
///
+ void htmlize(HtmlStream &) const;
+ ///
void octave(OctaveStream &) const;
///
void infoize(odocstream &) const;
DISPLAY_INIT,
DISPLAY_INTERACTIVE_INIT,
DISPLAY_UNFOLDED,
- DISPLAY_NORMAL,
+ DISPLAY_NORMAL
};
///