/* Do not edit this file. */
/* easy-integral.rr */
ord([dt,t]);
import("gr");
import("bfct");

F=t*(1-t);
II=ann(F);
B=bfunction(F);
fctr(B);   /* s+1 is the answer */

I=[(-t^2+t)*dt+t-1/2] ;    /*  s <-- 1/2 */

/* Use sm1 command
[(t) ring_of_differential_operators 0] define_ring ;
( 2*(-t^2+t)*Dt+2*t-1 ). [(t) (Dt)] laplace0 ::
[(UseDsmall) 1] system_variable
-2*t*dt^2-2*t*dt-6*dt-3
 Todo: asir command for the Laplace transform and
       multiplication in D
*/

J=[-2*t*dt^2-2*t*dt-6*dt-3];
generic_bfct(J,[t],[dt],[1]);
/* s*(s+2) is the answer */
/* maximal integral root is 0.  1 --> dt is the base */

/* cf. (ox.sm1) run  (generic_bfct) usage */