Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 1629552062] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0846 geometric_solution 4.76389329 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 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 -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.295241086600 0.088371904087 2 0 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.522094143478 0.342078530331 1 3 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.016279890819 0.755617193332 4 2 5 4 2310 0132 0132 2031 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 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.172769035706 0.630016474169 5 3 3 2 1023 1302 3201 0132 0 0 0 0 0 0 0 0 -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 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.172769035706 0.630016474169 6 4 6 3 0132 1023 2310 0132 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 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 1.408227006176 0.517069079419 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -1 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 1 -1 0 0 1 -1 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.509308977420 0.459470660087 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], '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_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], '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' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 174863512088823248246896513013065646090455814022080/208499155664851\ 624712213151040612858608987695571*c_0101_5^27 - 1863840129859118952042962168507084842232789592056144/69499718554950\ 541570737717013537619536329231857*c_0101_5^25 - 9768793529935756600989582276619400046123891664872862/69499718554950\ 541570737717013537619536329231857*c_0101_5^23 + 573507917223655654440273261568544342507599215432285757/416998311329\ 703249424426302081225717217975391142*c_0101_5^21 + 3249241107043225068074591986877999320074677925463284719/41699831132\ 9703249424426302081225717217975391142*c_0101_5^19 + 236063902940911305206397672105472199438515814525747159/416998311329\ 703249424426302081225717217975391142*c_0101_5^17 - 8612688718725156294471599178055452122600925937640505089/41699831132\ 9703249424426302081225717217975391142*c_0101_5^15 - 5702591121708852568032431912398109981762010803554289149/41699831132\ 9703249424426302081225717217975391142*c_0101_5^13 + 3020993912085329729364654332287504201163673770837109007/41699831132\ 9703249424426302081225717217975391142*c_0101_5^11 + 391698190008693065891879830632612824071720352948115870/694997185549\ 50541570737717013537619536329231857*c_0101_5^9 - 428973501228942016919691653823915776976423043417543673/416998311329\ 703249424426302081225717217975391142*c_0101_5^7 - 244234528491939280618818093702953262309755500135984633/416998311329\ 703249424426302081225717217975391142*c_0101_5^5 + 20230948709772789487426153421081456202168159845880185/2084991556648\ 51624712213151040612858608987695571*c_0101_5^3 - 472402422950140192005322425847506775581522239256437/416998311329703\ 249424426302081225717217975391142*c_0101_5, c_0011_0 - 1, c_0011_4 + 2709122215805650893232227591244662178065830176/4088218738526\ 502445337512765502212913901719521*c_0101_5^27 - 86783063855295534360306720335841236073494222624/4088218738526502445\ 337512765502212913901719521*c_0101_5^25 - 449029312184640932587398423739558662832397120179/408821873852650244\ 5337512765502212913901719521*c_0101_5^23 + 4466751711231044343657507018791610842540721485549/40882187385265024\ 45337512765502212913901719521*c_0101_5^21 + 24907232159816184435826358167797276669004625498409/4088218738526502\ 445337512765502212913901719521*c_0101_5^19 + 485273443251723259347183961690634293420727320162/408821873852650244\ 5337512765502212913901719521*c_0101_5^17 - 66337254892136055869156795934622668445434063502900/4088218738526502\ 445337512765502212913901719521*c_0101_5^15 - 40504121220064572706086976453487562257601881615487/4088218738526502\ 445337512765502212913901719521*c_0101_5^13 + 24632782440758618342551291003608002859466692242115/4088218738526502\ 445337512765502212913901719521*c_0101_5^11 + 16450047681370265461128919807477179973245305742814/4088218738526502\ 445337512765502212913901719521*c_0101_5^9 - 3812509960761534555439477266743813750800716745696/40882187385265024\ 45337512765502212913901719521*c_0101_5^7 - 1579202636335017306647620649677374265414204039756/40882187385265024\ 45337512765502212913901719521*c_0101_5^5 + 345136493263654600474215441004858110411384408714/408821873852650244\ 5337512765502212913901719521*c_0101_5^3 - 21299549955724856197375559973186025782878859538/4088218738526502445\ 337512765502212913901719521*c_0101_5, c_0101_0 - 87299543057367737033372469298378068242854407680/408821873852\ 6502445337512765502212913901719521*c_0101_5^27 + 2791658191725061882790581862440545072049845533280/40882187385265024\ 45337512765502212913901719521*c_0101_5^25 + 14627246048086099361446022012845636476689379028432/4088218738526502\ 445337512765502212913901719521*c_0101_5^23 - 143188889155251206926653850766854280257833427701793/408821873852650\ 2445337512765502212913901719521*c_0101_5^21 - 810908957639537304843454344165691873722157936539738/408821873852650\ 2445337512765502212913901719521*c_0101_5^19 - 57347943053144688185438771283325313396456753811501/4088218738526502\ 445337512765502212913901719521*c_0101_5^17 + 2151856417783333811503336836716490870544958721028281/40882187385265\ 02445337512765502212913901719521*c_0101_5^15 + 1419008311214443065752879891828681877853918313096850/40882187385265\ 02445337512765502212913901719521*c_0101_5^13 - 761269105155772978406509163556777732216819676039447/408821873852650\ 2445337512765502212913901719521*c_0101_5^11 - 585303576124012302730474700019578759409622365151718/408821873852650\ 2445337512765502212913901719521*c_0101_5^9 + 110890053292066134212025684003683230268191858046849/408821873852650\ 2445337512765502212913901719521*c_0101_5^7 + 60615978824518547424213149492277914051853266015680/4088218738526502\ 445337512765502212913901719521*c_0101_5^5 - 10678262620436901314995058068286268376676510625566/4088218738526502\ 445337512765502212913901719521*c_0101_5^3 + 210770942152440446580007368619144976906613429026/408821873852650244\ 5337512765502212913901719521*c_0101_5, c_0101_1 - 51643115431392899197493872804659503602706485984/408821873852\ 6502445337512765502212913901719521*c_0101_5^27 + 1651818288308125041903070375505891755155281587968/40882187385265024\ 45337512765502212913901719521*c_0101_5^25 + 8640892410144371592847783479521688364334581311949/40882187385265024\ 45337512765502212913901719521*c_0101_5^23 - 84770962333078995479384570623470544536747912985342/4088218738526502\ 445337512765502212913901719521*c_0101_5^21 - 479094041906532809525503571384687650739563645950264/408821873852650\ 2445337512765502212913901719521*c_0101_5^19 - 30284605995198933954828616990115441281027273080779/4088218738526502\ 445337512765502212913901719521*c_0101_5^17 + 1273869439938582728451109791712876648282331454746247/40882187385265\ 02445337512765502212913901719521*c_0101_5^15 + 830039838720200745337306479418778182053797180561050/408821873852650\ 2445337512765502212913901719521*c_0101_5^13 - 458245786406553770281655509426754786956468428105312/408821873852650\ 2445337512765502212913901719521*c_0101_5^11 - 343821882090302035405476824575977341241051993424198/408821873852650\ 2445337512765502212913901719521*c_0101_5^9 + 68769120426968838982149350385328889727908471743786/4088218738526502\ 445337512765502212913901719521*c_0101_5^7 + 35666341490711638300913809749934657064347783541333/4088218738526502\ 445337512765502212913901719521*c_0101_5^5 - 6655815037080018491475834099022713316836551537465/40882187385265024\ 45337512765502212913901719521*c_0101_5^3 + 153003169834181054572893491503052251496513877801/408821873852650244\ 5337512765502212913901719521*c_0101_5, c_0101_2 - 16999443544357092550824839849074856958484198720/408821873852\ 6502445337512765502212913901719521*c_0101_5^27 + 543862299608766228932944018262344644768746827168/408821873852650244\ 5337512765502212913901719521*c_0101_5^25 + 2840160260050562644973659430120936698444093096430/40882187385265024\ 45337512765502212913901719521*c_0101_5^23 - 27926269423306271230387517889484743260484209685411/4088218738526502\ 445337512765502212913901719521*c_0101_5^21 - 157490259597632056487860542041657590989923502508920/408821873852650\ 2445337512765502212913901719521*c_0101_5^19 - 8744356834388371482827959993533252057581814006496/40882187385265024\ 45337512765502212913901719521*c_0101_5^17 + 419440450895349335039196202880499787400193121955266/408821873852650\ 2445337512765502212913901719521*c_0101_5^15 + 269922486679349194586519720586874613661894005863861/408821873852650\ 2445337512765502212913901719521*c_0101_5^13 - 153084543056767639260826701934875751271845199463850/408821873852650\ 2445337512765502212913901719521*c_0101_5^11 - 111878682364941696244862216239404966302509397857616/408821873852650\ 2445337512765502212913901719521*c_0101_5^9 + 23647982515332874646575930842097883840046089106409/4088218738526502\ 445337512765502212913901719521*c_0101_5^7 + 11487553001666196333478488863699842174300429465938/4088218738526502\ 445337512765502212913901719521*c_0101_5^5 - 2316182988788633232358524600476140238049161037813/40882187385265024\ 45337512765502212913901719521*c_0101_5^3 + 78764616513749699168258103050227507235878899540/4088218738526502445\ 337512765502212913901719521*c_0101_5, c_0101_3 + 193172305169450427795373054148531612429496960/40882187385265\ 02445337512765502212913901719521*c_0101_5^26 - 6316285210660100301778818860723487860298011872/40882187385265024453\ 37512765502212913901719521*c_0101_5^24 - 27875196930246664102609418556234345237130405820/4088218738526502445\ 337512765502212913901719521*c_0101_5^22 + 338661215726709824149226870115915813299529435781/408821873852650244\ 5337512765502212913901719521*c_0101_5^20 + 1559713007968783742221375531314390213940093136417/40882187385265024\ 45337512765502212913901719521*c_0101_5^18 - 1085752262176114709022307474314551083825313578518/40882187385265024\ 45337512765502212913901719521*c_0101_5^16 - 4485330512781546047223984784898205872975733730586/40882187385265024\ 45337512765502212913901719521*c_0101_5^14 + 56011884440146300965851752432426759351456350432/4088218738526502445\ 337512765502212913901719521*c_0101_5^12 + 2929603365017424745503973957653176799323992038536/40882187385265024\ 45337512765502212913901719521*c_0101_5^10 + 62522978228321151469399652923288585718073968930/4088218738526502445\ 337512765502212913901719521*c_0101_5^8 - 622445762922111271162508537144146915913193217476/408821873852650244\ 5337512765502212913901719521*c_0101_5^6 + 2256435101613138251786625959241427644829845349/40882187385265024453\ 37512765502212913901719521*c_0101_5^4 + 25395863851404554114472371376429131465530513000/4088218738526502445\ 337512765502212913901719521*c_0101_5^2 + 716290170149977488370526543429873031940090025/408821873852650244533\ 7512765502212913901719521, c_0101_5^28 - 32*c_0101_5^26 - 5339/32*c_0101_5^24 + 26301/16*c_0101_5^22 + 296071/32*c_0101_5^20 + 14611/32*c_0101_5^18 - 788549/32*c_0101_5^16 - 503235/32*c_0101_5^14 + 144323/16*c_0101_5^12 + 104233/16*c_0101_5^10 - 11079/8*c_0101_5^8 - 10699/16*c_0101_5^6 + 529/4*c_0101_5^4 - 133/32*c_0101_5^2 + 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB