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. as a *formal* power series (and that's in my opinion what FriCAS deals with) sin makes sense also over PF 2 Martin > > Ralf > > > FriCAS (AXIOM fork) Computer Algebra System > Version: FriCAS 1.0.9 > Timestamp: Monday February 1, 2010 at 22:13:35 > ----------------------------------------------------------------------------- > Issue )copyright to view copyright notices. > Issue )summary for a summary of useful system commands. > Issue )quit to leave FriCAS and return to shell. > ----------------------------------------------------------------------------- > > (1) -> > (1) -> P := PrimeField 2 > > (1) PrimeField(2) > > Type: Type > (2) -> P has Algebra Fraction Integer > > (2) true > Type: > Boolean > (3) -> T := UnivariateTaylorSeries(P, t, 0) > > (3) UnivariateTaylorSeries(PrimeField(2),t,0) > > Type: Type > (4) -> t: T := monomial(1,1) > > (4) t > Type: > UnivariateTaylorSeries(PrimeField(2),t,0) > > (5) -> sin(t) > > > >> Error detected within library code: > not invertible -- 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.
