[GiNaC-list] Substitution troubles

[Vladimir V. Kisil]

>>>>> On Tue, 24 Feb 2009 08:50:46 -0500, Jeremy Jay <dinkumator at gmail.com> said:
    JJ> Hmm I guess it makes sense in that regard, but it is certainly
    JJ> non-intuitive. 

	Please consider two expressions:
	
	((x+2)^2).subs(4==A) and
	(x^2+4x+4).subs(4==A).

	What are "intuitive" answers? Thus even if you are not referring to
  "internal representation" this is the only way to make subs()
  mathematically correct.

	I think Alexei made his point absolutely correct.

	Best wishes,
	Vladimir
-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
--                      www: http://maths.leeds.ac.uk/~kisilv/