EqualityCondition

Next: Up: Conditions Previous: always?,never? Contents Index

EqualityCondition

$\begin{usage} EqualityCondition~T: Category \end{usage}$

$\begin{descr} EqualityCondition~T~is a category for equality and inequality conditions on elements of T. \end{descr}$

Exports

`Condition`
:	(T,T) $\to$ %	assert that two objects are equal
:	(T,T) $\to$ %	assert that two objects are different
`equalities`:	% $\to$ `Generator` `Cross`(T, T)	iterate through the equalities
`inequalities`:	% $\to$ `Generator` `Cross`(T, T)	iterate through the inequalities

if R has CommutativeRing then
nonzero: % $\to$ Generator T inequalities (to )

split: (%, T) $\to$ (%, %) split on whether or $a\ne 0$

zero: % $\to$ Generator T equalities (to )

Subsections

equalities,inequalities
zero,nonzero
split

Manuel Bronstein 2000-12-13

`nonzero`:	% $\to$ `Generator` T	inequalities (to )
`split`:	(%, T) $\to$ (%, %)	split on whether or $a\ne 0$
`zero`:	% $\to$ `Generator` T	equalities (to )