On 07.08.21 17:04, Neven Sajko wrote:
> Hello,
>
> I just used the command
> )display operation integrate
> and among the 20 exposed functions, last in the listing, are quite a
> few functions with type signatures like:
> D -> D from D
>
> My goal was to find in which packages or domains can the operation
> integrate be found, so it is annoying that it says "from D", because
> there is no package or domain called "D" AFAIK.
>
> Could someone clarify?
You should read everything. It says:
[20] D -> D from D
if D has UTSCAT(D1) and D1 has RING and D1 has ALGEBRA(FRAC
(INT))
There is a condition on the domain D. Namely, the domain D should export
UTSCAT(D1) for some domain D1 that exports Join(RING,ALGEBRA(FRAC INT)).
Now you would have to look through all FriCAS domains that export
UTSCAT(D1). But exporting UTSCAT(D1) means that the domain exports
integrate:%->%. For
example,UnivariateTaylorSeries(Fraction(Integer),'x,0) is such a domain
(see at the end of the following page:
http://fricas.github.io/api/UnivariateTaylorSeries.html?highlight=integrate
).
Admittedly, it would be fine to have a command that lists all those
domains. Hoever, given that FriCAS has paremetrized domains, you would
get an infinite list that wouldn't help you much.
Ralf
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/dd32f432-6b8a-1b51-b25c-3333ab377991%40hemmecke.de.
