## 70 Reputation

19 years, 293 days

## I'm using "assume"...

Carl:

I'm using "assume"  Here's the code and the output

> restart:

> assume(Rmin>0):assume(Rmax>0):assume(Rmin<Rmax):

> DiceZero:=(Rmin,Rmax)->2/(Rmax-Rmin)^2*int(int(r0^3/(r0^3+r1^3),r0=Rmin..r1),r1=Rmin..Rmax);

DiceZero := proc (Rmin, Rmax) options operator, arrow; 2*(int(int(r0^3/(r0^3+r1^3), r0 = Rmin .. r1), r1 = Rmin .. Rmax))/(Rmax-Rmin)^2 end proc

> DiceZero(Rmin,Rmax);#doesn't work despite adequate assumptions

undefined/(Rmax-Rmin)^2

I can upload the real mw-file tomorrow

Greg

## I'm using "assume"...

Carl:

I'm using "assume"  Here's the code and the output

> restart:

> assume(Rmin>0):assume(Rmax>0):assume(Rmin<Rmax):

> DiceZero:=(Rmin,Rmax)->2/(Rmax-Rmin)^2*int(int(r0^3/(r0^3+r1^3),r0=Rmin..r1),r1=Rmin..Rmax);

DiceZero := proc (Rmin, Rmax) options operator, arrow; 2*(int(int(r0^3/(r0^3+r1^3), r0 = Rmin .. r1), r1 = Rmin .. Rmax))/(Rmax-Rmin)^2 end proc

> DiceZero(Rmin,Rmax);#doesn't work despite adequate assumptions

undefined/(Rmax-Rmin)^2

I can upload the real mw-file tomorrow

Greg

 1 2 3 4 Page 4 of 4
﻿