<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div><span>Hello Andreas</span></div><div><br></div><div style="font-size: 12pt; font-family: 'times new roman', 'new york', times, serif; "><div style="font-size: 12pt; font-family: 'times new roman', 'new york', times, serif; "><font size="2" face="Arial"></font>I have a set of lattices that I would like to concatenate in a particular order: A1.lat, A2.lat, A3.lat are to be concatenated in that order to form A.lat</div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557"><br></div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557">I was able to concatenate A1.lat and A2.lat to form a lattice B.lat using this:</div><div style="font-family: times new roman, new york, times, serif; font-size:
12pt;" class="yui_3_2_0_2_130500447253557">lattice-tool -in-lattice A1.lat -in-lattice2 A2.lat -operation concatenate -out-lattice B.lat</div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557"><br></div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557">And then do:</div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557">lattice-tool -in-lattice B.lat -in-lattice2 A3.lat -operation concatenate -out-lattice A.lat</div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557"><br></div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557">Is it possible to make this simpler? </div><div style="font-family: times new roman,
new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557">Thanks,</div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_2_130500447253557">Aarthi</div></div></div></body></html>