Proving some relations in Tables 17.7-2 and 17.8-1 
Note that this session must follow execution of the commands in the table17defs.mws .
>  simplify(vavg-vstar-sum(omega[i]*(v[i]-vstar),i=1...ncom)); Relation F in 17.7-2
[Maple Math]
>  simplify(vstar-vavg-sum(x[i]*(v[i]-vavg),i=1...ncom)); Relation G in 17.7-2
[Maple Math]
>  simplify(sum(n[i],i=1...ncom)-rhotot*vavg);  Relation J in Table 17.8-1 J
[Maple Math]
>  simplify(sum(j[i],i=1...ncom));  Relation K in Table 17.8-1
[Maple Math]
>  simplify(sum(Jstar[i],i=1...ncom));  Relation O in Table 17.8-1
[Maple Math]
>  simplify(Jstar[1]-N[1]+x[1]*sum(N[i],i=1...ncom));  Relation X in Table 17.8-1
[Maple Math]