Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 2614757188] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1438 geometric_solution 5.26408747 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 3201 1230 0 0 0 0 0 0 1 -1 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 0 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032732937457 0.937492275223 0 0 3 2 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 -0.570275221489 0.548708908872 4 3 1 5 0132 3012 0132 0132 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 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.063950088549 1.173827523477 2 4 5 1 1230 2310 3201 0132 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 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 1.063950088549 1.173827523477 2 4 4 3 0132 1230 3012 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 1.332500365398 0.825125271991 3 6 2 6 2310 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630924673611 0.589795482086 6 5 6 5 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.548214899357 0.128095626176 ==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_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_2']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_0']})} 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_5, c_0101_0, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - c_0110_6^2 - 4*c_0110_6 - 4, c_0011_0 - 1, c_0011_2 - c_0110_6, c_0011_5 + c_0110_6^2 + c_0110_6 - 1, c_0101_0 + c_0110_6^2 + c_0110_6 - 1, c_0101_3 - 1, c_0101_4 - 1, c_0110_6^3 + 2*c_0110_6^2 - c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 933249557349940887383653601/15303365520684740356655195*c_0110_6^18 + 4977226217461997470485235107/15303365520684740356655195*c_0110_6^17 + 63635949740848190566054990876/15303365520684740356655195*c_0110_6\ ^16 + 16682708070274167285257832150/3060673104136948071331039*c_011\ 0_6^15 - 256579996640952517645015498718/15303365520684740356655195*\ c_0110_6^14 - 217565746591536374619258844513/1530336552068474035665\ 5195*c_0110_6^13 + 770465048585349839773762751249/15303365520684740\ 356655195*c_0110_6^12 - 36426684788556208971988043152/1530336552068\ 4740356655195*c_0110_6^11 - 1312203839429193089086664905981/1530336\ 5520684740356655195*c_0110_6^10 + 238689987787636512679356615036/15\ 303365520684740356655195*c_0110_6^9 + 1100074715280856130922106747976/15303365520684740356655195*c_0110_6\ ^8 - 812378044682894555379064851489/15303365520684740356655195*c_01\ 10_6^7 - 771608685939045535328527541908/15303365520684740356655195*\ c_0110_6^6 + 501155075908880566529941670147/15303365520684740356655\ 195*c_0110_6^5 + 46067382927352122151767324459/15303365520684740356\ 655195*c_0110_6^4 - 33770877895873117708672780169/30606731041369480\ 71331039*c_0110_6^3 + 44006577173402658198220558838/153033655206847\ 40356655195*c_0110_6^2 + 13539584072474367834764002359/153033655206\ 84740356655195*c_0110_6 - 6191688000811545195726693773/153033655206\ 84740356655195, c_0011_0 - 1, c_0011_2 - 1529495927215875883346652/2528382129504435363273467*c_0110_6\ ^18 + 8112576247771121701377417/2528382129504435363273467*c_0110_6^\ 17 + 104510519908172241463773733/2528382129504435363273467*c_0110_6\ ^16 + 139960194201903594336445546/2528382129504435363273467*c_0110_\ 6^15 - 415792837743213091963070057/2528382129504435363273467*c_0110\ _6^14 - 374523737461301585948475406/2528382129504435363273467*c_011\ 0_6^13 + 1238077849393729938384256093/2528382129504435363273467*c_0\ 110_6^12 + 3909807258781856443756398/2528382129504435363273467*c_01\ 10_6^11 - 2114256824763640893189825249/2528382129504435363273467*c_\ 0110_6^10 + 236665503297965102635353991/2528382129504435363273467*c\ _0110_6^9 + 1800020740994009879860842352/2528382129504435363273467*\ c_0110_6^8 - 1129947403843322476943289793/2528382129504435363273467\ *c_0110_6^7 - 1310068493767667055201517526/252838212950443536327346\ 7*c_0110_6^6 + 647851839208253714064161628/252838212950443536327346\ 7*c_0110_6^5 + 166515494449135972004667628/252838212950443536327346\ 7*c_0110_6^4 - 187186257540536292407044770/252838212950443536327346\ 7*c_0110_6^3 + 25506147429450472171920793/2528382129504435363273467\ *c_0110_6^2 + 11583665866083700254253224/2528382129504435363273467*\ c_0110_6 - 5376736017599631091631888/2528382129504435363273467, c_0011_5 + 2896823374675562770347940/2528382129504435363273467*c_0110_6\ ^18 - 15304913493419502310951703/2528382129504435363273467*c_0110_6\ ^17 - 198262884820847965572383818/2528382129504435363273467*c_0110_\ 6^16 - 269159257070970589093644555/2528382129504435363273467*c_0110\ _6^15 + 782236432322879544285554777/2528382129504435363273467*c_011\ 0_6^14 + 725825718876225972745843106/2528382129504435363273467*c_01\ 10_6^13 - 2330372185580173420176251243/2528382129504435363273467*c_\ 0110_6^12 - 54498510668002519079455462/2528382129504435363273467*c_\ 0110_6^11 + 4001757148543436743207306108/2528382129504435363273467*\ c_0110_6^10 - 373007187212548114634205448/2528382129504435363273467\ *c_0110_6^9 - 3406025820115490140843128208/252838212950443536327346\ 7*c_0110_6^8 + 2075032714444259729819537622/25283821295044353632734\ 67*c_0110_6^7 + 2508457547918071770140134188/2528382129504435363273\ 467*c_0110_6^6 - 1181916868719331559735918273/252838212950443536327\ 3467*c_0110_6^5 - 322437765982210777845362935/252838212950443536327\ 3467*c_0110_6^4 + 346398711623708509798227538/252838212950443536327\ 3467*c_0110_6^3 - 45502574334846266399922522/2528382129504435363273\ 467*c_0110_6^2 - 21800925968904720191792581/25283821295044353632734\ 67*c_0110_6 + 6829871183607794179861398/2528382129504435363273467, c_0101_0 - 1504555470619063328758599/2528382129504435363273467*c_0110_6\ ^18 + 7712260538860768098100867/2528382129504435363273467*c_0110_6^\ 17 + 104160640019404454968426624/2528382129504435363273467*c_0110_6\ ^16 + 156358251735917401869707144/2528382129504435363273467*c_0110_\ 6^15 - 379891819327646465143354073/2528382129504435363273467*c_0110\ _6^14 - 435899680987529001399753611/2528382129504435363273467*c_011\ 0_6^13 + 1130534879491738893851043964/2528382129504435363273467*c_0\ 110_6^12 + 202505169131739785652533490/2528382129504435363273467*c_\ 0110_6^11 - 2014091744862054772968955037/2528382129504435363273467*\ c_0110_6^10 - 133904004513450594490766480/2528382129504435363273467\ *c_0110_6^9 + 1696799944811006168638120152/252838212950443536327346\ 7*c_0110_6^8 - 777156138321130053855775782/252838212950443536327346\ 7*c_0110_6^7 - 1374408567836954392095569728/25283821295044353632734\ 67*c_0110_6^6 + 354728723958509525068063249/25283821295044353632734\ 67*c_0110_6^5 + 203985726844873156480567082/25283821295044353632734\ 67*c_0110_6^4 - 104642018286647163719250333/25283821295044353632734\ 67*c_0110_6^3 + 10879783134842568749912498/252838212950443536327346\ 7*c_0110_6^2 + 5372559178872006779865587/2528382129504435363273467*\ c_0110_6 - 1186955198743493873068355/2528382129504435363273467, c_0101_3 + 5758016493102838713781843/2528382129504435363273467*c_0110_6\ ^18 - 30323656055513830751629143/2528382129504435363273467*c_0110_6\ ^17 - 394755907185612972364604304/2528382129504435363273467*c_0110_\ 6^16 - 540902926555178041126825957/2528382129504435363273467*c_0110\ _6^15 + 1556038758225098572246946826/2528382129504435363273467*c_01\ 10_6^14 + 1482918065794367384292604964/2528382129504435363273467*c_\ 0110_6^13 - 4646830236642405815094402230/2528382129504435363273467*\ c_0110_6^12 - 220500045379320495708755973/2528382129504435363273467\ *c_0110_6^11 + 8067135957156842346994947673/25283821295044353632734\ 67*c_0110_6^10 - 612744276519661723035853077/2528382129504435363273\ 467*c_0110_6^9 - 6966118675049196744477219835/252838212950443536327\ 3467*c_0110_6^8 + 4024992932394455101341131905/25283821295044353632\ 73467*c_0110_6^7 + 5195930514907882715441731323/2528382129504435363\ 273467*c_0110_6^6 - 2360564515681652005930874312/252838212950443536\ 3273467*c_0110_6^5 - 784764984762442172114494715/252838212950443536\ 3273467*c_0110_6^4 + 705243173037808764052309118/252838212950443536\ 3273467*c_0110_6^3 - 75606216112511489015905340/2528382129504435363\ 273467*c_0110_6^2 - 48050605424723338329239455/25283821295044353632\ 73467*c_0110_6 + 14498574959352653755528071/25283821295044353632734\ 67, c_0101_4 + 7102221692071869013987274/2528382129504435363273467*c_0110_6\ ^18 - 37969937195873073379588547/2528382129504435363273467*c_0110_6\ ^17 - 484060502729911696363634789/2528382129504435363273467*c_0110_\ 6^16 - 627561586107359357511770381/2528382129504435363273467*c_0110\ _6^15 + 1981876719692067709270250431/2528382129504435363273467*c_01\ 10_6^14 + 1688165009661026091993807745/2528382129504435363273467*c_\ 0110_6^13 - 5914314320985027445331498753/2528382129504435363273467*\ c_0110_6^12 + 154639557074912108542883904/2528382129504435363273467\ *c_0110_6^11 + 10082225336535442499182780963/2528382129504435363273\ 467*c_0110_6^10 - 1555770749419587848257495463/25283821295044353632\ 73467*c_0110_6^9 - 8720249838978994866317941618/2528382129504435363\ 273467*c_0110_6^8 + 5676241845810450970523910168/252838212950443536\ 3273467*c_0110_6^7 + 6172977742381620240613172339/25283821295044353\ 63273467*c_0110_6^6 - 3529945194595981816954449196/2528382129504435\ 363273467*c_0110_6^5 - 857244423541275200749543768/2528382129504435\ 363273467*c_0110_6^4 + 1002352976293602270641072696/252838212950443\ 5363273467*c_0110_6^3 - 144092630784531993586607471/252838212950443\ 5363273467*c_0110_6^2 - 64189926212982408807962888/2528382129504435\ 363273467*c_0110_6 + 23687538321801682066207705/2528382129504435363\ 273467, c_0110_6^19 - 5*c_0110_6^18 - 70*c_0110_6^17 - 112*c_0110_6^16 + 248*c_0110_6^15 + 334*c_0110_6^14 - 748*c_0110_6^13 - 266*c_0110_6^12 + 1420*c_0110_6^11 + 276*c_0110_6^10 - 1293*c_0110_6^9 + 367*c_0110_6^8 + 1136*c_0110_6^7 - 186*c_0110_6^6 - 288*c_0110_6^5 + 92*c_0110_6^4 + 27*c_0110_6^3 - 15*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB