> pol:=9*xA3-37*xA2+47*x-19;
pol:
> x:=19/9;
> pol;
> % te_xt*;
_> restart;
[> assume(a>0);
> is(a>0);
[> assume(m: :odd, n: :odd) ;
> sum(i, i=l..5);
t
9 x3 - 37 x2 + 47 x- 19
0
te_xf
true 15
%typeset_mode True
pol=9*x^3-37*x^2+47*x-19;pol 9x3 - 37x2 + 47x - 19
x = 19/9;x 19 ¥
pol
9x3 - 37x2 + 47x - 19
pol . subs(x = 19/9) 0
1 text_t 1 text_t
reset ()
var ( 1 a 1 ) ; assume (a>0) a
a . is_positi ve () True
forget ()
var ( 1 n ,m' ) ; assume (n , 1 odd 1 ) ; assume (m, 1 even 1 ) (n, m)
assumptions () n is odd m is even
0
var ( 1 i 1 ) ; sum( i , i , 1 ,5 ) 15