Univariate Hensel lifting now uses upoly.

[ginac.git] / ginac / symbol.h

diff --git a/ginac/symbol.h b/ginac/symbol.h
index 29e7ad402b16eceb20cedd39684d800201f72a64..3537776b7fa7c13b3e0860a0fc14cba70a666f42 100644 (file)
--- a/ginac/symbol.h
+++ b/ginac/symbol.h
@@ -28,6 +28,7 @@
 #include "basic.h"
 #include "ex.h"
 #include "ptr.h"
+#include "archive.h"
 
 namespace GiNaC {
 
@@ -36,16 +37,10 @@ namespace GiNaC {
 class symbol : public basic
 {
        GINAC_DECLARE_REGISTERED_CLASS(symbol, basic)
-
-       friend class realsymbol;
-       friend class possymbol;
-
-// member functions
-       
        // other constructors
 public:
-       explicit symbol(const std::string & initname, unsigned domain = domain::complex);
-       symbol(const std::string & initname, const std::string & texname, unsigned domain = domain::complex);
+       explicit symbol(const std::string & initname);
+       symbol(const std::string & initname, const std::string & texname);
        
        // functions overriding virtual functions from base classes
 public:
@@ -61,6 +56,10 @@ public:
        ex real_part() const;
        ex imag_part() const;
        bool is_polynomial(const ex & var) const;
+       /** Save (a.k.a. serialize) object into archive. */
+       void archive(archive_node& n) const;
+       /** Read (a.k.a. deserialize) object from archive. */
+       void read_archive(const archive_node& n, lst& syms);
 protected:
        ex derivative(const symbol & s) const;
        bool is_equal_same_type(const basic & other) const;
@@ -70,15 +69,12 @@ protected:
 public:
        void set_name(const std::string & n) { name = n; }
        std::string get_name() const { return name; }
-       unsigned get_domain() const { return domain; }
+       virtual unsigned get_domain() const { return domain::complex; }
 protected:
        void do_print(const print_context & c, unsigned level) const;
        void do_print_latex(const print_latex & c, unsigned level) const;
        void do_print_tree(const print_tree & c, unsigned level) const;
        void do_print_python_repr(const print_python_repr & c, unsigned level) const;
-private:
-       std::string & autoname_prefix();
-       std::string default_TeX_name() const;
 
 // member variables
 
@@ -86,53 +82,44 @@ protected:
        unsigned serial;                 ///< unique serial number for comparison
        std::string name;                ///< printname of this symbol
        std::string TeX_name;            ///< LaTeX name of this symbol
-       unsigned domain;                 ///< domain of symbol, complex (default) or real
 private:
        static unsigned next_serial;
 };
+GINAC_DECLARE_UNARCHIVER(symbol);
 
 
 /** Specialization of symbol to real domain */
 class realsymbol : public symbol
 {
-       // constructors
 public:
        realsymbol();
-       explicit realsymbol(const std::string & initname, unsigned domain = domain::real);
-       realsymbol(const std::string & initname, const std::string & texname, unsigned domain = domain::real);
+       explicit realsymbol(const std::string & initname);
+       realsymbol(const std::string & initname, const std::string & texname);
+
+       unsigned get_domain() const { return domain::real; }
+
+       ex conjugate() const { return *this; }
+       ex real_part() const { return *this; }
+       ex imag_part() const { return 0; }
+
+       realsymbol* duplicate() const { return new realsymbol(*this); }
 };
+GINAC_DECLARE_UNARCHIVER(realsymbol);
 
 
 /** Specialization of symbol to real domain */
-class possymbol : public symbol
+class possymbol : public realsymbol
 {
-       // constructors
 public:
        possymbol();
-       explicit possymbol(const std::string & initname, unsigned domain = domain::positive);
-       possymbol(const std::string & initname, const std::string & texname, unsigned domain = domain::positive);
-};
-
+       explicit possymbol(const std::string & initname);
+       possymbol(const std::string & initname, const std::string & texname);
 
-// utility functions
+       unsigned get_domain() const { return domain::positive; }
 
-/** Specialization of is_exactly_a<realsymbol>(obj) for realsymbol objects. */
-template<> inline bool is_exactly_a<realsymbol>(const basic & obj)
-{
-       if (!is_a<symbol>(obj))
-               return false;
-       unsigned domain = static_cast<const symbol &>(obj).get_domain();
-       return domain==domain::real || domain==domain::positive;
-}
-
-/** Specialization of is_exactly_a<possymbol>(obj) for possymbol objects. */
-template<> inline bool is_exactly_a<possymbol>(const basic & obj)
-{
-       if (!is_a<symbol>(obj))
-               return false;
-       unsigned domain = static_cast<const symbol &>(obj).get_domain();
-       return domain == domain::positive;
-}
+       possymbol* duplicate() const { return new possymbol(*this); }
+};
+GINAC_DECLARE_UNARCHIVER(possymbol);
 
 } // namespace GiNaC