@Test
public void testHtmlVectorTracer() throws IOException {

    Vector vec1 = makeRandomVector(1000);
    // Default color mapping.
    verifyShowHtml(() -> Tracer.showHtml(vec1));
    // Custom color mapping.
    verifyShowHtml(() -> Tracer.showHtml(vec1, COLOR_MAPPER));
    // Default color mapping with sorted vector.
    verifyShowHtml(() -> Tracer.showHtml(vec1.copy().sort()));
}