///
void maplize(MapleStream &) const;
///
+ void maximize(MaximaStream &) const;
+ ///
void mathematicize(MathematicaStream &) const;
///
void mathmlize(MathMLStream &) const;
///
void write(WriteStream & os) const;
///
- void infoize(std::ostream & os) const;
+ void infoize2(std::ostream & os) const;
private:
///