Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 2564359294] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0757 geometric_solution 4.69952990 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479076237996 1.288243370127 0 0 2 3 0132 2103 1023 2310 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479076237996 1.288243370127 4 4 1 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.935069034530 1.428185676148 1 5 0 5 3201 0132 0132 1023 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530621666751 0.371778014567 2 6 6 2 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.048865306631 0.367814598665 5 3 5 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565550803847 0.083114049355 4 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.179322213049 2.827800163688 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0110_3']), 'c_1010_0' : d['c_0110_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0101_0, c_0101_6, c_0110_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 21303270433097021381418446293236/449323784670441863718029497*c_0110\ _5^21 + 968380814921760964197395585141188/2246618923352209318590147\ 485*c_0110_5^20 - 3607653439879591879943483420418231/22466189233522\ 09318590147485*c_0110_5^19 + 8549185773749531528693366868615816/224\ 6618923352209318590147485*c_0110_5^18 - 16840927479722073986665244892741911/2246618923352209318590147485*c_\ 0110_5^17 + 6907461869072680567821348037315336/44932378467044186371\ 8029497*c_0110_5^16 - 57713209825968490903632416365851866/224661892\ 3352209318590147485*c_0110_5^15 + 667492897081330916165433644358648\ 32/2246618923352209318590147485*c_0110_5^14 - 90147339436644345515096804720957123/2246618923352209318590147485*c_\ 0110_5^13 + 153739909791486886061854178718071566/224661892335220931\ 8590147485*c_0110_5^12 - 178368720945743812235407404467254237/22466\ 18923352209318590147485*c_0110_5^11 + 113838579602631044695061422511687167/2246618923352209318590147485*c\ _0110_5^10 - 152833532268382747799492465464033/22466189233522093185\ 90147485*c_0110_5^9 - 87998446160177069454165069042245823/224661892\ 3352209318590147485*c_0110_5^8 + 7640584853383534494686388819601574\ 4/2246618923352209318590147485*c_0110_5^7 - 10576557248489345821434249829459203/2246618923352209318590147485*c_\ 0110_5^6 - 18335767488358989372839362344197476/22466189233522093185\ 90147485*c_0110_5^5 + 2131592456728625477724053696150749/4493237846\ 70441863718029497*c_0110_5^4 - 883855964040310774658569274505704/22\ 46618923352209318590147485*c_0110_5^3 - 1044530531992058626043757333127458/2246618923352209318590147485*c_0\ 110_5^2 + 386902706260754390794969742882188/22466189233522093185901\ 47485*c_0110_5 - 42694120225074455578864565213417/22466189233522093\ 18590147485, c_0011_0 - 1, c_0011_2 + 2765841874244147678509256769950/449323784670441863718029497*\ c_0110_5^21 - 25152601702875567655206255340980/44932378467044186371\ 8029497*c_0110_5^20 + 93741928640723349032833996215061/449323784670\ 441863718029497*c_0110_5^19 - 222221395943069316595762253786547/449\ 323784670441863718029497*c_0110_5^18 + 437823925511812463784784004885460/449323784670441863718029497*c_011\ 0_5^17 - 897828436989322302367620665629625/449323784670441863718029\ 497*c_0110_5^16 + 1500710830704540021882090202493936/44932378467044\ 1863718029497*c_0110_5^15 - 1736659324246896882404623028877817/4493\ 23784670441863718029497*c_0110_5^14 + 2344521734621640104781370502720003/449323784670441863718029497*c_01\ 10_5^13 - 3997337032501890995502755302766803/4493237846704418637180\ 29497*c_0110_5^12 + 4640813540899326187489639541158104/449323784670\ 441863718029497*c_0110_5^11 - 2965883047806286786069458462917002/44\ 9323784670441863718029497*c_0110_5^10 + 9359819439851499187198836428886/449323784670441863718029497*c_0110_\ 5^9 + 2286192469756929961412291397598847/44932378467044186371802949\ 7*c_0110_5^8 - 1989619562581391703539589718467104/44932378467044186\ 3718029497*c_0110_5^7 + 278516226985928988485888116127453/449323784\ 670441863718029497*c_0110_5^6 + 476153463643141279768457177189948/4\ 49323784670441863718029497*c_0110_5^5 - 277790784297751952069589739835237/449323784670441863718029497*c_011\ 0_5^4 + 23349452317327748408144384838530/44932378467044186371802949\ 7*c_0110_5^3 + 27145590111712089710826621983700/4493237846704418637\ 18029497*c_0110_5^2 - 10088759225990255966978985465458/449323784670\ 441863718029497*c_0110_5 + 1116988155161953452361196909941/44932378\ 4670441863718029497, c_0011_3 + 20601744101688969360013995555/449323784670441863718029497*c_\ 0110_5^21 - 185637663765855439588064479458/449323784670441863718029\ 497*c_0110_5^20 + 683349948699642322013180379983/449323784670441863\ 718029497*c_0110_5^19 - 1603116716388108220056298537632/44932378467\ 0441863718029497*c_0110_5^18 + 3144037050058801809508727302544/4493\ 23784670441863718029497*c_0110_5^17 - 6461473152547908343091035995739/449323784670441863718029497*c_0110_\ 5^16 + 10707561452285122905223031116259/449323784670441863718029497\ *c_0110_5^15 - 12184234601203385165113562143847/4493237846704418637\ 18029497*c_0110_5^14 + 16667083738275932255896364621422/44932378467\ 0441863718029497*c_0110_5^13 - 28599903335261821214390027589928/449\ 323784670441863718029497*c_0110_5^12 + 32506427063922632732452335763209/449323784670441863718029497*c_0110\ _5^11 - 19974001293733886339321885051983/44932378467044186371802949\ 7*c_0110_5^10 - 1033293259001063098286027070836/4493237846704418637\ 18029497*c_0110_5^9 + 16751576138541098164972483960367/449323784670\ 441863718029497*c_0110_5^8 - 13658498222077369105279347150818/44932\ 3784670441863718029497*c_0110_5^7 + 1384822695003482697407233366523/449323784670441863718029497*c_0110_\ 5^6 + 3451620356862776712034023087955/449323784670441863718029497*c\ _0110_5^5 - 1860534879180497449828496362005/44932378467044186371802\ 9497*c_0110_5^4 + 110584179440966792901134742707/449323784670441863\ 718029497*c_0110_5^3 + 189171508624519144895195218577/4493237846704\ 41863718029497*c_0110_5^2 - 66756920396207651607522821270/449323784\ 670441863718029497*c_0110_5 + 6989253813102894807709629803/44932378\ 4670441863718029497, c_0101_0 - 337250494868319773996819828590/449323784670441863718029497*c\ _0110_5^21 + 3067420911549719675976882277204/4493237846704418637180\ 29497*c_0110_5^20 - 11434513254367292624032755096089/44932378467044\ 1863718029497*c_0110_5^19 + 27112019614832054092630631560974/449323\ 784670441863718029497*c_0110_5^18 - 53423716785485577479641766614316/449323784670441863718029497*c_0110\ _5^17 + 109553225701332977627921203872291/4493237846704418637180294\ 97*c_0110_5^16 - 183148212562977775384487257825642/4493237846704418\ 63718029497*c_0110_5^15 + 212029632665205157906833013307481/4493237\ 84670441863718029497*c_0110_5^14 - 286213613212712676358212062952313/449323784670441863718029497*c_011\ 0_5^13 + 487884547175207579787629626189004/449323784670441863718029\ 497*c_0110_5^12 - 566635421934503946424076966930496/449323784670441\ 863718029497*c_0110_5^11 + 362552121341392546757824282934169/449323\ 784670441863718029497*c_0110_5^10 - 1869078051877519908909356196748/449323784670441863718029497*c_0110_\ 5^9 - 278487247079459472392331027150982/449323784670441863718029497\ *c_0110_5^8 + 242762468487039152027593410375732/4493237846704418637\ 18029497*c_0110_5^7 - 34209552781222961417546332022157/449323784670\ 441863718029497*c_0110_5^6 - 57957532264769246595156004776899/44932\ 3784670441863718029497*c_0110_5^5 + 33878099474993519077484046043043/449323784670441863718029497*c_0110\ _5^4 - 2865257896489939856673168379448/449323784670441863718029497*\ c_0110_5^3 - 3305389852849134444108938548644/4493237846704418637180\ 29497*c_0110_5^2 + 1229526066663079301802751941712/4493237846704418\ 63718029497*c_0110_5 - 136378724283165575920792977117/4493237846704\ 41863718029497, c_0101_6 - 929471989885089817202105606455/449323784670441863718029497*c\ _0110_5^21 + 8450611876765364821335906848858/4493237846704418637180\ 29497*c_0110_5^20 - 31481212858524400433203033131949/44932378467044\ 1863718029497*c_0110_5^19 + 74583464520792673902542333483369/449323\ 784670441863718029497*c_0110_5^18 - 146864273411937558892824101063045/449323784670441863718029497*c_011\ 0_5^17 + 301129042725167297262624010937433/449323784670441863718029\ 497*c_0110_5^16 - 503105411999271078712013149451145/449323784670441\ 863718029497*c_0110_5^15 + 581366545717850741450284012998245/449323\ 784670441863718029497*c_0110_5^14 - 784599125498791525119978497318042/449323784670441863718029497*c_011\ 0_5^13 + 1338969683866839645270093603067561/44932378467044186371802\ 9497*c_0110_5^12 - 1553121536142865454127617825814385/4493237846704\ 41863718029497*c_0110_5^11 + 987704513911214469166375452274623/4493\ 23784670441863718029497*c_0110_5^10 + 6196888501484520502755789351639/449323784670441863718029497*c_0110_\ 5^9 - 774452262093417614861135537500749/449323784670441863718029497\ *c_0110_5^8 + 669739609389767223810522830682550/4493237846704418637\ 18029497*c_0110_5^7 - 91191553207354581674212978483137/449323784670\ 441863718029497*c_0110_5^6 - 162518963504834995310618040692730/4493\ 23784670441863718029497*c_0110_5^5 + 94221549287609963031608110079061/449323784670441863718029497*c_0110\ _5^4 - 7724121738284828455962920313383/449323784670441863718029497*\ c_0110_5^3 - 9323021652069231200200122680922/4493237846704418637180\ 29497*c_0110_5^2 + 3454611212675453173441441253513/4493237846704418\ 63718029497*c_0110_5 - 382678108224409728430078817248/4493237846704\ 41863718029497, c_0110_3 - 107537227577866036396570062735/449323784670441863718029497*c\ _0110_5^21 + 975886920782621193126220110431/44932378467044186371802\ 9497*c_0110_5^20 - 3627397603135344922630422958855/4493237846704418\ 63718029497*c_0110_5^19 + 8582012420503161689864915073407/449323784\ 670441863718029497*c_0110_5^18 - 16897040664736112466976161880785/4\ 49323784670441863718029497*c_0110_5^17 + 34669632570337317923459912193847/449323784670441863718029497*c_0110\ _5^16 - 57848594377609440134386203106876/44932378467044186371802949\ 7*c_0110_5^15 + 66758477643074768994496417902818/449323784670441863\ 718029497*c_0110_5^14 - 90411519269719788655516577468853/4493237846\ 70441863718029497*c_0110_5^13 + 154241057169277811795945026494303/4\ 49323784670441863718029497*c_0110_5^12 - 178346251651972018265740369257844/449323784670441863718029497*c_011\ 0_5^11 + 113375945956179050516736689287382/449323784670441863718029\ 497*c_0110_5^10 + 355446534096940554233149379818/449323784670441863\ 718029497*c_0110_5^9 - 88152238597248699662914081694277/44932378467\ 0441863718029497*c_0110_5^8 + 75918047956007240336686656967337/4493\ 23784670441863718029497*c_0110_5^7 - 10188298238709501331064515960737/449323784670441863718029497*c_0110\ _5^6 - 18271451998710192664854156643081/449323784670441863718029497\ *c_0110_5^5 + 10525795139995851531901762175337/44932378467044186371\ 8029497*c_0110_5^4 - 844273332430229983367985197764/449323784670441\ 863718029497*c_0110_5^3 - 1032930352012138527218427743631/449323784\ 670441863718029497*c_0110_5^2 + 380772622081250844865084301171/4493\ 23784670441863718029497*c_0110_5 - 41822304637752953648047154060/449323784670441863718029497, c_0110_5^22 - 43/5*c_0110_5^21 + 147/5*c_0110_5^20 - 318/5*c_0110_5^19 + 593/5*c_0110_5^18 - 1232/5*c_0110_5^17 + 1911/5*c_0110_5^16 - 1799/5*c_0110_5^15 + 2687/5*c_0110_5^14 - 5132/5*c_0110_5^13 + 4819/5*c_0110_5^12 - 1216/5*c_0110_5^11 - 2633/5*c_0110_5^10 + 4142/5*c_0110_5^9 - 311*c_0110_5^8 - 1274/5*c_0110_5^7 + 222*c_0110_5^6 - 77/5*c_0110_5^5 - 206/5*c_0110_5^4 + 14*c_0110_5^3 + 6/5*c_0110_5^2 - 7/5*c_0110_5 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB