Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 2884253519] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0621 geometric_solution 4.62244776 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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.249777672858 0.263595893151 0 0 2 2 2310 0132 3201 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 -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.560748103059 0.247551801886 1 3 1 4 2310 0132 0132 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 0 0 0 -1 0 0 1 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.991252138550 0.233702812868 4 2 5 4 3120 0132 0132 1230 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 0 0 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.783676835000 0.566618977361 3 5 2 3 3012 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 -1 1 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.783676835000 0.566618977361 6 4 6 3 0132 0132 2310 0132 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 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.893455251775 1.424957711991 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 1 0 -1 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210078489917 0.436128057806 ==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' : 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' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : d['c_0011_2'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_3'], '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_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 141414074342798541640339015892915315546293453263/358146891983826292\ 898986250605905378935862743*c_1001_3^18 + 633743306660784227651067731425595919961562414446/358146891983826292\ 898986250605905378935862743*c_1001_3^17 - 1459920064060614232217699115829040711388692143306/35814689198382629\ 2898986250605905378935862743*c_1001_3^16 - 19040936630366241088657681761844094833727593747522/3581468919838262\ 92898986250605905378935862743*c_1001_3^15 - 1599644930664131493989991266370829414426661881610/51163841711975184\ 699855178657986482705123249*c_1001_3^14 + 329360842867585549639820201463040974230848258039845/358146891983826\ 292898986250605905378935862743*c_1001_3^13 + 332651144284316306315445562809274225685224541911751/358146891983826\ 292898986250605905378935862743*c_1001_3^12 - 2683423331642774052764746726458012869635980197433719/35814689198382\ 6292898986250605905378935862743*c_1001_3^11 - 2219709273113192184830016981811846568987950040433939/35814689198382\ 6292898986250605905378935862743*c_1001_3^10 + 9854901358721842793923975501962764776942037992434961/35814689198382\ 6292898986250605905378935862743*c_1001_3^9 + 816568733175849159240168027985591262405396507913642/511638417119751\ 84699855178657986482705123249*c_1001_3^8 - 15830430728709112006124070315158699470641443016273626/3581468919838\ 26292898986250605905378935862743*c_1001_3^7 - 10190556888789017557406733164111636987292874055018253/3581468919838\ 26292898986250605905378935862743*c_1001_3^6 + 10951308930420643863315635294974901905556398325439047/3581468919838\ 26292898986250605905378935862743*c_1001_3^5 + 10453575719213955248945010449105005717769914123046090/3581468919838\ 26292898986250605905378935862743*c_1001_3^4 - 904045777803144264371860875580717117657088078151110/358146891983826\ 292898986250605905378935862743*c_1001_3^3 - 564351198830420187099066848537351791387278638757906/511638417119751\ 84699855178657986482705123249*c_1001_3^2 - 1653700141539436323594183287209912187779122396874510/35814689198382\ 6292898986250605905378935862743*c_1001_3 - 7909373333858754115427297212509477766551771734840/12349892827028492\ 858585732779513978583995267, c_0011_0 - 1, c_0011_2 + 282213654318527796475064229463369119181038/17642704038612132\ 65512247539930568369142181*c_1001_3^18 + 1233863332140906292448831008417739899341131/17642704038612132655122\ 47539930568369142181*c_1001_3^17 - 3036037221565035088429256569353254090215922/17642704038612132655122\ 47539930568369142181*c_1001_3^16 - 37617704246631328702289823625142004879616924/1764270403861213265512\ 247539930568369142181*c_1001_3^15 - 18385814845070293509446948307227677500705420/1764270403861213265512\ 247539930568369142181*c_1001_3^14 + 657704127144988014925126701279483843686366705/176427040386121326551\ 2247539930568369142181*c_1001_3^13 + 591753375416587383674635874117699440419646393/176427040386121326551\ 2247539930568369142181*c_1001_3^12 - 5390799258530813250203731769831186686867692690/17642704038612132655\ 12247539930568369142181*c_1001_3^11 - 3825677909488615675944393793165944933306285352/17642704038612132655\ 12247539930568369142181*c_1001_3^10 + 19840670930060457486151086800884351531915932663/1764270403861213265\ 512247539930568369142181*c_1001_3^9 + 9165232311200351654666402207725989595500932659/17642704038612132655\ 12247539930568369142181*c_1001_3^8 - 31679589262649740247961791804323786349834409520/1764270403861213265\ 512247539930568369142181*c_1001_3^7 - 16828483713152338726215780300977909139184260820/1764270403861213265\ 512247539930568369142181*c_1001_3^6 + 22243839267715055080928657875077637947780216664/1764270403861213265\ 512247539930568369142181*c_1001_3^5 + 18265344611773140579299282924525154267472262706/1764270403861213265\ 512247539930568369142181*c_1001_3^4 - 2714924880951728055538450596516307976716650014/17642704038612132655\ 12247539930568369142181*c_1001_3^3 - 7207748727993481954121489484324493759019105168/17642704038612132655\ 12247539930568369142181*c_1001_3^2 - 2799052793625307628119697412805057791025479448/17642704038612132655\ 12247539930568369142181*c_1001_3 - 12527179046589466507209913485225663155327418/6083691047797287122456\ 0259997605805832489, c_0011_4 - 455528730239260132606271993376276691439934/17642704038612132\ 65512247539930568369142181*c_1001_3^18 - 2003544027580531321291203322330895632886050/17642704038612132655122\ 47539930568369142181*c_1001_3^17 + 4847459315158438547668952889533267057407715/17642704038612132655122\ 47539930568369142181*c_1001_3^16 + 60847629961342196755919416490652752665179410/1764270403861213265512\ 247539930568369142181*c_1001_3^15 + 31288398872577206466584131038016280909328924/1764270403861213265512\ 247539930568369142181*c_1001_3^14 - 1060772678477774206940206430967972427470600895/17642704038612132655\ 12247539930568369142181*c_1001_3^13 - 983326767883754808212555518462229009995576493/176427040386121326551\ 2247539930568369142181*c_1001_3^12 + 8674592254948031231659422753493612610340828669/17642704038612132655\ 12247539930568369142181*c_1001_3^11 + 6409323447630974104894230546913039943202292386/17642704038612132655\ 12247539930568369142181*c_1001_3^10 - 31848897938002808265345316584749618911834855143/1764270403861213265\ 512247539930568369142181*c_1001_3^9 - 15690465812033405854754895550716938548567804105/1764270403861213265\ 512247539930568369142181*c_1001_3^8 + 50719880101487932690966699507481762960293479498/1764270403861213265\ 512247539930568369142181*c_1001_3^7 + 28722516544128694728459104903865663249439044665/1764270403861213265\ 512247539930568369142181*c_1001_3^6 - 35272825935564595250567302585326551391849528217/1764270403861213265\ 512247539930568369142181*c_1001_3^5 - 30685554063579451698308462837486911154510158854/1764270403861213265\ 512247539930568369142181*c_1001_3^4 + 3722316127442382380334675059447074055044879658/17642704038612132655\ 12247539930568369142181*c_1001_3^3 + 11910667844331976657392975097940075759014395967/1764270403861213265\ 512247539930568369142181*c_1001_3^2 + 4804408675823116463276806342610790186199279711/17642704038612132655\ 12247539930568369142181*c_1001_3 + 22424989514269901778045180061980297437119546/6083691047797287122456\ 0259997605805832489, c_0101_0 - 672421804030675079239333632384474684948348/17642704038612132\ 65512247539930568369142181*c_1001_3^18 - 2986718713883219327068951653416679880686098/17642704038612132655122\ 47539930568369142181*c_1001_3^17 + 7041486053155154739774493992287511074028060/17642704038612132655122\ 47539930568369142181*c_1001_3^16 + 90188014392336966383256939888222548407739273/1764270403861213265512\ 247539930568369142181*c_1001_3^15 + 49910806317997836680117627885935619404413132/1764270403861213265512\ 247539930568369142181*c_1001_3^14 - 1565697988912666040741781803087353749118138238/17642704038612132655\ 12247539930568369142181*c_1001_3^13 - 1519788574346257906384279206815631379900750706/17642704038612132655\ 12247539930568369142181*c_1001_3^12 + 12775618152737358864857036355238356444117848013/1764270403861213265\ 512247539930568369142181*c_1001_3^11 + 10034680948803439431727494298370290972916195791/1764270403861213265\ 512247539930568369142181*c_1001_3^10 - 46885206108286585174866947676999088415747956511/1764270403861213265\ 512247539930568369142181*c_1001_3^9 - 25289248758416664465103294138098735445640126560/1764270403861213265\ 512247539930568369142181*c_1001_3^8 + 74912558292602457650914618633399897496964297491/1764270403861213265\ 512247539930568369142181*c_1001_3^7 + 45699946122339576891129878827941532495561879006/1764270403861213265\ 512247539930568369142181*c_1001_3^6 - 51865912213468585746380401877046189940366118558/1764270403861213265\ 512247539930568369142181*c_1001_3^5 - 47736188632513692984178940543177473712697852118/1764270403861213265\ 512247539930568369142181*c_1001_3^4 + 4723898716698914676582213492904928436414181978/17642704038612132655\ 12247539930568369142181*c_1001_3^3 + 18239867852931662933762227807167826251398248202/1764270403861213265\ 512247539930568369142181*c_1001_3^2 + 7547579960927921273682317774249829836282905960/17642704038612132655\ 12247539930568369142181*c_1001_3 + 35890026510748869305907658479123621322258708/6083691047797287122456\ 0259997605805832489, c_0101_1 - 894596622661663373229006195957288535672532/17642704038612132\ 65512247539930568369142181*c_1001_3^18 - 3938011641665649960616039957502186474993426/17642704038612132655122\ 47539930568369142181*c_1001_3^17 + 9507981172857643829259728415683883225060267/17642704038612132655122\ 47539930568369142181*c_1001_3^16 + 119543244112518665566155377546968190146408782/176427040386121326551\ 2247539930568369142181*c_1001_3^15 + 61855270751403226719377253709130368886297608/1764270403861213265512\ 247539930568369142181*c_1001_3^14 - 2083351058889396812537370436460312406574543246/17642704038612132655\ 12247539930568369142181*c_1001_3^13 - 1938906985311768138269112458176536013707194503/17642704038612132655\ 12247539930568369142181*c_1001_3^12 + 17035187660933747233854446135846778678794348684/1764270403861213265\ 512247539930568369142181*c_1001_3^11 + 12653765740466548101882263197642067224104449440/1764270403861213265\ 512247539930568369142181*c_1001_3^10 - 62555774058075807132064618054092860875003319589/1764270403861213265\ 512247539930568369142181*c_1001_3^9 - 31062928140018250539687596518704418139525303137/1764270403861213265\ 512247539930568369142181*c_1001_3^8 + 99699418996068899651921166502979841177569307605/1764270403861213265\ 512247539930568369142181*c_1001_3^7 + 56781799068879813491480789561570563067420499236/1764270403861213265\ 512247539930568369142181*c_1001_3^6 - 69385728863491950036391043557896552931081803372/1764270403861213265\ 512247539930568369142181*c_1001_3^5 - 60533413256915627716085095486021880075880369648/1764270403861213265\ 512247539930568369142181*c_1001_3^4 + 7311883404585488531418766580705421967188595821/17642704038612132655\ 12247539930568369142181*c_1001_3^3 + 23481538688024208758319407034503537928856844038/1764270403861213265\ 512247539930568369142181*c_1001_3^2 + 9465489808009088107949969249209909106591636532/17642704038612132655\ 12247539930568369142181*c_1001_3 + 44033326602896792126157319067841325167330155/6083691047797287122456\ 0259997605805832489, c_0101_5 - 523184104246224187277333556207120915340481/17642704038612132\ 65512247539930568369142181*c_1001_3^18 - 2291937458150140463465783986053808010353094/17642704038612132655122\ 47539930568369142181*c_1001_3^17 + 5608232300044611192638408682423197319543678/17642704038612132655122\ 47539930568369142181*c_1001_3^16 + 69786482752309124295043333665665723377816288/1764270403861213265512\ 247539930568369142181*c_1001_3^15 + 34696316177441434692086211987427309605241595/1764270403861213265512\ 247539930568369142181*c_1001_3^14 - 1218970887955722899320048998012284566240546472/17642704038612132655\ 12247539930568369142181*c_1001_3^13 - 1107720118865167043539312162205715901366163014/17642704038612132655\ 12247539930568369142181*c_1001_3^12 + 9983617291690327929583670327381762089732771647/17642704038612132655\ 12247539930568369142181*c_1001_3^11 + 7181248679014560615527016151886434748208461825/17642704038612132655\ 12247539930568369142181*c_1001_3^10 - 36715189775971006108130996052428389872267082276/1764270403861213265\ 512247539930568369142181*c_1001_3^9 - 17332169079499152559046209975039516873284128449/1764270403861213265\ 512247539930568369142181*c_1001_3^8 + 58574508871026714764061544855402368769332395289/1764270403861213265\ 512247539930568369142181*c_1001_3^7 + 31791867141043896167237225399698258209106764125/1764270403861213265\ 512247539930568369142181*c_1001_3^6 - 41004401161673468358557373050544581721359182061/1764270403861213265\ 512247539930568369142181*c_1001_3^5 - 34317531259451512897507927099060062204438358502/1764270403861213265\ 512247539930568369142181*c_1001_3^4 + 4788499386334123694435037337166113801868439956/17642704038612132655\ 12247539930568369142181*c_1001_3^3 + 13464462030254802443995108822079324228146715563/1764270403861213265\ 512247539930568369142181*c_1001_3^2 + 5296545945531138523891782824965454006173574558/17642704038612132655\ 12247539930568369142181*c_1001_3 + 24081600508483531505630990182324913555862244/6083691047797287122456\ 0259997605805832489, c_1001_3^19 + 5*c_1001_3^18 - 8*c_1001_3^17 - 140*c_1001_3^16 - 149*c_1001_3^15 + 2288*c_1001_3^14 + 3560*c_1001_3^13 - 17756*c_1001_3^12 - 25536*c_1001_3^11 + 61550*c_1001_3^10 + 76556*c_1001_3^9 - 90988*c_1001_3^8 - 130109*c_1001_3^7 + 40081*c_1001_3^6 + 114079*c_1001_3^5 + 31933*c_1001_3^4 - 31252*c_1001_3^3 - 26178*c_1001_3^2 - 7685*c_1001_3 - 841 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB