Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 2395935341] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2082 geometric_solution 5.59378883 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 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 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.307627549461 0.175258677139 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 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 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.238229801405 1.222892414832 1 4 5 3 0132 0132 0132 1230 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 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.891141653352 1.132212921646 2 5 4 1 3012 1023 3201 0132 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 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.891141653352 1.132212921646 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.317135908825 0.817107873224 3 6 6 2 1023 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.872178887078 0.472543701846 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 -1 1 -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 0 0 0 0 0 0 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.550965098659 0.435808441243 ==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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], '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_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 40531635688091501586426511370216/127522229507007705364909654235*c_0\ 101_6^24 + 29726650958640207864571928696748/12752222950700770536490\ 9654235*c_0101_6^23 - 234275843041559222281921077130077/12752222950\ 7007705364909654235*c_0101_6^22 + 76576962426921503699485988216376/\ 25504445901401541072981930847*c_0101_6^21 + 305121761183736246703318313928234/25504445901401541072981930847*c_0\ 101_6^20 - 1115647634186053917879421099287/255044459014015410729819\ 30847*c_0101_6^19 + 4331871137146278233641969962489803/127522229507\ 007705364909654235*c_0101_6^18 - 7434967610823140975286566338095423\ /127522229507007705364909654235*c_0101_6^17 - 19260693908461730318123916576697593/127522229507007705364909654235*\ c_0101_6^16 + 10897613307628846377441854143780883/12752222950700770\ 5364909654235*c_0101_6^15 + 7832594026587174176872935082543551/1275\ 22229507007705364909654235*c_0101_6^14 - 44059203466607136523527848768631/25504445901401541072981930847*c_01\ 01_6^13 + 31779410494379126755815121293279149/127522229507007705364\ 909654235*c_0101_6^12 + 11565976401748715818802220774929082/1275222\ 29507007705364909654235*c_0101_6^11 - 37950383182975901826427048562502548/127522229507007705364909654235*\ c_0101_6^10 - 48295665145507243362063516353073558/12752222950700770\ 5364909654235*c_0101_6^9 + 1463759804162905569109396819976104/12752\ 2229507007705364909654235*c_0101_6^8 + 55282286460435020194783205720678218/127522229507007705364909654235*\ c_0101_6^7 + 4824047804728929319640362240453509/2550444590140154107\ 2981930847*c_0101_6^6 - 26523705647695911211259144226226913/1275222\ 29507007705364909654235*c_0101_6^5 - 17685179609806575240800226197347593/127522229507007705364909654235*\ c_0101_6^4 + 4118290357975840496850499697530504/1275222295070077053\ 64909654235*c_0101_6^3 + 4339367435875045734960411160860423/1275222\ 29507007705364909654235*c_0101_6^2 + 161057352984382420122374892522551/127522229507007705364909654235*c_\ 0101_6 - 233174070266391667995278562202527/127522229507007705364909\ 654235, c_0011_0 - 1, c_0011_1 + 42356814535783564858034076032/25504445901401541072981930847*\ c_0101_6^24 - 74934779102908385991411428468/25504445901401541072981\ 930847*c_0101_6^23 + 292644397470464968799578043436/255044459014015\ 41072981930847*c_0101_6^22 - 682732722566966650323146676801/2550444\ 5901401541072981930847*c_0101_6^21 - 1078087066908697210090804018328/25504445901401541072981930847*c_010\ 1_6^20 + 1399898512818106907459137537350/25504445901401541072981930\ 847*c_0101_6^19 - 4965047684966069873057333903448/25504445901401541\ 072981930847*c_0101_6^18 + 13081864199528900200021597875225/2550444\ 5901401541072981930847*c_0101_6^17 + 10503124309712062423826830875161/25504445901401541072981930847*c_01\ 01_6^16 - 27126322129679050816959352263285/255044459014015410729819\ 30847*c_0101_6^15 + 8256896578553353137687825007412/255044459014015\ 41072981930847*c_0101_6^14 - 2843731801130885548931660809481/255044\ 45901401541072981930847*c_0101_6^13 - 33017619110371033781160499442436/25504445901401541072981930847*c_01\ 01_6^12 + 21732857674394338069100683331761/255044459014015410729819\ 30847*c_0101_6^11 + 39199409186579572120673766404359/25504445901401\ 541072981930847*c_0101_6^10 + 18319225058742598745401605566390/2550\ 4445901401541072981930847*c_0101_6^9 - 33746972673103463346670754438722/25504445901401541072981930847*c_01\ 01_6^8 - 46917771544626731291376027064172/2550444590140154107298193\ 0847*c_0101_6^7 + 18900431060974872403258452323430/2550444590140154\ 1072981930847*c_0101_6^6 + 30304924984488590384115402465839/2550444\ 5901401541072981930847*c_0101_6^5 - 4776793074787540209008627176136/25504445901401541072981930847*c_010\ 1_6^4 - 7612499183225103623172525921785/255044459014015410729819308\ 47*c_0101_6^3 + 457799700182996385503759743974/25504445901401541072\ 981930847*c_0101_6^2 + 597667466379495718946348000644/2550444590140\ 1541072981930847*c_0101_6 - 64910551910082177475790578423/255044459\ 01401541072981930847, c_0011_3 - 38264723825827388018060660247/25504445901401541072981930847*\ c_0101_6^24 - 4488399987419990276752427944/255044459014015410729819\ 30847*c_0101_6^23 - 218764010059248041913414782386/2550444590140154\ 1072981930847*c_0101_6^22 + 150759880440124795837302662640/25504445\ 901401541072981930847*c_0101_6^21 + 1627452517865414302016993243053/25504445901401541072981930847*c_010\ 1_6^20 + 1180944304443314713680098650778/25504445901401541072981930\ 847*c_0101_6^19 + 5112220538886440886010357669214/25504445901401541\ 072981930847*c_0101_6^18 - 2109033734420636404988615960529/25504445\ 901401541072981930847*c_0101_6^17 - 20767851023528632494021567774887/25504445901401541072981930847*c_01\ 01_6^16 - 3535267834177927290951998225821/2550444590140154107298193\ 0847*c_0101_6^15 + 2790764601515065893365750585026/2550444590140154\ 1072981930847*c_0101_6^14 - 5189405050742415358750055004943/2550444\ 5901401541072981930847*c_0101_6^13 + 30318407549330999560140116593122/25504445901401541072981930847*c_01\ 01_6^12 + 32213846458413600077300937899655/255044459014015410729819\ 30847*c_0101_6^11 - 10734811771404128169313659581410/25504445901401\ 541072981930847*c_0101_6^10 - 43311416863487574826007318160331/2550\ 4445901401541072981930847*c_0101_6^9 - 29552825696358396155056194701208/25504445901401541072981930847*c_01\ 01_6^8 + 25980199477280717849976145805733/2550444590140154107298193\ 0847*c_0101_6^7 + 31181362454433877318600046960709/2550444590140154\ 1072981930847*c_0101_6^6 - 4356913252854967136169863908045/25504445\ 901401541072981930847*c_0101_6^5 - 10533652583541319747186628397692/25504445901401541072981930847*c_01\ 01_6^4 - 630054737510505600910998683689/255044459014015410729819308\ 47*c_0101_6^3 + 1237360599785383702058882025248/2550444590140154107\ 2981930847*c_0101_6^2 + 106302546214698660600866902113/255044459014\ 01541072981930847*c_0101_6 - 53702095030901008103485525697/25504445\ 901401541072981930847, c_0101_0 - 121390903712779574743076363060/25504445901401541072981930847\ *c_0101_6^24 + 201879010658528143388104216265/255044459014015410729\ 81930847*c_0101_6^23 - 861134135998367938084200001658/2550444590140\ 1541072981930847*c_0101_6^22 + 1907322508972204183487369666397/2550\ 4445901401541072981930847*c_0101_6^21 + 2991408397537689702909052831864/25504445901401541072981930847*c_010\ 1_6^20 - 3196323402997820103217544351303/25504445901401541072981930\ 847*c_0101_6^19 + 15188194458985942937809720669774/2550444590140154\ 1072981930847*c_0101_6^18 - 35883728127165546539342944466411/255044\ 45901401541072981930847*c_0101_6^17 - 27890141669114146237385002073227/25504445901401541072981930847*c_01\ 01_6^16 + 65976059800262876691293773355437/255044459014015410729819\ 30847*c_0101_6^15 - 30310424618838633852498584483601/25504445901401\ 541072981930847*c_0101_6^14 + 14943117608409731944043245484606/2550\ 4445901401541072981930847*c_0101_6^13 + 86955723359616453462803782587210/25504445901401541072981930847*c_01\ 01_6^12 - 48931646149472034730837713716776/255044459014015410729819\ 30847*c_0101_6^11 - 88070960304926651213297425148667/25504445901401\ 541072981930847*c_0101_6^10 - 56511238326070695644375975589536/2550\ 4445901401541072981930847*c_0101_6^9 + 75489932501039558838892605401040/25504445901401541072981930847*c_01\ 01_6^8 + 111533448499966995142353945326038/255044459014015410729819\ 30847*c_0101_6^7 - 43623733900714923625347521711656/255044459014015\ 41072981930847*c_0101_6^6 - 64052201239148042865400244098837/255044\ 45901401541072981930847*c_0101_6^5 + 11551775254908611927932240661724/25504445901401541072981930847*c_01\ 01_6^4 + 14922848805488447306164922262203/2550444590140154107298193\ 0847*c_0101_6^3 - 1368706074086491580807589042098/25504445901401541\ 072981930847*c_0101_6^2 - 1105627655845970261248124056729/255044459\ 01401541072981930847*c_0101_6 + 179084036588579872649386505293/2550\ 4445901401541072981930847, c_0101_3 + 119348499580508744283879687435/25504445901401541072981930847\ *c_0101_6^24 - 56957240859833856354549787785/2550444590140154107298\ 1930847*c_0101_6^23 + 751288100263847118713630565204/25504445901401\ 541072981930847*c_0101_6^22 - 954331497234041742261228734431/255044\ 45901401541072981930847*c_0101_6^21 - 4265279556463025520475562147053/25504445901401541072981930847*c_010\ 1_6^20 - 1573075580015788596323898316857/25504445901401541072981930\ 847*c_0101_6^19 - 16010445139595612699739033291278/2550444590140154\ 1072981930847*c_0101_6^18 + 16213281916039405884431880068426/255044\ 45901401541072981930847*c_0101_6^17 + 50351862102613263337454432276497/25504445901401541072981930847*c_01\ 01_6^16 - 11282431925712837713326117803341/255044459014015410729819\ 30847*c_0101_6^15 + 8280424276793517025319803636969/255044459014015\ 41072981930847*c_0101_6^14 + 2129413576345072790488938506757/255044\ 45901401541072981930847*c_0101_6^13 - 87932441179849402608637269159027/25504445901401541072981930847*c_01\ 01_6^12 - 52729572624659015292062166193941/255044459014015410729819\ 30847*c_0101_6^11 + 41796608567946514380403554350730/25504445901401\ 541072981930847*c_0101_6^10 + 107974085735233436710034503996437/255\ 04445901401541072981930847*c_0101_6^9 + 41150532935200787441057939431764/25504445901401541072981930847*c_01\ 01_6^8 - 80967589970775024571042024553503/2550444590140154107298193\ 0847*c_0101_6^7 - 51026780749342024456284451043386/2550444590140154\ 1072981930847*c_0101_6^6 + 21563745633239597155210827830040/2550444\ 5901401541072981930847*c_0101_6^5 + 17507651600367676061692615881172/25504445901401541072981930847*c_01\ 01_6^4 - 1260027236558968887016181551135/25504445901401541072981930\ 847*c_0101_6^3 - 1865473809783871969976966431060/255044459014015410\ 72981930847*c_0101_6^2 + 33848839775964173020017326535/255044459014\ 01541072981930847*c_0101_6 + 46421985512108306962058841464/25504445\ 901401541072981930847, c_0101_4 + 99687587474776972309602632993/25504445901401541072981930847*\ c_0101_6^24 - 86338293925200111527614189575/25504445901401541072981\ 930847*c_0101_6^23 + 643542381072019200728124645231/255044459014015\ 41072981930847*c_0101_6^22 - 1040366329654812933598750231161/255044\ 45901401541072981930847*c_0101_6^21 - 3268871133826764712187920182680/25504445901401541072981930847*c_010\ 1_6^20 + 87997686986187400345424377006/2550444590140154107298193084\ 7*c_0101_6^19 - 12772885400578581865609768646884/255044459014015410\ 72981930847*c_0101_6^18 + 18787124987538012821003619686893/25504445\ 901401541072981930847*c_0101_6^17 + 37178177311092276757766272368270/25504445901401541072981930847*c_01\ 01_6^16 - 26041665959671023402536734767715/255044459014015410729819\ 30847*c_0101_6^15 + 9574930731347487342105230148578/255044459014015\ 41072981930847*c_0101_6^14 - 804932188338996083559109760636/2550444\ 5901401541072981930847*c_0101_6^13 - 74957346550395447043590547617445/25504445901401541072981930847*c_01\ 01_6^12 - 15410619538356589331313228168988/255044459014015410729819\ 30847*c_0101_6^11 + 53928508426824211298567474990309/25504445901401\ 541072981930847*c_0101_6^10 + 77557085623941560783814077555443/2550\ 4445901401541072981930847*c_0101_6^9 - 236055591367224974226007067478/25504445901401541072981930847*c_0101\ _6^8 - 82939770215221847030676637791606/255044459014015410729819308\ 47*c_0101_6^7 - 17775747895513422643244612574244/255044459014015410\ 72981930847*c_0101_6^6 + 35236168503114045218137841919205/255044459\ 01401541072981930847*c_0101_6^5 + 8291327546841743441083631186777/2\ 5504445901401541072981930847*c_0101_6^4 - 6164453882700004595880636081185/25504445901401541072981930847*c_010\ 1_6^3 - 1179597352118506703059955622533/255044459014015410729819308\ 47*c_0101_6^2 + 380438533026156439755456350957/25504445901401541072\ 981930847*c_0101_6 + 2570220199188173770486042574/25504445901401541\ 072981930847, c_0101_6^25 - c_0101_6^24 + 6*c_0101_6^23 - 11*c_0101_6^22 - 35*c_0101_6^21 + 10*c_0101_6^20 - 108*c_0101_6^19 + 212*c_0101_6^18 + 424*c_0101_6^17 - 392*c_0101_6^16 - 107*c_0101_6^15 + 48*c_0101_6^14 - 794*c_0101_6^13 - 70*c_0101_6^12 + 989*c_0101_6^11 + 934*c_0101_6^10 - 323*c_0101_6^9 - 1326*c_0101_6^8 - 236*c_0101_6^7 + 773*c_0101_6^6 + 249*c_0101_6^5 - 193*c_0101_6^4 - 71*c_0101_6^3 + 18*c_0101_6^2 + 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB