Get the i
-th element (interpreted as 0
if the list is not long enough).
Equations
Instances For
Returns the leading coefficient, i.e. the first non-zero entry.
Equations
Instances For
@[reducible, inline]
The difference between the balanced mod of a dot product, and the dot product with balanced mod applied to each entry of the left factor.