Unify conformability checks and fix scalar-vector products#46

rouson wants to merge 3 commits into

BerkeleyLab:mainBerkeleyLab/formal:mainfrom

rouson:consistency-conformabilityrouson/formal:consistency-conformabilityCopy head branch name to clipboard