[Axiom-developer] [#122 Handling of power series]

[Bill Page]

Changes 
http://page.axiom-developer.org/zope/mathaction/122HandlingOfPowerSeries/diff
--

--removed:
---------------------------
-

--removed:
-

??changed:
- From trace:
-
- It seems that the interpreter doesn't coerce one args
- in Expression (Float):
-
- 1<enter valueArgsEqual? : (|UnivariatePuiseuxSeries| (|Expression| 
(|Integer|)) |x| 
>From trace it seems that the interpreter doesn't coerce one args
in Expression (Float)::

  1<enter valueArgsEqual? : (|UnivariatePuiseuxSeries| (|Expression| 
(|Integer|)) |x| 

??changed:
-
-...
  ...

??changed:
- 1<enter compiledLookupCheck : =\((|Boolean|) !$ $)\#<vector 08eccc78>
 1<enter compiledLookupCheck : =\((|Boolean|) !$ !$)\#<vector 08eccc78>

??changed:
- after SPADCALL (it's not traced) "=" in EXPR trigger the bug.
-
- algEqual : ((0 . 0) 0 . 1)\((0 0 . 0) 0 1 . 0)\(|Expression| (|Float|))
-           ^^^^^^^^^^^^^^^
after SPADCALL (it's not traced) "=" in EXPR trigger the bug::

  algEqual : ((0 . 0) 0 . 1)\((0 0 . 0) 0 1 . 0)\(|Expression| (|Float|))
             ^^^^^^^^^^^^^^^

??changed:
-From unknown Fri Mar 25 10:47:55 -0600 2005
-From: unknown
-Date: Fri, 25 Mar 2005 10:47:55 -0600
-Subject: PATCH: Temporary hack
-Message-ID: <address@hidden>
-
-In axiom the cercion of power series is really strange:
-  . ExpressionToUnivariatePowerSeries (function: series,taylor,laurent...) 
return Any type. 
-  . When this Any type is printed, the series is coerced. For example to 
UnivariatePuiseuxSeries.
-  . 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.
-In Axiom trace all these functions: P2Uls P2Upxs P2Uts Expr2Up NDmp2domain 
Var2OtherPS Var2QF P2Us canCoerceLocal coerceIntTableOrFunction coerceIntTower 
canCoerce1 canCoerceTower canCoerce canCoerceFrom resolveTT1 resolveTTSpecial 
(you can had HasCate hasCaty hasCaty1 hasCate1 if you want to better understand
-ofCategory bug (not parameterized ?)
-<pre>
-)tr P2Uls 
-)tr P2Upxs 
-)tr P2Uts 
-)tr Expr2Up 
-[112 more lines...]


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