Magma V2.19-8 Tue Aug 20 2013 16:19:14 on localhost [Seed = 2193825669] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3359 geometric_solution 6.52458703 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 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 0 0 0 0 -1 0 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 0 0 0 0 0.876478041045 0.801828970693 0 5 5 2 0132 0132 1230 2103 0 0 0 0 0 1 -1 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 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.607463650452 0.663792326121 5 0 4 1 0321 0132 1230 2103 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 -1 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.784746826403 1.531780931017 4 5 6 0 0213 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916660231551 0.455432872537 3 6 0 2 0213 1230 0132 3012 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 -1 1 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.350669275882 0.708010656535 2 1 3 1 0321 0132 2310 3012 0 0 0 0 0 -1 1 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 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.619531019853 0.554134708149 6 6 4 3 1230 3012 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572170779457 0.519435139191 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_1001_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_1001_0']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_1001_2']})} 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_4, c_0101_0, c_0101_2, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 17897000636278075725948365403/61380673627146566645375926*c_1001_2^1\ 8 + 62919446218329018818023297715/30690336813573283322687963*c_1001\ _2^17 + 242491390673951988086121222174/30690336813573283322687963*c\ _1001_2^16 + 975072711246863022611889022505/61380673627146566645375\ 926*c_1001_2^15 - 913400405958310144471111712083/306903368135732833\ 22687963*c_1001_2^14 - 1412414587759117698207659228406/306903368135\ 73283322687963*c_1001_2^13 + 1662124064051919345219748609481/613806\ 73627146566645375926*c_1001_2^12 + 1498284545131360347519175585380/30690336813573283322687963*c_1001_2\ ^11 - 171792143714461296117848582539/30690336813573283322687963*c_1\ 001_2^10 - 1122620048368191187779856476395/613806736271465666453759\ 26*c_1001_2^9 - 126265243358621878480009085426/30690336813573283322\ 687963*c_1001_2^8 - 452862146436696287967944801399/6138067362714656\ 6645375926*c_1001_2^7 - 127508536168473602233170100603/613806736271\ 46566645375926*c_1001_2^6 + 258540133788220918747762163253/61380673\ 627146566645375926*c_1001_2^5 + 548452613537485084947300042293/6138\ 0673627146566645375926*c_1001_2^4 + 21180619933181608760818696423/61380673627146566645375926*c_1001_2^3 - 29830502249788367639730364646/30690336813573283322687963*c_1001_2\ ^2 - 85110856172923819750518548601/61380673627146566645375926*c_100\ 1_2 - 16476248715067009807343315907/61380673627146566645375926, c_0011_0 - 1, c_0011_3 - 10306057579484259458244630/30690336813573283322687963*c_1001\ _2^18 + 84047239153399660237032896/30690336813573283322687963*c_100\ 1_2^17 + 202457492534850744618091559/30690336813573283322687963*c_1\ 001_2^16 + 217140218107108838376448448/30690336813573283322687963*c\ _1001_2^15 - 1819273391718749083154312030/3069033681357328332268796\ 3*c_1001_2^14 - 766915345981492796245741461/30690336813573283322687\ 963*c_1001_2^13 + 3062499391200960007433540144/30690336813573283322\ 687963*c_1001_2^12 + 1364653311365605174281409873/30690336813573283\ 322687963*c_1001_2^11 - 2144463050875824066450795883/30690336813573\ 283322687963*c_1001_2^10 - 900636399947579327373682836/306903368135\ 73283322687963*c_1001_2^9 + 471905102918439186090738903/30690336813\ 573283322687963*c_1001_2^8 - 36879362025779890283678566/30690336813\ 573283322687963*c_1001_2^7 + 191094462279624805088001922/3069033681\ 3573283322687963*c_1001_2^6 + 339257352480000109614472200/306903368\ 13573283322687963*c_1001_2^5 + 293617129288980453743569065/30690336\ 813573283322687963*c_1001_2^4 - 298541652069509780089353679/3069033\ 6813573283322687963*c_1001_2^3 - 138325803074492774221741773/306903\ 36813573283322687963*c_1001_2^2 - 20887228052190982677634516/306903\ 36813573283322687963*c_1001_2 + 13096961686476621661906589/30690336\ 813573283322687963, c_0011_4 - 62664930594941581793734551/30690336813573283322687963*c_1001\ _2^18 + 433168933642241119104640332/30690336813573283322687963*c_10\ 01_2^17 + 1750975068652643565531860922/30690336813573283322687963*c\ _1001_2^16 + 3607860593757474257480953478/3069033681357328332268796\ 3*c_1001_2^15 - 5973572774906847057205269930/3069033681357328332268\ 7963*c_1001_2^14 - 10541633275339488887817239160/306903368135732833\ 22687963*c_1001_2^13 + 5006100500055658442658812402/306903368135732\ 83322687963*c_1001_2^12 + 10951821040978112384436496889/30690336813\ 573283322687963*c_1001_2^11 - 769674949311870807824089535/306903368\ 13573283322687963*c_1001_2^10 - 4061908775485986765517257708/306903\ 36813573283322687963*c_1001_2^9 - 763998882247671905186624238/30690\ 336813573283322687963*c_1001_2^8 - 1598280507957676272654934028/30690336813573283322687963*c_1001_2^7 - 705184064687758273369422778/30690336813573283322687963*c_1001_2^6 + 859325149948505218431390585/30690336813573283322687963*c_1001_2^5 + 1858479578117215675619834000/30690336813573283322687963*c_1001_2^4 + 180919913172365699094944030/30690336813573283322687963*c_1001_2^3 - 180724745301951602236222889/30690336813573283322687963*c_1001_2^2 - 221818363709064986618713932/30690336813573283322687963*c_1001_2 - 74006608955376733657279722/30690336813573283322687963, c_0101_0 - 39952358866515210368204880/30690336813573283322687963*c_1001\ _2^18 + 274776650689696029299655876/30690336813573283322687963*c_10\ 01_2^17 + 1125181114236070813511555343/30690336813573283322687963*c\ _1001_2^16 + 2343742682329137489518420388/3069033681357328332268796\ 3*c_1001_2^15 - 3700001806114927646026527552/3069033681357328332268\ 7963*c_1001_2^14 - 6789997240452025076788157796/3069033681357328332\ 2687963*c_1001_2^13 + 2917113066910167940696614127/3069033681357328\ 3322687963*c_1001_2^12 + 6864637831398995579316308765/3069033681357\ 3283322687963*c_1001_2^11 - 223976458874771460608012488/30690336813\ 573283322687963*c_1001_2^10 - 2328553675719978518121884790/30690336\ 813573283322687963*c_1001_2^9 - 523999372010515233408861552/3069033\ 6813573283322687963*c_1001_2^8 - 1169907198667949434432300595/30690\ 336813573283322687963*c_1001_2^7 - 573936682058327237089523483/30690336813573283322687963*c_1001_2^6 + 506913427093184682893948511/30690336813573283322687963*c_1001_2^5 + 1235144349640580052244160741/30690336813573283322687963*c_1001_2^4 + 159916514531042779281133181/30690336813573283322687963*c_1001_2^3 - 143561430336792741323150583/30690336813573283322687963*c_1001_2^2 - 122344863449965149676737954/30690336813573283322687963*c_1001_2 - 55422403935766073516037308/30690336813573283322687963, c_0101_2 - 35435580567787971664827903/30690336813573283322687963*c_1001\ _2^18 + 236029286240234379088963008/30690336813573283322687963*c_10\ 01_2^17 + 1054806834379395769677722776/30690336813573283322687963*c\ _1001_2^16 + 2271795292227819087840116796/3069033681357328332268796\ 3*c_1001_2^15 - 2970908922608603696248255217/3069033681357328332268\ 7963*c_1001_2^14 - 7088067215344485922538710563/3069033681357328332\ 2687963*c_1001_2^13 + 1373304623425600235235504778/3069033681357328\ 3322687963*c_1001_2^12 + 7593422396863470531949115519/3069033681357\ 3283322687963*c_1001_2^11 + 1433910895681594419360244855/3069033681\ 3573283322687963*c_1001_2^10 - 2928795982145918795127741896/3069033\ 6813573283322687963*c_1001_2^9 - 1354010846365008074199391306/30690\ 336813573283322687963*c_1001_2^8 - 821478465952697489030879328/30690336813573283322687963*c_1001_2^7 - 513195581821664260858453534/30690336813573283322687963*c_1001_2^6 + 396285881890428690633952514/30690336813573283322687963*c_1001_2^5 + 1259986453352113799378217236/30690336813573283322687963*c_1001_2^4 + 429425228145260527184008952/30690336813573283322687963*c_1001_2^3 - 132873283985776980767259420/30690336813573283322687963*c_1001_2^2 - 215166537624433835912614895/30690336813573283322687963*c_1001_2 - 68079755496113064809360908/30690336813573283322687963, c_1001_0 - 13524263676074274533122038/30690336813573283322687963*c_1001\ _2^18 + 84109498647770794857087292/30690336813573283322687963*c_100\ 1_2^17 + 447651520065591137467304636/30690336813573283322687963*c_1\ 001_2^16 + 1007610863921389976855669215/30690336813573283322687963*\ c_1001_2^15 - 893673300627630354539126536/3069033681357328332268796\ 3*c_1001_2^14 - 3496281563525708000000512029/3069033681357328332268\ 7963*c_1001_2^13 - 150265792363795954474580736/30690336813573283322\ 687963*c_1001_2^12 + 3904718491048403434231501775/30690336813573283\ 322687963*c_1001_2^11 + 1317509476625994968033531734/30690336813573\ 283322687963*c_1001_2^10 - 1608205055868134844022590321/30690336813\ 573283322687963*c_1001_2^9 - 816441843290336174582333687/3069033681\ 3573283322687963*c_1001_2^8 - 360082285765262204569052546/306903368\ 13573283322687963*c_1001_2^7 - 325925565783833200470067846/30690336\ 813573283322687963*c_1001_2^6 + 261341140374648680351352575/3069033\ 6813573283322687963*c_1001_2^5 + 631159679698911504544273373/306903\ 36813573283322687963*c_1001_2^4 + 314975959323883747162908858/30690\ 336813573283322687963*c_1001_2^3 - 133214706535217842454442927/30690336813573283322687963*c_1001_2^2 - 123329864287217655914220270/30690336813573283322687963*c_1001_2 - 47302724840295552382553066/30690336813573283322687963, c_1001_2^19 - 20/3*c_1001_2^18 - 89/3*c_1001_2^17 - 193/3*c_1001_2^16 + 247/3*c_1001_2^15 + 586/3*c_1001_2^14 - 107/3*c_1001_2^13 - 202*c_1001_2^12 - 125/3*c_1001_2^11 + 211/3*c_1001_2^10 + 37*c_1001_2^9 + 91/3*c_1001_2^8 + 49/3*c_1001_2^7 - 12*c_1001_2^6 - 36*c_1001_2^5 - 37/3*c_1001_2^4 + 3*c_1001_2^3 + 6*c_1001_2^2 + 8/3*c_1001_2 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB