Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 3086363474] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0783 geometric_solution 4.72408859 oriented_manifold CS_known 0.0000000000000002 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 -0.963192024669 0.607443407680 0 0 4 3 0132 3201 0132 0132 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.952412988203 1.611106568429 0 0 2 2 3201 0132 2031 1302 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.410437834053 0.036380438310 5 4 1 4 0132 2031 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -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 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.643721010515 0.686543206856 3 5 3 1 1302 3201 1230 0132 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 -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.643721010515 0.686543206856 3 6 4 6 0132 0132 2310 2310 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 -1 0 0 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.539861265752 1.020798334993 5 5 6 6 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 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.484641439217 0.147352160422 ==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_0101_0']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0101_1']), 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), '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_3'], 'c_0011_6' : 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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), '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_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_0101_0, c_0101_1, c_0101_5, c_0110_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 2825405112990339397067052349875340565731982423040/60207083011478928\ 290026127400881623192523916157*c_0110_6^22 + 11244137025037752035803964572369628249280241478419/6020708301147892\ 8290026127400881623192523916157*c_0110_6^21 + 126093168602463299060111249492590769383289496967703/602070830114789\ 28290026127400881623192523916157*c_0110_6^20 - 466419940914915284481554939899178342531852772468545/602070830114789\ 28290026127400881623192523916157*c_0110_6^19 - 678972045837876273659297707964979305612506807849318/602070830114789\ 28290026127400881623192523916157*c_0110_6^18 + 2251589429539385000394987994848776397319789028966465/60207083011478\ 928290026127400881623192523916157*c_0110_6^17 + 1864350845777545681729523132811020359122779768227889/60207083011478\ 928290026127400881623192523916157*c_0110_6^16 - 3291072149682987859768632030483212624613880626110120/60207083011478\ 928290026127400881623192523916157*c_0110_6^15 - 6367304662245035800665602300558520326562454308597339/60207083011478\ 928290026127400881623192523916157*c_0110_6^14 + 6318352833363537543914416742667687716756116774239347/60207083011478\ 928290026127400881623192523916157*c_0110_6^13 + 5202418571741619404348799494976244218550162013516858/60207083011478\ 928290026127400881623192523916157*c_0110_6^12 - 3736570986450305480380570616730973922729680463310656/60207083011478\ 928290026127400881623192523916157*c_0110_6^11 - 6248751929356105104515315311912641774599314159849606/60207083011478\ 928290026127400881623192523916157*c_0110_6^10 + 4971160025155670898794326299348617931110770897890934/60207083011478\ 928290026127400881623192523916157*c_0110_6^9 + 3633102973956852473202177499387613245005241042275780/60207083011478\ 928290026127400881623192523916157*c_0110_6^8 - 3697630612683383043139288252429587883626494855398486/60207083011478\ 928290026127400881623192523916157*c_0110_6^7 - 929893310561879439246492762961142770513244636164556/602070830114789\ 28290026127400881623192523916157*c_0110_6^6 + 977795306864585513776541557923049708150121328346099/602070830114789\ 28290026127400881623192523916157*c_0110_6^5 + 234055234994221190061484292196673145041438470826677/602070830114789\ 28290026127400881623192523916157*c_0110_6^4 - 85888013262967084666542462286831170888417225864012/6020708301147892\ 8290026127400881623192523916157*c_0110_6^3 - 46082670925312257208299410794648370718327217531680/6020708301147892\ 8290026127400881623192523916157*c_0110_6^2 - 176704496430450333921500672733673429886594544890/602070830114789282\ 90026127400881623192523916157*c_0110_6 + 2051211632063061107709439516706629662546062070241/60207083011478928\ 290026127400881623192523916157, c_0011_0 - 1, c_0011_3 + 144876021775133745385321375014656647844432432635/60207083011\ 478928290026127400881623192523916157*c_0110_6^22 - 554777363170957331999508556824165768632124933256/602070830114789282\ 90026127400881623192523916157*c_0110_6^21 - 6565761831121316073652621346319057947836331605835/60207083011478928\ 290026127400881623192523916157*c_0110_6^20 + 22996309798904473924749886585010139095008096837745/6020708301147892\ 8290026127400881623192523916157*c_0110_6^19 + 39011921358847980864484287923941061319363706864094/6020708301147892\ 8290026127400881623192523916157*c_0110_6^18 - 112344472955684636986916877246041084508204022064285/602070830114789\ 28290026127400881623192523916157*c_0110_6^17 - 116097239270954486209160905383023344937911855318673/602070830114789\ 28290026127400881623192523916157*c_0110_6^16 + 163606696251546486029803412465823633802835524659839/602070830114789\ 28290026127400881623192523916157*c_0110_6^15 + 359515846891795501982122602834084228035793146838365/602070830114789\ 28290026127400881623192523916157*c_0110_6^14 - 284735725993183486353901352551789056919745208202792/602070830114789\ 28290026127400881623192523916157*c_0110_6^13 - 339843201547367018304435571886708934378493039535162/602070830114789\ 28290026127400881623192523916157*c_0110_6^12 + 174219212167183090989660214116613931969369065734972/602070830114789\ 28290026127400881623192523916157*c_0110_6^11 + 358032680197410273910260576918241272006940835923453/602070830114789\ 28290026127400881623192523916157*c_0110_6^10 - 216531297098753013474415101517863653847993851538308/602070830114789\ 28290026127400881623192523916157*c_0110_6^9 - 241776828324586420684084582460947036978021345739704/602070830114789\ 28290026127400881623192523916157*c_0110_6^8 + 182349385457714569089190120180882203469693272308260/602070830114789\ 28290026127400881623192523916157*c_0110_6^7 + 81095933606337702749259076262707510057292861342042/6020708301147892\ 8290026127400881623192523916157*c_0110_6^6 - 54340508162025104087405677463590310751445340489174/6020708301147892\ 8290026127400881623192523916157*c_0110_6^5 - 16001767741766628225905893832746252910442395387438/6020708301147892\ 8290026127400881623192523916157*c_0110_6^4 + 4147506347059839488264063541980757730993898004931/60207083011478928\ 290026127400881623192523916157*c_0110_6^3 + 1910102883402299050733461922723035817738002674571/60207083011478928\ 290026127400881623192523916157*c_0110_6^2 + 106472949448469848312030618158882264392195586439/602070830114789282\ 90026127400881623192523916157*c_0110_6 - 86299554389646617309243164674377461562618870799/6020708301147892829\ 0026127400881623192523916157, c_0101_0 + 159897584595260030606872984223948651052186435695/60207083011\ 478928290026127400881623192523916157*c_0110_6^22 - 597577787518653968394381706767197264434558387102/602070830114789282\ 90026127400881623192523916157*c_0110_6^21 - 7293039112921865232989672590332610071645722981714/60207083011478928\ 290026127400881623192523916157*c_0110_6^20 + 24688000981615055056070455684603035972998347768152/6020708301147892\ 8290026127400881623192523916157*c_0110_6^19 + 44906812363622925787193672717568732501019544231664/6020708301147892\ 8290026127400881623192523916157*c_0110_6^18 - 119041389315381559345464708475967072109321711278302/602070830114789\ 28290026127400881623192523916157*c_0110_6^17 - 135309806960442225142829879116450400175046281438012/602070830114789\ 28290026127400881623192523916157*c_0110_6^16 + 165297531140040888979398433108839641092126687264407/602070830114789\ 28290026127400881623192523916157*c_0110_6^15 + 398974761793872468706992056641137763693118908273627/602070830114789\ 28290026127400881623192523916157*c_0110_6^14 - 279800701557930974858717517739881397399376805432446/602070830114789\ 28290026127400881623192523916157*c_0110_6^13 - 375682401649279791353505608547758173870085598940825/602070830114789\ 28290026127400881623192523916157*c_0110_6^12 + 169234193871828768940725410455894753200845322705842/602070830114789\ 28290026127400881623192523916157*c_0110_6^11 + 386760511042258623936818026179472288476779709891519/602070830114789\ 28290026127400881623192523916157*c_0110_6^10 - 215410271569105416435358027497160862582971338066679/602070830114789\ 28290026127400881623192523916157*c_0110_6^9 - 268730399593680254551553250646644540767621334600471/602070830114789\ 28290026127400881623192523916157*c_0110_6^8 + 185568164332545637885737688032193922493627750820827/602070830114789\ 28290026127400881623192523916157*c_0110_6^7 + 88973695879774724604032614861588707524644920623446/6020708301147892\ 8290026127400881623192523916157*c_0110_6^6 - 56419447518913079639615749188403643804128902222647/6020708301147892\ 8290026127400881623192523916157*c_0110_6^5 - 15728333034827594101920235145006366372934889668028/6020708301147892\ 8290026127400881623192523916157*c_0110_6^4 + 4646758544305199014157287434016512966195234628077/60207083011478928\ 290026127400881623192523916157*c_0110_6^3 + 1900270865987586363514659394046829344239835499516/60207083011478928\ 290026127400881623192523916157*c_0110_6^2 + 91788278563179616200204479344709388684410292946/6020708301147892829\ 0026127400881623192523916157*c_0110_6 - 89393118623194361590035380931733297360479836292/6020708301147892829\ 0026127400881623192523916157, c_0101_1 - 103527739190393618437686109565278785252345425960/60207083011\ 478928290026127400881623192523916157*c_0110_6^22 + 377148786083614239641386362061989537332251539616/602070830114789282\ 90026127400881623192523916157*c_0110_6^21 + 4769924105037853842233656157862096985644793831186/60207083011478928\ 290026127400881623192523916157*c_0110_6^20 - 15586394188930630506064175063145900376210234787977/6020708301147892\ 8290026127400881623192523916157*c_0110_6^19 - 31089699427714668527476929072493013836437424716453/6020708301147892\ 8290026127400881623192523916157*c_0110_6^18 + 76290527514487766180850493360906417063155136004506/6020708301147892\ 8290026127400881623192523916157*c_0110_6^17 + 97428114858122832338320466729488976844534177186524/6020708301147892\ 8290026127400881623192523916157*c_0110_6^16 - 108323959850410629465660404875222528717633219422417/602070830114789\ 28290026127400881623192523916157*c_0110_6^15 - 274943459618629682257572478356573265113328683722387/602070830114789\ 28290026127400881623192523916157*c_0110_6^14 + 171424317612628058319642959025709093952592763088443/602070830114789\ 28290026127400881623192523916157*c_0110_6^13 + 284541510978411946664265579807136127283698736449027/602070830114789\ 28290026127400881623192523916157*c_0110_6^12 - 115677907920503536654165143118917085048887842054629/602070830114789\ 28290026127400881623192523916157*c_0110_6^11 - 279204240477815502939903462317780686982284335383932/602070830114789\ 28290026127400881623192523916157*c_0110_6^10 + 134731693592818901328639953321415783901760569651646/602070830114789\ 28290026127400881623192523916157*c_0110_6^9 + 209726393215485167774709798311431284344419998761649/602070830114789\ 28290026127400881623192523916157*c_0110_6^8 - 127011280319039958072668074844494646671862361860099/602070830114789\ 28290026127400881623192523916157*c_0110_6^7 - 81220475627193753756519049160358153198503937638079/6020708301147892\ 8290026127400881623192523916157*c_0110_6^6 + 48909656282673555042812965842015200730642111846231/6020708301147892\ 8290026127400881623192523916157*c_0110_6^5 + 14659768535700236094720859028621328487874859045245/6020708301147892\ 8290026127400881623192523916157*c_0110_6^4 - 6597960733354991566179291247750806993149949384334/60207083011478928\ 290026127400881623192523916157*c_0110_6^3 - 1401816089034860724909631890539404798234490284590/60207083011478928\ 290026127400881623192523916157*c_0110_6^2 + 76891696466829292843532522018427414006967011915/6020708301147892829\ 0026127400881623192523916157*c_0110_6 + 82054662341638772701863723757989898732441820903/6020708301147892829\ 0026127400881623192523916157, c_0101_5 + 3037053910159747604778530335590515150986307875/6020708301147\ 8928290026127400881623192523916157*c_0110_6^22 - 8687226058799041877977448570444551087760320615/60207083011478928290\ 026127400881623192523916157*c_0110_6^21 - 154520530908419420026292127136233785801819810881/602070830114789282\ 90026127400881623192523916157*c_0110_6^20 + 365854062581488826573122335806151009446888473704/602070830114789282\ 90026127400881623192523916157*c_0110_6^19 + 1551834919455504089840425770412010054999260659313/60207083011478928\ 290026127400881623192523916157*c_0110_6^18 - 2243179927119640463542877570851761563430555869930/60207083011478928\ 290026127400881623192523916157*c_0110_6^17 - 6722582170230507399231056554080751039256652840109/60207083011478928\ 290026127400881623192523916157*c_0110_6^16 + 3723969977788379601031049198687276726291364168325/60207083011478928\ 290026127400881623192523916157*c_0110_6^15 + 17285774131461975137133156153161676229405457977218/6020708301147892\ 8290026127400881623192523916157*c_0110_6^14 + 707317952485193392939246384373718498449501153515/602070830114789282\ 90026127400881623192523916157*c_0110_6^13 - 27054950514628918224939686014253927861635863825560/6020708301147892\ 8290026127400881623192523916157*c_0110_6^12 - 4434346732109512705452325520640076422446371077284/60207083011478928\ 290026127400881623192523916157*c_0110_6^11 + 21823078764243449181272452537774282011309113643225/6020708301147892\ 8290026127400881623192523916157*c_0110_6^10 + 6905774044513619809630912188192409520568507771033/60207083011478928\ 290026127400881623192523916157*c_0110_6^9 - 19065161504730122914685551331154547333050832183875/6020708301147892\ 8290026127400881623192523916157*c_0110_6^8 - 1900966556813816803588828234966321709693059238596/60207083011478928\ 290026127400881623192523916157*c_0110_6^7 + 12692826794868541165564532759279234060777821776675/6020708301147892\ 8290026127400881623192523916157*c_0110_6^6 + 1084227933816991401000224305907272544224726978079/60207083011478928\ 290026127400881623192523916157*c_0110_6^5 - 3372421593931652696627431315613300899306256935628/60207083011478928\ 290026127400881623192523916157*c_0110_6^4 - 1159418670136642143396798419562757876853955214038/60207083011478928\ 290026127400881623192523916157*c_0110_6^3 + 45820194469617242781630384732809629629137234926/6020708301147892829\ 0026127400881623192523916157*c_0110_6^2 + 206923429372186910966908527059469858926794449188/602070830114789282\ 90026127400881623192523916157*c_0110_6 + 12718513765395647620622946942591201634458167222/6020708301147892829\ 0026127400881623192523916157, c_0110_2 - 197090302915803023106550077668036009672753754725/60207083011\ 478928290026127400881623192523916157*c_0110_6^22 + 731678718804004424072281470987867732880415155555/602070830114789282\ 90026127400881623192523916157*c_0110_6^21 + 8994733517258967762791286886938565663813319588973/60207083011478928\ 290026127400881623192523916157*c_0110_6^20 - 30162396597019715884395654701895897348129242422393/6020708301147892\ 8290026127400881623192523916157*c_0110_6^19 - 55506179312852685793187533660354306924688647266521/6020708301147892\ 8290026127400881623192523916157*c_0110_6^18 + 143542118864285942520425754466269800592659115746488/602070830114789\ 28290026127400881623192523916157*c_0110_6^17 + 166400648981927894243419032812574836600326887424434/602070830114789\ 28290026127400881623192523916157*c_0110_6^16 - 191756889050882312937133034031545848680958014455748/602070830114789\ 28290026127400881623192523916157*c_0110_6^15 - 484180692253727733495279798954545681993127795486345/602070830114789\ 28290026127400881623192523916157*c_0110_6^14 + 325953522466245337843043140235809205767853637264949/602070830114789\ 28290026127400881623192523916157*c_0110_6^13 + 438610309467639119886978159066205007250793027197421/602070830114789\ 28290026127400881623192523916157*c_0110_6^12 - 188316100834903069623175203808280518496292367974245/602070830114789\ 28290026127400881623192523916157*c_0110_6^11 - 455395662470119166638635171029694417654546018421778/602070830114789\ 28290026127400881623192523916157*c_0110_6^10 + 257185532439425787999309128113526399288651784048400/602070830114789\ 28290026127400881623192523916157*c_0110_6^9 + 310208600924534673735039718551996370888853921690660/602070830114789\ 28290026127400881623192523916157*c_0110_6^8 - 215432688275939834524481491897553429966419248927225/602070830114789\ 28290026127400881623192523916157*c_0110_6^7 - 97917682505042967717550358632972816913340521893036/6020708301147892\ 8290026127400881623192523916157*c_0110_6^6 + 64330846106191701525760771512817011010209514376978/6020708301147892\ 8290026127400881623192523916157*c_0110_6^5 + 14384325025478584789995867826892491026457061894108/6020708301147892\ 8290026127400881623192523916157*c_0110_6^4 - 6760568136318091036616930075846538213886777817854/60207083011478928\ 290026127400881623192523916157*c_0110_6^3 - 1154002306929387801244866098558361244125892335278/60207083011478928\ 290026127400881623192523916157*c_0110_6^2 + 260164382469164447792808694028331093208780641755/602070830114789282\ 90026127400881623192523916157*c_0110_6 + 82403507725234331223076817835386786210910796794/6020708301147892829\ 0026127400881623192523916157, c_0110_6^23 - 18/5*c_0110_6^22 - 231/5*c_0110_6^21 + 742/5*c_0110_6^20 + 1528/5*c_0110_6^19 - 3583/5*c_0110_6^18 - 973*c_0110_6^17 + 4832/5*c_0110_6^16 + 2715*c_0110_6^15 - 7303/5*c_0110_6^14 - 13948/5*c_0110_6^13 + 4039/5*c_0110_6^12 + 2752*c_0110_6^11 - 5221/5*c_0110_6^10 - 10217/5*c_0110_6^9 + 4916/5*c_0110_6^8 + 4249/5*c_0110_6^7 - 329*c_0110_6^6 - 194*c_0110_6^5 + 149/5*c_0110_6^4 + 114/5*c_0110_6^3 + 9/5*c_0110_6^2 - c_0110_6 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB