PartialRing

Exports

• 0:	%	Additive identity
  1:	%	Multiplicative identity
  -:	% $\to$ Partial %	Negation
  -:	(%, %) $\to$ Partial %	Substraction
  +:	(%, %) $\to$ Partial %	Addition
  $\ast$:	(%, %) $\to$ Partial %	Multiplication
  /:	(%, %) $\to$ Partial %	Exact division
  ^:	(%, %) $\to$ Partial %	Exponentiation
  <:	(%, %) $\to$ Partial %	Comparison
  >:	(%, %) $\to$ Partial %	Comparison
  $\le$:	(%, %) $\to$ Partial %	Comparison
  $\ge$:	(%, %) $\to$ Partial %	Comparison
  $[]$:	Tuple % $\to$ Partial %	Construct a structure
  coerce:	Boolean $\to$ %	Convert a boolean to a ring element
  coerce:	Integer $\to$ %	Convert an integer to a ring element
  integer:	% $\to$ Partial Integer	Convert to an integer
  product:	List % $\to$ Partial %	Multiplication
  sum:	List % $\to$ Partial %	Addition