[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#47 complexForm(log(%i) - log(-%i))] EXPR INT does no
From: |
kratt6 |
Subject: |
[Axiom-developer] [#47 complexForm(log(%i) - log(-%i))] EXPR INT does not have OrderedRing |
Date: |
Thu, 14 Jul 2005 08:15:13 -0500 |
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Hm, replacing 'RealNumberSystem' with 'OrderedRing' does not really work, since
'EXPR INT' does not have 'OrderedRing'... Furthermore, 'FRAC INT' does not have
'TRAFUN'... On the other hand, asking for 'TranscendentalFunctionCategory' also
seems a lot, since only division by two is required.
Questions:
* Should 'EXPR INT' have 'OrderedRing' ?
* Is 'TRAFUN' really necessary?
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#47 complexForm(log(%i) - log(-%i))] EXPR INT does not have OrderedRing,
kratt6 <=