Product

Next: size Up: Commutative Algebra Previous: normalize Contents Index

Product

$\begin{usage} import from Product~R \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{CommutativeRing}}{CommutativeRing} & A commutative ring\\ \end{params}$

$\begin{descr} Product~R provides finite products of elements of R,~{\it i.e.}el... ..._i^{e_i}$\ where the $r_i$'s are in R and the $e_i$'s are integers. \end{descr}$

Exports

`CopyableType`
`Monoid`
`#`:	% $\to$ `MachineInteger`	Number of terms
`divisors`:	% $\to$ `Generator` R	Iterate through all the divisors
`expand`:	% $\to$ R	Multiply-out a product
`generator`:	% $\to$ `Generator` `Cross`(R, `Integer`)	Make an iterator
`term`:	(R, `Integer`) $\to$ %	Create a single term
`times!`:	(%, R, `Integer`) $\to$ %	In-place multiplication

Subsections

size
divisors
expand
generator
term
times!

Manuel Bronstein 2000-12-13