rename to match paper: semiring_matmul => ringmatmul.