#([1,3,1,1,|,3],[2,-2,1,2,|,8],[3,1,2,-1,|,-1])~~([1,3,1,1,|,3],[0,-8,-1,0,|,2],[0,-8,-1,-4,|,-10])#
#R_2=R_2-2xxR_1#
#R_3=R_3-3xxR_1#
#R_3=R_3-R_2#
#([1,3,1,1,|,3],[0,-8,-1,0,|,2],[0,0,0,-4,|,-12])~~([1,3,1,1,|,3],[0,-8,-1,0,|,2],[0,0,0,1,|,3])#
#R_3=R_3xx-1/4#
#R_1=R_1-R_3#
#([1,3,1,0,|,0],[0,-8,-1,0,|,2],[0,0,0,1,|,3])~~([1,3,1,0,|,0],[0,1,1/8,0,|,1/4],[0,0,0,1,|,3])#
#R_2=R_2xx-1/8#
#R_1=R_1-3xxR_2#
#([1,0,5/8,0,|,-3/4],[0,1,1/8,0,|,1/4],[0,0,0,1,|,3])#
#x_3=pcolor(white)(QQQQQQQ)p in RR# (as a parameter)
#=>x_1=-3/4-5/8p=(-6-5p)/8#
#=>x_2=1/4-1/8p=(2-p)/8#
#=>x_4=3#
#P={((-6-5p)/8, (2-p)/8, p, 3), p in RR}#