Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 155751878] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0378 geometric_solution 4.43447122 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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 1.351657461343 0.147370050916 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 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 1 -1 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.098880236779 0.126825479161 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.051859977172 0.256696870030 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -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 1 0 -1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.747420277405 0.279015104794 5 3 5 6 2031 0132 1302 0132 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 -1 0 1 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.612355465433 0.409028503813 4 6 4 3 2031 2310 1302 0132 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 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.612355465433 0.409028503813 6 6 4 5 1302 2031 0132 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 -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.623660725416 0.606476856974 ==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_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0110_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_6, c_0101_0, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 4688945265759933632566967309673461939/21450221452426958396553383544\ 2916304*c_0110_6^18 - 18492036323233619357233243928284834397/214502\ 214524269583965533835442916304*c_0110_6^17 + 6964100913098258678002506255437363311/15321586751733541711823845388\ 779736*c_0110_6^16 - 12203316367626543815794933290572673145/7660793\ 375866770855911922694389868*c_0110_6^15 + 333640013488530783374254655502223353029/214502214524269583965533835\ 442916304*c_0110_6^14 - 217542458667908995435463853135463535401/306\ 43173503467083423647690777559472*c_0110_6^13 + 273743309714516621915669409533101410651/107251107262134791982766917\ 721458152*c_0110_6^12 + 1899341970704282601838271938003163922815/53\ 625553631067395991383458860729076*c_0110_6^11 + 581974271359060440209312914769167582887/153215867517335417118238453\ 88779736*c_0110_6^10 + 4136290164367324317014292482762391168351/107\ 251107262134791982766917721458152*c_0110_6^9 - 7804151805271621546818811587128248606229/10725110726213479198276691\ 7721458152*c_0110_6^8 - 14669832194720755533400669376189538704343/2\ 14502214524269583965533835442916304*c_0110_6^7 - 2893573050132157558206485244410417392503/10725110726213479198276691\ 7721458152*c_0110_6^6 - 10261448343220772445886740800521917338351/2\ 14502214524269583965533835442916304*c_0110_6^5 + 7649571261277945904548357708101974956141/21450221452426958396553383\ 5442916304*c_0110_6^4 + 9340361080686205497238165067496206327553/21\ 4502214524269583965533835442916304*c_0110_6^3 + 102987204139743166060844095130444312691/536255536310673959913834588\ 60729076*c_0110_6^2 - 415833912452565247389871915335231558677/21450\ 2214524269583965533835442916304*c_0110_6 - 241403253407058200083192646143430271355/214502214524269583965533835\ 442916304, c_0011_0 - 1, c_0011_1 - 1340529042141884025346100862472973/2145022145242695839655338\ 35442916304*c_0110_6^18 + 5388910425929658474609437789300075/214502\ 214524269583965533835442916304*c_0110_6^17 - 14274240735092609608511997384313265/1072511072621347919827669177214\ 58152*c_0110_6^16 + 12646269870879201536052621250888595/26812776815\ 533697995691729430364538*c_0110_6^15 - 109697654750246303666879072460170615/214502214524269583965533835442\ 916304*c_0110_6^14 + 468891862037063525070476877877738173/214502214\ 524269583965533835442916304*c_0110_6^13 - 116200852035170391674194377839165881/107251107262134791982766917721\ 458152*c_0110_6^12 - 510348865077779264458845513701642773/536255536\ 31067395991383458860729076*c_0110_6^11 - 1154166412889101123835960480584272263/10725110726213479198276691772\ 1458152*c_0110_6^10 - 1274339085141821133347593841208475337/1072511\ 07262134791982766917721458152*c_0110_6^9 + 325407471762166657573800887195314617/153215867517335417118238453887\ 79736*c_0110_6^8 + 3778546147050614140395893996007029617/2145022145\ 24269583965533835442916304*c_0110_6^7 + 1407817499461753651102757547549327565/10725110726213479198276691772\ 1458152*c_0110_6^6 + 2804224174349609076800000252945316213/21450221\ 4524269583965533835442916304*c_0110_6^5 - 2260229021040364285838498215354523107/21450221452426958396553383544\ 2916304*c_0110_6^4 - 2423993218984444942319684548304375103/21450221\ 4524269583965533835442916304*c_0110_6^3 - 50653652474205617685731600935414245/1340638840776684899784586471518\ 2269*c_0110_6^2 - 72134268157649475399891118110193857/2145022145242\ 69583965533835442916304*c_0110_6 + 82318179688033668155039173941815553/2145022145242695839655338354429\ 16304, c_0011_6 + 716534164180261590368778713110227/21450221452426958396553383\ 5442916304*c_0110_6^18 - 2472042800126542774803921658477247/2145022\ 14524269583965533835442916304*c_0110_6^17 + 6628785622849304459504748375669043/10725110726213479198276691772145\ 8152*c_0110_6^16 - 10956084451609237004429331519234219/536255536310\ 67395991383458860729076*c_0110_6^15 + 19722870829429661526274028866260629/2145022145242695839655338354429\ 16304*c_0110_6^14 - 187769491931085435536973499443929685/2145022145\ 24269583965533835442916304*c_0110_6^13 - 28022822201029372718948308084913387/1072511072621347919827669177214\ 58152*c_0110_6^12 + 324099456827768400201389502332380807/5362555363\ 1067395991383458860729076*c_0110_6^11 + 877367203353305257982741608676757429/107251107262134791982766917721\ 458152*c_0110_6^10 + 767035556974379401902157737286461357/107251107\ 262134791982766917721458152*c_0110_6^9 - 1060645720280611813720580571697179137/10725110726213479198276691772\ 1458152*c_0110_6^8 - 3883687688235291832210192515427159571/21450221\ 4524269583965533835442916304*c_0110_6^7 - 72237131197383736273267373215820219/1340638840776684899784586471518\ 2269*c_0110_6^6 - 1681627496491817581034957814358114901/21450221452\ 4269583965533835442916304*c_0110_6^5 + 730015368093143467701679896956078001/214502214524269583965533835442\ 916304*c_0110_6^4 + 2327975502496179610819120126226224887/214502214\ 524269583965533835442916304*c_0110_6^3 + 75189212419255707076069397158005917/5362555363106739599138345886072\ 9076*c_0110_6^2 - 196204881816401353075649510271240349/214502214524\ 269583965533835442916304*c_0110_6 - 77511445461656894484663113738598141/2145022145242695839655338354429\ 16304, c_0101_0 - 1758914109105673517515902280888231/5362555363106739599138345\ 8860729076*c_0110_6^18 + 1800725929775461685498750683647801/1340638\ 8407766848997845864715182269*c_0110_6^17 - 5372136130573409104717874939272385/76607933758667708559119226943898\ 68*c_0110_6^16 + 133708366225110748699941458980549765/5362555363106\ 7395991383458860729076*c_0110_6^15 - 72241763483987756614468656334816847/2681277681553369799569172943036\ 4538*c_0110_6^14 + 590484332808071008675224216375787193/53625553631\ 067395991383458860729076*c_0110_6^13 - 148258821026912303302570524625821145/268127768155336979956917294303\ 64538*c_0110_6^12 - 100570170691314719383438659741096374/1915198343\ 966692713977980673597467*c_0110_6^11 - 1326383713151167969163875385138520195/26812776815533697995691729430\ 364538*c_0110_6^10 - 646370271891335370419015399043340548/134063884\ 07766848997845864715182269*c_0110_6^9 + 1609777229829921536345024400362609896/13406388407766848997845864715\ 182269*c_0110_6^8 + 676575235935220789989357434724583929/7660793375\ 866770855911922694389868*c_0110_6^7 + 1417635296873894081735292333725088249/53625553631067395991383458860\ 729076*c_0110_6^6 + 3250624225135498816022765381879537249/536255536\ 31067395991383458860729076*c_0110_6^5 - 3491355132390953512331478935939011457/53625553631067395991383458860\ 729076*c_0110_6^4 - 1655278733592805368744380242817612083/268127768\ 15533697995691729430364538*c_0110_6^3 + 235521761790392976758490504978894809/536255536310673959913834588607\ 29076*c_0110_6^2 + 67744286776493693971327182436328180/134063884077\ 66848997845864715182269*c_0110_6 + 57985172537526719062365730157036723/5362555363106739599138345886072\ 9076, c_0101_2 - 3748795011120929194619113967944161/2145022145242695839655338\ 35442916304*c_0110_6^18 + 15641870794050768517997868775943963/21450\ 2214524269583965533835442916304*c_0110_6^17 - 40561673817421364423489576190356307/1072511072621347919827669177214\ 58152*c_0110_6^16 + 10369958255379518647329237794179377/76607933758\ 66770855911922694389868*c_0110_6^15 - 325544696965227522630116014404887471/214502214524269583965533835442\ 916304*c_0110_6^14 + 1266818904438514322054360419838870849/21450221\ 4524269583965533835442916304*c_0110_6^13 - 356678314056575465470707437607092045/107251107262134791982766917721\ 458152*c_0110_6^12 - 1507201552823032177547855469982276525/53625553\ 631067395991383458860729076*c_0110_6^11 - 2580006948996940095435627343611220323/10725110726213479198276691772\ 1458152*c_0110_6^10 - 2385758968030730812983812189402500129/1072511\ 07262134791982766917721458152*c_0110_6^9 + 7290426419315519354834909646975950495/10725110726213479198276691772\ 1458152*c_0110_6^8 + 9547249453950395230027078554773140837/21450221\ 4524269583965533835442916304*c_0110_6^7 + 898846010042711212150193947295298755/107251107262134791982766917721\ 458152*c_0110_6^6 + 6321010902280162651825941298406888705/214502214\ 524269583965533835442916304*c_0110_6^5 - 8380470689020253575945557572233273911/21450221452426958396553383544\ 2916304*c_0110_6^4 - 6927604152040039107749655358643690159/21450221\ 4524269583965533835442916304*c_0110_6^3 + 253717417620034909361517500849425437/536255536310673959913834588607\ 29076*c_0110_6^2 + 839801308233522795319842234291735967/21450221452\ 4269583965533835442916304*c_0110_6 + 141538402588417596427764006479069693/214502214524269583965533835442\ 916304, c_0101_3 + 983010263944197474452409587389863/21450221452426958396553383\ 5442916304*c_0110_6^18 - 3993542456466601178113215938947017/2145022\ 14524269583965533835442916304*c_0110_6^17 + 10611877212982666416193806580450665/1072511072621347919827669177214\ 58152*c_0110_6^16 - 2698816479339576970380509312727227/766079337586\ 6770855911922694389868*c_0110_6^15 + 86329797181101738848556522586993385/2145022145242695839655338354429\ 16304*c_0110_6^14 - 356995792980964896759556258507237483/2145022145\ 24269583965533835442916304*c_0110_6^13 + 99138113267008602260228344312482399/1072511072621347919827669177214\ 58152*c_0110_6^12 + 359016347334121167947177330022568887/5362555363\ 1067395991383458860729076*c_0110_6^11 + 831708105471487335409035205042447229/107251107262134791982766917721\ 458152*c_0110_6^10 + 961077392100883621172920458937681091/107251107\ 262134791982766917721458152*c_0110_6^9 - 227867818045805886430169455586497495/153215867517335417118238453887\ 79736*c_0110_6^8 - 315731703133563175990148247804447821/30643173503\ 467083423647690777559472*c_0110_6^7 - 1037095576218942588924040915042440459/10725110726213479198276691772\ 1458152*c_0110_6^6 - 1803094468575489066289606694958314315/21450221\ 4524269583965533835442916304*c_0110_6^5 + 1320327056540606822823094876858816409/21450221452426958396553383544\ 2916304*c_0110_6^4 + 1375274589018462963155473752307840461/21450221\ 4524269583965533835442916304*c_0110_6^3 + 120920102635253522324838516841526009/536255536310673959913834588607\ 29076*c_0110_6^2 - 49062098413557584863767651873794233/214502214524\ 269583965533835442916304*c_0110_6 + 12161038389993799562173603586257983/3064317350346708342364769077755\ 9472, c_0110_6^19 - 4*c_0110_6^18 + 21*c_0110_6^17 - 74*c_0110_6^16 + 75*c_0110_6^15 - 328*c_0110_6^14 + 135*c_0110_6^13 + 1618*c_0110_6^12 + 1650*c_0110_6^11 + 1644*c_0110_6^10 - 3480*c_0110_6^9 - 3015*c_0110_6^8 - 1073*c_0110_6^7 - 2063*c_0110_6^6 + 1828*c_0110_6^5 + 1992*c_0110_6^4 + 33*c_0110_6^3 - 91*c_0110_6^2 - 54*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB