Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3549581083] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1590 geometric_solution 5.36158033 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 2 -2 0 0 0 0 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.553384150046 0.182347634761 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.277073924789 0.354510033359 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547748918720 0.658925940289 2 5 4 6 0132 0132 3201 0132 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 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.015679505534 0.972936171196 3 6 2 5 2310 0132 0132 2310 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 0 -1 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.015679505534 0.972936171196 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 0 0 -1 1 -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.379189790545 0.361026793118 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481045975636 0.897743612051 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(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' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], '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_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], '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_0011_4']), 'c_1010_6' : d['c_0101_2'], '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_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 3135434120135742299213291203958758445428704380614903805849132891/47\ 89048077973651796488517246579958073419271405482464467815859334*c_01\ 10_5^34 - 350938654230221831203435007627212775629013625423829552352\ 682742397/957809615594730359297703449315991614683854281096492893563\ 1718668*c_0110_5^32 - 183460203672206755785550112272446857118008329\ 447350819852245562326/239452403898682589824425862328997903670963570\ 2741232233907929667*c_0110_5^30 - 604163733381364342677123067537129\ 2181295005035014869271500595031233/47890480779736517964885172465799\ 58073419271405482464467815859334*c_0110_5^28 + 3135806803845632637643396702330912398419408647066233512400958767177\ 1/4789048077973651796488517246579958073419271405482464467815859334*\ c_0110_5^26 + 21967565612097910976916233951984541596579979829460574\ 9342549199916361/95780961559473035929770344931599161468385428109649\ 28935631718668*c_0110_5^24 + 14956338301222743084623195178383343981\ 5732784190993721354864365646537/47890480779736517964885172465799580\ 73419271405482464467815859334*c_0110_5^22 - 1089980029294710660569799121021608215624712291810846685204150555663\ 935/957809615594730359297703449315991614683854281096492893563171866\ 8*c_0110_5^20 - 377433937027844832805401391489293896363397651109528\ 1415194871143251239/95780961559473035929770344931599161468385428109\ 64928935631718668*c_0110_5^18 - 15128333084862984095542313073369075\ 85815399932344055298340189698107167/9578096155947303592977034493159\ 916146838542810964928935631718668*c_0110_5^16 + 1154846287515135283091421170681825483212980742423002160860957366111\ 3967/95780961559473035929770344931599161468385428109649289356317186\ 68*c_0110_5^14 + 62956752173170076307808557613103824098652044855849\ 8303080969038160913/95780961559473035929770344931599161468385428109\ 64928935631718668*c_0110_5^12 - 10630659506408833952766607314109035\ 90384078946756847613379033210513913/4789048077973651796488517246579\ 958073419271405482464467815859334*c_0110_5^10 - 1577640089253941936942553934128823535994037493402645360196323601770\ 96/2394524038986825898244258623289979036709635702741232233907929667\ *c_0110_5^8 + 76413612474555544804598142920067794551266335769963872\ 850520854804597/478904807797365179648851724657995807341927140548246\ 4467815859334*c_0110_5^6 + 5357642726078897380884661880024052700828\ 8072664177395611381532119609/95780961559473035929770344931599161468\ 38542810964928935631718668*c_0110_5^4 + 977495813355445599376503785209417646589013003300497910843538074483/\ 9578096155947303592977034493159916146838542810964928935631718668*c_\ 0110_5^2 - 87071808341313601501426621145907238452600243461897103001\ 1373396251/95780961559473035929770344931599161468385428109649289356\ 31718668, c_0011_0 - 1, c_0011_1 + 15002125938776668270172842752916052141209952530199995191166/\ 6783354218092991213156540009320053928355908506349099812770339*c_011\ 0_5^34 - 8469016795325481418789447329262710405078541389923660147429\ 26/6783354218092991213156540009320053928355908506349099812770339*c_\ 0110_5^32 - 1346680658110314278631177028969739349879220947384935658\ 733716/678335421809299121315654000932005392835590850634909981277033\ 9*c_0110_5^30 - 279685387469669766008637101539110121187676140585374\ 87518955498/6783354218092991213156540009320053928355908506349099812\ 770339*c_0110_5^28 + 1643321649365812567714496667744759060399914950\ 02568840281481693/6783354218092991213156540009320053928355908506349\ 099812770339*c_0110_5^26 + 4549852959628988811621704655117288002185\ 81907113472276609676574/6783354218092991213156540009320053928355908\ 506349099812770339*c_0110_5^24 + 4441703675773109597704594076998108\ 90788830794278336071895024856/6783354218092991213156540009320053928\ 355908506349099812770339*c_0110_5^22 - 3006625834836789097370879942995762734185953972545649248906965449/67\ 83354218092991213156540009320053928355908506349099812770339*c_0110_\ 5^20 - 782276486314910921917817486141288240627514038687144247793135\ 0248/6783354218092991213156540009320053928355908506349099812770339*\ c_0110_5^18 + 10418231092768120312715086770191476599055830488898442\ 31828530361/6783354218092991213156540009320053928355908506349099812\ 770339*c_0110_5^16 + 3023932060355435559759361129680820348917796167\ 9255425055023392359/67833542180929912131565400093200539283559085063\ 49099812770339*c_0110_5^14 - 11667847464318643213743209872949730538\ 948846228783652575244339406/678335421809299121315654000932005392835\ 5908506349099812770339*c_0110_5^12 - 8374177023207510601013609424598244177481051188690363682008197404/67\ 83354218092991213156540009320053928355908506349099812770339*c_0110_\ 5^10 + 105028783862619892395522422839471139985431026845284291678638\ 2049/6783354218092991213156540009320053928355908506349099812770339*\ c_0110_5^8 + 122615115048310145895806716573709012329779529316537150\ 0942381544/67833542180929912131565400093200539283559085063490998127\ 70339*c_0110_5^6 + 459964242221198542217438297148079150632822576082\ 92190569187191/6783354218092991213156540009320053928355908506349099\ 812770339*c_0110_5^4 - 60611415825964258210327885771857056840885743\ 036445863417042769/678335421809299121315654000932005392835590850634\ 9099812770339*c_0110_5^2 - 1505706757083322457776653038890637759896\ 106611399187277921813/678335421809299121315654000932005392835590850\ 6349099812770339, c_0011_4 + 140159387173497499882589272183853831808374776490165576222538\ 577/478904807797365179648851724657995807341927140548246446781585933\ 4*c_0110_5^35 - 785548811862903393574473742144667598913983263558639\ 7392477552655/47890480779736517964885172465799580734192714054824644\ 67815859334*c_0110_5^33 - 78743197200993263247562630929036969844388\ 08840307294934823249131/2394524038986825898244258623289979036709635\ 702741232233907929667*c_0110_5^31 - 268614559708031256428586930616932092811384857947990408123520924473/\ 4789048077973651796488517246579958073419271405482464467815859334*c_\ 0110_5^29 + 7122360659652180165808410251064728552609534057795944718\ 78133550837/2394524038986825898244258623289979036709635702741232233\ 907929667*c_0110_5^27 + 4795881645274080089406539437896807616144025\ 281016595300642070055881/478904807797365179648851724657995807341927\ 1405482464467815859334*c_0110_5^25 + 3129754746903498370593557582339113287531134127409756056330061912128\ /2394524038986825898244258623289979036709635702741232233907929667*c\ _0110_5^23 - 124854848583464651847360282139376901738537292047007237\ 92486683429423/2394524038986825898244258623289979036709635702741232\ 233907929667*c_0110_5^21 - 8238948966959127054610622065970677071372\ 2700470387632474077243985173/47890480779736517964885172465799580734\ 19271405482464467815859334*c_0110_5^19 - 1324364708027492951049665111539443444870209589235367713827577151901\ 6/2394524038986825898244258623289979036709635702741232233907929667*\ c_0110_5^17 + 13090530496920532658166137831900771442315295822602109\ 4848750841941704/23945240389868258982442586232899790367096357027412\ 32233907929667*c_0110_5^15 - 36434481274327069427170249557134595891\ 83122471721132395641885913983/2394524038986825898244258623289979036\ 709635702741232233907929667*c_0110_5^13 - 2577617362276444403453557663405572010111871254104913970705274789364\ 4/2394524038986825898244258623289979036709635702741232233907929667*\ c_0110_5^11 - 48000073752946638450697739580301935059301030955798389\ 71575152167968/2394524038986825898244258623289979036709635702741232\ 233907929667*c_0110_5^9 + 48253092155871116754850725002239713627514\ 53215819701241724912343273/4789048077973651796488517246579958073419\ 271405482464467815859334*c_0110_5^7 + 491496655385992572879716259625452808604977315584925293921611288814/\ 2394524038986825898244258623289979036709635702741232233907929667*c_\ 0110_5^5 - 60607913351134025393277163634757004993023938864392729327\ 844409588/239452403898682589824425862328997903670963570274123223390\ 7929667*c_0110_5^3 - 1166281322450728918624088815217696811080546300\ 3492631197105902403/23945240389868258982442586232899790367096357027\ 41232233907929667*c_0110_5, c_0101_0 - 224305471029562974070865359705852712869632068458242796238233\ 181/478904807797365179648851724657995807341927140548246446781585933\ 4*c_0110_5^35 + 627868865890891185415742995884527475786207948691830\ 8208556590064/23945240389868258982442586232899790367096357027412322\ 33907929667*c_0110_5^33 + 26003580615520891302800931053476765436529\ 998022425989959453035603/478904807797365179648851724657995807341927\ 1405482464467815859334*c_0110_5^31 + 431340826161631978834229241326533110975694452445990718319400938237/\ 4789048077973651796488517246579958073419271405482464467815859334*c_\ 0110_5^29 - 2252677681743753086221705986440021307737858231657353885\ 351334165437/478904807797365179648851724657995807341927140548246446\ 7815859334*c_0110_5^27 - 782453070325502926427770752682657731457675\ 4894455071047998710413007/47890480779736517964885172465799580734192\ 71405482464467815859334*c_0110_5^25 - 1047960172577068948929565560502545690344277784384921982062216175766\ 7/4789048077973651796488517246579958073419271405482464467815859334*\ c_0110_5^23 + 19706075451580494490615938679206567031720388516651024\ 132989151426750/239452403898682589824425862328997903670963570274123\ 2233907929667*c_0110_5^21 + 134504871898893049517568365211107275436\ 314568222378233963688345414965/478904807797365179648851724657995807\ 3419271405482464467815859334*c_0110_5^19 + 5032988650371696562120055046923964807975912609753664328308241989098\ 3/4789048077973651796488517246579958073419271405482464467815859334*\ c_0110_5^17 - 20887931853781483949048076304249957155540765121779262\ 5976371982517140/23945240389868258982442586232899790367096357027412\ 32233907929667*c_0110_5^15 - 77477825443009498472314410958748657830\ 02565339259851846051548462283/2394524038986825898244258623289979036\ 709635702741232233907929667*c_0110_5^13 + 4383311489272846098395953830649221876936544141704117348162936039285\ 9/2394524038986825898244258623289979036709635702741232233907929667*\ c_0110_5^11 + 10285966390626386671457569185570479613742403896591083\ 803951026446945/239452403898682589824425862328997903670963570274123\ 2233907929667*c_0110_5^9 - 7239821647959539076034523361403463476896\ 083453757418990868393489529/478904807797365179648851724657995807341\ 9271405482464467815859334*c_0110_5^7 - 2079598137504209588441082783341691670458180953989807437923902918225\ /4789048077973651796488517246579958073419271405482464467815859334*c\ _0110_5^5 + 5190071374256271317325179857410335599113717440359182301\ 8995171514/23945240389868258982442586232899790367096357027412322339\ 07929667*c_0110_5^3 + 210976244263448663393007863924264867603314208\ 19197246463168599115/2394524038986825898244258623289979036709635702\ 741232233907929667*c_0110_5, c_0101_2 - 760983453182944620673602433531529827852694886772919250885760\ 91/2394524038986825898244258623289979036709635702741232233907929667\ *c_0110_5^35 + 4264730400917502311778159950893180597692709869216906\ 362567433297/239452403898682589824425862328997903670963570274123223\ 3907929667*c_0110_5^33 + 857042584538550171641672782020889680436492\ 8718010671889540960374/23945240389868258982442586232899790367096357\ 02741232233907929667*c_0110_5^31 + 145836514656204182045852107621628276683164150061328583186147696154/\ 2394524038986825898244258623289979036709635702741232233907929667*c_\ 0110_5^29 - 7728525831821586188340792285221201745945457132578835807\ 77176079725/2394524038986825898244258623289979036709635702741232233\ 907929667*c_0110_5^27 - 2608865491564415740374723603942019645055820\ 856460109555063020746478/239452403898682589824425862328997903670963\ 5702741232233907929667*c_0110_5^25 - 3402620271756548997396136620557849726169995631882591240964618357186\ /2394524038986825898244258623289979036709635702741232233907929667*c\ _0110_5^23 + 135712459378456614220380747571275278005805413635854616\ 94258457654089/2394524038986825898244258623289979036709635702741232\ 233907929667*c_0110_5^21 + 4483582918184034281519671285046406918387\ 9405545758412143437393707421/23945240389868258982442586232899790367\ 09635702741232233907929667*c_0110_5^19 + 1445368751271902297392605926904843570891708957066571655961408818225\ 4/2394524038986825898244258623289979036709635702741232233907929667*\ c_0110_5^17 - 14257413994281202287839779716213844233152208747454164\ 3932269362396680/23945240389868258982442586232899790367096357027412\ 32233907929667*c_0110_5^15 + 30427029377365781148419090812006132993\ 79479809053725769026320502932/2394524038986825898244258623289979036\ 709635702741232233907929667*c_0110_5^13 + 2937501034692629163264785560390508484768678176540918089600034118595\ 4/2394524038986825898244258623289979036709635702741232233907929667*\ c_0110_5^11 + 56290288327144888428678007057005233035951524550247521\ 95935264600741/2394524038986825898244258623289979036709635702741232\ 233907929667*c_0110_5^9 - 27494319517743403006801861508091813711957\ 23563922734449213867655399/2394524038986825898244258623289979036709\ 635702741232233907929667*c_0110_5^7 - 601432950108715898246432830300144724155790335183882367697938294899/\ 2394524038986825898244258623289979036709635702741232233907929667*c_\ 0110_5^5 + 53212158410222866176232545151432508559474600740084420550\ 605473095/239452403898682589824425862328997903670963570274123223390\ 7929667*c_0110_5^3 + 1296375841485860272830990216183417983804774854\ 0099818005852804752/23945240389868258982442586232899790367096357027\ 41232233907929667*c_0110_5, c_0101_3 + 39053637251910729579793887043016710550782248092321303364450/\ 6783354218092991213156540009320053928355908506349099812770339*c_011\ 0_5^34 - 2187541405483354962214376739998988793214140507150855369918\ 881/6783354218092991213156540009320053928355908506349099812770339*c\ _0110_5^32 - 446045677007956233535844768326688332007811222687051343\ 3523999/67833542180929912131565400093200539283559085063490998127703\ 39*c_0110_5^30 - 74993515323917203032429039941600536771137695055604\ 664443522134/678335421809299121315654000932005392835590850634909981\ 2770339*c_0110_5^28 + 394415991508482289525897317522664417508541500\ 259138443585387886/678335421809299121315654000932005392835590850634\ 9099812770339*c_0110_5^26 + 134930465740379315177836601494573911158\ 7900764101282092731593163/67833542180929912131565400093200539283559\ 08506349099812770339*c_0110_5^24 + 1788248270867433916473397950370639111707704550005709714092028616/67\ 83354218092991213156540009320053928355908506349099812770339*c_0110_\ 5^22 - 689571186937681181383983426175292087866083598270057638574824\ 5076/6783354218092991213156540009320053928355908506349099812770339*\ c_0110_5^20 - 23174720605624063919549117026905887222176386486906322\ 728398705211/678335421809299121315654000932005392835590850634909981\ 2770339*c_0110_5^18 - 813418518554968862406995579756312472711255139\ 9959791599870247957/67833542180929912131565400093200539283559085063\ 49099812770339*c_0110_5^16 + 72629142680215406665694507269091904192\ 393839213401335940019996609/678335421809299121315654000932005392835\ 5908506349099812770339*c_0110_5^14 + 202530100470093174907740817104025748230442548227640218856689099/678\ 3354218092991213156540009320053928355908506349099812770339*c_0110_5\ ^12 - 1441026969477188972723329532425596581046885327478803602494167\ 3843/6783354218092991213156540009320053928355908506349099812770339*\ c_0110_5^10 - 26398797059351021890016348126776351878355108630443503\ 19914671644/6783354218092991213156540009320053928355908506349099812\ 770339*c_0110_5^8 + 12556245499142346980156808712898160801724667308\ 14558762918621437/6783354218092991213156540009320053928355908506349\ 099812770339*c_0110_5^6 + 23604155125259767450837635542834587604624\ 9425638345128108273737/67833542180929912131565400093200539283559085\ 06349099812770339*c_0110_5^4 - 349900071386544561291446970171798738\ 42718367684762501100547902/6783354218092991213156540009320053928355\ 908506349099812770339*c_0110_5^2 - 2264452647817534934712453145013337086476811711444994485877229/67833\ 54218092991213156540009320053928355908506349099812770339, c_0110_5^36 - 56*c_0110_5^34 - 115*c_0110_5^32 - 1921*c_0110_5^30 + 10075*c_0110_5^28 + 34719*c_0110_5^26 + 46125*c_0110_5^24 - 176528*c_0110_5^22 - 596769*c_0110_5^20 - 214117*c_0110_5^18 + 1866952*c_0110_5^16 + 37996*c_0110_5^14 - 395080*c_0110_5^12 - 84480*c_0110_5^10 + 35253*c_0110_5^8 + 9143*c_0110_5^6 - 826*c_0110_5^4 - 228*c_0110_5^2 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB