Big integer vectors are vectors with big integer entries. No basering definition is required to use bigint vectors, for they do not belong to a ring. Bigintvec entries can have any size because of the use of bigint.
4.4.1 bigintvec declarations 4.4.2 bigintvec expressions 4.4.3 bigintvec type cast 4.4.4 bigintvec operations