OAI/Analysis/MatrixSigning/Optimization/PackValue.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CurrentKS.RationalSDP.packValue line 16
2. def OAI.CurrentKS.RationalSDP.unpackValue line 22
3. lemma OAI.CurrentKS.RationalSDP.time_packValue line 26
4. lemma OAI.CurrentKS.RationalSDP.matrix_packValue line 28
5. lemma OAI.CurrentKS.RationalSDP.unpack_packValue line 32
6. lemma OAI.CurrentKS.RationalSDP.pack_unpackValue line 36
7. lemma OAI.CurrentKS.RationalSDP.complexValueProgram_iff line 51
8. lemma OAI.CurrentKS.RationalSDP.matrixCoordinate_norm line 68