# # These are the ternary & quaternary excluded minors for branch-width 3 # on up to 9 elements (actually in a sqrt^6 representation). # # SUBFRAME # (Written in the (p)field sqrt-6.) @replace a w 1 0 1 1 0 1 1 0 a 1 0 1 a^3 a-1 a 0 0 1 1 a^4 @name O7_r7_c12 @comment "mat #12 column exten to 'O7_r7', base 3x4, sig rc(1)" #@ext-signature 1 #@ext-bsize 3 4 EOFRAME SUBFRAME # (Written in the (p)field sqrt-6.) @replace a w 1 0 1 1 0 1 1 0 a 1 0 1 a^3 a-1 a 0 0 1 1 a^4 @transpose @name O7_r7_c12# @comment "mat #12 column exten to 'O7_r7', dual, base 3x4, sig rc(1)" #@ext-signature 1 #@ext-bsize 3 4 EOFRAME