Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 1427425390] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2351 geometric_solution 5.72779229 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 -1 1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381410462618 0.800036466687 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 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 0.897867487055 1.069334663289 1 3 0 4 1230 2310 0132 2310 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 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 0.897867487055 1.069334663289 1 5 5 2 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735873805988 0.391203786387 2 6 6 1 3201 0132 1023 0132 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213438656264 0.369249582273 5 3 3 5 3201 0132 1023 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 0 0 0 0 0 0 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.126536273787 0.449492971432 6 4 4 6 3012 0132 1023 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.965390842622 1.051358925037 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 231733698553026717444927387959929265706105006624803/654274249371485\ 249310828111193657010167998355989*c_0101_6^22 - 3514744414916244883496730544637962506360613463888/19826492405196522\ 706388730642232030611151465333*c_0101_6^21 - 636663432062599434179735228870515578638273332498234/654274249371485\ 249310828111193657010167998355989*c_0101_6^20 - 4548018353775807307259724776572056557661711134780242/65427424937148\ 5249310828111193657010167998355989*c_0101_6^19 - 10003699753448245667937152011653266418596625810676346/9346774991021\ 2178472975444456236715738285479427*c_0101_6^18 + 5423103762166916864966452321094566729510208523095576/21809141645716\ 1749770276037064552336722666118663*c_0101_6^17 + 5193243100463647600611057886279910687153689707977026/21809141645716\ 1749770276037064552336722666118663*c_0101_6^16 + 364873050281174954812080708633500901878740736463199555/654274249371\ 485249310828111193657010167998355989*c_0101_6^15 - 35436165236524169213947149161069149310198529727687735/6542742493714\ 85249310828111193657010167998355989*c_0101_6^14 + 10719471933622412082055223088110719682879512053816035/2180914164571\ 61749770276037064552336722666118663*c_0101_6^13 + 132091122313454387127525716151462160964547301736341565/218091416457\ 161749770276037064552336722666118663*c_0101_6^12 + 1212248755528703731439654789762625215350870293659939146/65427424937\ 1485249310828111193657010167998355989*c_0101_6^11 + 602849424657834852481565460762428285344188674456410145/654274249371\ 485249310828111193657010167998355989*c_0101_6^10 - 1616448688232221995814495849841302254444620003044937285/65427424937\ 1485249310828111193657010167998355989*c_0101_6^9 - 719143732251601880624678696189429075787785642475975673/218091416457\ 161749770276037064552336722666118663*c_0101_6^8 + 8163544789483718656957779124180532557283807032210501/59479477215589\ 568119166191926696091833454395999*c_0101_6^7 + 1574827592338497698280281858181318213313129682322380873/65427424937\ 1485249310828111193657010167998355989*c_0101_6^6 + 454108558512136445476198594885522057206957954673303276/654274249371\ 485249310828111193657010167998355989*c_0101_6^5 - 491103095768000624361879480080674298999742373663963628/654274249371\ 485249310828111193657010167998355989*c_0101_6^4 - 10502761346187404550687598723840646223565583975148501/3115591663673\ 7392824325148152078905246095159809*c_0101_6^3 + 7487221283220401254082720087033359732582327314348649/93467749910212\ 178472975444456236715738285479427*c_0101_6^2 + 39483546280430222066956197944840791550968689259458302/6542742493714\ 85249310828111193657010167998355989*c_0101_6 + 5216195441892388580286140324273522044685421241507021/65427424937148\ 5249310828111193657010167998355989, c_0011_0 - 1, c_0011_1 - 112007370721130682643818611190066794817957346/83060294952645\ 67535144001106925861169313559*c_0101_6^22 + 49986962576017236155230229729138225567673935/8306029495264567535144\ 001106925861169313559*c_0101_6^21 + 313977157189519765266716572839766397253923492/830602949526456753514\ 4001106925861169313559*c_0101_6^20 + 2211752653513928473769482700967104798940461009/83060294952645675351\ 44001106925861169313559*c_0101_6^19 + 33958657709714231664607693824196701333566772217/8306029495264567535\ 144001106925861169313559*c_0101_6^18 - 6087417755416912550641347221268468695698200789/83060294952645675351\ 44001106925861169313559*c_0101_6^17 - 8896895316821389234373848383266735868809668068/83060294952645675351\ 44001106925861169313559*c_0101_6^16 - 176075557255591130320576615784804785381525799460/830602949526456753\ 5144001106925861169313559*c_0101_6^15 + 7440465773409923432531130057994705138432251555/83060294952645675351\ 44001106925861169313559*c_0101_6^14 - 9504369099112737410882740756915559032694854121/83060294952645675351\ 44001106925861169313559*c_0101_6^13 - 195408678754977455266410498180523821801874287383/830602949526456753\ 5144001106925861169313559*c_0101_6^12 - 594400755059714632848389975217628426905002725794/830602949526456753\ 5144001106925861169313559*c_0101_6^11 - 318621610326347765958727705546230504356774698860/830602949526456753\ 5144001106925861169313559*c_0101_6^10 + 780023244200106535305168438571494798544632753166/830602949526456753\ 5144001106925861169313559*c_0101_6^9 + 1086255318569757384357431435482584984909415696188/83060294952645675\ 35144001106925861169313559*c_0101_6^8 - 9857238083950094412914318231408904808969972660/83060294952645675351\ 44001106925861169313559*c_0101_6^7 - 782017834524686790996439630251324890095823001816/830602949526456753\ 5144001106925861169313559*c_0101_6^6 - 250224297209593978065288410177147988966501098806/830602949526456753\ 5144001106925861169313559*c_0101_6^5 + 242164598090776575684368752907641185413833767037/830602949526456753\ 5144001106925861169313559*c_0101_6^4 + 117457286461951279149460361603190732597065786063/830602949526456753\ 5144001106925861169313559*c_0101_6^3 - 25419904729989751785158719960890467238468257269/8306029495264567535\ 144001106925861169313559*c_0101_6^2 - 20590218703098536941573805581154250633536304432/8306029495264567535\ 144001106925861169313559*c_0101_6 - 2735861298278161457761620395090592711616928943/83060294952645675351\ 44001106925861169313559, c_0011_4 + 171998730257704621314592637625429346249270259/83060294952645\ 67535144001106925861169313559*c_0101_6^22 - 81472227507569090464862457593812978057122600/8306029495264567535144\ 001106925861169313559*c_0101_6^21 - 477693616159192068830094470997415844513802041/830602949526456753514\ 4001106925861169313559*c_0101_6^20 - 3385448392974225261437697154502555638113831128/83060294952645675351\ 44001106925861169313559*c_0101_6^19 - 52059314304553142174012954324600471771188445892/8306029495264567535\ 144001106925861169313559*c_0101_6^18 + 10732962723535187088835282260120387740802025842/8306029495264567535\ 144001106925861169313559*c_0101_6^17 + 12717316862246862055968331078229154381780216112/8306029495264567535\ 144001106925861169313559*c_0101_6^16 + 270498769020243471732457283171759035685705974995/830602949526456753\ 5144001106925861169313559*c_0101_6^15 - 18902356012570129295687374462430586824581403343/8306029495264567535\ 144001106925861169313559*c_0101_6^14 + 18640590503695078682768856425924566843100123896/8306029495264567535\ 144001106925861169313559*c_0101_6^13 + 297543359805432190287195196807610417170466045212/830602949526456753\ 5144001106925861169313559*c_0101_6^12 + 905850803067052126603722092405895851147519220267/830602949526456753\ 5144001106925861169313559*c_0101_6^11 + 467638578251038477771307373831976960307655611159/830602949526456753\ 5144001106925861169313559*c_0101_6^10 - 1200525876267058411408142944691281564035384742579/83060294952645675\ 35144001106925861169313559*c_0101_6^9 - 1634242294467135189540325199531271181473524343638/83060294952645675\ 35144001106925861169313559*c_0101_6^8 + 43882537144749376045156161373624811827056006584/8306029495264567535\ 144001106925861169313559*c_0101_6^7 + 1186469623632425999247550714746398906533453612344/83060294952645675\ 35144001106925861169313559*c_0101_6^6 + 358915778421524654914466469089711343135939529266/830602949526456753\ 5144001106925861169313559*c_0101_6^5 - 369827414923362020544238624667997482386213763959/830602949526456753\ 5144001106925861169313559*c_0101_6^4 - 171398949480803914277159770699174156430399922269/830602949526456753\ 5144001106925861169313559*c_0101_6^3 + 39531301117358493579768281622512454550989564715/8306029495264567535\ 144001106925861169313559*c_0101_6^2 + 30348892467683821837575065601466482278298955142/8306029495264567535\ 144001106925861169313559*c_0101_6 + 3965150992506277990088351317851923556533022405/83060294952645675351\ 44001106925861169313559, c_0101_0 + 88496918438861126046566320390267865682077233/830602949526456\ 7535144001106925861169313559*c_0101_6^22 - 37068415038337261211177039335701647512335191/8306029495264567535144\ 001106925861169313559*c_0101_6^21 - 250223643235117179020658693658313726182052235/830602949526456753514\ 4001106925861169313559*c_0101_6^20 - 1753330570542119066385456926555483967933747834/83060294952645675351\ 44001106925861169313559*c_0101_6^19 - 26876129645612989791909693624338330882944748857/8306029495264567535\ 144001106925861169313559*c_0101_6^18 + 4094042311891001413183904429199861337694742668/83060294952645675351\ 44001106925861169313559*c_0101_6^17 + 7475831957952917873393038523115195102858143125/83060294952645675351\ 44001106925861169313559*c_0101_6^16 + 139106255552888114665346141522286681228566542844/830602949526456753\ 5144001106925861169313559*c_0101_6^15 - 2038063899434086887126431697405407323663228335/83060294952645675351\ 44001106925861169313559*c_0101_6^14 + 5649017622090671462670862180593089301560526121/83060294952645675351\ 44001106925861169313559*c_0101_6^13 + 155467631492369963897061594295700462350726690723/830602949526456753\ 5144001106925861169313559*c_0101_6^12 + 473282206448109649355081575476836478215972149523/830602949526456753\ 5144001106925861169313559*c_0101_6^11 + 263064359195529190587350496858068965041457403186/830602949526456753\ 5144001106925861169313559*c_0101_6^10 - 614395225849344450496890712057411197714486492628/830602949526456753\ 5144001106925861169313559*c_0101_6^9 - 875927592351427116789301120663136828701500280015/830602949526456753\ 5144001106925861169313559*c_0101_6^8 - 8228069894527993748980766535558836913987800986/83060294952645675351\ 44001106925861169313559*c_0101_6^7 + 624835135759665149829559601851745472743569779262/830602949526456753\ 5144001106925861169313559*c_0101_6^6 + 211669847684034167226038719322118003506649019624/830602949526456753\ 5144001106925861169313559*c_0101_6^5 - 191634583703566448576918487594252776007748232462/830602949526456753\ 5144001106925861169313559*c_0101_6^4 - 97770361546681340136899198627349190751937112769/8306029495264567535\ 144001106925861169313559*c_0101_6^3 + 19562211296043082844218643175334561891525059730/8306029495264567535\ 144001106925861169313559*c_0101_6^2 + 16987596228799979989073113785548929506072588695/8306029495264567535\ 144001106925861169313559*c_0101_6 + 2317454375213725148899693929447838488734946140/83060294952645675351\ 44001106925861169313559, c_0101_1 - 142470882870499302944007160885677175144428261/83060294952645\ 67535144001106925861169313559*c_0101_6^22 + 68820054604163957033829634288011094039734082/8306029495264567535144\ 001106925861169313559*c_0101_6^21 + 393872445075503550983810711229146366517651999/830602949526456753514\ 4001106925861169313559*c_0101_6^20 + 2801936593859549267147360662148441940770021697/83060294952645675351\ 44001106925861169313559*c_0101_6^19 + 43098141074946779505796842247968392625966242523/8306029495264567535\ 144001106925861169313559*c_0101_6^18 - 9272812503937366401107972102568211610539139333/83060294952645675351\ 44001106925861169313559*c_0101_6^17 - 10108580131753688301069125727650033590948496162/8306029495264567535\ 144001106925861169313559*c_0101_6^16 - 224278089451199396781471733347670658432859560607/830602949526456753\ 5144001106925861169313559*c_0101_6^15 + 17871941314666405650587575461678989986311236295/8306029495264567535\ 144001106925861169313559*c_0101_6^14 - 17509127132062885806616391362403789643769092783/8306029495264567535\ 144001106925861169313559*c_0101_6^13 - 244844757085071267795662974489075008537196100653/830602949526456753\ 5144001106925861169313559*c_0101_6^12 - 749085458320718215088048465958185278466354752553/830602949526456753\ 5144001106925861169313559*c_0101_6^11 - 381709873163729398174138723115290265381268667584/830602949526456753\ 5144001106925861169313559*c_0101_6^10 + 992883184216881878968621132395729475018810663648/830602949526456753\ 5144001106925861169313559*c_0101_6^9 + 1344863601273123468153045871556755828333247018636/83060294952645675\ 35144001106925861169313559*c_0101_6^8 - 40829028496733443450836558441570325301799622766/8306029495264567535\ 144001106925861169313559*c_0101_6^7 - 977002102784980717857733378203859601936084580013/830602949526456753\ 5144001106925861169313559*c_0101_6^6 - 292628205321791849574691529875288141765009736614/830602949526456753\ 5144001106925861169313559*c_0101_6^5 + 303853976962990112633131707715678360336978255726/830602949526456753\ 5144001106925861169313559*c_0101_6^4 + 140523611066760357963513677793998101845234462250/830602949526456753\ 5144001106925861169313559*c_0101_6^3 - 32291038988419270219006356047909700118487091426/8306029495264567535\ 144001106925861169313559*c_0101_6^2 - 24967299976881373584966277770739983117695998187/8306029495264567535\ 144001106925861169313559*c_0101_6 - 3287028832241007063636009849531212006619454742/83060294952645675351\ 44001106925861169313559, c_0101_5 + 69770315011396384847869514987639606403032938/830602949526456\ 7535144001106925861169313559*c_0101_6^22 - 36897891714967252866398430702162358792930109/8306029495264567535144\ 001106925861169313559*c_0101_6^21 - 190086229160805472867138514018223026134777588/830602949526456753514\ 4001106925861169313559*c_0101_6^20 - 1364445827767878333044739208251694355943100399/83060294952645675351\ 44001106925861169313559*c_0101_6^19 - 21045953924860564109893552797795789299494479569/8306029495264567535\ 144001106925861169313559*c_0101_6^18 + 5484184520056668011983745898758121463440161122/83060294952645675351\ 44001106925861169313559*c_0101_6^17 + 4372035216383907967060023604577420641230361916/83060294952645675351\ 44001106925861169313559*c_0101_6^16 + 109839551527515452703064346421320725099792302328/830602949526456753\ 5144001106925861169313559*c_0101_6^15 - 13810371898779017130269470851023602102321721273/8306029495264567535\ 144001106925861169313559*c_0101_6^14 + 10975759131768860250493659832222029849556731859/8306029495264567535\ 144001106925861169313559*c_0101_6^13 + 118517774084620688512568395493212933446269145750/830602949526456753\ 5144001106925861169313559*c_0101_6^12 + 362025124144427231376430166570355544826528726443/830602949526456753\ 5144001106925861169313559*c_0101_6^11 + 171951019832582546564594891036789048664036080760/830602949526456753\ 5144001106925861169313559*c_0101_6^10 - 488866183693181682578904309494960437913443128250/830602949526456753\ 5144001106925861169313559*c_0101_6^9 - 635335213620835982580951725617691903743118741695/830602949526456753\ 5144001106925861169313559*c_0101_6^8 + 41342352344617305418299086400188301572904878112/8306029495264567535\ 144001106925861169313559*c_0101_6^7 + 469422081054055052028404437745924013614373184079/830602949526456753\ 5144001106925861169313559*c_0101_6^6 + 124763208516482676815543355521040941225878007059/830602949526456753\ 5144001106925861169313559*c_0101_6^5 - 148548786895441145655304041569568907575933128863/830602949526456753\ 5144001106925861169313559*c_0101_6^4 - 62199148180090802189198236894640725385195541723/8306029495264567535\ 144001106925861169313559*c_0101_6^3 + 16572496610349544290584193972770355892515821818/8306029495264567535\ 144001106925861169313559*c_0101_6^2 + 11254987384275574172579267894533523116887010311/8306029495264567535\ 144001106925861169313559*c_0101_6 + 1397332356490376510761609372772973557954555408/83060294952645675351\ 44001106925861169313559, c_0101_6^23 - 3*c_0101_6^21 - 21*c_0101_6^20 - 312*c_0101_6^19 - 81*c_0101_6^18 + 103*c_0101_6^17 + 1608*c_0101_6^16 + 635*c_0101_6^15 + 59*c_0101_6^14 + 1780*c_0101_6^13 + 6087*c_0101_6^12 + 5216*c_0101_6^11 - 5684*c_0101_6^10 - 12806*c_0101_6^9 - 4257*c_0101_6^8 + 7008*c_0101_6^7 + 5358*c_0101_6^6 - 1153*c_0101_6^5 - 2015*c_0101_6^4 - 245*c_0101_6^3 + 285*c_0101_6^2 + 107*c_0101_6 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB