truncate(ZZ,WittRingElement) -- Crop Witt Vector to have a given length.

Description

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 /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/WittVectors/Documentation.m2:439:0.