Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1065263894] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0048 geometric_solution 3.61479603 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.086224267389 1.846805559487 0 0 3 3 0132 3201 3201 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344291260492 0.239248358812 0 0 4 4 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.115171554221 0.028388086734 1 5 1 6 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997550707449 0.512210249605 2 4 2 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9.090169926054 2.036801556326 6 3 6 6 3012 0132 2310 1230 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 0 0 -1 1 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.990362660263 0.985638255918 5 5 3 5 3012 3201 0132 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.990362660263 0.985638255918 ==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' : negation(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' : negation(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' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 200706316844562847509394286207693395/306652223469733082670200726305\ 2278*c_0101_5^17 - 1604998185053503216884306676562798673/1533261117\ 348665413351003631526139*c_0101_5^16 - 3440002619827657316875142095707865625/30665222346973308267020072630\ 52278*c_0101_5^15 + 21725167211580949790241989291371780917/30665222\ 34697330826702007263052278*c_0101_5^14 - 4118362662050457335740307071803756835/15332611173486654133510036315\ 26139*c_0101_5^13 - 37469593648908556093726132042625934794/15332611\ 17348665413351003631526139*c_0101_5^12 + 54139718189719418823356862422892667237/3066522234697330826702007263\ 052278*c_0101_5^11 + 5507183530320127570074208481852748353/11794316\ 2872974262565461817809703*c_0101_5^10 - 4612163882787283523893512596354858259/11794316287297426256546181780\ 9703*c_0101_5^9 - 231392914155403459271838205067609827525/306652223\ 4697330826702007263052278*c_0101_5^8 + 31059644139257514139993030894992024674/1533261117348665413351003631\ 526139*c_0101_5^7 + 193388302832205369591241622085585524377/3066522\ 234697330826702007263052278*c_0101_5^6 + 2786691356955311401727137248110563947/23588632574594852513092363561\ 9406*c_0101_5^5 - 45585553097627910583996660015406620813/3066522234\ 697330826702007263052278*c_0101_5^4 - 9251869255113666469504364838022648451/15332611173486654133510036315\ 26139*c_0101_5^3 + 787535470533062837715601606214113067/30665222346\ 97330826702007263052278*c_0101_5^2 + 1780466751717158527122149511730003699/30665222346973308267020072630\ 52278*c_0101_5 + 370499509622119645001911355573646611/3066522234697\ 330826702007263052278, c_0011_0 - 1, c_0011_3 + 67746681286243207173453541769750/117943162872974262565461817\ 809703*c_0101_5^17 - 1083659106011176790361411395405795/11794316287\ 2974262565461817809703*c_0101_5^16 - 1158191811394866281820938116693149/11794316287297426256546181780970\ 3*c_0101_5^15 + 7333935078732076525382494641535165/1179431628729742\ 62565461817809703*c_0101_5^14 - 2910671070302206250955861850599355/\ 117943162872974262565461817809703*c_0101_5^13 - 25280231920038120126080896925064734/1179431628729742625654618178097\ 03*c_0101_5^12 + 19000876048643050411053942822255638/11794316287297\ 4262565461817809703*c_0101_5^11 + 474236885632995115070350030101376\ 51/117943162872974262565461817809703*c_0101_5^10 - 42273620319909982779647821029776816/1179431628729742625654618178097\ 03*c_0101_5^9 - 74988534980427524780158139788220235/117943162872974\ 262565461817809703*c_0101_5^8 + 23373777496931341345824293954318393\ /117943162872974262565461817809703*c_0101_5^7 + 59852016902740772014333353556250660/1179431628729742625654618178097\ 03*c_0101_5^6 + 8477782666569675960890107212789198/1179431628729742\ 62565461817809703*c_0101_5^5 - 11649503124207766363382408571528335/\ 117943162872974262565461817809703*c_0101_5^4 - 3193901303429568446580468554525683/11794316287297426256546181780970\ 3*c_0101_5^3 + 113581981933651777115417690354200/117943162872974262\ 565461817809703*c_0101_5^2 + 285042905958095645603901683402106/1179\ 43162872974262565461817809703*c_0101_5 - 4574329039468565037602691794038/117943162872974262565461817809703, c_0011_4 - 326659159340318352632405488708145/11794316287297426256546181\ 7809703*c_0101_5^17 + 5286522231657448616195501926961561/1179431628\ 72974262565461817809703*c_0101_5^16 + 4570203417672045605528798634858328/11794316287297426256546181780970\ 3*c_0101_5^15 - 35846759016582376693364120910586953/117943162872974\ 262565461817809703*c_0101_5^14 + 2056032356040826668411953805980341\ 9/117943162872974262565461817809703*c_0101_5^13 + 115521951951484370036103228294245152/117943162872974262565461817809\ 703*c_0101_5^12 - 108694187176352476145463060406490882/117943162872\ 974262565461817809703*c_0101_5^11 - 204232405387881286374737479249662262/117943162872974262565461817809\ 703*c_0101_5^10 + 226866892677918850525450222575546346/117943162872\ 974262565461817809703*c_0101_5^9 + 318781904867080324845301627801463412/117943162872974262565461817809\ 703*c_0101_5^8 - 147048035723697387435159582154854102/1179431628729\ 74262565461817809703*c_0101_5^7 - 263200847492344775019962286056203\ 267/117943162872974262565461817809703*c_0101_5^6 - 16998489841869515230770284051414387/1179431628729742625654618178097\ 03*c_0101_5^5 + 58008049192012174765829185687500548/117943162872974\ 262565461817809703*c_0101_5^4 + 15948014469542946485743649430803530\ /117943162872974262565461817809703*c_0101_5^3 - 260197531497059224366738970317084/117943162872974262565461817809703\ *c_0101_5^2 - 1451356723113320486542380128447196/117943162872974262\ 565461817809703*c_0101_5 - 315561768706526476903523335399117/117943\ 162872974262565461817809703, c_0101_0 + 173603742727506682411437515902300/11794316287297426256546181\ 7809703*c_0101_5^17 - 2840317220692641263537531357865305/1179431628\ 72974262565461817809703*c_0101_5^16 - 1919841803367402060896135083194373/11794316287297426256546181780970\ 3*c_0101_5^15 + 19299463979196945563212997736667301/117943162872974\ 262565461817809703*c_0101_5^14 - 1433985730858065243346165390277473\ 1/117943162872974262565461817809703*c_0101_5^13 - 58242891345181561215430039703061785/1179431628729742625654618178097\ 03*c_0101_5^12 + 67170585732180594260637500935809202/11794316287297\ 4262565461817809703*c_0101_5^11 + 953873248901181707550160187294194\ 79/117943162872974262565461817809703*c_0101_5^10 - 134186892711795930618656215834581055/117943162872974262565461817809\ 703*c_0101_5^9 - 144965605253114468280284113281945086/1179431628729\ 74262565461817809703*c_0101_5^8 + 982517088136026366025934881293243\ 02/117943162872974262565461817809703*c_0101_5^7 + 122233190358123307411934938088247784/117943162872974262565461817809\ 703*c_0101_5^6 - 7789089720650372071155480651804936/117943162872974\ 262565461817809703*c_0101_5^5 - 29558039997244207633590416897753019\ /117943162872974262565461817809703*c_0101_5^4 - 5306597652709197262487453247439253/11794316287297426256546181780970\ 3*c_0101_5^3 + 1448275173030295829263167364068910/11794316287297426\ 2565461817809703*c_0101_5^2 + 935234113772541321047331867094910/117\ 943162872974262565461817809703*c_0101_5 + 8604396238860860866492877384392/117943162872974262565461817809703, c_0101_1 + 82552869589673458753483812061035/117943162872974262565461817\ 809703*c_0101_5^17 - 1358793044310617098749848960254978/11794316287\ 2974262565461817809703*c_0101_5^16 - 784700067482256388433530298644737/117943162872974262565461817809703\ *c_0101_5^15 + 9356903941239246150423922379128698/11794316287297426\ 2565461817809703*c_0101_5^14 - 7756204487152157666782127987309883/1\ 17943162872974262565461817809703*c_0101_5^13 - 27618576581474200768977845565483244/1179431628729742625654618178097\ 03*c_0101_5^12 + 35696988683136312418768812001763565/11794316287297\ 4262565461817809703*c_0101_5^11 + 432594169464294527724145902167062\ 79/117943162872974262565461817809703*c_0101_5^10 - 71787034439502643015809505371416853/1179431628729742625654618178097\ 03*c_0101_5^9 - 62771346017341503559410802035911068/117943162872974\ 262565461817809703*c_0101_5^8 + 59259859035076357366799919719856386\ /117943162872974262565461817809703*c_0101_5^7 + 52977606348514409674186038359826437/1179431628729742625654618178097\ 03*c_0101_5^6 - 14553993999684471693546297396960607/117943162872974\ 262565461817809703*c_0101_5^5 - 13528044165270264198966397150619893\ /117943162872974262565461817809703*c_0101_5^4 + 988742554856620227725442083320032/117943162872974262565461817809703\ *c_0101_5^3 + 944512744013158816560715093174942/1179431628729742625\ 65461817809703*c_0101_5^2 + 272736548817561915406025830245909/11794\ 3162872974262565461817809703*c_0101_5 - 24781247417602858533767982093410/117943162872974262565461817809703, c_0101_4 - 156329800662830523399785140840530/11794316287297426256546181\ 7809703*c_0101_5^17 + 2498228834529393164584800087423499/1179431628\ 72974262565461817809703*c_0101_5^16 + 2704324473053022187506218787739456/11794316287297426256546181780970\ 3*c_0101_5^15 - 16773198652597960027390219196164357/117943162872974\ 262565461817809703*c_0101_5^14 + 6449443175481319241107559939576195\ /117943162872974262565461817809703*c_0101_5^13 + 57722338649753592448369170226541886/1179431628729742625654618178097\ 03*c_0101_5^12 - 41920727883338804303633751033321610/11794316287297\ 4262565461817809703*c_0101_5^11 - 108631472308903381793517797673554\ 305/117943162872974262565461817809703*c_0101_5^10 + 92358469829660411041577539844404617/1179431628729742625654618178097\ 03*c_0101_5^9 + 173227184102548866864249144862441077/11794316287297\ 4262565461817809703*c_0101_5^8 - 4528936104205520041583674723765139\ 5/117943162872974262565461817809703*c_0101_5^7 - 137147196669298455074387414573623792/117943162872974262565461817809\ 703*c_0101_5^6 - 26912427761693323154701712942250038/11794316287297\ 4262565461817809703*c_0101_5^5 + 2460240122661426519598023310995613\ 1/117943162872974262565461817809703*c_0101_5^4 + 9529340079995741954666716735629309/11794316287297426256546181780970\ 3*c_0101_5^3 + 1066593092762808517645937872536683/11794316287297426\ 2565461817809703*c_0101_5^2 - 444767537222252308703878091804228/117\ 943162872974262565461817809703*c_0101_5 - 203610968050827072175565292151413/117943162872974262565461817809703\ , c_0101_5^18 - 79/5*c_0101_5^17 - 101/5*c_0101_5^16 + 522/5*c_0101_5^15 - 21*c_0101_5^14 - 378*c_0101_5^13 + 991/5*c_0101_5^12 + 3761/5*c_0101_5^11 - 2288/5*c_0101_5^10 - 6197/5*c_0101_5^9 + 399/5*c_0101_5^8 + 4869/5*c_0101_5^7 + 1778/5*c_0101_5^6 - 784/5*c_0101_5^5 - 571/5*c_0101_5^4 - 79/5*c_0101_5^3 + 28/5*c_0101_5^2 + 12/5*c_0101_5 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB