QRing

Next: Up: Basic Categories Previous: eval Contents Index

QRing

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

$\begin{descr} QRing~is the category of rings of characteristic $0$in which all ... ...f such a ring contains an isomorphic image of the rational numbers. \end{descr}$

Exports

CharacteristicZero

: (%, Integer) $\to$ % Division by a nonzero integer

inv: Integer $\to$ % Inversion of a nonzero integer

Subsections

Manuel Bronstein 2000-12-13

`CharacteristicZero`
:	(%, `Integer`) $\to$ %	Division by a nonzero integer
`inv`:	`Integer` $\to$ %	Inversion of a nonzero integer