Dear All,

Rather than work with angles, maybe it would be better to use the quadrance as defined in N. J. Wildberger's book
Divine Proportions - Rational Trigonometry to universal  Geometry.

Regards,

Jalaluddin

On 6/07/10 05:44 AM, Ralf Hemmecke wrote:
On 07/05/2010 06:27 PM, Martin Rubey wrote:
Ralf Hemmecke<[email protected]>  writes:

Any idea what happens here?

Don't ask whether that is useful. I just realized that 'sin' is
implemented in UnivariateTaylorSeries if the coefficient domain
satisfies Algebra(Fraction Integer).

Looks somehow like a bug to me. I have the suspicion that the code to
compute the sine series relies on differentiation and therefore on
CharacteristicZero.

No, it should not.

What should it not?

It's a bug. Either it should show me a power series with PF(2) coefficients or (if there is none reasonable definition for it, sin(x) should be conditional and for PF(2) not available. Either way, it's a bug.

as a *formal* power series (and that's in my opinion
what FriCAS deals with) sin makes sense also over PF 2

What's the exact mathematical definition of sin(x) as an element of F[[x]] where F=GaloisField(2)?

Ralf


--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to