71 | | the width of data fields. Given vectors of ''n'' bit fields |

72 | | ''a'' and ''b'' and a binary operation ''g'' on 'n'' bit fields |

73 | | that produces ''2n'' bit results, then the result of application |

74 | | of ''g'' to all corresponding fields of ''a'' and ''b'' is |

75 | | represented by the following two operations. |

76 | | - esimd<''n''>::''g,,h,,''(''a'', ''b'') |

77 | | - esimd<''n''>::''g,,l,,''(''a'', ''b'') |

| 71 | the width of data fields. Let ''g'' be a basic binary operation |

| 72 | on ''n'' bit fields that produces ''2n'' bit results. |

| 73 | Given ''N'' bit vectors of ''n'' bit fields ''a'' and ''b'', |

| 74 | then the result of applying ''g'' to all corresponding fields of ''a'' and ''b'' |

| 75 | is an overall 2''N'' bit result, represented as the concatenation |

| 76 | of two ''N'' bit vectors esimd<''n''>::''gh''(''a'', ''b'') and esimd<''n''>::''gl''(''a'', ''b''), |

| 77 | as follows. |

| 78 | - esimd<''n''>::''gh''(''a'', ''b'') = concatenation of ''g''(''a,,i,,'', ''b,,i,,'') for 1 <= ''i'' <= ''N''/(2''n'') |

| 79 | - esimd<''n''>::''gl''(''a'', ''b'') = concatenation of ''g''(''a,,i,,'', ''b,,i,,'') for ''N''/(2''n'')+1 <= ''i'' <= ''N/n'' |

| 80 | |