416 CalcTreeTEST |
416 CalcTreeTEST |
417 [(["fixedValues [r=Arbfix]","maximum A", |
417 [(["fixedValues [r=Arbfix]","maximum A", |
418 "valuesFor [a,b]", |
418 "valuesFor [a,b]", |
419 "relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]", |
419 "relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]", |
420 "relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]", |
420 "relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]", |
421 "relations [A=a*b, a/2=r*sin alpha, b/2=r*cos alpha]", |
421 "relations [A=a*b, a/2=r*sin alpha, b/2=r*cos (alpha::real)]", |
422 |
422 |
423 "boundVariable a","boundVariable b","boundVariable alpha", |
423 "boundVariable a","boundVariable b","boundVariable alpha", |
424 "interval {x::real. 0 <= x & x <= 2*r}", |
424 "interval {x::real. 0 <= x & x <= 2*r}", |
425 "interval {x::real. 0 <= x & x <= 2*r}", |
425 "interval {x::real. 0 <= x & x <= 2*r}", |
426 "interval {x::real. 0 <= x & x <= pi}", |
426 "interval {x::real. 0 <= x & x <= pi}", |