Magma V2.19-8 Tue Aug 20 2013 23:42:49 on localhost [Seed = 543573352] Type ? for help. Type -D to quit. Loading file "L13n5921__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5921 geometric_solution 10.45214714 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 3201 1 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 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 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.206400774961 1.255017419154 0 0 4 2 0132 2310 0132 1023 1 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -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.415380159237 1.308257996963 3 0 5 1 2310 0132 0132 1023 1 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 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 0 0 0 0 0 0 0 0.361829822255 0.516178263075 4 6 2 0 0132 0132 3201 0132 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 4 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228786107530 0.676820872450 3 7 6 1 0132 0132 1023 0132 1 1 1 1 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 0 0 0 0 1 0 0 -1 5 -1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.193161567124 0.793138025871 8 7 8 2 0132 3201 3012 0132 1 1 1 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 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.497820549189 0.633911485760 9 3 4 8 0132 0132 1023 3012 1 1 1 1 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 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.323067130110 1.731639924403 10 4 5 10 0132 0132 2310 2103 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 0 0 0 0 0 0 0 0 0 0 -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.500310694229 0.612756820997 5 5 6 10 0132 1230 1230 3012 1 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 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.767825646384 0.969242161378 6 10 9 9 0132 0132 2031 1302 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662386073004 1.068682271927 7 9 8 7 0132 0132 1230 2103 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 0 0 0 0 0 0 0 0 -1 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.500310694229 0.612756820997 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0011_5'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_1001_8'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : 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_9' : d['c_0101_9'], 'c_1100_8' : d['c_0101_9'], 'c_1100_5' : negation(d['c_1001_8']), 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_1001_8']), 'c_1100_10' : negation(d['c_0101_10']), 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_5']), 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0101_9, c_1001_1, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 833152847393400740582216799088667/370146370105638051256022217841914\ 88*c_1001_8^13 - 5472365665804779312465540995292071/370146370105638\ 05125602221784191488*c_1001_8^12 - 81549527989972235709110437823038845/3701463701056380512560222178419\ 1488*c_1001_8^11 - 4862666060945201628260279779988449/1850731850528\ 1902562801110892095744*c_1001_8^10 - 364228898630722098195610998890529657/925365925264095128140055544604\ 7872*c_1001_8^9 + 6597366496340155277129878634956991389/37014637010\ 563805125602221784191488*c_1001_8^8 - 7736410823110093694708818269358916953/18507318505281902562801110892\ 095744*c_1001_8^7 + 27414904590434724481972056953184206497/37014637\ 010563805125602221784191488*c_1001_8^6 - 27465065607903587878437657231082223897/3701463701056380512560222178\ 4191488*c_1001_8^5 + 6171847648118729248450358583359131327/92536592\ 52640951281400555446047872*c_1001_8^4 - 215921248278475247217955846794854345/100039559488010284123249248065\ 3824*c_1001_8^3 + 1864281273906763230249871442495203879/18507318505\ 281902562801110892095744*c_1001_8^2 + 334131562838805289220992426700122953/462682962632047564070027772302\ 3936*c_1001_8 - 7821689951923208284129185275628631/3701463701056380\ 5125602221784191488, c_0011_0 - 1, c_0011_10 - 4101026837718855729895/103547945461937902307741*c_1001_8^13 + 57569177311554757954457/103547945461937902307741*c_1001_8^12 - 67824465681724721023212/103547945461937902307741*c_1001_8^11 + 1163151638337241942967933/103547945461937902307741*c_1001_8^10 - 3067698857002743086233254/103547945461937902307741*c_1001_8^9 + 3880117519209241175673424/103547945461937902307741*c_1001_8^8 - 2112010445762893145645804/103547945461937902307741*c_1001_8^7 - 8530502859043560538567019/103547945461937902307741*c_1001_8^6 + 13196009090613785791537179/103547945461937902307741*c_1001_8^5 - 20660421822267611994630895/103547945461937902307741*c_1001_8^4 + 10938423472562170273936250/103547945461937902307741*c_1001_8^3 - 8871967607127849400235273/103547945461937902307741*c_1001_8^2 + 671572667786439609783621/103547945461937902307741*c_1001_8 - 1145566461133936689301416/103547945461937902307741, c_0011_5 - 1, c_0101_0 + 581730313161342896158/103547945461937902307741*c_1001_8^13 - 8136515098248367480442/103547945461937902307741*c_1001_8^12 + 8306314485095056758556/103547945461937902307741*c_1001_8^11 - 150875043341944830790229/103547945461937902307741*c_1001_8^10 + 396674574523373967599038/103547945461937902307741*c_1001_8^9 - 241654643843712496437053/103547945461937902307741*c_1001_8^8 - 741705255124182654374062/103547945461937902307741*c_1001_8^7 + 3187360520316839601762194/103547945461937902307741*c_1001_8^6 - 4714101028897227025986118/103547945461937902307741*c_1001_8^5 + 5371045780349106836918607/103547945461937902307741*c_1001_8^4 - 3386405291036450877463262/103547945461937902307741*c_1001_8^3 + 2002171522980862948276975/103547945461937902307741*c_1001_8^2 - 446914231594132420091084/103547945461937902307741*c_1001_8 + 197841088262418735756223/103547945461937902307741, c_0101_1 + 6985895921635895958581/103547945461937902307741*c_1001_8^13 - 109693840985561593237863/103547945461937902307741*c_1001_8^12 + 297261049738035100227315/103547945461937902307741*c_1001_8^11 - 2461285161039578421274112/103547945461937902307741*c_1001_8^10 + 9263321213046409234490401/103547945461937902307741*c_1001_8^9 - 21670957212486097906579301/103547945461937902307741*c_1001_8^8 + 38065945537574071839074492/103547945461937902307741*c_1001_8^7 - 44374810566758629819730667/103547945461937902307741*c_1001_8^6 + 43215679858489601004050176/103547945461937902307741*c_1001_8^5 - 26187936623709583578587778/103547945461937902307741*c_1001_8^4 + 14992011747034783004430057/103547945461937902307741*c_1001_8^3 - 3692734483194380557459196/103547945461937902307741*c_1001_8^2 + 1645508429621121213231801/103547945461937902307741*c_1001_8 - 282005741969176614402029/103547945461937902307741, c_0101_10 - 694561581282217036449/103547945461937902307741*c_1001_8^13 + 13776950170088288015690/103547945461937902307741*c_1001_8^12 - 74276127664006150007008/103547945461937902307741*c_1001_8^11 + 360976973701202044366324/103547945461937902307741*c_1001_8^10 - 1913048750117713676072016/103547945461937902307741*c_1001_8^9 + 5828340553172090213903894/103547945461937902307741*c_1001_8^8 - 12125297630625206328111348/103547945461937902307741*c_1001_8^7 + 18670497207074063407538384/103547945461937902307741*c_1001_8^6 - 20052393577620062260020217/103547945461937902307741*c_1001_8^5 + 17201489673343162576079096/103547945461937902307741*c_1001_8^4 - 9322790357967177365776772/103547945461937902307741*c_1001_8^3 + 4606253540112539672185731/103547945461937902307741*c_1001_8^2 - 802391773753286727155295/103547945461937902307741*c_1001_8 + 463096416359908805144727/103547945461937902307741, c_0101_2 + 151115238639994902683/103547945461937902307741*c_1001_8^13 - 8059298836743025189127/103547945461937902307741*c_1001_8^12 + 94994026082506085071096/103547945461937902307741*c_1001_8^11 - 283097173737646006618071/103547945461937902307741*c_1001_8^10 + 2162255713505200017807600/103547945461937902307741*c_1001_8^9 - 7731244072210211068439435/103547945461937902307741*c_1001_8^8 + 17279815536270356046365398/103547945461937902307741*c_1001_8^7 - 28927923857185081378631538/103547945461937902307741*c_1001_8^6 + 31726009342848714067742321/103547945461937902307741*c_1001_8^5 - 29221741069596908986367438/103547945461937902307741*c_1001_8^4 + 15792775298768875726379592/103547945461937902307741*c_1001_8^3 - 8826764619550080171805687/103547945461937902307741*c_1001_8^2 + 1281524599315758574827982/103547945461937902307741*c_1001_8 - 1037265499712524766139269/103547945461937902307741, c_0101_6 - 4252142076358850632578/103547945461937902307741*c_1001_8^13 + 65628476148297783143584/103547945461937902307741*c_1001_8^12 - 162818491764230806094308/103547945461937902307741*c_1001_8^11 + 1446248812074887949586004/103547945461937902307741*c_1001_8^10 - 5229954570507943104040854/103547945461937902307741*c_1001_8^9 + 11611361591419452244112859/103547945461937902307741*c_1001_8^8 - 19391825982033249192011202/103547945461937902307741*c_1001_8^7 + 20397420998141520840064519/103547945461937902307741*c_1001_8^6 - 18530000252234928276205142/103547945461937902307741*c_1001_8^5 + 8561319247329296991736543/103547945461937902307741*c_1001_8^4 - 4854351826206705452443342/103547945461937902307741*c_1001_8^3 - 45202987577769228429586/103547945461937902307741*c_1001_8^2 - 713499876991256867352102/103547945461937902307741*c_1001_8 - 108300961421411923162147/103547945461937902307741, c_0101_9 - 7800597287451684697878/103547945461937902307741*c_1001_8^13 + 120201024668586342590569/103547945461937902307741*c_1001_8^12 - 296036316316112413853193/103547945461937902307741*c_1001_8^11 + 2650370507874297377690294/103547945461937902307741*c_1001_8^10 - 9529543151413927740964169/103547945461937902307741*c_1001_8^9 + 21155379485561100271082514/103547945461937902307741*c_1001_8^8 - 35229019093854034432274210/103547945461937902307741*c_1001_8^7 + 36601649933471332710280033/103547945461937902307741*c_1001_8^6 - 33021878561372486491340111/103547945461937902307741*c_1001_8^5 + 14258758363289903924602406/103547945461937902307741*c_1001_8^4 - 8169604793858872717409253/103547945461937902307741*c_1001_8^3 - 994558267593996214954508/103547945461937902307741*c_1001_8^2 - 1015322762179891515353587/103547945461937902307741*c_1001_8 - 412539976377264043152399/103547945461937902307741, c_1001_1 + 4648730033069497530053/103547945461937902307741*c_1001_8^13 - 75032940613776263707418/103547945461937902307741*c_1001_8^12 + 229142451924111785752250/103547945461937902307741*c_1001_8^11 - 1714616179023850507852063/103547945461937902307741*c_1001_8^10 + 6861421032927025203670573/103547945461937902307741*c_1001_8^9 - 16904894284572073953620928/103547945461937902307741*c_1001_8^8 + 30931011716457724262860438/103547945461937902307741*c_1001_8^7 - 39128037252822364550809877/103547945461937902307741*c_1001_8^6 + 39175124754972725622522660/103547945461937902307741*c_1001_8^5 - 27532340500851635200723676/103547945461937902307741*c_1001_8^4 + 15087547793278514978892764/103547945461937902307741*c_1001_8^3 - 5619930637488700430027047/103547945461937902307741*c_1001_8^2 + 1246662277630745780626023/103547945461937902307741*c_1001_8 - 473132707923492658438352/103547945461937902307741, c_1001_8^14 - 16*c_1001_8^13 + 48*c_1001_8^12 - 377*c_1001_8^11 + 1462*c_1001_8^10 - 3765*c_1001_8^9 + 7357*c_1001_8^8 - 10235*c_1001_8^7 + 11988*c_1001_8^6 - 9987*c_1001_8^5 + 7501*c_1001_8^4 - 3513*c_1001_8^3 + 1770*c_1001_8^2 - 317*c_1001_8 + 167 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.270 seconds, Total memory usage: 32.09MB