[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#122 Handling of power series]
From: |
Bill Page |
Subject: |
[Axiom-developer] [#122 Handling of power series] |
Date: |
Sun, 27 Mar 2005 12:32:04 -0600 |
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
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/12
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/12
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/12
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/13
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/13
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/13
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/24
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/24
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/25
- [Axiom-developer] [#122 Handling of power series],
Bill Page <=
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/27