Orrab Mas wrote:
>
> Greetings. I couldn't find any reference in a Search.
>
> I'm looking for symbolic manipulation of algebraic terms, some unknowns of
> which appear in definite integral limits. For instance, "Integrate f(x)
> from P to Q," where P and Q are unknown variables contained in a set of
> algebraic equations.
>
> Must the integration limits be only numbers and not unknown variables?
Well, is:
(8) -> integrate(sin(x), x=a..b)
(8) - cos(b) + cos(a)
Type: Union(f1: OrderedCompletion(Expression(Integer)),...)
what you want? I do not why you think that limits should be numbers?
If you look at search results you should see 'integrate(x, y)'
with 'y' of type 'SegmentBinding(OrderedCompletion(F))'. In case
above 'F' is 'Expression(Integer)' and 'x=a..b' is of type
'SegmentBinding...', while 'a..b' is of type 'Segment(...)'.
'OrderedCompletion' means that legal values for 'a' and 'b' are
'%minusInfinity', '%plusInfinity' or any expression (that is
symbolic value).
Also, if you look in HyperDoc in 'Basic Commands' submenu at
definite integration, default upper limit is a variable...
--
Waldek Hebisch
--
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/E1hsFzt-0004Rb-0w%40hera.math.uni.wroc.pl.
