- void print(const print_context & c, unsigned level = 0) const;
- ex eval_indexed(const basic & i) const;
- bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const;
+ bool info(unsigned inf) const override;
+ ex eval_indexed(const basic & i) const override;
+ bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const override;
+
+ /** Save (a.k.a. serialize) object into archive. */
+ void archive(archive_node& n) const override;
+ /** Read (a.k.a. deserialize) object from archive. */
+ void read_archive(const archive_node& n, lst& syms) override;
+protected:
+ unsigned return_type() const override { return return_types::commutative; }
+
+ // non-virtual functions in this class
+protected:
+ void do_print(const print_context & c, unsigned level) const;
+ void do_print_latex(const print_latex & c, unsigned level) const;