PartialRing

Next: Scanner Up: Shells Previous: evalInt Contents Index

PartialRing

$\begin{usage} PartialRing: Category \end{usage}$

$\begin{descr} % latex2html id marker 40698PartialRing~is the category of ring... ...s are matrices of different sizes, or unions of several true rings. \end{descr}$

Exports

`0`:	%	Additive identity
`1`:	%	Multiplicative identity
`-`:	% $\to$ `Partial` %	Negation
`-`:	(%, %) $\to$ `Partial` %	Substraction
`+`:	(%, %) $\to$ `Partial` %	Addition
:	(%, %) $\to$ `Partial` %	Multiplication
`/`:	(%, %) $\to$ `Partial` %	Exact division
`^`:	(%, %) $\to$ `Partial` %	Exponentiation
`<`:	(%, %) $\to$ `Partial` %	Comparison
`>`:	(%, %) $\to$ `Partial` %	Comparison
:	(%, %) $\to$ `Partial` %	Comparison
:	(%, %) $\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

Next: Scanner Up: Shells Previous: evalInt Contents Index

Manuel Bronstein 2000-12-13