コード例 #1
0
ファイル: sgf2_test.go プロジェクト: Ken1JF/sgf
// checkHandicapCanonical
func checkHandicapCanonical() {
	// Verify that the handicap patterns are preserved by transformaions,
	for i, brd := range brds {
		t := ah.BoardTrans(i)
		inv := ah.InverseTrans[t]
		fmt.Println("Checking", ah.TransName[i], "and its inverse:", ah.TransName[inv])
		if brd != nil {
			newBrd := brd.TransBoard(t)
			newBrdInv := newBrd.TransBoard(inv)
			if differBrds(brd, newBrdInv) {
				printBrds("Error: inverse differs", brd, newBrdInv, ah.TransName[i])
			}
		} else {
			fmt.Println("Error: brds [", i, "] has not been initialized.")
		}
	}
}
コード例 #2
0
ファイル: sgf2_test.go プロジェクト: Ken1JF/sgf
// Test the transformation logic
func ExampleTestTrans() {
	// Set up the test data boards.
	var col ah.ColSize
	var row ah.RowSize
	for size := 5; size <= 19; size += 2 {
		switch size {
		case 5:
			col = 5
			row = 5
			brd_5 = brd_5.InitAbstHier(col, row, ah.StringLevel, true)
			//				ah.SetAHTrace(false)
			printInitBoard(brd_5, "Initial 5x5 Board")
			brd_5.PrintAbstHier("Initial 5x5 Board", true)
			SetUpTestBoard(size, brd_5, &test_5)
			brds[0] = brd_5
		case 7:
			col = 7
			row = 7
			//				brd_7 = new(ah.AbstHier)
			//				brd_7.SetSize(col, row)
			brd_7 = brd_7.InitAbstHier(col, row, ah.StringLevel, true)
			printInitBoard2(brd_7)
			SetUpTestBoard(size, brd_7, &test_7)
			brds[1] = brd_7
		case 9:
			col = 9
			row = 9
			//				brd_9 = new(ah.AbstHier)
			//				brd_9.SetSize(col, row)
			brd_9 = brd_9.InitAbstHier(col, row, ah.StringLevel, true)
			printInitBoard(brd_9, "Initial 9x9 Board")
			SetUpTestBoard(size, brd_9, &test_9)
			brds[2] = brd_9
		case 11:
			col = 11
			row = 11
			//				brd_11 = new(ah.AbstHier)
			//				brd_11.SetSize(col, row)
			brd_11 = brd_11.InitAbstHier(col, row, ah.StringLevel, true)
			printInitBoard2(brd_11)
			SetUpTestBoard(size, brd_11, &test_11)
			brds[3] = brd_11
		case 13:
			col = 13
			row = 13
			brd_13 = brd_13.InitAbstHier(col, row, ah.StringLevel, true)
			printInitBoard(brd_13, "Initial 13x13 Board")
			SetUpTestBoard(size, brd_13, &test_13)
			brds[4] = brd_13
		case 15:
			col = 15
			row = 15
			brd_15 = brd_15.InitAbstHier(col, row, ah.StringLevel, true)
			printInitBoard2(brd_15)
			SetUpTestBoard(size, brd_15, &test_15)
			brds[5] = brd_15
		case 17:
			col = 17
			row = 17
			brd_17 = brd_17.InitAbstHier(col, row, ah.StringLevel, true)
			printInitBoard(brd_17, "Initial 17x17 Board")
			SetUpTestBoard(size, brd_17, &test_17)
			brds[6] = brd_17
		case 19:
			col = 19
			row = 19
			brd_19 = brd_19.InitAbstHier(col, row, ah.StringLevel, true)
			printInitBoard2(brd_19)
			SetUpTestBoard(size, brd_19, &test_19)
			brds[7] = brd_19
		}
	}
	// Print each board, after applying one of the transformations,
	// and print it (for visual verification)
	//	ah.SetAHTrace(true) // trace first one
	for i, brd := range brds {
		fmt.Println("Checking brds[", i, "]")
		if brd == nil {
			fmt.Println("Error in setup: brd == nil")
		} else {
			newBrd := brd.TransBoard(ah.BoardTrans(i))
			printBrds("Visual Check", brd, newBrd, ah.TransName[i])
		}
		ah.SetAHTrace(false) // turn off after first one
	}
	// Verify that the inverse transformations produce the original
	for i, brd := range brds {
		t := ah.BoardTrans(i)
		inv := ah.InverseTrans[t]
		fmt.Println("Checking", ah.TransName[i], "and its inverse:", ah.TransName[inv])
		newBrd := brd.TransBoard(t)
		newBrdInv := newBrd.TransBoard(inv)
		if differBrds(brd, newBrdInv) {
			printBrds("Error: inverse differs", brd, newBrdInv, ah.TransName[i])
		}
	}
	// Verify the transformation composition table
	nxtBrd := 0 // used to pick the next board
	for A := ah.T_FIRST; A <= ah.T_LAST; A++ {
		for B := ah.T_FIRST; B <= ah.T_LAST; B++ {
			C := ah.ComposeTrans[A][B]
			fmt.Println("Checking", ah.TransName[C], "=", ah.TransName[A], "*", ah.TransName[B])
			brd := brds[nxtBrd]
			nxtBrd++
			if nxtBrd >= 8 {
				nxtBrd = 0
			}
			brdA := brd.TransBoard(A)
			brdAB := brdA.TransBoard(B)
			brdC := brd.TransBoard(C)
			if differBrds(brdAB, brdC) {
				printBrds("Error: "+ah.TransName[ah.ComposeTrans[A][B]], brdAB, brdC,
					"not equal"+ah.TransName[A]+"*"+ah.TransName[B])
			}
		}
	}
	// Output:
	// Initial 5x5 Board Board 5 by 5
	// ┏┯┯┯┓
	// ┠╬┼╬┨
	// ┠┼◘┼┨
	// ┠╬┼╬┨
	// ┗┷┷┷┛
	// Abstraction Hierarchy: Initial 5x5 Board
	// Level 1
	// Black nodes
	// Total 0 nodes, with 0 members
	// White nodes
	// Total 0 nodes, with 0 members
	// Unocc nodes
	// 0:202,3 1-mem:(E,5):202:202,adj:16(1),8(1),
	// 1:778,3 1-mem:(A,1):778:778,adj:4(1),2(1),
	// 2:906,3 3-mem:(D,1):906:906,(C,1),(B,1),adj:1(1),7(1),6(1),5(1),3(1),
	// 3:394,3 1-mem:(E,1):394:394,adj:2(1),8(1),
	// 4:842,3 3-mem:(A,4):842:842,(A,3),(A,2),adj:1(1),15(1),12(1),9(1),5(1),
	// 5:3018,3 1-mem:(B,2):3018:3018,adj:4(1),2(1),9(1),6(1),
	// 6:4042,3 1-mem:(C,2):4042:4042,adj:5(1),2(1),10(1),7(1),
	// 7:3018,3 1-mem:(D,2):3018:3018,adj:6(1),2(1),11(1),8(1),
	// 8:458,3 3-mem:(E,4):458:458,(E,3),(E,2),adj:0(1),7(1),3(1),14(1),11(1),
	// 9:4042,3 1-mem:(B,3):4042:4042,adj:4(1),5(1),12(1),10(1),
	// 10:1994,3 1-mem:(C,3):1994:1994,adj:9(1),6(1),13(1),11(1),
	// 11:4042,3 1-mem:(D,3):4042:4042,adj:8(1),10(1),7(1),14(1),
	// 12:3018,3 1-mem:(B,4):3018:3018,adj:4(1),9(1),16(1),13(1),
	// 13:4042,3 1-mem:(C,4):4042:4042,adj:12(1),10(1),16(1),14(1),
	// 14:3018,3 1-mem:(D,4):3018:3018,adj:8(1),13(1),11(1),16(1),
	// 15:586,3 1-mem:(A,5):586:586,adj:4(1),16(1),
	// 16:714,3 3-mem:(D,5):714:714,(C,5),(B,5),adj:0(1),14(1),13(1),15(1),12(1),
	// Total 17 nodes, with 25 members
	// Board 7 by 7
	// ┏┯┯┯┯┯┓
	// ┠╬┼┼┼╬┨
	// ┠┼◘┼◘┼┨
	// ┠┼┼╋┼┼┨
	// ┠┼◘┼◘┼┨
	// ┠╬┼┼┼╬┨
	// ┗┷┷┷┷┷┛
	// Initial 9x9 Board Board 9 by 9
	// ┏┯┯┯┯┯┯┯┓
	// ┠╬┼┼┼┼┼╬┨
	// ┠┼◘┼┼┼◘┼┨
	// ┠┼┼╬┼╬┼┼┨
	// ┠┼┼┼◘┼┼┼┨
	// ┠┼┼╬┼╬┼┼┨
	// ┠┼◘┼┼┼◘┼┨
	// ┠╬┼┼┼┼┼╬┨
	// ┗┷┷┷┷┷┷┷┛
	// Board 11 by 11
	// ┏┯┯┯┯┯┯┯┯┯┓
	// ┠╬┼┼┼┼┼┼┼╬┨
	// ┠┼◘┼┼┼┼┼◘┼┨
	// ┠┼┼╬┼┼┼╬┼┼┨
	// ┠┼┼┼╬┼╬┼┼┼┨
	// ┠┼┼┼┼◘┼┼┼┼┨
	// ┠┼┼┼╬┼╬┼┼┼┨
	// ┠┼┼╬┼┼┼╬┼┼┨
	// ┠┼◘┼┼┼┼┼◘┼┨
	// ┠╬┼┼┼┼┼┼┼╬┨
	// ┗┷┷┷┷┷┷┷┷┷┛
	// Initial 13x13 Board Board 13 by 13
	// ┏┯┯┯┯┯┯┯┯┯┯┯┓
	// ┠╬┼┼┼┼┼┼┼┼┼╬┨
	// ┠┼╬┼┼┼┼┼┼┼╬┼┨
	// ┠┼┼◘┼┼┼┼┼◘┼┼┨
	// ┠┼┼┼╬┼┼┼╬┼┼┼┨
	// ┠┼┼┼┼╬┼╬┼┼┼┼┨
	// ┠┼┼┼┼┼◘┼┼┼┼┼┨
	// ┠┼┼┼┼╬┼╬┼┼┼┼┨
	// ┠┼┼┼╬┼┼┼╬┼┼┼┨
	// ┠┼┼◘┼┼┼┼┼◘┼┼┨
	// ┠┼╬┼┼┼┼┼┼┼╬┼┨
	// ┠╬┼┼┼┼┼┼┼┼┼╬┨
	// ┗┷┷┷┷┷┷┷┷┷┷┷┛
	// Board 15 by 15
	// ┏┯┯┯┯┯┯┯┯┯┯┯┯┯┓
	// ┠╬┼┼┼┼┼┼┼┼┼┼┼╬┨
	// ┠┼╬┼┼┼┼┼┼┼┼┼╬┼┨
	// ┠┼┼◘┼┼┼◘┼┼┼◘┼┼┨
	// ┠┼┼┼╬┼┼┼┼┼╬┼┼┼┨
	// ┠┼┼┼┼╬┼┼┼╬┼┼┼┼┨
	// ┠┼┼┼┼┼╬┼╬┼┼┼┼┼┨
	// ┠┼┼◘┼┼┼◘┼┼┼◘┼┼┨
	// ┠┼┼┼┼┼╬┼╬┼┼┼┼┼┨
	// ┠┼┼┼┼╬┼┼┼╬┼┼┼┼┨
	// ┠┼┼┼╬┼┼┼┼┼╬┼┼┼┨
	// ┠┼┼◘┼┼┼◘┼┼┼◘┼┼┨
	// ┠┼╬┼┼┼┼┼┼┼┼┼╬┼┨
	// ┠╬┼┼┼┼┼┼┼┼┼┼┼╬┨
	// ┗┷┷┷┷┷┷┷┷┷┷┷┷┷┛
	// Initial 17x17 Board Board 17 by 17
	// ┏┯┯┯┯┯┯┯┯┯┯┯┯┯┯┯┓
	// ┠╬┼┼┼┼┼┼┼┼┼┼┼┼┼╬┨
	// ┠┼╬┼┼┼┼┼┼┼┼┼┼┼╬┼┨
	// ┠┼┼◘┼┼┼┼◘┼┼┼┼◘┼┼┨
	// ┠┼┼┼╬┼┼┼┼┼┼┼╬┼┼┼┨
	// ┠┼┼┼┼╬┼┼┼┼┼╬┼┼┼┼┨
	// ┠┼┼┼┼┼╬┼┼┼╬┼┼┼┼┼┨
	// ┠┼┼┼┼┼┼╋╋╋┼┼┼┼┼┼┨
	// ┠┼┼◘┼┼┼╋◘╋┼┼┼◘┼┼┨
	// ┠┼┼┼┼┼┼╋╋╋┼┼┼┼┼┼┨
	// ┠┼┼┼┼┼╬┼┼┼╬┼┼┼┼┼┨
	// ┠┼┼┼┼╬┼┼┼┼┼╬┼┼┼┼┨
	// ┠┼┼┼╬┼┼┼┼┼┼┼╬┼┼┼┨
	// ┠┼┼◘┼┼┼┼◘┼┼┼┼◘┼┼┨
	// ┠┼╬┼┼┼┼┼┼┼┼┼┼┼╬┼┨
	// ┠╬┼┼┼┼┼┼┼┼┼┼┼┼┼╬┨
	// ┗┷┷┷┷┷┷┷┷┷┷┷┷┷┷┷┛
	// Board 19 by 19
	// ┏┯┯┯┯┯┯┯┯┯┯┯┯┯┯┯┯┯┓
	// ┠╬┼┼┼┼┼┼┼┼┼┼┼┼┼┼┼╬┨
	// ┠┼╬┼┼┼┼┼┼┼┼┼┼┼┼┼╬┼┨
	// ┠┼┼◘┼┼┼┼┼◘┼┼┼┼┼◘┼┼┨
	// ┠┼┼┼╬┼┼┼┼┼┼┼┼┼╬┼┼┼┨
	// ┠┼┼┼┼╬┼┼┼┼┼┼┼╬┼┼┼┼┨
	// ┠┼┼┼┼┼╬┼┼┼┼┼╬┼┼┼┼┼┨
	// ┠┼┼┼┼┼┼╋╋╋╋╋┼┼┼┼┼┼┨
	// ┠┼┼┼┼┼┼╋╋╋╋╋┼┼┼┼┼┼┨
	// ┠┼┼◘┼┼┼╋╋◘╋╋┼┼┼◘┼┼┨
	// ┠┼┼┼┼┼┼╋╋╋╋╋┼┼┼┼┼┼┨
	// ┠┼┼┼┼┼┼╋╋╋╋╋┼┼┼┼┼┼┨
	// ┠┼┼┼┼┼╬┼┼┼┼┼╬┼┼┼┼┼┨
	// ┠┼┼┼┼╬┼┼┼┼┼┼┼╬┼┼┼┼┨
	// ┠┼┼┼╬┼┼┼┼┼┼┼┼┼╬┼┼┼┨
	// ┠┼┼◘┼┼┼┼┼◘┼┼┼┼┼◘┼┼┨
	// ┠┼╬┼┼┼┼┼┼┼┼┼┼┼┼┼╬┼┨
	// ┠╬┼┼┼┼┼┼┼┼┼┼┼┼┼┼┼╬┨
	// ┗┷┷┷┷┷┷┷┷┷┷┷┷┷┷┷┷┷┛
	// Checking brds[ 0 ]
	// Board size 5 by 5 after T_IDENTITY
	// 1.... | 1....
	// 2..x. | 2..x.
	// 3.+.. | 3.+..
	// 4.... | 4....
	// 5.... | 5....
	// Checking brds[ 1 ]
	// Board size 7 by 7 after T_ROTA_090
	// 1...... | .......
	// 2...... | .......
	// 3.+.+.. | ..+x+..
	// 4...x.. | .......
	// 5.+.+.. | ..+.+..
	// 6...... | .......
	// 7...... | 1234567
	// Checking brds[ 2 ]
	// Board size 9 by 9 after T_ROTA_180
	// 1........ | ........9
	// 2........ | ........8
	// 3.+...+.. | ..+...+.7
	// 4.....x.. | ........6
	// 5........ | ........5
	// 6........ | ..x.....4
	// 7.+...+.. | ..+...+.3
	// 8........ | ........2
	// 9........ | ........1
	// Checking brds[ 3 ]
	// Board size 11 by 11 after T_ROTA_270
	// 1.......... | BA987654321
	// 2.......... | ...........
	// 3.+.....+.. | ..+.....+..
	// 4.......x.. | ...........
	// 5.......... | ...........
	// 6....+..... | .....+.....
	// 7.......... | ...........
	// 8.......... | ...........
	// 9.+.....+.. | ..+....x+..
	// A.......... | ...........
	// B.......... | ...........
	// Checking brds[ 4 ]
	// Board size 13 by 13 after T_FLP_SLAS
	// 1............ | .............
	// 2............ | .............
	// 3............ | .........X...
	// 4..+.....+X.. | ...+.....+...
	// 5............ | .............
	// 6............ | .............
	// 7....+....... | .............
	// 8............ | ......+......
	// 9............ | .............
	// A..+.....+... | ...+.....+...
	// B............ | .............
	// C............ | .............
	// D............ | DCBA987654321
	// Checking brds[ 5 ]
	// Board size 15 by 15 after T_FLP_VERT
	// 1.............. | ..............1
	// 2.............. | ..............2
	// 3.............. | ..............3
	// 4..+.......+X.. | ..X+.......+..4
	// 5.............. | ..............5
	// 6.............. | ..............6
	// 7.............. | ..............7
	// 8.....+........ | ........+.....8
	// 9.............. | ..............9
	// A.............. | ..............A
	// B.............. | ..............B
	// C..+.......+... | ...+.......+..C
	// D.............. | ..............D
	// E.............. | ..............E
	// F.............. | ..............F
	// Checking brds[ 6 ]
	// Board size 17 by 17 after T_FLP_BACK
	// 1................ | 123456789ABCDEFGH
	// 2................ | .................
	// 3................ | .................
	// 4..+.........+X.. | ...+.........+...
	// 5................ | .................
	// 6................ | .................
	// 7................ | .................
	// 8................ | ........+........
	// 9......+......... | .................
	// A................ | .................
	// B................ | .................
	// C................ | .................
	// D................ | .................
	// E..+.........+... | ...+.........+...
	// F................ | ...X.............
	// G................ | .................
	// H................ | .................
	// Checking brds[ 7 ]
	// Board size 19 by 19 after T_FLP_HORI
	// 1.................. | J..................
	// 2.................. | I..................
	// 3.................. | H..................
	// 4..+.....+.....+X.. | G..+.....+.....+...
	// 5.................. | F..................
	// 6.................. | E..................
	// 7.................. | D..................
	// 8.................. | C..................
	// 9.................. | B..................
	// A..+.....+.....+... | A..+.....+.....+...
	// B.................. | 9..................
	// C.................. | 8..................
	// D.................. | 7..................
	// E.................. | 6..................
	// F.................. | 5..................
	// G..+.....+.....+... | 4..+.....+.....+X..
	// H.................. | 3..................
	// I.................. | 2..................
	// J.................. | 1..................
	// Checking T_IDENTITY and its inverse: T_IDENTITY
	// Checking T_ROTA_090 and its inverse: T_ROTA_270
	// Checking T_ROTA_180 and its inverse: T_ROTA_180
	// Checking T_ROTA_270 and its inverse: T_ROTA_090
	// Checking T_FLP_SLAS and its inverse: T_FLP_SLAS
	// Checking T_FLP_VERT and its inverse: T_FLP_VERT
	// Checking T_FLP_BACK and its inverse: T_FLP_BACK
	// Checking T_FLP_HORI and its inverse: T_FLP_HORI
	// Checking T_IDENTITY = T_IDENTITY * T_IDENTITY
	// Checking T_ROTA_090 = T_IDENTITY * T_ROTA_090
	// Checking T_ROTA_180 = T_IDENTITY * T_ROTA_180
	// Checking T_ROTA_270 = T_IDENTITY * T_ROTA_270
	// Checking T_FLP_SLAS = T_IDENTITY * T_FLP_SLAS
	// Checking T_FLP_VERT = T_IDENTITY * T_FLP_VERT
	// Checking T_FLP_BACK = T_IDENTITY * T_FLP_BACK
	// Checking T_FLP_HORI = T_IDENTITY * T_FLP_HORI
	// Checking T_ROTA_090 = T_ROTA_090 * T_IDENTITY
	// Checking T_ROTA_180 = T_ROTA_090 * T_ROTA_090
	// Checking T_ROTA_270 = T_ROTA_090 * T_ROTA_180
	// Checking T_IDENTITY = T_ROTA_090 * T_ROTA_270
	// Checking T_FLP_HORI = T_ROTA_090 * T_FLP_SLAS
	// Checking T_FLP_SLAS = T_ROTA_090 * T_FLP_VERT
	// Checking T_FLP_VERT = T_ROTA_090 * T_FLP_BACK
	// Checking T_FLP_BACK = T_ROTA_090 * T_FLP_HORI
	// Checking T_ROTA_180 = T_ROTA_180 * T_IDENTITY
	// Checking T_ROTA_270 = T_ROTA_180 * T_ROTA_090
	// Checking T_IDENTITY = T_ROTA_180 * T_ROTA_180
	// Checking T_ROTA_090 = T_ROTA_180 * T_ROTA_270
	// Checking T_FLP_BACK = T_ROTA_180 * T_FLP_SLAS
	// Checking T_FLP_HORI = T_ROTA_180 * T_FLP_VERT
	// Checking T_FLP_SLAS = T_ROTA_180 * T_FLP_BACK
	// Checking T_FLP_VERT = T_ROTA_180 * T_FLP_HORI
	// Checking T_ROTA_270 = T_ROTA_270 * T_IDENTITY
	// Checking T_IDENTITY = T_ROTA_270 * T_ROTA_090
	// Checking T_ROTA_090 = T_ROTA_270 * T_ROTA_180
	// Checking T_ROTA_180 = T_ROTA_270 * T_ROTA_270
	// Checking T_FLP_VERT = T_ROTA_270 * T_FLP_SLAS
	// Checking T_FLP_BACK = T_ROTA_270 * T_FLP_VERT
	// Checking T_FLP_HORI = T_ROTA_270 * T_FLP_BACK
	// Checking T_FLP_SLAS = T_ROTA_270 * T_FLP_HORI
	// Checking T_FLP_SLAS = T_FLP_SLAS * T_IDENTITY
	// Checking T_FLP_VERT = T_FLP_SLAS * T_ROTA_090
	// Checking T_FLP_BACK = T_FLP_SLAS * T_ROTA_180
	// Checking T_FLP_HORI = T_FLP_SLAS * T_ROTA_270
	// Checking T_IDENTITY = T_FLP_SLAS * T_FLP_SLAS
	// Checking T_ROTA_090 = T_FLP_SLAS * T_FLP_VERT
	// Checking T_ROTA_180 = T_FLP_SLAS * T_FLP_BACK
	// Checking T_ROTA_270 = T_FLP_SLAS * T_FLP_HORI
	// Checking T_FLP_VERT = T_FLP_VERT * T_IDENTITY
	// Checking T_FLP_BACK = T_FLP_VERT * T_ROTA_090
	// Checking T_FLP_HORI = T_FLP_VERT * T_ROTA_180
	// Checking T_FLP_SLAS = T_FLP_VERT * T_ROTA_270
	// Checking T_ROTA_270 = T_FLP_VERT * T_FLP_SLAS
	// Checking T_IDENTITY = T_FLP_VERT * T_FLP_VERT
	// Checking T_ROTA_090 = T_FLP_VERT * T_FLP_BACK
	// Checking T_ROTA_180 = T_FLP_VERT * T_FLP_HORI
	// Checking T_FLP_BACK = T_FLP_BACK * T_IDENTITY
	// Checking T_FLP_HORI = T_FLP_BACK * T_ROTA_090
	// Checking T_FLP_SLAS = T_FLP_BACK * T_ROTA_180
	// Checking T_FLP_VERT = T_FLP_BACK * T_ROTA_270
	// Checking T_ROTA_180 = T_FLP_BACK * T_FLP_SLAS
	// Checking T_ROTA_270 = T_FLP_BACK * T_FLP_VERT
	// Checking T_IDENTITY = T_FLP_BACK * T_FLP_BACK
	// Checking T_ROTA_090 = T_FLP_BACK * T_FLP_HORI
	// Checking T_FLP_HORI = T_FLP_HORI * T_IDENTITY
	// Checking T_FLP_SLAS = T_FLP_HORI * T_ROTA_090
	// Checking T_FLP_VERT = T_FLP_HORI * T_ROTA_180
	// Checking T_FLP_BACK = T_FLP_HORI * T_ROTA_270
	// Checking T_ROTA_090 = T_FLP_HORI * T_FLP_SLAS
	// Checking T_ROTA_180 = T_FLP_HORI * T_FLP_VERT
	// Checking T_ROTA_270 = T_FLP_HORI * T_FLP_BACK
	// Checking T_IDENTITY = T_FLP_HORI * T_FLP_HORI
}