Как я могу запрограммировать эти инструкции в Sagemath?

Question

Я новичок в мудрец.Мне нужна помощь, чтобы написать эти инструкции в Sagemath.

Пример целочисленного вектора $ v = (v1, ..., vl) ^ T \ in D_ {Z, α} ^ l $, а $ α> N $