Saved in:
Bibliographic Details
Main Author: Muñoz--Bertrand, Rubén
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2504.01834
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • We describe an algorithm which computes the ring laws for Witt vectors of finite length over a polynomial ring with coefficients in a finite field. This algorithm uses an isomorphism of Illusie in order to compute in an adequate polynomial ring. We also give an implementation of the algorithm in SageMath, which turns out to be faster that Finotti's algorithm, which was until now the most efficient one for these operations.