alg_tools: diff src/direct_product.rs

diff: src/direct_product.rs

src/direct_product.rs

branch: dev
changeset 78: cebedc4a8331
parent 60: 848ecc05becf
child 62: d8305c9b6fdf
child 79: d63e40672dd6