Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 3297073176] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0866 geometric_solution 4.77725608 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.473290527847 0.144378385074 0 2 2 0 3201 0132 1023 0132 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 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 1.219094898152 0.209086370731 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 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 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.970359997807 0.645644554518 2 5 4 4 0132 0132 3201 2031 0 0 0 0 0 0 -1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328556112699 0.614543024679 3 3 2 5 2310 1302 0132 1023 0 0 0 0 0 0 -1 1 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 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.328556112699 0.614543024679 6 3 6 4 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 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 -1 0 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.512870765270 1.032812797198 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 1 0 -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 -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.482020685445 0.144969562671 ==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_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], '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' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_0011_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 310742652090264446077723091020244553548708/126862218393521099907013\ 27185479941968635*c_0101_5^23 + 11209399929200583744367546875850907\ 0736471/12686221839352109990701327185479941968635*c_0101_5^22 - 3542575285515957101549694514292218398103972/12686221839352109990701\ 327185479941968635*c_0101_5^21 + 2247542444747938117182962753182981\ 115463638/2537244367870421998140265437095988393727*c_0101_5^20 + 1787283439638702162081449350753486451100894/25372443678704219981402\ 65437095988393727*c_0101_5^19 - 97837497323712221573227562052407195\ 823237953/12686221839352109990701327185479941968635*c_0101_5^18 + 87474042256533116429666033359573025859823943/1268622183935210999070\ 1327185479941968635*c_0101_5^17 + 549064280092913602159945972868357\ 18492841816/12686221839352109990701327185479941968635*c_0101_5^16 - 353880037481700594618833525551748141207324322/126862218393521099907\ 01327185479941968635*c_0101_5^15 + 887519120307972950930254171593655702091936021/126862218393521099907\ 01327185479941968635*c_0101_5^14 - 492193916272455830530709140469437581359474528/126862218393521099907\ 01327185479941968635*c_0101_5^13 - 1117263485545248241019089726077968441430526334/12686221839352109990\ 701327185479941968635*c_0101_5^12 + 1105210403344754539190884800169804260771984068/12686221839352109990\ 701327185479941968635*c_0101_5^11 + 237701809954128210857343425832482427864808068/253724436787042199814\ 0265437095988393727*c_0101_5^10 - 154189889742965179993227202213525\ 4451777632276/12686221839352109990701327185479941968635*c_0101_5^9 - 556905304887584586491937726129553471866426453/126862218393521099907\ 01327185479941968635*c_0101_5^8 + 116778603513767491921229097222620\ 2895334866518/12686221839352109990701327185479941968635*c_0101_5^7 - 186418197828575997261086021401460675328732998/126862218393521099907\ 01327185479941968635*c_0101_5^6 - 253595983023571924938081745677960\ 236269657766/12686221839352109990701327185479941968635*c_0101_5^5 + 132584555025785996436358002832503181595440218/126862218393521099907\ 01327185479941968635*c_0101_5^4 - 255630517130883153604077362632778\ 63436828527/12686221839352109990701327185479941968635*c_0101_5^3 - 9067236424740849000209202117375833292802941/12686221839352109990701\ 327185479941968635*c_0101_5^2 + 16915440920573493650041675006951352\ 11925382/2537244367870421998140265437095988393727*c_0101_5 - 2006154470825822755688206512851809286514247/12686221839352109990701\ 327185479941968635, c_0011_0 - 1, c_0011_1 - 145809006114285667008655884287839427092/25372443678704219981\ 40265437095988393727*c_0101_5^23 - 255676878381365680017698674671574523678/253724436787042199814026543\ 7095988393727*c_0101_5^22 + 151793916139358583819246829211565826898\ 0/2537244367870421998140265437095988393727*c_0101_5^21 - 2948383845436579753561969404459502010201/25372443678704219981402654\ 37095988393727*c_0101_5^20 - 10664495924372702603666854157482824129\ 133/2537244367870421998140265437095988393727*c_0101_5^19 + 37184241670397617054252727433611191926503/2537244367870421998140265\ 437095988393727*c_0101_5^18 + 2163179070877663364432306644697216955\ 1289/2537244367870421998140265437095988393727*c_0101_5^17 - 58454275290672231741879235813839935554957/2537244367870421998140265\ 437095988393727*c_0101_5^16 + 1024725491030238085331200726302125582\ 91674/2537244367870421998140265437095988393727*c_0101_5^15 - 200125208410218947011912830586584970354902/253724436787042199814026\ 5437095988393727*c_0101_5^14 - 266626088055926175946535650064420858\ 865471/2537244367870421998140265437095988393727*c_0101_5^13 + 616496628638453424924813214817651693381954/253724436787042199814026\ 5437095988393727*c_0101_5^12 + 380979214638563662483650127887010662\ 358155/2537244367870421998140265437095988393727*c_0101_5^11 - 1002950555041436408382040443588780048096971/25372443678704219981402\ 65437095988393727*c_0101_5^10 - 36506602953576823719159238758897430\ 9935079/2537244367870421998140265437095988393727*c_0101_5^9 + 940116272628732688828171848631930526198252/253724436787042199814026\ 5437095988393727*c_0101_5^8 + 2559532766888651437890157954938350005\ 12191/2537244367870421998140265437095988393727*c_0101_5^7 - 484193676988890249317735738171577383868176/253724436787042199814026\ 5437095988393727*c_0101_5^6 - 5495864568593532069863091740670880394\ 6735/2537244367870421998140265437095988393727*c_0101_5^5 + 96458410415371827099958701765910462711033/2537244367870421998140265\ 437095988393727*c_0101_5^4 - 24811319880534188190121930343864172003\ 558/2537244367870421998140265437095988393727*c_0101_5^3 + 16042199188601561316879161525396412591870/2537244367870421998140265\ 437095988393727*c_0101_5^2 + 50406030563577893764734967285627301156\ 66/2537244367870421998140265437095988393727*c_0101_5 - 3036533853354003427904823962053220382044/25372443678704219981402654\ 37095988393727, c_0011_4 - 705794514931061071987354961455431582420/25372443678704219981\ 40265437095988393727*c_0101_5^23 + 45447222791915191994968399016755613787/2537244367870421998140265437\ 095988393727*c_0101_5^22 + 8389791917767204295495430912501749096242\ /2537244367870421998140265437095988393727*c_0101_5^21 - 28719395717380017885068131815342664644457/2537244367870421998140265\ 437095988393727*c_0101_5^20 - 1198204516129699547526455997363626044\ 4543/2537244367870421998140265437095988393727*c_0101_5^19 + 237843411212926909899917139368291190217364/253724436787042199814026\ 5437095988393727*c_0101_5^18 - 282315899925530012771731477032568581\ 104402/2537244367870421998140265437095988393727*c_0101_5^17 - 107415466965730084979860235769852624026851/253724436787042199814026\ 5437095988393727*c_0101_5^16 + 883016732391300636685902049102565057\ 045589/2537244367870421998140265437095988393727*c_0101_5^15 - 2303409226741797081146855759021818555081176/25372443678704219981402\ 65437095988393727*c_0101_5^14 + 17429431628183392354676305470078042\ 42933895/2537244367870421998140265437095988393727*c_0101_5^13 + 2593855867472278279740309172788744194984988/25372443678704219981402\ 65437095988393727*c_0101_5^12 - 36542619994135525670880193198768605\ 06335516/2537244367870421998140265437095988393727*c_0101_5^11 - 2483501293916704551331120421132777668279733/25372443678704219981402\ 65437095988393727*c_0101_5^10 + 49475411810304793757271324110970142\ 45870506/2537244367870421998140265437095988393727*c_0101_5^9 + 845223185175023402623279716557694324055902/253724436787042199814026\ 5437095988393727*c_0101_5^8 - 3691226423507040797024048085898332221\ 397643/2537244367870421998140265437095988393727*c_0101_5^7 + 836208423584230040960199310163634883515586/253724436787042199814026\ 5437095988393727*c_0101_5^6 + 8178964352043857616065363921637213605\ 45677/2537244367870421998140265437095988393727*c_0101_5^5 - 410601291428281202004262050766465293074971/253724436787042199814026\ 5437095988393727*c_0101_5^4 + 8670055532025455141617603509393507315\ 3001/2537244367870421998140265437095988393727*c_0101_5^3 + 8723700115810032396256678966137457904377/25372443678704219981402654\ 37095988393727*c_0101_5^2 - 280769665491643520264917674000048550619\ 58/2537244367870421998140265437095988393727*c_0101_5 + 6128746563389644189678929510298104927434/25372443678704219981402654\ 37095988393727, c_0101_0 - 1072876026144812340567490056313349313384/2537244367870421998\ 140265437095988393727*c_0101_5^23 - 538982937025325667362185253957007753418/253724436787042199814026543\ 7095988393727*c_0101_5^22 + 119785488398041090456935677551820188971\ 95/2537244367870421998140265437095988393727*c_0101_5^21 - 37135752925387425006359875608865309068307/2537244367870421998140265\ 437095988393727*c_0101_5^20 - 3410981927531475464185635062678162733\ 5495/2537244367870421998140265437095988393727*c_0101_5^19 + 326262965611498522751363185374847069519943/253724436787042199814026\ 5437095988393727*c_0101_5^18 - 259556268643014293261514352208454554\ 242365/2537244367870421998140265437095988393727*c_0101_5^17 - 170859789755424472340973490381826425311513/253724436787042199814026\ 5437095988393727*c_0101_5^16 + 113885241163838173960041799019095429\ 9644675/2537244367870421998140265437095988393727*c_0101_5^15 - 2919389631050573332870608152061469924589075/25372443678704219981402\ 65437095988393727*c_0101_5^14 + 14789222890892147286900537792053674\ 12780753/2537244367870421998140265437095988393727*c_0101_5^13 + 3532459212176764604343491565026508709875671/25372443678704219981402\ 65437095988393727*c_0101_5^12 - 29278719707155507151135253079217189\ 85668382/2537244367870421998140265437095988393727*c_0101_5^11 - 4009496168558759376440008956368075382572697/25372443678704219981402\ 65437095988393727*c_0101_5^10 + 41224666633261620540131549305765927\ 71770204/2537244367870421998140265437095988393727*c_0101_5^9 + 1956288770300855450662217613323895531696660/25372443678704219981402\ 65437095988393727*c_0101_5^8 - 289504644804628537815802839844159899\ 7634063/2537244367870421998140265437095988393727*c_0101_5^7 + 401007852801428796694131912383976571060802/253724436787042199814026\ 5437095988393727*c_0101_5^6 + 3813957333514750686411656110301147981\ 74804/2537244367870421998140265437095988393727*c_0101_5^5 - 246616073483611251768530721487909430195973/253724436787042199814026\ 5437095988393727*c_0101_5^4 + 9441511957577875236442977588386248743\ 6268/2537244367870421998140265437095988393727*c_0101_5^3 + 11842603290172452184209871685885345684437/2537244367870421998140265\ 437095988393727*c_0101_5^2 - 91107438567749717414939941891960160807\ 27/2537244367870421998140265437095988393727*c_0101_5 + 2245303181868602170637210472357111663594/25372443678704219981402654\ 37095988393727, c_0101_2 + 1407042854965011222700301065256117579626/2537244367870421998\ 140265437095988393727*c_0101_5^23 + 754793890052501461980331721448088162809/253724436787042199814026543\ 7095988393727*c_0101_5^22 - 159106303421135261873278831068639485566\ 52/2537244367870421998140265437095988393727*c_0101_5^21 + 48023059146777881475953264551896611246969/2537244367870421998140265\ 437095988393727*c_0101_5^20 + 4890784340182353760451007734699381436\ 0346/2537244367870421998140265437095988393727*c_0101_5^19 - 433775569221792604461804183340035912310901/253724436787042199814026\ 5437095988393727*c_0101_5^18 + 317446496333071340282142552713935590\ 230392/2537244367870421998140265437095988393727*c_0101_5^17 + 303457776051222682283463193351223313885123/253724436787042199814026\ 5437095988393727*c_0101_5^16 - 152977522340676932125985273017610786\ 3119026/2537244367870421998140265437095988393727*c_0101_5^15 + 3730963797175144251413501035021041415920692/25372443678704219981402\ 65437095988393727*c_0101_5^14 - 15781276044600931916576702684744698\ 15850542/2537244367870421998140265437095988393727*c_0101_5^13 - 5274379835970214322014746060279012953515560/25372443678704219981402\ 65437095988393727*c_0101_5^12 + 38957560034899787687657048321002218\ 32834709/2537244367870421998140265437095988393727*c_0101_5^11 + 6190877916737670098150562896411600804979740/25372443678704219981402\ 65437095988393727*c_0101_5^10 - 57073682308102816095267997758993937\ 45611478/2537244367870421998140265437095988393727*c_0101_5^9 - 3730956059442533889176102499249539770895294/25372443678704219981402\ 65437095988393727*c_0101_5^8 + 442236793529530896213058131056319708\ 9200701/2537244367870421998140265437095988393727*c_0101_5^7 + 211767353608307948470419360708574385103559/253724436787042199814026\ 5437095988393727*c_0101_5^6 - 1028669927464981106044613237939947004\ 832420/2537244367870421998140265437095988393727*c_0101_5^5 + 240008333590989829227736040589181326314014/253724436787042199814026\ 5437095988393727*c_0101_5^4 - 3341638969743970388775345335117040158\ 1598/2537244367870421998140265437095988393727*c_0101_5^3 - 31374848671897944909461983967734150484024/2537244367870421998140265\ 437095988393727*c_0101_5^2 + 23093271081433620108181850851862726152\ 735/2537244367870421998140265437095988393727*c_0101_5 - 562066515182644619517282881414694789488/253724436787042199814026543\ 7095988393727, c_0101_3 - 1490717848490314773673552336774079054733/2537244367870421998\ 140265437095988393727*c_0101_5^23 - 1069167191669244840224751123522018745272/25372443678704219981402654\ 37095988393727*c_0101_5^22 + 16505792349562221973953831826891111459\ 016/2537244367870421998140265437095988393727*c_0101_5^21 - 48128035067868008691053428160906972050724/2537244367870421998140265\ 437095988393727*c_0101_5^20 - 5886246225254997779582079223652753475\ 2882/2537244367870421998140265437095988393727*c_0101_5^19 + 445149811359410078584608927729123303614289/253724436787042199814026\ 5437095988393727*c_0101_5^18 - 265873532759373880948660566419448202\ 013436/2537244367870421998140265437095988393727*c_0101_5^17 - 327272953824488135458840234694764834601588/253724436787042199814026\ 5437095988393727*c_0101_5^16 + 156851642990499408878591113849036831\ 1704208/2537244367870421998140265437095988393727*c_0101_5^15 - 3723405717525171951469563889810783032397845/25372443678704219981402\ 65437095988393727*c_0101_5^14 + 11410237489204521014541971166146735\ 44359265/2537244367870421998140265437095988393727*c_0101_5^13 + 5519648693541744666721030960269611807050762/25372443678704219981402\ 65437095988393727*c_0101_5^12 - 33018234988417533132135677096237757\ 93020245/2537244367870421998140265437095988393727*c_0101_5^11 - 6484197262300886100769810314741875527545282/25372443678704219981402\ 65437095988393727*c_0101_5^10 + 49352380363762354784763096163403932\ 08419404/2537244367870421998140265437095988393727*c_0101_5^9 + 3955710139177408665032524467545183001125765/25372443678704219981402\ 65437095988393727*c_0101_5^8 - 395688895733405983850696693287132168\ 4044275/2537244367870421998140265437095988393727*c_0101_5^7 - 205898157092338802788819616338496803598656/253724436787042199814026\ 5437095988393727*c_0101_5^6 + 9459669482971939017187537888206467727\ 92538/2537244367870421998140265437095988393727*c_0101_5^5 - 336417142891284500079087861400785315332493/253724436787042199814026\ 5437095988393727*c_0101_5^4 + 4416577680929182984076167619020584814\ 9226/2537244367870421998140265437095988393727*c_0101_5^3 + 41827137138672458947553850762859727330205/2537244367870421998140265\ 437095988393727*c_0101_5^2 - 19274548011775677943865131606079397238\ 095/2537244367870421998140265437095988393727*c_0101_5 + 2815178650986996033049739638156095678405/25372443678704219981402654\ 37095988393727, c_0101_5^24 + c_0101_5^23 - 11*c_0101_5^22 + 29*c_0101_5^21 + 50*c_0101_5^20 - 291*c_0101_5^19 + 87*c_0101_5^18 + 306*c_0101_5^17 - 996*c_0101_5^16 + 2166*c_0101_5^15 + 62*c_0101_5^14 - 4187*c_0101_5^13 + 1134*c_0101_5^12 + 5464*c_0101_5^11 - 2137*c_0101_5^10 - 4214*c_0101_5^9 + 2037*c_0101_5^8 + 1338*c_0101_5^7 - 726*c_0101_5^6 - 57*c_0101_5^5 + 65*c_0101_5^4 - 48*c_0101_5^3 + 7*c_0101_5^2 + 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB