On 03/11/2015 11:07 AM, Dima Pasechnik wrote:
> This does not appear to tell more, it still basically says to parse the
> result to find the algebraic numbers involved.
Right, but it tells you that HyperDoc is still a good place for
information. Unfortunately, it's not so easy to find what one is
interested in.
Anyway, although returning %%F0 is a somewhat clever idea, I agree, that
the field extension should be returned more explicitly.
Well, in fact, there is no field extension in you example, since you
start with the type Expression(Integer) and that contains all algebraic
numbers.
Ralf
PS: You also can get this expression, if you like that more...
(1) -> Z ==> Integer
Type:
Void
(2) -> Q ==> Fraction Integer
Type:
Void
(3) -> P ==> UnivariatePolynomial('x, Q)
Type:
Void
(4) -> S ==> Fraction P
Type:
Void
(5) -> f: S := x / (x^3 - x + 1)
(9) -> integrate(f)$RationalIntegration(Q, P)
--+ 207 2 23 6
(9) > %A log(--- %A - -- %A + x + --)
--+ 25 25 25
3 1 1
%A + -- %A + --= 0
23 23
(18) -> d: S->S := D$S
(18) theMap(DIFRING-;D;2S;1,655)
(19) -> differentiate(u, d)
x
(19) ----------
3
x - x + 1
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
