Closed mschlund closed 11 years ago
Every SR should have a method to multiply an element with a natural number. Standard semantics: n_s = s+s+...+s (n times). (for an idempotent SR this of course reduces to n_s = s (or 0, if n=0).
Every SR should have a method to multiply an element with a natural number. Standard semantics: n_s = s+s+...+s (n times). (for an idempotent SR this of course reduces to n_s = s (or 0, if n=0).