Can FriCAS handle definite integration with the integration limits containing variables?

[Orrab Mas]

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?

If so, does anyone know of symbolic manipulation software that can handle definite integral limits that contain unknown variables?

Thanks much.  

[Waldek Hebisch]

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

[Orrab Mas]

Thanks Waldek, that's exactly what I want.  I looked quickly through the Manual and found examples with only numbers as limits.  So this is great and just what I'm looking for.  Thanks again.

Tom