witt(n, R)Given an integer $n \geq 1$ and a polynomial ring R of positive prime characteristic, this produces the n-th witt ring $W_n(R)$ of R.
|
|
The source of this document is in WittVectors/Documentation.m2:97:0.