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.
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.
