Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 762098125] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0661 geometric_solution 4.63896345 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 1 -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 0 0 0 1.921202299411 0.511881348621 0 2 3 0 0132 0132 0132 3201 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 1 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.389886801364 0.889432696277 4 1 3 3 0132 0132 1302 2031 0 0 0 0 0 1 0 -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 1 0 -1 0 0 1 -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.354666441210 0.377773756065 2 2 4 1 2031 1302 2310 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 1 0 -1 0 0 -1 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354666441210 0.377773756065 2 3 5 5 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.957108167481 1.740415835380 6 4 4 6 0132 3201 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 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.007392309878 0.320912589622 5 6 6 5 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.477404515453 1.054031138875 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 22001130245544749547911415183891690280073375418090299/1607899334034\ 81172029061835736296275840699777681328*c_0101_6^17 + 42386252866907179017387838877012938271920553318695119/8039496670174\ 0586014530917868148137920349888840664*c_0101_6^16 + 62640399743256433985907518546727433217268458870951975/8039496670174\ 0586014530917868148137920349888840664*c_0101_6^15 - 1224775652232835010374093035434628756855157060344042673/16078993340\ 3481172029061835736296275840699777681328*c_0101_6^14 + 2769423824457597841686117443174312069759674726442155001/16078993340\ 3481172029061835736296275840699777681328*c_0101_6^13 - 271918167073115086244505273439678620492064405043196411/100493708377\ 17573251816364733518517240043736105083*c_0101_6^12 + 8629604819674567900063678545643958564721461493594345397/80394966701\ 740586014530917868148137920349888840664*c_0101_6^11 - 22217783789960859624049599230009524624104864578319156547/1607899334\ 03481172029061835736296275840699777681328*c_0101_6^10 + 27627685828252494066565559957108500646196374598711990623/1607899334\ 03481172029061835736296275840699777681328*c_0101_6^9 - 1850153624635922939337226932921903233160376576498971921/40197483350\ 870293007265458934074068960174944420332*c_0101_6^8 - 3836238363975325371740835312927099653322720105645125497/20098741675\ 435146503632729467037034480087472210166*c_0101_6^7 + 7316140154420932318787780145131124127540265835565388913/16078993340\ 3481172029061835736296275840699777681328*c_0101_6^6 + 726751262429830560014829175053436744093159027109581827/803949667017\ 40586014530917868148137920349888840664*c_0101_6^5 + 6308670045605099221278954905324189694640007122995517769/16078993340\ 3481172029061835736296275840699777681328*c_0101_6^4 + 2913417110515389003918767525761818290541571746909515949/16078993340\ 3481172029061835736296275840699777681328*c_0101_6^3 + 43919550005821097667400963221787319048502005741772795/1607899334034\ 81172029061835736296275840699777681328*c_0101_6^2 + 18917005247256485484378527674139936129460311538937441/1607899334034\ 81172029061835736296275840699777681328*c_0101_6 + 674998208577803150095147255184888746976928362763059/401974833508702\ 93007265458934074068960174944420332, c_0011_0 - 1, c_0011_3 - 4157645670458958621372669730662285198944303523683/1004937083\ 7717573251816364733518517240043736105083*c_0101_6^17 + 17363220579682238492966607308682373948005131792358/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^16 + 17105658459716096604972468996338089578358713869615/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^15 - 233984541675394741504232336801777488749445802268589/100493708377175\ 73251816364733518517240043736105083*c_0101_6^14 + 606311669368426740215589314325549661836199374870651/100493708377175\ 73251816364733518517240043736105083*c_0101_6^13 - 1065156952098102392577356265935183276133958893991791/10049370837717\ 573251816364733518517240043736105083*c_0101_6^12 + 3694178056495582898103365045768262204062152051794360/10049370837717\ 573251816364733518517240043736105083*c_0101_6^11 - 5531506266844198720108337062184334625183903254234303/10049370837717\ 573251816364733518517240043736105083*c_0101_6^10 + 7686040095766150366950066289373926004849663474581493/10049370837717\ 573251816364733518517240043736105083*c_0101_6^9 - 4398555134623587548303992230462425756210373535326485/10049370837717\ 573251816364733518517240043736105083*c_0101_6^8 - 3343761510135696800515027936017609380580834699078402/10049370837717\ 573251816364733518517240043736105083*c_0101_6^7 + 2729928432302899341700645169348784635072920266120981/10049370837717\ 573251816364733518517240043736105083*c_0101_6^6 - 1424347961847665747799030832271422092213597483378967/10049370837717\ 573251816364733518517240043736105083*c_0101_6^5 + 1431548404600487835528373036991764929199512844844258/10049370837717\ 573251816364733518517240043736105083*c_0101_6^4 - 252084536260653053512000992183982368314538173377306/100493708377175\ 73251816364733518517240043736105083*c_0101_6^3 + 56231058080479405555739696698847619221594756979431/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^2 - 23456532138218386955546155803387445390053715118648/1004937083771757\ 3251816364733518517240043736105083*c_0101_6 + 3320041126477773498487428850772803673536384650843/10049370837717573\ 251816364733518517240043736105083, c_0011_5 - 2674213695007213631335390078479820006525419908069/1004937083\ 7717573251816364733518517240043736105083*c_0101_6^17 + 10920220050671507021533826375777735875761460680174/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^16 + 12076827315320972310206999569966677684527676142659/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^15 - 149430792925162951163986352595643513199927396269124/100493708377175\ 73251816364733518517240043736105083*c_0101_6^14 + 375129033407377680120913049360154242255140230550140/100493708377175\ 73251816364733518517240043736105083*c_0101_6^13 - 648123867360801043884890949833260699315251173335324/100493708377175\ 73251816364733518517240043736105083*c_0101_6^12 + 2317848658461895382212949299830882719729846497431030/10049370837717\ 573251816364733518517240043736105083*c_0101_6^11 - 3351255462668259899677594156236634961225565440878670/10049370837717\ 573251816364733518517240043736105083*c_0101_6^10 + 4618439548131347922752528224433757194622651950313467/10049370837717\ 573251816364733518517240043736105083*c_0101_6^9 - 2482846016017077801742433457010103060480116542465480/10049370837717\ 573251816364733518517240043736105083*c_0101_6^8 - 2312769922898073119471460619480103524166589867933384/10049370837717\ 573251816364733518517240043736105083*c_0101_6^7 + 1306828887784400987049136798718585166864907396208541/10049370837717\ 573251816364733518517240043736105083*c_0101_6^6 - 686437489815433015461143814619406558218753219694942/100493708377175\ 73251816364733518517240043736105083*c_0101_6^5 + 984601067397594125210272509375277790750882934879961/100493708377175\ 73251816364733518517240043736105083*c_0101_6^4 - 90448246098282450200419439500431196900994156265347/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^3 + 82565228288916617385012385493176063857727638258452/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^2 - 16763323662232440900937200212195046474345247539728/1004937083771757\ 3251816364733518517240043736105083*c_0101_6 + 5147793466567026419388694426395692860149908521859/10049370837717573\ 251816364733518517240043736105083, c_0101_0 - 20265764389712367295875508745005377938625843715501/401974833\ 50870293007265458934074068960174944420332*c_0101_6^17 + 81927907663287797851050962724791011913593245391001/4019748335087029\ 3007265458934074068960174944420332*c_0101_6^16 + 97688282450821432806709662446733316497771534576703/4019748335087029\ 3007265458934074068960174944420332*c_0101_6^15 - 284345404205907095107039160766387515171099909062238/100493708377175\ 73251816364733518517240043736105083*c_0101_6^14 + 2775209881737243275405583758235139077413242200687867/40197483350870\ 293007265458934074068960174944420332*c_0101_6^13 - 4659086702842732623160434671287834327745495047518693/40197483350870\ 293007265458934074068960174944420332*c_0101_6^12 + 17107925138176139185157781431366737346373196218314605/4019748335087\ 0293007265458934074068960174944420332*c_0101_6^11 - 6067394129088731458493087024965083621916059076619299/10049370837717\ 573251816364733518517240043736105083*c_0101_6^10 + 31973238738733981901534428676986465925136354187335053/4019748335087\ 0293007265458934074068960174944420332*c_0101_6^9 - 15850981173342767969118400591502056380421797201502943/4019748335087\ 0293007265458934074068960174944420332*c_0101_6^8 - 21375722299298572061141779635457126993757418560601603/4019748335087\ 0293007265458934074068960174944420332*c_0101_6^7 + 2161192398274638624754332699182133141892269646308956/10049370837717\ 573251816364733518517240043736105083*c_0101_6^6 - 1308971469723760851611029684648897082941793613525655/20098741675435\ 146503632729467037034480087472210166*c_0101_6^5 + 8180974765962782104388547888980277203623162409510721/40197483350870\ 293007265458934074068960174944420332*c_0101_6^4 + 188406735340888683902281549497392351755174102421526/100493708377175\ 73251816364733518517240043736105083*c_0101_6^3 + 479607966038185403080601790561716543784904139728705/401974833508702\ 93007265458934074068960174944420332*c_0101_6^2 - 31102310042437208008717044971361163485201810447700/1004937083771757\ 3251816364733518517240043736105083*c_0101_6 - 1747539022970145041992773646393409207635434839553/10049370837717573\ 251816364733518517240043736105083, c_0101_1 + 4528300866683739768173040875847086327915921193297/2009874167\ 5435146503632729467037034480087472210166*c_0101_6^17 - 8832195398653043399787929406784672558238194592690/10049370837717573\ 251816364733518517240043736105083*c_0101_6^16 - 13049240362376114187749347087516792393529408673911/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^15 + 257089172313271778246969887061651686443816632858195/200987416754351\ 46503632729467037034480087472210166*c_0101_6^14 - 573860091386919345363525047877427936612853720543229/200987416754351\ 46503632729467037034480087472210166*c_0101_6^13 + 432470765613121981435950199585684679234840503275921/100493708377175\ 73251816364733518517240043736105083*c_0101_6^12 - 1739877204599844576076231680251510141684091116333647/10049370837717\ 573251816364733518517240043736105083*c_0101_6^11 + 4557965699772280431887512330413593436381613491868613/20098741675435\ 146503632729467037034480087472210166*c_0101_6^10 - 5066375441116045363428151143508837580278206875027007/20098741675435\ 146503632729467037034480087472210166*c_0101_6^9 + 521484627563414046648546590230689650424150358528204/100493708377175\ 73251816364733518517240043736105083*c_0101_6^8 + 3793476388665356270979347417316907180278178171064747/10049370837717\ 573251816364733518517240043736105083*c_0101_6^7 - 1687033339814264686798376914724212678475754761767031/20098741675435\ 146503632729467037034480087472210166*c_0101_6^6 - 636338034034459691087171117977941562607503728584999/100493708377175\ 73251816364733518517240043736105083*c_0101_6^5 - 1354929179465078309197450097884961971702567204163079/20098741675435\ 146503632729467037034480087472210166*c_0101_6^4 - 933214355816587966573179706664887508291856577801147/200987416754351\ 46503632729467037034480087472210166*c_0101_6^3 + 19714180003235781030715416727844801766496007988537/2009874167543514\ 6503632729467037034480087472210166*c_0101_6^2 + 7462551716961520906101978673789166585464699492461/20098741675435146\ 503632729467037034480087472210166*c_0101_6 + 2717581130617565851952931951774014994581876262494/10049370837717573\ 251816364733518517240043736105083, c_0101_4 - 3621447283723719502280940483696206113923330368614/1004937083\ 7717573251816364733518517240043736105083*c_0101_6^17 + 13929330786945564849722749127265714348359297246543/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^16 + 19555548625464317722056983898551101637431755680253/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^15 - 197632557967350170022345214450324344228857419136625/100493708377175\ 73251816364733518517240043736105083*c_0101_6^14 + 462702921394934705608724547331047316517368366196372/100493708377175\ 73251816364733518517240043736105083*c_0101_6^13 - 771446979835092919830582745758620502427537137835433/100493708377175\ 73251816364733518517240043736105083*c_0101_6^12 + 2953605373103558913695598261498299595572657168511309/10049370837717\ 573251816364733518517240043736105083*c_0101_6^11 - 3828115192852074121471181765893022394026486709183182/10049370837717\ 573251816364733518517240043736105083*c_0101_6^10 + 5378512277640371008480309254849157086494044242164762/10049370837717\ 573251816364733518517240043736105083*c_0101_6^9 - 1966821809546385836170990241802155422065402881306055/10049370837717\ 573251816364733518517240043736105083*c_0101_6^8 - 3662095965080095275720225053850573545440270023129642/10049370837717\ 573251816364733518517240043736105083*c_0101_6^7 + 1231657316990998103294667220994136608664960983550838/10049370837717\ 573251816364733518517240043736105083*c_0101_6^6 - 751100770567382947222658490172455045555529246000554/100493708377175\ 73251816364733518517240043736105083*c_0101_6^5 + 955551039509598806620274327498420214628232643480247/100493708377175\ 73251816364733518517240043736105083*c_0101_6^4 + 53075771712749377474566983105700717190925605386612/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^3 + 55422827675857521350568889600307825537853099289358/1004937083771757\ 3251816364733518517240043736105083*c_0101_6^2 + 4880910754460984016626913976119231447939223519570/10049370837717573\ 251816364733518517240043736105083*c_0101_6 + 1971547950794467672240746885288184239360980825144/10049370837717573\ 251816364733518517240043736105083, c_0101_6^18 - 119/29*c_0101_6^17 - 133/29*c_0101_6^16 + 1638/29*c_0101_6^15 - 4071/29*c_0101_6^14 + 6887/29*c_0101_6^13 - 24807/29*c_0101_6^12 + 36058/29*c_0101_6^11 - 47449/29*c_0101_6^10 + 24581/29*c_0101_6^9 + 30461/29*c_0101_6^8 - 15338/29*c_0101_6^7 + 4554/29*c_0101_6^6 - 10985/29*c_0101_6^5 - 726/29*c_0101_6^4 - 629/29*c_0101_6^3 + 54/29*c_0101_6^2 - 16/29*c_0101_6 - 8/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB