Similar to as_ordered_factors, but guarantees separation
                  of commutative and noncommutative factors.
        N)