makeDiagonalForm(k, a)
makeDiagonalForm(k, L)
Given a sequence of elements $a_1,\ldots,a_n \in k$ we can form the diagonal form $\langle a_1,\ldots,a_n\rangle$ defined to be the block sum of each of the rank one forms $\langle a_i \rangle \colon k \times k \to k,$ $(x,y) \mapsto a_i xy$.
|
Inputting a ring element, an integer, or a rational number instead of a sequence will produce a rank one form instead. For instance:
|
|
The object makeDiagonalForm is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/A1BrouwerDegrees/Documentation/BuildingFormsDoc.m2:25:0.