[Axiom-developer] [#47 complexForm(log(%i) - log(-%i))] EXPR INT does not have OrderedRing

[kratt6]

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