Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 374835920] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0299 geometric_solution 4.34084005 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.574774059437 0.303694830696 0 0 1 1 0132 2310 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 0 0 0 0 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.629719762846 0.093748606495 3 0 0 4 0132 0132 1023 0132 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 1 0 -1 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.192513982244 0.832602292845 2 4 4 5 0132 2310 1302 0132 0 0 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 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.246578382717 0.515093333999 3 5 2 3 2031 1023 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 1 -1 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.246578382717 0.515093333999 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 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.173615824038 0.457596601242 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.611763738610 0.252073293715 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0110_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 416076523816713844076103780522865950494/436392950070321482780096844\ 057751439*c_0110_6^20 - 48641057809039748290132684595416730950731/3\ 491143600562571862240774752462011512*c_0110_6^19 + 288402448574225561533652047987680537081137/349114360056257186224077\ 4752462011512*c_0110_6^18 + 169528018638829873582853311916412858451\ 1919/3491143600562571862240774752462011512*c_0110_6^17 + 3837789898816278642829055172113348006969477/34911436005625718622407\ 74752462011512*c_0110_6^16 - 48687384064266485188755660790463862401\ 08241/3491143600562571862240774752462011512*c_0110_6^15 - 5463254877957851446870953154419138050755321/17455718002812859311203\ 87376231005756*c_0110_6^14 - 86976025188881733670149518769966513457\ 1083/1745571800281285931120387376231005756*c_0110_6^13 - 3353159626402773063736271210904950385870195/87278590014064296556019\ 3688115502878*c_0110_6^12 - 659558142154472776857007478291168593840\ 4465/1745571800281285931120387376231005756*c_0110_6^11 + 15008347775774251224318089829721579478062321/1745571800281285931120\ 387376231005756*c_0110_6^10 + 4049377484108767257581556810798917678\ 4612071/3491143600562571862240774752462011512*c_0110_6^9 + 2832344740636585138585417440378098197132957/87278590014064296556019\ 3688115502878*c_0110_6^8 + 1410084297221560490271119801282763079612\ 033/1745571800281285931120387376231005756*c_0110_6^7 + 6964681306482680815642464930615357068491791/34911436005625718622407\ 74752462011512*c_0110_6^6 + 287602921056199781006407479473370536210\ 901/1745571800281285931120387376231005756*c_0110_6^5 - 688944000541404582288898507026311892185965/436392950070321482780096\ 844057751439*c_0110_6^4 - 43463641045909492622863415168431995351073\ 83/3491143600562571862240774752462011512*c_0110_6^3 - 377458211978395741717214491926990798917509/872785900140642965560193\ 688115502878*c_0110_6^2 - 65673570278009811367072504587267718552397\ /872785900140642965560193688115502878*c_0110_6 - 19019367864118532229835384252725832655911/3491143600562571862240774\ 752462011512, c_0011_0 - 1, c_0011_4 + 3218033891498232795080300842732081521/4363929500703214827800\ 96844057751439*c_0110_6^20 + 48231695751898546884145683892599391197\ /436392950070321482780096844057751439*c_0110_6^19 - 261773816093214090145019803528604103984/436392950070321482780096844\ 057751439*c_0110_6^18 - 1751752690631334024723803342066225465478/43\ 6392950070321482780096844057751439*c_0110_6^17 - 4270456860001867752302878878966890783643/43639295007032148278009684\ 4057751439*c_0110_6^16 + 3588041224797883683797477059308142215868/4\ 36392950070321482780096844057751439*c_0110_6^15 + 12874815728926090574994267013913338118305/4363929500703214827800968\ 44057751439*c_0110_6^14 + 4535453000405611985586811534627742295130/\ 436392950070321482780096844057751439*c_0110_6^13 + 12187837240784711154036866786641000120365/4363929500703214827800968\ 44057751439*c_0110_6^12 + 17975479094670614089960912125655664408881\ /436392950070321482780096844057751439*c_0110_6^11 - 26752839017426153627738812912635132220112/4363929500703214827800968\ 44057751439*c_0110_6^10 - 51189935448566866659416761278853276653929\ /436392950070321482780096844057751439*c_0110_6^9 - 19801134732314696938243877184260110740625/4363929500703214827800968\ 44057751439*c_0110_6^8 - 2439151819664443830158023673927396174490/4\ 36392950070321482780096844057751439*c_0110_6^7 - 7844344086327199996788002122765736817507/43639295007032148278009684\ 4057751439*c_0110_6^6 - 2547315845852797664477855260228914712421/43\ 6392950070321482780096844057751439*c_0110_6^5 + 6097836512805617679884444576850807573629/43639295007032148278009684\ 4057751439*c_0110_6^4 + 5840928540499809389736396340184634790394/43\ 6392950070321482780096844057751439*c_0110_6^3 + 2233709146416170195617404837899664653224/43639295007032148278009684\ 4057751439*c_0110_6^2 + 414465567230615742316815487417775511418/436\ 392950070321482780096844057751439*c_0110_6 + 31340531466452620476241407121614762429/4363929500703214827800968440\ 57751439, c_0101_0 + 4122730805541895921032744736010974206/4363929500703214827800\ 96844057751439*c_0110_6^20 + 61517805629642935220424340295808954169\ /436392950070321482780096844057751439*c_0110_6^19 - 338967492044008748056805114451476033510/436392950070321482780096844\ 057751439*c_0110_6^18 - 2214998938884949194788361912058584965852/43\ 6392950070321482780096844057751439*c_0110_6^17 - 5369402175873810124649418938799621804488/43639295007032148278009684\ 4057751439*c_0110_6^16 + 4732836047373844545747124651584481930349/4\ 36392950070321482780096844057751439*c_0110_6^15 + 15750579267501693881601089027747345002383/4363929500703214827800968\ 44057751439*c_0110_6^14 + 5715209558342525677711896610775401835815/\ 436392950070321482780096844057751439*c_0110_6^13 + 16314553414801590064846119713181836107482/4363929500703214827800968\ 44057751439*c_0110_6^12 + 21538499000532149125003267526877801597928\ /436392950070321482780096844057751439*c_0110_6^11 - 33584212141585944335061557543229063368963/4363929500703214827800968\ 44057751439*c_0110_6^10 - 62577771937757549411319939916797514760276\ /436392950070321482780096844057751439*c_0110_6^9 - 26116984761047086910252237607555895801995/4363929500703214827800968\ 44057751439*c_0110_6^8 - 4535308175986907116413880403212322596288/4\ 36392950070321482780096844057751439*c_0110_6^7 - 9379616152031413916018029050409479762244/43639295007032148278009684\ 4057751439*c_0110_6^6 - 3151058701548344590293574209388624476532/43\ 6392950070321482780096844057751439*c_0110_6^5 + 7262553513914423670681845005071664478092/43639295007032148278009684\ 4057751439*c_0110_6^4 + 7372666485971546357435229780679976510659/43\ 6392950070321482780096844057751439*c_0110_6^3 + 2991615379459658004378852737397483144461/43639295007032148278009684\ 4057751439*c_0110_6^2 + 591926226064694549540884411037776829530/436\ 392950070321482780096844057751439*c_0110_6 + 47812010335956715340339888938640319047/4363929500703214827800968440\ 57751439, c_0101_1 - 12586154795758581194608251830109929170/436392950070321482780\ 096844057751439*c_0110_6^20 - 1833877855143658546894232032753254805\ 09/436392950070321482780096844057751439*c_0110_6^19 + 1098334326530010159231728244960263262183/43639295007032148278009684\ 4057751439*c_0110_6^18 + 6364289450807243075658996930278931891405/4\ 36392950070321482780096844057751439*c_0110_6^17 + 14237164516364586518695418379950143380354/4363929500703214827800968\ 44057751439*c_0110_6^16 - 19036946395035977651940531080114380641749\ /436392950070321482780096844057751439*c_0110_6^15 - 40553721996540849948572387880495302030552/4363929500703214827800968\ 44057751439*c_0110_6^14 - 4763603784473626865031438114392652522951/\ 436392950070321482780096844057751439*c_0110_6^13 - 50362856194700745350145074587242893435213/4363929500703214827800968\ 44057751439*c_0110_6^12 - 47812193032208269373217231433649917563927\ /436392950070321482780096844057751439*c_0110_6^11 + 115686161275883248775183370865043488160327/436392950070321482780096\ 844057751439*c_0110_6^10 + 1483847775720673439695992918401678803333\ 25/436392950070321482780096844057751439*c_0110_6^9 + 35951259567271734942508638412443470213475/4363929500703214827800968\ 44057751439*c_0110_6^8 + 8695245686449032741406607785085838710504/4\ 36392950070321482780096844057751439*c_0110_6^7 + 26200387350333147594541636803762935305097/4363929500703214827800968\ 44057751439*c_0110_6^6 + 1085303205761588508823932924479659029282/4\ 36392950070321482780096844057751439*c_0110_6^5 - 21040910872830205569392755524065294674210/4363929500703214827800968\ 44057751439*c_0110_6^4 - 15471948225655889150298416124569236019167/\ 436392950070321482780096844057751439*c_0110_6^3 - 4956586844329147358807693354866919103147/43639295007032148278009684\ 4057751439*c_0110_6^2 - 775566021910418578879513852613325079163/436\ 392950070321482780096844057751439*c_0110_6 - 48735020576542722652538767811469912160/4363929500703214827800968440\ 57751439, c_0101_2 - 5695257178336417838518945129151095743/4363929500703214827800\ 96844057751439*c_0110_6^20 - 81356549045907963682033298833126109100\ /436392950070321482780096844057751439*c_0110_6^19 + 519733337199749455283378853382682053953/436392950070321482780096844\ 057751439*c_0110_6^18 + 2724337056117825568384060372461445041240/43\ 6392950070321482780096844057751439*c_0110_6^17 + 5711789067747599103886757936391327262480/43639295007032148278009684\ 4057751439*c_0110_6^16 - 10016455276350867101897735178967489266367/\ 436392950070321482780096844057751439*c_0110_6^15 - 15041612106326729875194125649919406679717/4363929500703214827800968\ 44057751439*c_0110_6^14 + 1143462462965378462153174363928284374753/\ 436392950070321482780096844057751439*c_0110_6^13 - 24213004500490616924865016190940595472470/4363929500703214827800968\ 44057751439*c_0110_6^12 - 14327626352444904823817440755679192279839\ /436392950070321482780096844057751439*c_0110_6^11 + 54227072017873406640470393013659554943312/4363929500703214827800968\ 44057751439*c_0110_6^10 + 50905947562167438584292591211722131302609\ /436392950070321482780096844057751439*c_0110_6^9 + 6753995605034405633935958014465957389316/43639295007032148278009684\ 4057751439*c_0110_6^8 + 5291989408841302119745980357622159462487/43\ 6392950070321482780096844057751439*c_0110_6^7 + 10025787324587795862562760298476248078327/4363929500703214827800968\ 44057751439*c_0110_6^6 - 1866470167542723418896436738440719020956/4\ 36392950070321482780096844057751439*c_0110_6^5 - 8200157625562035605123152491740675313440/43639295007032148278009684\ 4057751439*c_0110_6^4 - 5033011231000287341297555305908449214438/43\ 6392950070321482780096844057751439*c_0110_6^3 - 1452180972202468159071455210273405308964/43639295007032148278009684\ 4057751439*c_0110_6^2 - 210646609334995668568386386188273086804/436\ 392950070321482780096844057751439*c_0110_6 - 12650778656430913867269972940568759988/4363929500703214827800968440\ 57751439, c_0110_4 + 8376801803852321694340664584780709498/4363929500703214827800\ 96844057751439*c_0110_6^20 + 12239754576729885045635055326085499537\ 5/436392950070321482780096844057751439*c_0110_6^19 - 725910555311932517383310459706137627888/436392950070321482780096844\ 057751439*c_0110_6^18 - 4264310490694343950191221024067779235160/43\ 6392950070321482780096844057751439*c_0110_6^17 - 9659333240386637461522890904382175012755/43639295007032148278009684\ 4057751439*c_0110_6^16 + 12241964644959109621587241363876812241330/\ 436392950070321482780096844057751439*c_0110_6^15 + 27441478539273030699920214811039902375708/4363929500703214827800968\ 44057751439*c_0110_6^14 + 4518986036158450259931148836984079474908/\ 436392950070321482780096844057751439*c_0110_6^13 + 33739860142700684428895740234384513756223/4363929500703214827800968\ 44057751439*c_0110_6^12 + 33055168103692983791760705244906226231883\ /436392950070321482780096844057751439*c_0110_6^11 - 75197933196980724283692185700494732859220/4363929500703214827800968\ 44057751439*c_0110_6^10 - 10203710105320985121138864104321179915166\ 4/436392950070321482780096844057751439*c_0110_6^9 - 28926558134995804042859359572527914414790/4363929500703214827800968\ 44057751439*c_0110_6^8 - 6937431221739060546640152087318820962657/4\ 36392950070321482780096844057751439*c_0110_6^7 - 17436790876532777536194498950032287674858/4363929500703214827800968\ 44057751439*c_0110_6^6 - 1568114350011681212747265434410578738374/4\ 36392950070321482780096844057751439*c_0110_6^5 + 13882154956624694405884689493631863322834/4363929500703214827800968\ 44057751439*c_0110_6^4 + 10993887730363743030204848131905480010384/\ 436392950070321482780096844057751439*c_0110_6^3 + 3806327702828794694152974266504570050513/43639295007032148278009684\ 4057751439*c_0110_6^2 + 654657140785471961645028525413173068050/436\ 392950070321482780096844057751439*c_0110_6 + 46179289972653954584799547274384901501/4363929500703214827800968440\ 57751439, c_0110_6^21 + 15*c_0110_6^20 - 81*c_0110_6^19 - 543*c_0110_6^18 - 1349*c_0110_6^17 + 1022*c_0110_6^16 + 3860*c_0110_6^15 + 1772*c_0110_6^14 + 4202*c_0110_6^13 + 5526*c_0110_6^12 - 7533*c_0110_6^11 - 15682*c_0110_6^10 - 8000*c_0110_6^9 - 2065*c_0110_6^8 - 2412*c_0110_6^7 - 974*c_0110_6^6 + 1609*c_0110_6^5 + 1942*c_0110_6^4 + 942*c_0110_6^3 + 245*c_0110_6^2 + 34*c_0110_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB