Line 8,445: |
Line 8,445: |
| | E''F'' : | | | E''F'' : |
| |- | | |- |
− | | [''u'', ''v'', d''u'', d''v''] → [d''x''] | + | | [''u'', ''v'', d''u'', d''v''] → [d''x'', d''y''] |
| |- | | |- |
| | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] | | | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] |
Line 8,476: |
Line 8,476: |
| | D''F'' : | | | D''F'' : |
| |- | | |- |
− | | [''u'', ''v'', d''u'', d''v''] → [d''x''] | + | | [''u'', ''v'', d''u'', d''v''] → [d''x'', d''y''] |
| |- | | |- |
| | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] | | | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] |
Line 8,507: |
Line 8,507: |
| | d''F'' : | | | d''F'' : |
| |- | | |- |
− | | [''u'', ''v'', d''u'', d''v''] → [d''x''] | + | | [''u'', ''v'', d''u'', d''v''] → [d''x'', d''y''] |
| |- | | |- |
| | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] | | | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] |
Line 8,538: |
Line 8,538: |
| | r''F'' : | | | r''F'' : |
| |- | | |- |
− | | [''u'', ''v'', d''u'', d''v''] → [d''x''] | + | | [''u'', ''v'', d''u'', d''v''] → [d''x'', d''y''] |
| |- | | |- |
| | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] | | | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>] |