Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 3701293114] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0749 geometric_solution 4.69398199 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 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.130501036668 1.011975159260 2 0 0 3 0132 0132 1023 0132 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 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.364386390905 0.247790610262 1 4 3 3 0132 0132 1302 3201 0 0 0 0 0 -1 1 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 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.302706126327 0.792596622161 2 2 1 4 2031 2310 0132 2310 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 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.302706126327 0.792596622161 3 2 5 5 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 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.077893906407 2.914752424681 4 6 4 6 2310 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.687598526631 0.524087449458 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428914969176 0.036951949528 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 48350449571333582135052962179787494/1732788113531112515818572019929\ 47*c_0110_6^21 - 1368679837644996828980527045756574005/346557622706\ 222503163714403985894*c_0110_6^20 + 6030068789062550481418617405376563998/17327881135311125158185720199\ 2947*c_0110_6^19 - 981847185475142936816309787312731226/17327881135\ 3111251581857201992947*c_0110_6^18 - 59131958879296640810433224131614157150/1732788113531112515818572019\ 92947*c_0110_6^17 + 68438353827116433889033278463605749908/17327881\ 1353111251581857201992947*c_0110_6^16 + 204591111313525355645878162139926244593/173278811353111251581857201\ 992947*c_0110_6^15 - 292160344260537563963305324061229521705/173278\ 811353111251581857201992947*c_0110_6^14 - 796482607254843139796401131151012995495/346557622706222503163714403\ 985894*c_0110_6^13 + 488300586894718835773461084002713249841/173278\ 811353111251581857201992947*c_0110_6^12 + 512190074139978979322819864059082170296/173278811353111251581857201\ 992947*c_0110_6^11 - 733078289006168324577027438843382899277/346557\ 622706222503163714403985894*c_0110_6^10 - 395033098832271809541285420991431171737/173278811353111251581857201\ 992947*c_0110_6^9 + 129581708466308422386828586131856431519/1732788\ 11353111251581857201992947*c_0110_6^8 + 174247208354974088187995923383483327466/173278811353111251581857201\ 992947*c_0110_6^7 - 27864905457087782029018030003859472244/17327881\ 1353111251581857201992947*c_0110_6^6 - 105697885265810824808477651538451044259/346557622706222503163714403\ 985894*c_0110_6^5 + 4746041755733641235366576562593400897/346557622\ 706222503163714403985894*c_0110_6^4 + 21842611415056662907192531770940479715/3465576227062225031637144039\ 85894*c_0110_6^3 + 2432783086337427109232361610767584717/3465576227\ 06222503163714403985894*c_0110_6^2 - 712001083053025428767897175663094936/173278811353111251581857201992\ 947*c_0110_6 - 244665530516922584617166195024002931/346557622706222\ 503163714403985894, c_0011_0 - 1, c_0011_3 - 332521376980250362133421170430801/34655762270622250316371440\ 3985894*c_0110_6^21 - 2436359291852141453484158499975624/1732788113\ 53111251581857201992947*c_0110_6^20 + 19587370978286751402874811812383742/1732788113531112515818572019929\ 47*c_0110_6^19 + 7393683656381010516065113149709766/173278811353111\ 251581857201992947*c_0110_6^18 - 2087451982681720416029249416629148\ 17/173278811353111251581857201992947*c_0110_6^17 + 135351442826922688345162158587399913/173278811353111251581857201992\ 947*c_0110_6^16 + 856081966634341609229544853394845607/173278811353\ 111251581857201992947*c_0110_6^15 - 1408992486920054829131378815354135649/34655762270622250316371440398\ 5894*c_0110_6^14 - 1978480772897633496133303984010413424/1732788113\ 53111251581857201992947*c_0110_6^13 + 1203751111908706649650215560750404045/17327881135311125158185720199\ 2947*c_0110_6^12 + 5542572816379740393948084681783442497/3465576227\ 06222503163714403985894*c_0110_6^11 - 728556242668187612615750762123452403/173278811353111251581857201992\ 947*c_0110_6^10 - 2173719373946763355176629237678753931/17327881135\ 3111251581857201992947*c_0110_6^9 + 44354041494595303702963843705533675/1732788113531112515818572019929\ 47*c_0110_6^8 + 954074398138321429267021836913620462/17327881135311\ 1251581857201992947*c_0110_6^7 + 1723238956843710233060148014220418\ 53/346557622706222503163714403985894*c_0110_6^6 - 574336911744479899656776835099094401/346557622706222503163714403985\ 894*c_0110_6^5 - 96039134901818392633224473174797619/34655762270622\ 2503163714403985894*c_0110_6^4 + 1189231002294574315033438999705019\ 63/346557622706222503163714403985894*c_0110_6^3 + 15536617449795161541344497798400767/1732788113531112515818572019929\ 47*c_0110_6^2 - 7765735424471833182021537723507333/3465576227062225\ 03163714403985894*c_0110_6 - 1043179015293416979200904181120959/173\ 278811353111251581857201992947, c_0011_5 - 2297445184736523441754315315132155/6931152454124450063274288\ 07971788*c_0110_6^21 - 32716743633270998967405524842896169/69311524\ 5412445006327428807971788*c_0110_6^20 + 70970904368490898833958187195671007/1732788113531112515818572019929\ 47*c_0110_6^19 - 9719109176357677993310908080481293/346557622706222\ 503163714403985894*c_0110_6^18 - 7094055245901081282667050790546465\ 20/173278811353111251581857201992947*c_0110_6^17 + 757547473456109414736175896410676362/173278811353111251581857201992\ 947*c_0110_6^16 + 5101366058729950019659024683178178347/34655762270\ 6222503163714403985894*c_0110_6^15 - 13443826405561293168703785395561459523/6931152454124450063274288079\ 71788*c_0110_6^14 - 20563514097084366053838094106452450929/69311524\ 5412445006327428807971788*c_0110_6^13 + 11488295067451806204232810156741694193/3465576227062225031637144039\ 85894*c_0110_6^12 + 26706310611700544224611871648922850271/69311524\ 5412445006327428807971788*c_0110_6^11 - 17405358197958539942952829379589415891/6931152454124450063274288079\ 71788*c_0110_6^10 - 5124500984476441984664760367747376181/173278811\ 353111251581857201992947*c_0110_6^9 + 1526787236983759257118634929638707411/17327881135311125158185720199\ 2947*c_0110_6^8 + 4494731067309427736852018279798646893/34655762270\ 6222503163714403985894*c_0110_6^7 - 1289071352050820059295677867720654093/69311524541244500632742880797\ 1788*c_0110_6^6 - 1355773430792069779940940066784668371/34655762270\ 6222503163714403985894*c_0110_6^5 + 25726967811397619253754515638811646/1732788113531112515818572019929\ 47*c_0110_6^4 + 279658177517037607907998192823108843/34655762270622\ 2503163714403985894*c_0110_6^3 + 5983096634980818853533171352489466\ 9/693115245412445006327428807971788*c_0110_6^2 - 36048206104872011449272836659682201/6931152454124450063274288079717\ 88*c_0110_6 - 5210232579579170399277144937943651/693115245412445006\ 327428807971788, c_0101_0 + 616057970751414335577493689099915/17327881135311125158185720\ 1992947*c_0110_6^21 + 17960205701672963293824538705729763/346557622\ 706222503163714403985894*c_0110_6^20 - 73223951388925788472441883249654869/1732788113531112515818572019929\ 47*c_0110_6^19 - 21095265594517397421495751942998918/17327881135311\ 1251581857201992947*c_0110_6^18 + 769002745475784799986091395350758\ 292/173278811353111251581857201992947*c_0110_6^17 - 557815869774782336875357385610855874/173278811353111251581857201992\ 947*c_0110_6^16 - 3072683095797094037501686198730041059/17327881135\ 3111251581857201992947*c_0110_6^15 + 2761312062222297997237169813186027705/17327881135311125158185720199\ 2947*c_0110_6^14 + 13903572329805874611403283408697503837/346557622\ 706222503163714403985894*c_0110_6^13 - 4655876112263905348639811679268367913/17327881135311125158185720199\ 2947*c_0110_6^12 - 9661058078024330518154156800210116314/1732788113\ 53111251581857201992947*c_0110_6^11 + 5799051144421553967044995314907614667/34655762270622250316371440398\ 5894*c_0110_6^10 + 7578567056259957699044001330548608438/1732788113\ 53111251581857201992947*c_0110_6^9 - 346513854630416770670524029830054992/173278811353111251581857201992\ 947*c_0110_6^8 - 3335843276561312224347273969177150263/173278811353\ 111251581857201992947*c_0110_6^7 - 212283252771935322614715943189040023/173278811353111251581857201992\ 947*c_0110_6^6 + 2011855560310800383109344782867904923/346557622706\ 222503163714403985894*c_0110_6^5 + 284056713348994228867417071046706993/346557622706222503163714403985\ 894*c_0110_6^4 - 415154748272614852752964251653230671/3465576227062\ 22503163714403985894*c_0110_6^3 - 100421517463397545412918388753599\ 261/346557622706222503163714403985894*c_0110_6^2 + 13862424639555567112576242090494925/1732788113531112515818572019929\ 47*c_0110_6 + 6734146746587701047022235453009587/346557622706222503\ 163714403985894, c_0101_1 - 1707046548738239744394432160690035/6931152454124450063274288\ 07971788*c_0110_6^21 - 24165491657750190040328954076474833/69311524\ 5412445006327428807971788*c_0110_6^20 + 53170633469169822005367373308028509/1732788113531112515818572019929\ 47*c_0110_6^19 - 18048243221414361127924571792326645/34655762270622\ 2503163714403985894*c_0110_6^18 - 516700113630454717643712169428002\ 386/173278811353111251581857201992947*c_0110_6^17 + 596549368017602337251644045951451093/173278811353111251581857201992\ 947*c_0110_6^16 + 3532469357091837460887219921973426029/34655762270\ 6222503163714403985894*c_0110_6^15 - 9902355732083730627419581967905385091/69311524541244500632742880797\ 1788*c_0110_6^14 - 13817594577980317304983617031289728493/693115245\ 412445006327428807971788*c_0110_6^13 + 7951521350159974471424982274265264355/34655762270622250316371440398\ 5894*c_0110_6^12 + 18174096840500223571660971320631228163/693115245\ 412445006327428807971788*c_0110_6^11 - 11077593761437305751621671902985823827/6931152454124450063274288079\ 71788*c_0110_6^10 - 3570328482312489141984269336725314672/173278811\ 353111251581857201992947*c_0110_6^9 + 812073347401980217314319275031250134/173278811353111251581857201992\ 947*c_0110_6^8 + 3168538175686524382696768541107518069/346557622706\ 222503163714403985894*c_0110_6^7 - 438649268431468212078603444975539833/693115245412445006327428807971\ 788*c_0110_6^6 - 959264609774055786875206073620049125/3465576227062\ 22503163714403985894*c_0110_6^5 - 178500030016507615235337160488842\ 67/173278811353111251581857201992947*c_0110_6^4 + 199294970826246357590064307455583489/346557622706222503163714403985\ 894*c_0110_6^3 + 72460292706226624380286130775673797/69311524541244\ 5006327428807971788*c_0110_6^2 - 2631617631784856213489378900523054\ 5/693115245412445006327428807971788*c_0110_6 - 5596782352614420010575906180716575/69311524541244500632742880797178\ 8, c_0101_4 - 1605957851399443335519795497423765/6931152454124450063274288\ 07971788*c_0110_6^21 - 22699092438253902271477354965429917/69311524\ 5412445006327428807971788*c_0110_6^20 + 50169374912995675980750618014417841/1732788113531112515818572019929\ 47*c_0110_6^19 - 18596837144084398870297866759929639/34655762270622\ 2503163714403985894*c_0110_6^18 - 489005151119324965312548307100129\ 011/173278811353111251581857201992947*c_0110_6^17 + 575487184073422992588326798920853090/173278811353111251581857201992\ 947*c_0110_6^16 + 3347555961847905877681475156287795185/34655762270\ 6222503163714403985894*c_0110_6^15 - 9693980495443076025668871902392672857/69311524541244500632742880797\ 1788*c_0110_6^14 - 12961138610949167706621159407890093993/693115245\ 412445006327428807971788*c_0110_6^13 + 8013510190559384700607014843758619663/34655762270622250316371440398\ 5894*c_0110_6^12 + 16749419366586985013471408782050428525/693115245\ 412445006327428807971788*c_0110_6^11 - 11912066628902097785369605900462632111/6931152454124450063274288079\ 71788*c_0110_6^10 - 3250900290907609732686425251119237599/173278811\ 353111251581857201992947*c_0110_6^9 + 1040277857369326706887552469465109337/17327881135311125158185720199\ 2947*c_0110_6^8 + 2871187612739975624329847563542250609/34655762270\ 6222503163714403985894*c_0110_6^7 - 882154289668481023313502133718887183/693115245412445006327428807971\ 788*c_0110_6^6 - 434263134204629329267017523859454157/1732788113531\ 11251581857201992947*c_0110_6^5 + 342321327419189159619776022829420\ 61/346557622706222503163714403985894*c_0110_6^4 + 90326279320721400582645727908939215/1732788113531112515818572019929\ 47*c_0110_6^3 + 41471098912825683637035831868964125/693115245412445\ 006327428807971788*c_0110_6^2 - 23555904811048000656309408574904463\ /693115245412445006327428807971788*c_0110_6 - 3238629833885345225265943015329631/69311524541244500632742880797178\ 8, c_0110_6^22 + 14*c_0110_6^21 - 127*c_0110_6^20 + 38*c_0110_6^19 + 1234*c_0110_6^18 - 1612*c_0110_6^17 - 4142*c_0110_6^16 + 6903*c_0110_6^15 + 7670*c_0110_6^14 - 12177*c_0110_6^13 - 9567*c_0110_6^12 + 10526*c_0110_6^11 + 7563*c_0110_6^10 - 4992*c_0110_6^9 - 3606*c_0110_6^8 + 1597*c_0110_6^7 + 1187*c_0110_6^6 - 358*c_0110_6^5 - 274*c_0110_6^4 + 39*c_0110_6^3 + 30*c_0110_6^2 - 2*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB