Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 3221103456] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1440 geometric_solution 5.26535554 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -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.242361542909 0.144554596429 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 -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 2.249232224597 1.722805931336 3 1 1 4 0132 3201 0132 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 1 0 -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.487961928539 0.555841712976 2 5 4 6 0132 0132 3201 0132 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 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.049381992041 1.091208854227 3 6 2 5 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 1 -1 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.049381992041 1.091208854227 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414668533077 0.347034150591 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0.041387036919 0.914541906259 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_2'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 233766616205026039174275222053143725998468346910492609163297/302575\ 9196544994414879122305845909787644115791225791475613904*c_0110_5^31 + 466006401533338487100755579300938477580242289959093148530495/5042\ 93199424165735813187050974318297940685965204298579268984*c_0110_5^2\ 9 + 12870602166773432255375697595112730385330152508260460818280811/\ 378219899568124301859890288230738723455514473903223934451738*c_0110\ _5^27 + 53197885990085418829944212493455289801913468124333166444280\ 2535/1512879598272497207439561152922954893822057895612895737806952*\ c_0110_5^25 + 62334451958217737008358692366495911238723767654882359\ 49135709399/3025759196544994414879122305845909787644115791225791475\ 613904*c_0110_5^23 + 2338647699790685760147774470490437750842957167\ 4811879199103046419/30257591965449944148791223058459097876441157912\ 25791475613904*c_0110_5^21 + 26271849933420196885292649815960443403\ 383948030068406197034050173/151287959827249720743956115292295489382\ 2057895612895737806952*c_0110_5^19 + 38000613801653880556094529815437785072064676409302068976715016303/3\ 025759196544994414879122305845909787644115791225791475613904*c_0110\ _5^17 - 66856769991426821099321009923252742280188272182089278653433\ 726999/151287959827249720743956115292295489382205789561289573780695\ 2*c_0110_5^15 - 132932174022810381325207150959136571632640405581299\ 587227770218123/100858639884833147162637410194863659588137193040859\ 7158537968*c_0110_5^13 - 159291581767434462835632267540115161187708\ 072045027875935399531197/100858639884833147162637410194863659588137\ 1930408597158537968*c_0110_5^11 - 124711622575346329273587513682767\ 21265348211235741360883162351463/1891099497840621509299451441153693\ 61727757236951611967225869*c_0110_5^9 + 47236080675992860188180673252527284839575275103230489095467032197/7\ 56439799136248603719780576461477446911028947806447868903476*c_0110_\ 5^7 + 2098395654680311006791612606870556389402007193793336294254195\ 62709/3025759196544994414879122305845909787644115791225791475613904\ *c_0110_5^5 + 10734008380830759659524754613900029298639733614605552\ 24501435741/1260732998560414339532967627435795744851714913010746448\ 17246*c_0110_5^3 + 194668523053113293932291919921485614048279804367\ 373483265024895/168097733141388578604395683658106099313561988401432\ 859756328*c_0110_5, c_0011_0 - 1, c_0011_2 + 4050220602097923399272367987472624888446320541766/4156472740\ 02998285473650633142706909860844035965800397*c_0110_5^30 - 16959268357846917405658550502587112646105680215503/1385490913343327\ 61824550211047568969953614678655266799*c_0110_5^28 - 1753125538094747299689348008799940205884632863339966/41564727400299\ 8285473650633142706909860844035965800397*c_0110_5^26 - 17383250614851954049006903036956974382491666574389074/4156472740029\ 98285473650633142706909860844035965800397*c_0110_5^24 - 97674592743464181153638078031860892419850039728054033/4156472740029\ 98285473650633142706909860844035965800397*c_0110_5^22 - 347848143256141819216444561672107400368162327414286508/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^20 - 709778747585500028793398348421175461024381769760644556/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^18 - 265759904551179031408788187361694570970322231627746103/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^16 + 2391642194694729990371950905993908168320166717169015091/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^14 + 1793111687588707814254016777093340043199655943709831542/13854909133\ 4332761824550211047568969953614678655266799*c_0110_5^12 + 1724090899027935748792490685474052944651148507280689385/13854909133\ 4332761824550211047568969953614678655266799*c_0110_5^10 + 889317207626986439390094235477088997048880707145363411/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^8 - 3093509636412274077101159974317165524926689003197337059/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^6 - 1199548751990238136933759634552526214389476417096885461/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^4 + 174075333514538323124905547914182989858845087386034759/138549091334\ 332761824550211047568969953614678655266799*c_0110_5^2 - 19550521816010734339409450742687854792526077046870161/4618303044477\ 7587274850070349189656651204892885088933, c_0011_4 + 455975094118742999450750492670111359150366679318383/18981225\ 512803588369963378913516948883645210975771551463*c_0110_5^31 - 17380227323926043586345300943242981460311179297983909/5694367653841\ 0765109890136740550846650935632927314654389*c_0110_5^29 - 196636320582028926976502486188005555428450982416864084/189812255128\ 03588369963378913516948883645210975771551463*c_0110_5^27 - 5782741158012519806277042894519842116325784459030212656/56943676538\ 410765109890136740550846650935632927314654389*c_0110_5^25 - 32019316775425408821994768791897572326332666309737035508/5694367653\ 8410765109890136740550846650935632927314654389*c_0110_5^23 - 111409012840600075429118207467406366105207549209763500612/569436765\ 38410765109890136740550846650935632927314654389*c_0110_5^21 - 214927758282110350667581230834303352025375239169427493888/569436765\ 38410765109890136740550846650935632927314654389*c_0110_5^19 - 25477110004231420512005752025685798700103468819917124359/5694367653\ 8410765109890136740550846650935632927314654389*c_0110_5^17 + 887381289767516345793315428048945250165370171932188936459/569436765\ 38410765109890136740550846650935632927314654389*c_0110_5^15 + 1744641652252149163683653731551939961046880191735603197313/56943676\ 538410765109890136740550846650935632927314654389*c_0110_5^13 + 143982945504480591711976016647461986764308673968022633837/632707517\ 0934529456654459637838982961215070325257183821*c_0110_5^11 - 51904421632982478849640584598728177075109866023975075391/6327075170\ 934529456654459637838982961215070325257183821*c_0110_5^9 - 1584916864415390746731146875550153615507925381289800485797/56943676\ 538410765109890136740550846650935632927314654389*c_0110_5^7 - 388213179741408671239650339366592273096736159935859426926/569436765\ 38410765109890136740550846650935632927314654389*c_0110_5^5 + 537462435977572707280674786898641519430301524570475482672/569436765\ 38410765109890136740550846650935632927314654389*c_0110_5^3 + 10163848694040809240852393838102143718705154631633023762/1898122551\ 2803588369963378913516948883645210975771551463*c_0110_5, c_0101_0 - 5766526991464210077732088572517125925253756734773703/5694367\ 6538410765109890136740550846650935632927314654389*c_0110_5^31 + 69764005650093459480607001591874341206878130522554379/5694367653841\ 0765109890136740550846650935632927314654389*c_0110_5^29 + 2530167462894497712040684726894231051594647838963568924/56943676538\ 410765109890136740550846650935632927314654389*c_0110_5^27 + 25900702340820435289473836416354853280499973368035842894/5694367653\ 8410765109890136740550846650935632927314654389*c_0110_5^25 + 150284300032255263637289929346164741493583277678111195546/569436765\ 38410765109890136740550846650935632927314654389*c_0110_5^23 + 185644275068181907826964224998667170155615245868356315095/189812255\ 12803588369963378913516948883645210975771551463*c_0110_5^21 + 407698403842369919659558783330136083336158666592683407039/189812255\ 12803588369963378913516948883645210975771551463*c_0110_5^19 + 260040388247607042256296116769390386866714962469804669220/189812255\ 12803588369963378913516948883645210975771551463*c_0110_5^17 - 1129879823288823407689027524865306133449085111009828711263/18981225\ 512803588369963378913516948883645210975771551463*c_0110_5^15 - 9387082230958054119756864756491207614758519844387487740121/56943676\ 538410765109890136740550846650935632927314654389*c_0110_5^13 - 3533150659132979658363203172389574325704397507099070907005/18981225\ 512803588369963378913516948883645210975771551463*c_0110_5^11 - 3586676019740393959948018788156535422470443397036981426392/56943676\ 538410765109890136740550846650935632927314654389*c_0110_5^9 + 1702586899156193774954852766885386620510582760565834794762/18981225\ 512803588369963378913516948883645210975771551463*c_0110_5^7 + 4598432851368480886717653197470615780407350094729145713464/56943676\ 538410765109890136740550846650935632927314654389*c_0110_5^5 + 143805911090128421158239132283142708345151217884458356616/569436765\ 38410765109890136740550846650935632927314654389*c_0110_5^3 + 21341070573109895106713635657557505182682703887565507603/1898122551\ 2803588369963378913516948883645210975771551463*c_0110_5, c_0101_1 - 2412392257419386269852657076748957940291183006241/4156472740\ 02998285473650633142706909860844035965800397*c_0110_5^30 + 10199462319825324584486845116301153200399022544816/1385490913343327\ 61824550211047568969953614678655266799*c_0110_5^28 + 1039883563103758911176386478328240889640962198120240/41564727400299\ 8285473650633142706909860844035965800397*c_0110_5^26 + 10234612655951827859295042800033352328205248571748284/4156472740029\ 98285473650633142706909860844035965800397*c_0110_5^24 + 57169450576608147199540655019833181192028232616903775/4156472740029\ 98285473650633142706909860844035965800397*c_0110_5^22 + 202471126495913459675220434134405100245377185163907852/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^20 + 410112559801929386649899982701592237624683637351817579/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^18 + 148560726403497391519715480003359865850172116107001970/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^16 - 1369961097521694053964110388141285041556971309526185756/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^14 - 1014009567136956101032420384340070445887485338691586215/13854909133\ 4332761824550211047568969953614678655266799*c_0110_5^12 - 1006952694015629828390378908869661848314297920611400744/13854909133\ 4332761824550211047568969953614678655266799*c_0110_5^10 - 717370557534509945944874642800177646651418405831357044/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^8 + 1394950544383580049988711891605484439662141014378303805/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^6 + 429614880946441278596389718425640834223016327201321454/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^4 - 66825403183050690777792259423952150549925735115321625/1385490913343\ 32761824550211047568969953614678655266799*c_0110_5^2 + 36636442498094462800291088159260518258850988302920185/4618303044477\ 7587274850070349189656651204892885088933, c_0101_3 - 3370968011364065601061031865841175022069353631865/4156472740\ 02998285473650633142706909860844035965800397*c_0110_5^30 + 13718026869730979004025844841526499966436937745449/1385490913343327\ 61824550211047568969953614678655266799*c_0110_5^28 + 1476069542514331280485479099835362604212197330482844/41564727400299\ 8285473650633142706909860844035965800397*c_0110_5^26 + 14957263660133527125256026419247867971784266058870919/4156472740029\ 98285473650633142706909860844035965800397*c_0110_5^24 + 85559618328153883243228723301072611438883797610986997/4156472740029\ 98285473650633142706909860844035965800397*c_0110_5^22 + 310192866520675962085267863155662409650392867378796760/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^20 + 649639704784258328360710802623107683653064773986477998/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^18 + 282537316694163053503095533300845309615639199773124717/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^16 - 2188112223450274791535427663466549984676271963257143829/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^14 - 1735436357509592182318351750681056695928444308455498522/13854909133\ 4332761824550211047568969953614678655266799*c_0110_5^12 - 1613254303821250931057446276427252145298664279463943220/13854909133\ 4332761824550211047568969953614678655266799*c_0110_5^10 - 364405278466060570618388917434993819458617200686428633/415647274002\ 998285473650633142706909860844035965800397*c_0110_5^8 + 4057463025370743788721947325888512158470026013307293794/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^6 + 2193208619001732332725735157337961254075281834863656601/41564727400\ 2998285473650633142706909860844035965800397*c_0110_5^4 - 274619016953686990069444171406117960287193435106838696/138549091334\ 332761824550211047568969953614678655266799*c_0110_5^2 - 1602497048015313600383766851116936416488579689519831/46183030444777\ 587274850070349189656651204892885088933, c_0110_5^32 - 12*c_0110_5^30 - 440*c_0110_5^28 - 4534*c_0110_5^26 - 26483*c_0110_5^24 - 98957*c_0110_5^22 - 220616*c_0110_5^20 - 152879*c_0110_5^18 + 580300*c_0110_5^16 + 1684857*c_0110_5^14 + 1972221*c_0110_5^12 + 758662*c_0110_5^10 - 858848*c_0110_5^8 - 872293*c_0110_5^6 - 67254*c_0110_5^4 - 3114*c_0110_5^2 + 972 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB