Exports
apply: | (C, R, R, MOR, R R) R | Apply a skew-polynomial to a scalar |
times: | (C, C, MOR, R R) C | Product of skew-polynomials |
leftExactQuotient: | (C, C, MOR, R R) Partial C | Left exact quotient |
monicLeftDivide: | (C, C, MOR, R R) (C, C) | Left Euclidean division |
monicRightDivide: | (C, C, MOR, R R) (C, C) | Right Euclidean division |
rightExactQuotient: | (C, C, MOR, R R) Partial C | Right exact quotient |
leftDivide: | (C, C, MOR, R R) (C, C) | Left Euclidean division |
rightDivide: | (C, C, MOR, R R) (C, C) | Right Euclidean division |
MOR | == | Automorphism R |