X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fsymbol.cpp;h=48579ccf65ae658fc571413cf9a22f6f711069c8;hp=322a45c4e790da602d4cafab565aee492fa50c2e;hb=69f078195a11c1a9610a6577ce2b9a2ce81e8912;hpb=28e5e38935cc32a4e5f8995645f92f12fedcdaf5

diff --git a/ginac/symbol.cpp b/ginac/symbol.cpp
index 322a45c4..48579ccf 100644
--- a/ginac/symbol.cpp
+++ b/ginac/symbol.cpp
@@ -3,7 +3,7 @@
  *  Implementation of GiNaC's symbolic objects. */
 
 /*
- *  GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2003 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -27,21 +27,19 @@
 #include "lst.h"
 #include "print.h"
 #include "archive.h"
-#include "debugmsg.h"
 #include "tostring.h"
 #include "utils.h"
 
 namespace GiNaC {
 
-GINAC_IMPLEMENT_REGISTERED_CLASS_NO_CTORS(symbol, basic)
+GINAC_IMPLEMENT_REGISTERED_CLASS(symbol, basic)
 
 //////////
-// default ctor, dtor, copy ctor assignment operator and helpers
+// default ctor, dtor, copy ctor, assignment operator and helpers
 //////////
 
 symbol::symbol() : inherited(TINFO_symbol), serial(next_serial++)
 {
-	debugmsg("symbol default ctor", LOGLEVEL_CONSTRUCT);
 	name = TeX_name = autoname_prefix()+ToString(serial);
 	asexinfop = new assigned_ex_info;
 	setflag(status_flags::evaluated | status_flags::expanded);
@@ -55,7 +53,7 @@ void symbol::copy(const symbol & other)
 	TeX_name = other.TeX_name;
 	serial = other.serial;
 	asexinfop = other.asexinfop;
-	++asexinfop->refcount;
+	++(asexinfop->refcount);
 }
 
 void symbol::destroy(bool call_parent)
@@ -72,15 +70,8 @@ void symbol::destroy(bool call_parent)
 
 // public
 
-symbol::symbol(const symbol & other)
-{
-	debugmsg("symbol copy ctor", LOGLEVEL_CONSTRUCT);
-	copy(other);
-}
-
 symbol::symbol(const std::string & initname) : inherited(TINFO_symbol)
 {
-	debugmsg("symbol ctor from string", LOGLEVEL_CONSTRUCT);
 	name = initname;
 	TeX_name = default_TeX_name();
 	serial = next_serial++;
@@ -90,7 +81,6 @@ symbol::symbol(const std::string & initname) : inherited(TINFO_symbol)
 
 symbol::symbol(const std::string & initname, const std::string & texname) : inherited(TINFO_symbol)
 {
-	debugmsg("symbol ctor from string", LOGLEVEL_CONSTRUCT);
 	name = initname;
 	TeX_name = texname;
 	serial = next_serial++;
@@ -105,7 +95,6 @@ symbol::symbol(const std::string & initname, const std::string & texname) : inhe
 /** Construct object from archive_node. */
 symbol::symbol(const archive_node &n, const lst &sym_lst) : inherited(n, sym_lst)
 {
-	debugmsg("symbol ctor from archive_node", LOGLEVEL_CONSTRUCT);
 	serial = next_serial++;
 	if (!(n.find_string("name", name)))
 		name = autoname_prefix() + ToString(serial);
@@ -143,26 +132,23 @@ void symbol::archive(archive_node &n) const
 
 // public
 
-basic *symbol::duplicate() const
-{
-	debugmsg("symbol duplicate", LOGLEVEL_DUPLICATE);
-	return new symbol(*this);
-}
-
 void symbol::print(const print_context & c, unsigned level) const
 {
-	debugmsg("symbol print", LOGLEVEL_PRINT);
-
-	if (is_of_type(c, print_tree)) {
+	if (is_a<print_tree>(c)) {
 
 		c.s << std::string(level, ' ') << name << " (" << class_name() << ")"
 		    << ", serial=" << serial
 		    << std::hex << ", hash=0x" << hashvalue << ", flags=0x" << flags << std::dec
 		    << std::endl;
 
-	} else if (is_of_type(c, print_latex))
+	} else if (is_a<print_latex>(c)) {
 		c.s << TeX_name;
-	else
+	} else if (is_a<print_python_repr>(c)) {
+		c.s << class_name() << "('" << name;
+		if (TeX_name != default_TeX_name())
+			c.s << "','" << TeX_name;
+		c.s << "')";
+	} else
 		c.s << name;
 }
 
@@ -180,24 +166,6 @@ bool symbol::info(unsigned inf) const
 		return inherited::info(inf);
 }
 
-int symbol::degree(const ex & s) const
-{
-	return is_equal(ex_to<basic>(s)) ? 1 : 0;
-}
-
-int symbol::ldegree(const ex & s) const
-{
-	return is_equal(ex_to<basic>(s)) ? 1 : 0;
-}
-
-ex symbol::coeff(const ex & s, int n) const
-{
-	if (is_equal(ex_to<basic>(s)))
-		return n==1 ? _ex1() : _ex0();
-	else
-		return n==0 ? *this : _ex0();
-}
-
 ex symbol::eval(int level) const
 {
 	if (level == -max_recursion_level)
@@ -223,14 +191,14 @@ ex symbol::eval(int level) const
 ex symbol::derivative(const symbol & s) const
 {
 	if (compare_same_type(s))
-		return _ex0();
+		return _ex0;
 	else
-		return _ex1();
+		return _ex1;
 }
 
 int symbol::compare_same_type(const basic & other) const
 {
-	GINAC_ASSERT(is_of_type(other,symbol));
+	GINAC_ASSERT(is_a<symbol>(other));
 	const symbol *o = static_cast<const symbol *>(&other);
 	if (serial==o->serial) return 0;
 	return serial < o->serial ? -1 : 1;
@@ -238,7 +206,7 @@ int symbol::compare_same_type(const basic & other) const
 
 bool symbol::is_equal_same_type(const basic & other) const
 {
-	GINAC_ASSERT(is_of_type(other,symbol));
+	GINAC_ASSERT(is_a<symbol>(other));
 	const symbol *o = static_cast<const symbol *>(&other);
 	return serial==o->serial;
 }
@@ -276,7 +244,7 @@ void symbol::unassign(void)
 {
 	if (asexinfop->is_assigned) {
 		asexinfop->is_assigned = 0;
-		asexinfop->assigned_expression = _ex0();
+		asexinfop->assigned_expression = _ex0;
 	}
 	setflag(status_flags::evaluated | status_flags::expanded);
 }