[Axiom-developer] [#136 cercion of power series] some correction

[anonymous]

Changes 
http://page.axiom-developer.org/zope/mathaction/136CercionOfPowerSeries/diff
--

??changed:
-  - This process of coercion is strange.
-
-I will give some hint to understand this. First here is the actions that you 
have to do for a better understanding of this bug.
-Here the interpreter has to coerce the series (EXPR (INT OR OTHER)), the 
variable  and the expansion point in type.
  - This process of coercion involves probably some invalid type.

I will give some hint to understand this.
Here the interpreter has to coerce the series (EXPR (INT OR OTHER)), the 
variable  and the expansion point.

??changed:
-Now you can create power series integer::
Now you can create power series:

??changed:
-You will see that axiom in this process do not coerce all type (for example 
sometimes 0.0 (expansion point) remain Integer but of type EXPR FLOAT).
You will see that axiom in this process does not coerce all types (for example 
sometimes 0 (expansion point) remain Integer but of type EXPR FLOAT).

??changed:
-  x in type is of type Symbol
-  0.0 (expansion point is of type Expression (type of internal representation 
of the power series). For example: EXPR FLOAT.
  x in displayed type is of type Symbol
  0.0 (expansion point) has  the same type as the coefficients of the power 
series. For example: EXPR FLOAT.

??changed:
-Second, I add two other tests: I check the equality of the Symbol(s) and the 
two expansion points.
-Test it, check it, enhance it.
Second, I add two other tests: I check the equality of the Symbol(s) and the 
two expansion points (two different symbols crash axiom for example). 

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden