Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Status: fix proposed => open
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@no
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
I think we could simply add a definition of a two argument version of 'atan' to
'ElementaryFunction', where we can ask for 'OrderedRing'. I'll try to propose a
definition tomorrow.
Martin
--
forwarded from htt
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
see [RealNumbers] and #167 for more info and discussions on infinite precision
floats and exact real number computations.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Thanks for this pointer. I would prefer to classify 'tan(3)' as belonging to
the hypothetical 'SymbolicFloat' rather than to 'EXPR INT' and the same for
'atan(tan(3))'. The definition of the single argument 'at
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
see #141 atan(tan(3)) => 3
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nong
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
??changed:
-OrderedRing probably. OrderedSet wouldn't make sense...
'OrderedRing', probably. 'OrderedSet', wouldn't make sense...
??changed:
-myatan2(y,x)
myatan2(x,y)
??changed:
-One possible way is to use a
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Dear Martin:
Thanks, and yes, I was wrong again (shame on me): the range of the single
argument 'atan' does not cover $[0, 2\pi)$. But the only way to return results
in case variables are involved in the argum
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Dear William,
I think that the "usual sign convention" is a bad idea. 'myatan2(x,y)' should
return unevaluated, since there is no way of knowing in which quadrant 'x+%i*y'
is. That's why I proposed 'OrderedRin
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Martin:
Thanks for pointing out my error. In coding 'myArgument', I was not aiming for
a general definition. I was experimenting to see if there is need for
'RealNumberSystem' or 'OrderedRing'.
As you propos
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
The proposed definition 'myArgument' is still not correct:
\begin{axiom}
myArgument(-1+%i)
\end{axiom}
but should be $\frac{3\pi}{4}$. We cannot get around the ordering of the ring
involved... Of course, as
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
++added:
From: wyscc Thurs Jul 14 15:30:00 -5:00
>On the other hand, asking for 'TranscendentalFunctionCategory' also seems a
>lot, since only division by two is required.
Looking at the code above, to defi
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
??changed:
-half: ()-> EXPR INT
myhalf: ()-> EXPR INT
??changed:
-Note, I think the current return of 'argument(0::Complex EXPR INT)' and
'argument(0::Complex INT)' as '%pi/2' are wrong.
Note, I think the cu
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 'Transce
Changes
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Severity: normal => critical
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@no
14 matches
Mail list logo
