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
> simplify(vstar-vavg-sum(x[i]*(v[i]-vavg),i=1...ncom)); Relation G in 17.7-2
> simplify(sum(n[i],i=1...ncom)-rhotot*vavg); Relation J in Table 17.8-1 J
> simplify(sum(j[i],i=1...ncom)); Relation K in Table 17.8-1
> simplify(sum(Jstar[i],i=1...ncom)); Relation O in Table 17.8-1
> simplify(Jstar[1]-N[1]+x[1]*sum(N[i],i=1...ncom)); Relation X in Table 17.8-1