Variable sequant::opt::lift_tensor

Variable Documentation

auto sequant::opt::lift_tensor = [](Product const& p) -> ExprPtr{return p.scalar() == 1 && p.size() == 1? p.factor(0):ex<Product>(Product{p.scalar(), p.factors().begin(),p.factors().end(), Product::Flatten::No});}