On 16/02/2025 12:19, Maxime Devos wrote:
I'm going to look into what's the case for 'tan'. For 'tan',
tan(pi/4)=tan(45°) is rational as well - I'm going to look into
whether the 'S' of 'tan' is only the integer multiples pi/4, or
whether there are more.
It's only those:
For which θ is θ/π
On Sun, Feb 16, 2025 at 12:26:48PM +0100, Maxime Devos wrote:
>
> On 16/02/2025 11:31, Maxime Devos wrote:
> >
> > Some others you can add:
> >
> > * tangent
> > * arcsine
> > * arccosine
> > * arctan
> >
> One more thing: arctan2. Can be implemented in terms of arctan, but getting
> the sign r
On 16/02/2025 11:31, Maxime Devos wrote:
Some others you can add:
* tangent
* arcsine
* arccosine
* arctan
One more thing: arctan2. Can be implemented in terms of arctan, but
getting the sign right is inconvenient.
I'm going to look into what's the case for 'tan'. For 'tan',
tan(pi/4)=tan(45°) is rational as well - I'm going to look into
whether the 'S' of 'tan' is only the integer multiples pi/4, or
whether there are more.
It's only those:
For which θ is θ/π and tan(θ) rational?
Assume t=tan(θ)∈ℚ. Not
+;;; Commentary:
+;;
+;; @cindex normalise angle
+;; @cindex sine
+;; @cindex cosine
+;; @cindex angle, normalised
+;; @cindex angle, sine of
+;; @cindex angle, cosine of
Some others you can add:
* tangent
* arcsine
* arccosine
* arctan
Those can be quite convenient as well.
+;; This module
