Magma V2.19-8 Tue Aug 20 2013 16:14:06 on localhost [Seed = 2648441250] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s045 geometric_solution 3.58867524 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0.709121848563 0.072505967178 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -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 -1 1 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.895273702343 0.070191159677 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 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 1 -1 -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.855065221274 0.164600386701 4 2 5 2 0132 0132 0132 1023 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 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.958171636110 0.501430530771 3 5 5 5 0132 0213 3012 1230 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 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.974649135633 0.993197106602 4 4 4 3 3012 1230 0213 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 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.974649135633 0.993197106602 ==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_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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], '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_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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1233374913546301531639569117/267564039455873168238513776*c_0101_4^1\ 6 - 4990199145937738702961569/66891009863968292059628444*c_0101_4^1\ 5 - 40588030514817508820182049029/267564039455873168238513776*c_010\ 1_4^14 + 38561808720269495274383097641/133782019727936584119256888*\ c_0101_4^13 + 339137799018711351263492461447/2675640394558731682385\ 13776*c_0101_4^12 - 69484547235870011548956214505/33445504931984146\ 029814222*c_0101_4^11 - 1349773369812269787605188539263/26756403945\ 5873168238513776*c_0101_4^10 + 1081319668898830268696968233041/2675\ 64039455873168238513776*c_0101_4^9 + 2782270077372975887053262570183/267564039455873168238513776*c_0101_\ 4^8 + 384149432586335459592700001475/267564039455873168238513776*c_\ 0101_4^7 - 1644651715641497303326170834193/267564039455873168238513\ 776*c_0101_4^6 - 252134639990629096020918990433/6689100986396829205\ 9628444*c_0101_4^5 - 381462631704888077950634348503/267564039455873\ 168238513776*c_0101_4^4 - 69976106926513746029548432383/13378201972\ 7936584119256888*c_0101_4^3 + 113172182109787012935541961231/133782\ 019727936584119256888*c_0101_4^2 + 16341512597224855590868034357/33445504931984146029814222*c_0101_4 + 26120534642804654533627249675/267564039455873168238513776, c_0011_0 - 1, c_0011_1 + 209208045667903812526809/66891009863968292059628444*c_0101_4\ ^16 - 137917532158210312028915/66891009863968292059628444*c_0101_4^\ 15 - 1768972573740299057435095/16722752465992073014907111*c_0101_4^\ 14 + 8835989724132934860098327/33445504931984146029814222*c_0101_4^\ 13 + 55297987624124449482146001/66891009863968292059628444*c_0101_4\ ^12 - 148399506122269469801542495/66891009863968292059628444*c_0101\ _4^11 - 103029872272984926236567907/33445504931984146029814222*c_01\ 01_4^10 + 443488721023171611082894339/66891009863968292059628444*c_\ 0101_4^9 + 235668148489035655940542661/33445504931984146029814222*c\ _0101_4^8 - 477411615565649035300797123/66891009863968292059628444*\ c_0101_4^7 - 145458419798693248770808626/16722752465992073014907111\ *c_0101_4^6 + 28949315389496518456182446/16722752465992073014907111\ *c_0101_4^5 + 303823238666252194025486577/6689100986396829205962844\ 4*c_0101_4^4 + 13697179752773470852221167/6689100986396829205962844\ 4*c_0101_4^3 - 21501432605737731489334235/6689100986396829205962844\ 4*c_0101_4^2 - 11127880202653652317358531/6689100986396829205962844\ 4*c_0101_4 - 5148233660373619016305937/16722752465992073014907111, c_0011_5 + 24297678386161594437329/66891009863968292059628444*c_0101_4^\ 16 - 155539355932627690233357/66891009863968292059628444*c_0101_4^1\ 5 - 213441142074282319242743/16722752465992073014907111*c_0101_4^14 + 3370540197192293122031925/33445504931984146029814222*c_0101_4^13 - 1315433741263389859328915/66891009863968292059628444*c_0101_4^12 - 60931191173264758005831489/66891009863968292059628444*c_0101_4^11 + 20111516254637374080517847/33445504931984146029814222*c_0101_4^10 + 237915358997885897507291871/66891009863968292059628444*c_0101_4^9 - 28844130160567208144106731/16722752465992073014907111*c_0101_4^8 - 438898061301936053438671657/66891009863968292059628444*c_0101_4^7 + 17396293733113966533759946/16722752465992073014907111*c_0101_4^6 + 61334833641759697572829012/16722752465992073014907111*c_0101_4^5 - 126107330633472645334260747/66891009863968292059628444*c_0101_4^4 - 14350573326945006475337419/66891009863968292059628444*c_0101_4^3 + 152935848761173247040628013/66891009863968292059628444*c_0101_4^2 - 5840542190679100529000493/66891009863968292059628444*c_0101_4 - 3669719787270403504707751/16722752465992073014907111, c_0101_0 - 1364883823849355482466359/66891009863968292059628444*c_0101_\ 4^16 + 158908788289604929652783/66891009863968292059628444*c_0101_4\ ^15 + 11246053606257043213349054/16722752465992073014907111*c_0101_\ 4^14 - 44695481402576455954216233/33445504931984146029814222*c_0101\ _4^13 - 369923746242876375590310583/66891009863968292059628444*c_01\ 01_4^12 + 643445931618389370416243831/66891009863968292059628444*c_\ 0101_4^11 + 752962289807482040952243769/33445504931984146029814222*\ c_0101_4^10 - 1346269040307356222978463513/668910098639682920596284\ 44*c_0101_4^9 - 831663789198830064844572019/16722752465992073014907\ 111*c_0101_4^8 - 38883606546184847994837285/66891009863968292059628\ 444*c_0101_4^7 + 637346908434788359011879075/1672275246599207301490\ 7111*c_0101_4^6 + 252235747304649865364326981/167227524659920730149\ 07111*c_0101_4^5 - 107925071011495153941420475/66891009863968292059\ 628444*c_0101_4^4 + 28822635313145215042854569/66891009863968292059\ 628444*c_0101_4^3 - 202664139102209055679593051/6689100986396829205\ 9628444*c_0101_4^2 - 212230156243611476177577901/668910098639682920\ 59628444*c_0101_4 - 639549717388404514910076/1672275246599207301490\ 7111, c_0101_1 + 247688691390656746571935/66891009863968292059628444*c_0101_4\ ^16 - 366289381281519245484003/66891009863968292059628444*c_0101_4^\ 15 - 2012138882656044060165137/16722752465992073014907111*c_0101_4^\ 14 + 13645672609048770879128433/33445504931984146029814222*c_0101_4\ ^13 + 42419080097963456663268575/66891009863968292059628444*c_0101_\ 4^12 - 201738106491572026814906579/66891009863968292059628444*c_010\ 1_4^11 - 46242740886006547268521143/33445504931984146029814222*c_01\ 01_4^10 + 557706926118110925951247289/66891009863968292059628444*c_\ 0101_4^9 + 45518786270445033506731004/16722752465992073014907111*c_\ 0101_4^8 - 603232727804059745881679899/66891009863968292059628444*c\ _0101_4^7 - 73501721450857595697576181/16722752465992073014907111*c\ _0101_4^6 + 40988710858453850138109930/16722752465992073014907111*c\ _0101_4^5 + 129135596955654391162236251/66891009863968292059628444*\ c_0101_4^4 + 9280613862459377405800199/66891009863968292059628444*c\ _0101_4^3 + 32994660467298023227084875/66891009863968292059628444*c\ _0101_4^2 - 8100628767933866047647899/66891009863968292059628444*c_\ 0101_4 + 8922239622099997685232039/16722752465992073014907111, c_0101_4^17 - 33*c_0101_4^15 + 62*c_0101_4^14 + 279*c_0101_4^13 - 452*c_0101_4^12 - 1127*c_0101_4^11 + 901*c_0101_4^10 + 2371*c_0101_4^9 + 263*c_0101_4^8 - 1537*c_0101_4^7 - 856*c_0101_4^6 - 195*c_0101_4^5 - 54*c_0101_4^4 + 202*c_0101_4^3 + 120*c_0101_4^2 + 7*c_0101_4 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB