Dual list

Revision as of 19:19, 22 December 2014 by Wikispaces>genewardsmith (**Imported revision 535831376 - Original comment: **)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

IMPORTED REVISION FROM WIKISPACES

This is an imported revision from Wikispaces. The revision metadata is included below for reference:

This revision was by author genewardsmith and made on 2014-12-22 19:19:23 UTC.
The original revision id was 535831376.
The revision comment was:

The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.

Original Wikitext content:

If P is a matrix with rational coefficents, denote by Saturate(P) the integral matrix which is the [[saturation]] of P, defined in terms of the right reducing matrix to Smith normal form. We may clean the result up a little by LLL reduction, so let Sat(P) = LLL(Saturate(P)). Given an integral matrix A which we will view as a list of lists, A`A, where A` is the pseudoinverse of A, is the corresponding nxn projection matrix, where n. We may combine these two into the dual list function: Dulist(A) = Sat(I - A`A), where I is the identity matrix 

Supposing A is an integral matrix, A`A is 

Original HTML content:

<html><head><title>dual list</title></head><body>If P is a matrix with rational coefficents, denote by Saturate(P) the integral matrix which is the <a class="wiki_link" href="/saturation">saturation</a> of P, defined in terms of the right reducing matrix to Smith normal form. We may clean the result up a little by LLL reduction, so let Sat(P) = LLL(Saturate(P)). Given an integral matrix A which we will view as a list of lists, A`A, where A` is the pseudoinverse of A, is the corresponding nxn projection matrix, where n. We may combine these two into the dual list function: Dulist(A) = Sat(I - A`A), where I is the identity matrix <br />
<br />
Supposing A is an integral matrix, A`A is</body></html>