Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 2210537285] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0285 geometric_solution 4.32739715 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 -1 1 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 -1 1 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.558559530087 0.383659437001 0 4 3 3 0132 0132 3012 2310 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 -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.257597899886 1.573721380613 5 0 5 0 0132 0132 1023 1023 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 0 0 0.771032197729 0.090043763327 1 1 4 0 3201 1230 3201 0132 0 0 0 0 0 0 1 -1 -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 1 0 -1 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.257597899886 1.573721380613 3 1 6 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 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.699531457773 1.911809833814 2 5 2 5 0132 2310 1023 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 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.834299991441 0.045216303605 4 6 6 4 3201 3201 2310 0132 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 -1 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.401511759207 0.574458735088 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : 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' : negation(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_0011_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_5']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1974618922208230661631368/30410953797852122310497*c_0101_5^20 - 176358790473094084670370/2764632163441102028227*c_0101_5^19 + 37825486238571142484624506/30410953797852122310497*c_0101_5^18 + 41870443610857556508898551/30410953797852122310497*c_0101_5^17 - 275175741718662446259262587/30410953797852122310497*c_0101_5^16 - 277525191675551341203043858/30410953797852122310497*c_0101_5^15 + 1117089207586878084803706111/30410953797852122310497*c_0101_5^14 + 911227389737769732710732083/30410953797852122310497*c_0101_5^13 - 257463072928829566506641239/2764632163441102028227*c_0101_5^12 - 1700078806328358181041847964/30410953797852122310497*c_0101_5^11 + 4541225680874269183531187029/30410953797852122310497*c_0101_5^10 + 1865684472903175812405974662/30410953797852122310497*c_0101_5^9 - 4406271053725598822394068382/30410953797852122310497*c_0101_5^8 - 1218154013857162279017449336/30410953797852122310497*c_0101_5^7 + 2330876983308514519724372750/30410953797852122310497*c_0101_5^6 + 48421178047264603868644854/2764632163441102028227*c_0101_5^5 - 553038161189148810733517308/30410953797852122310497*c_0101_5^4 - 192035898248103883281120850/30410953797852122310497*c_0101_5^3 + 53953264675993808049663896/30410953797852122310497*c_0101_5^2 + 26836627298664476647812548/30410953797852122310497*c_0101_5 + 2152773687919409925722289/30410953797852122310497, c_0011_0 - 1, c_0011_3 - 3393024085382353231196/2764632163441102028227*c_0101_5^20 - 2658171577553113159529/2764632163441102028227*c_0101_5^19 + 63747445737497872594560/2764632163441102028227*c_0101_5^18 + 59062364121077906976834/2764632163441102028227*c_0101_5^17 - 452100508061951118637770/2764632163441102028227*c_0101_5^16 - 378458046574902807603968/2764632163441102028227*c_0101_5^15 + 1771274966002510655975476/2764632163441102028227*c_0101_5^14 + 1180135408674458721631653/2764632163441102028227*c_0101_5^13 - 4279866646598265880655901/2764632163441102028227*c_0101_5^12 - 2091417870710104911650344/2764632163441102028227*c_0101_5^11 + 6465477537207687854051210/2764632163441102028227*c_0101_5^10 + 2241759282894972503167539/2764632163441102028227*c_0101_5^9 - 5887151732719377055176593/2764632163441102028227*c_0101_5^8 - 1526338095756985409023295/2764632163441102028227*c_0101_5^7 + 2985794665164423204929438/2764632163441102028227*c_0101_5^6 + 704565030298542740635660/2764632163441102028227*c_0101_5^5 - 753082400253517870624185/2764632163441102028227*c_0101_5^4 - 212469990592223480451763/2764632163441102028227*c_0101_5^3 + 91518313113036614913865/2764632163441102028227*c_0101_5^2 + 27279840871198078835855/2764632163441102028227*c_0101_5 - 2331250153920378176836/2764632163441102028227, c_0011_6 + 4020432992891086377740/2764632163441102028227*c_0101_5^20 + 2432419446585118221093/2764632163441102028227*c_0101_5^19 - 75312819671207792245826/2764632163441102028227*c_0101_5^18 - 56970629092641489311540/2764632163441102028227*c_0101_5^17 + 534857368249393500953012/2764632163441102028227*c_0101_5^16 + 358688573638248551072660/2764632163441102028227*c_0101_5^15 - 2094522693297864031523060/2764632163441102028227*c_0101_5^14 - 1073545096268876499270592/2764632163441102028227*c_0101_5^13 + 5042610700927529914778292/2764632163441102028227*c_0101_5^12 + 1793653106770038859777992/2764632163441102028227*c_0101_5^11 - 7591936048861330240763221/2764632163441102028227*c_0101_5^10 - 1793099969336330154247733/2764632163441102028227*c_0101_5^9 + 6932511671344818166026498/2764632163441102028227*c_0101_5^8 + 1165132727202224642926682/2764632163441102028227*c_0101_5^7 - 3561839450432706371782409/2764632163441102028227*c_0101_5^6 - 568428253833658857408665/2764632163441102028227*c_0101_5^5 + 900922425011664552045206/2764632163441102028227*c_0101_5^4 + 207279061619893248921085/2764632163441102028227*c_0101_5^3 - 92566471972214878861129/2764632163441102028227*c_0101_5^2 - 35348762014536376552291/2764632163441102028227*c_0101_5 - 593395389382995349241/2764632163441102028227, c_0101_0 + 495770082163494708884/2764632163441102028227*c_0101_5^20 + 864981436008010579951/2764632163441102028227*c_0101_5^19 - 9215730785226479807229/2764632163441102028227*c_0101_5^18 - 17796403092254467082636/2764632163441102028227*c_0101_5^17 + 62774929730799488042104/2764632163441102028227*c_0101_5^16 + 123481447132331494474268/2764632163441102028227*c_0101_5^15 - 239713514088482921042378/2764632163441102028227*c_0101_5^14 - 450035416598896686153333/2764632163441102028227*c_0101_5^13 + 587022825242564429094426/2764632163441102028227*c_0101_5^12 + 992251232799026476045708/2764632163441102028227*c_0101_5^11 - 943166196126749242806877/2764632163441102028227*c_0101_5^10 - 1378620920841710182352566/2764632163441102028227*c_0101_5^9 + 956813806012677879126500/2764632163441102028227*c_0101_5^8 + 1191331154688216443262399/2764632163441102028227*c_0101_5^7 - 556799207897766375844269/2764632163441102028227*c_0101_5^6 - 610491474464959288066004/2764632163441102028227*c_0101_5^5 + 149029135864849435454677/2764632163441102028227*c_0101_5^4 + 172779353676606063444441/2764632163441102028227*c_0101_5^3 - 6013757688625984685022/2764632163441102028227*c_0101_5^2 - 21573202292149090673492/2764632163441102028227*c_0101_5 - 1931806615323052457166/2764632163441102028227, c_0101_1 + 492028730401577654780/2764632163441102028227*c_0101_5^20 + 833612817016331883209/2764632163441102028227*c_0101_5^19 - 9154288421267354439682/2764632163441102028227*c_0101_5^18 - 17236809881499537534686/2764632163441102028227*c_0101_5^17 + 62552782266867776670663/2764632163441102028227*c_0101_5^16 + 119891078797644927833560/2764632163441102028227*c_0101_5^15 - 239428361962090797498968/2764632163441102028227*c_0101_5^14 - 437764136041829159195237/2764632163441102028227*c_0101_5^13 + 586500719185159198484835/2764632163441102028227*c_0101_5^12 + 966628550885609067708799/2764632163441102028227*c_0101_5^11 - 940768893354157745575638/2764632163441102028227*c_0101_5^10 - 1344341714755321676431391/2764632163441102028227*c_0101_5^9 + 951669138516456520914662/2764632163441102028227*c_0101_5^8 + 1161792970601338213967857/2764632163441102028227*c_0101_5^7 - 551938016795122859340846/2764632163441102028227*c_0101_5^6 - 591170708606837530033854/2764632163441102028227*c_0101_5^5 + 147152787195963643828549/2764632163441102028227*c_0101_5^4 + 168204980820638263971890/2764632163441102028227*c_0101_5^3 - 5844876003795942892358/2764632163441102028227*c_0101_5^2 - 27403817299343477725905/2764632163441102028227*c_0101_5 - 1924947250026445204002/2764632163441102028227, c_0101_2 - 480583286091522403360/2764632163441102028227*c_0101_5^20 - 817863120640279240252/2764632163441102028227*c_0101_5^19 + 8942762089538018403429/2764632163441102028227*c_0101_5^18 + 16888331840302987299799/2764632163441102028227*c_0101_5^17 - 61118111773885495218861/2764632163441102028227*c_0101_5^16 - 117359304168545769169707/2764632163441102028227*c_0101_5^15 + 234167956039665035362748/2764632163441102028227*c_0101_5^14 + 428325645087879467699430/2764632163441102028227*c_0101_5^13 - 574530285811900406283585/2764632163441102028227*c_0101_5^12 - 945749892371608171486586/2764632163441102028227*c_0101_5^11 + 923050433210765033841021/2764632163441102028227*c_0101_5^10 + 1315474119678200914358514/2764632163441102028227*c_0101_5^9 - 934783145761566482824751/2764632163441102028227*c_0101_5^8 - 1136614515416124167039478/2764632163441102028227*c_0101_5^7 + 542254761114933958909725/2764632163441102028227*c_0101_5^6 + 577307903191227344962755/2764632163441102028227*c_0101_5^5 - 144309562339335054069809/2764632163441102028227*c_0101_5^4 - 160093967855015337277269/2764632163441102028227*c_0101_5^3 + 5572337095022891099640/2764632163441102028227*c_0101_5^2 + 24909855552554508575100/2764632163441102028227*c_0101_5 + 1919157842521473962595/2764632163441102028227, c_0101_5^21 + 7/4*c_0101_5^20 - 37/2*c_0101_5^19 - 36*c_0101_5^18 + 125*c_0101_5^17 + 499/2*c_0101_5^16 - 1889/4*c_0101_5^15 - 3635/4*c_0101_5^14 + 4563/4*c_0101_5^13 + 8013/4*c_0101_5^12 - 7197/4*c_0101_5^11 - 5561/2*c_0101_5^10 + 7097/4*c_0101_5^9 + 4781/2*c_0101_5^8 - 978*c_0101_5^7 - 1196*c_0101_5^6 + 445/2*c_0101_5^5 + 315*c_0101_5^4 + 19/2*c_0101_5^3 - 161/4*c_0101_5^2 - 13/2*c_0101_5 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB