[retour]

Abstract :

We give an algorithm for an explicit implementation of Traverso-Swan's theorem, saying that a reduced ring A is seminormal if and only if the canonical map from Pic A to Pic A[x] is an isomorphism.