Computations with Synergetics volume modules
Verifying while expressing various geometric tetravolume identities involving the S and E modules in Synergetics.