truncate(i, w)This crops w to have length i if i is less than or equal than the length of w. Example S=ZZ/3[x,y] w=witt{x,y} truncate(1,w)
This should give {x}, a WittRingElement
We get an error if we try to truncate to something longer. For instance, truncate(3,w) above would return an error.
The source of this document is in WittVectors/Documentation.m2:439:0.