Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 1966401878] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s307 geometric_solution 4.47190073 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 1302 0 0 0 0 0 -1 -1 2 -1 0 0 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 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.785918650196 0.844004396312 0 3 0 2 0132 3012 2031 1230 0 0 0 0 0 0 0 0 1 0 -2 1 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 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.282364312851 1.113206365836 1 0 4 4 3012 0132 2310 0132 0 0 0 0 0 1 0 -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 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.190410762122 0.456147940908 1 3 3 0 1230 3201 2310 0132 0 0 0 0 0 0 -1 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 0 1 -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.282364312851 1.113206365836 5 2 2 5 0132 3201 0132 1023 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 0 0 0 0 0 0 -0.503943479714 0.460440904828 4 5 5 4 0132 3201 2310 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.059449704454 0.316824943855 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : 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' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 2844220838841592764125558562081391984099838912867169/64769573868019\ 359692849808114851818085784426904592*c_0101_5^22 + 2230677311224461706086393798785598561031098193323079/40480983667512\ 09980803113007178238630361526681537*c_0101_5^21 - 21506221585220627980079808275927777350191144195378105/1619239346700\ 4839923212452028712954521446106726148*c_0101_5^20 - 46501865262339233073192035326649193064688752464151331/8096196733502\ 419961606226014356477260723053363074*c_0101_5^19 + 2164208846532061817743557237598879255129608771950691641/64769573868\ 019359692849808114851818085784426904592*c_0101_5^18 - 620675553208643629377418929121021551654527012843527217/323847869340\ 09679846424904057425909042892213452296*c_0101_5^17 - 13915706743362784530080923573865836712331084659008866091/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^16 + 21724622687279552656132387639560943292209063127970620529/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^15 + 33971925707926088771353209619093049449264786902416454435/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^14 - 31254585101883784095106933574965884459727964804805288931/3238478693\ 4009679846424904057425909042892213452296*c_0101_5^13 - 35463246728045418167483626830802592401182333718057130257/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^12 + 81036643888133598916491196904442962436268975460517836775/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^11 + 10445150919991465816012616883814426185521027005796710977/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^10 - 85951948240596878657124440167311606797513466496691604471/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^9 - 8918895508262194101607659335946349052950312672436029769/32384786934\ 009679846424904057425909042892213452296*c_0101_5^8 + 60701558167771200108510910844208305791765013331973226179/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^7 + 2221222876239868612037354727108680845490905988036880225/40480983667\ 51209980803113007178238630361526681537*c_0101_5^6 - 6707193063405912174186443183822415169480751020586697449/64769573868\ 019359692849808114851818085784426904592*c_0101_5^5 - 10458211244540131015856772658309790895876854930000909179/6476957386\ 8019359692849808114851818085784426904592*c_0101_5^4 - 1133289100860707529932324781364182976651366568416636865/32384786934\ 009679846424904057425909042892213452296*c_0101_5^3 + 387794641756931798532608396804062940818717837932949729/647695738680\ 19359692849808114851818085784426904592*c_0101_5^2 + 158484839489250010566206901016178075226500994920499757/647695738680\ 19359692849808114851818085784426904592*c_0101_5 + 12874419680562082412181585240289463274367167142262293/6476957386801\ 9359692849808114851818085784426904592, c_0011_0 - 1, c_0011_3 + 3560285850730032360823729524875167944758884391180/4048098366\ 751209980803113007178238630361526681537*c_0101_5^22 - 45113355032764946052832300378677974697982406452150/4048098366751209\ 980803113007178238630361526681537*c_0101_5^21 + 113218801920303714625114515871736885079881246035237/404809836675120\ 9980803113007178238630361526681537*c_0101_5^20 + 451802657812729550801596944932978683051548553581768/404809836675120\ 9980803113007178238630361526681537*c_0101_5^19 - 2764775431477429839115757571673513103589317587110366/40480983667512\ 09980803113007178238630361526681537*c_0101_5^18 + 1893855486182396981092608842465570264781484072745000/40480983667512\ 09980803113007178238630361526681537*c_0101_5^17 + 17188914614644472100914459865211030008200754332013549/4048098366751\ 209980803113007178238630361526681537*c_0101_5^16 - 29319088048317116826841137720307138947897789891602101/4048098366751\ 209980803113007178238630361526681537*c_0101_5^15 - 38909543775216141913590240984773811271056487716539098/4048098366751\ 209980803113007178238630361526681537*c_0101_5^14 + 83102175070306698417971759264255270109498791277769708/4048098366751\ 209980803113007178238630361526681537*c_0101_5^13 + 33997933720302468198689493584976064450407540260497031/4048098366751\ 209980803113007178238630361526681537*c_0101_5^12 - 105702729033400708412753334214434826229801225516366153/404809836675\ 1209980803113007178238630361526681537*c_0101_5^11 + 392296421638044166788584736647495556515888230086861/404809836675120\ 9980803113007178238630361526681537*c_0101_5^10 + 107438348988594989649820095832814981214471011205534297/404809836675\ 1209980803113007178238630361526681537*c_0101_5^9 + 8603868797598500653637842969019117320229914518895571/40480983667512\ 09980803113007178238630361526681537*c_0101_5^8 - 76727630911578727403030218866804281057213042106208204/4048098366751\ 209980803113007178238630361526681537*c_0101_5^7 - 34628292390061845900378097302178773038570216481870577/4048098366751\ 209980803113007178238630361526681537*c_0101_5^6 + 12395311227071226302453950785669062622063452091537623/4048098366751\ 209980803113007178238630361526681537*c_0101_5^5 + 11249905744856261623699770859194105892538982338424582/4048098366751\ 209980803113007178238630361526681537*c_0101_5^4 + 1506199399102858516110848254020457898750720368101203/40480983667512\ 09980803113007178238630361526681537*c_0101_5^3 - 566767659857441176939833872865644126377410247001523/404809836675120\ 9980803113007178238630361526681537*c_0101_5^2 - 122272392498716310828414041018193144362319774355238/404809836675120\ 9980803113007178238630361526681537*c_0101_5 - 15227979481299959826558872273254349574997454366210/4048098366751209\ 980803113007178238630361526681537, c_0011_4 - 893925848003491934871316423217262551136539631282/40480983667\ 51209980803113007178238630361526681537*c_0101_5^22 + 11411864613409955110602955414080119173947359166445/4048098366751209\ 980803113007178238630361526681537*c_0101_5^21 - 29489536278582288252785897078289426119778217434440/4048098366751209\ 980803113007178238630361526681537*c_0101_5^20 - 110898694336175256832493079604114576193116634843735/404809836675120\ 9980803113007178238630361526681537*c_0101_5^19 + 705479940041763004988286589097085416210659638360787/404809836675120\ 9980803113007178238630361526681537*c_0101_5^18 - 540554076708050002128568142923275660863650123084441/404809836675120\ 9980803113007178238630361526681537*c_0101_5^17 - 4280563712479722095418662637947740675355607714846054/40480983667512\ 09980803113007178238630361526681537*c_0101_5^16 + 7789071484881573917651011090283886236186874061883430/40480983667512\ 09980803113007178238630361526681537*c_0101_5^15 + 9105447931573515491321380824632224251419701565619306/40480983667512\ 09980803113007178238630361526681537*c_0101_5^14 - 21938725546556368518426381176677976707787906173288304/4048098366751\ 209980803113007178238630361526681537*c_0101_5^13 - 6500000239600585663822610500446497374317944083222273/40480983667512\ 09980803113007178238630361526681537*c_0101_5^12 + 27624948895390665262954395046039330753253248018199772/4048098366751\ 209980803113007178238630361526681537*c_0101_5^11 - 2916604420031847272922508936788739908205853830547570/40480983667512\ 09980803113007178238630361526681537*c_0101_5^10 - 27095903802652527150018809769640484529419858551828940/4048098366751\ 209980803113007178238630361526681537*c_0101_5^9 + 764972547161636902755321077389836655471005683541695/404809836675120\ 9980803113007178238630361526681537*c_0101_5^8 + 19462020765229516534856752658470558469618943396279770/4048098366751\ 209980803113007178238630361526681537*c_0101_5^7 + 6640972681344004887195288491498856266138882997098269/40480983667512\ 09980803113007178238630361526681537*c_0101_5^6 - 3934815714995084462967419096352580128411549093515130/40480983667512\ 09980803113007178238630361526681537*c_0101_5^5 - 2435924672376130114936051974557911208790836882028300/40480983667512\ 09980803113007178238630361526681537*c_0101_5^4 - 126204168597656529405815504982726616938362012401753/404809836675120\ 9980803113007178238630361526681537*c_0101_5^3 + 148736152155934160252650809684396046583884052926033/404809836675120\ 9980803113007178238630361526681537*c_0101_5^2 + 17264801617347259698322600352732444475738575917392/4048098366751209\ 980803113007178238630361526681537*c_0101_5 + 2966663941138683528006967615133823802519037480116/40480983667512099\ 80803113007178238630361526681537, c_0101_2 + 1112715178243220094851060971154005862626350786715/4048098366\ 751209980803113007178238630361526681537*c_0101_5^22 - 14243736924323224577903565564332373163183137008576/4048098366751209\ 980803113007178238630361526681537*c_0101_5^21 + 37245513238300072504739526360853235501295155168087/4048098366751209\ 980803113007178238630361526681537*c_0101_5^20 + 136188213350578289282372179823844836367172694332637/404809836675120\ 9980803113007178238630361526681537*c_0101_5^19 - 881222268542306195828345766387228875242654754417039/404809836675120\ 9980803113007178238630361526681537*c_0101_5^18 + 707853387232973251379694273721270516474488222366281/404809836675120\ 9980803113007178238630361526681537*c_0101_5^17 + 5268320788830511708937155072204314989291838171945741/40480983667512\ 09980803113007178238630361526681537*c_0101_5^16 - 9834864855351586359551704064796096320644697220832573/40480983667512\ 09980803113007178238630361526681537*c_0101_5^15 - 10814943848666417878047482531074045026548008437522106/4048098366751\ 209980803113007178238630361526681537*c_0101_5^14 + 27224749966194779882060524723139655382409316278955979/4048098366751\ 209980803113007178238630361526681537*c_0101_5^13 + 6965864758068307105513545460010124049648707591374107/40480983667512\ 09980803113007178238630361526681537*c_0101_5^12 - 33496134036180482247745964466823299096980838320383610/4048098366751\ 209980803113007178238630361526681537*c_0101_5^11 + 4473910108484807760143988138348066317272205589153501/40480983667512\ 09980803113007178238630361526681537*c_0101_5^10 + 32428677439882009979300769515331928475411567309919898/4048098366751\ 209980803113007178238630361526681537*c_0101_5^9 - 1281358364383085309753954319240809437452620486621775/40480983667512\ 09980803113007178238630361526681537*c_0101_5^8 - 23332774785126127393327883861154957963041772348958335/4048098366751\ 209980803113007178238630361526681537*c_0101_5^7 - 8010664833238585581265293806938578813863323179732767/40480983667512\ 09980803113007178238630361526681537*c_0101_5^6 + 4577670449692512076778147045089156279125766398373887/40480983667512\ 09980803113007178238630361526681537*c_0101_5^5 + 2941146113342647739426821254390367974232370334830114/40480983667512\ 09980803113007178238630361526681537*c_0101_5^4 + 200622778009328854920296451762077269301180588459242/404809836675120\ 9980803113007178238630361526681537*c_0101_5^3 - 187973369565769827573451391173509873226830480102091/404809836675120\ 9980803113007178238630361526681537*c_0101_5^2 - 18432806972092066056285409532725192906171854193727/4048098366751209\ 980803113007178238630361526681537*c_0101_5 - 4934262278134008481618991101013252545405626507567/40480983667512099\ 80803113007178238630361526681537, c_0101_4 + 1773350490746520791085394329010147381322485569820/4048098366\ 751209980803113007178238630361526681537*c_0101_5^22 - 22524246721300463192575662801299018408115229862020/4048098366751209\ 980803113007178238630361526681537*c_0101_5^21 + 57091179431140442561634713140637533037020584099707/4048098366751209\ 980803113007178238630361526681537*c_0101_5^20 + 223096983960753346780431048593550111745575541271671/404809836675120\ 9980803113007178238630361526681537*c_0101_5^19 - 1383247097615094702847220294831482682804686581916387/40480983667512\ 09980803113007178238630361526681537*c_0101_5^18 + 986949624904375362782422077604357341852564188506372/404809836675120\ 9980803113007178238630361526681537*c_0101_5^17 + 8518469948996924675374153026013784634300979468483871/40480983667512\ 09980803113007178238630361526681537*c_0101_5^16 - 14846883309009427302779555025667605389818998320569062/4048098366751\ 209980803113007178238630361526681537*c_0101_5^15 - 18860922023382468336208962517468603424841877718646306/4048098366751\ 209980803113007178238630361526681537*c_0101_5^14 + 41804768863079251395025473349754354043109538544379512/4048098366751\ 209980803113007178238630361526681537*c_0101_5^13 + 15565675645493029921428259219952304199424090280579732/4048098366751\ 209980803113007178238630361526681537*c_0101_5^12 - 52741010366811720826403099680001342642012211416477819/4048098366751\ 209980803113007178238630361526681537*c_0101_5^11 + 1802671212078805943310869731212248523520652358730798/40480983667512\ 09980803113007178238630361526681537*c_0101_5^10 + 53054712408225347525329935578158596551201559100494419/4048098366751\ 209980803113007178238630361526681537*c_0101_5^9 + 2778091370219498626465755371031842457677385700501340/40480983667512\ 09980803113007178238630361526681537*c_0101_5^8 - 37893497654073857108392857468620684578519299006075122/4048098366751\ 209980803113007178238630361526681537*c_0101_5^7 - 16143470856912971142885770800016986891710348466009342/4048098366751\ 209980803113007178238630361526681537*c_0101_5^6 + 6346133375868843028644694313937984782748016867822384/40480983667512\ 09980803113007178238630361526681537*c_0101_5^5 + 5342481646605634605185206407795835090619585068934263/40480983667512\ 09980803113007178238630361526681537*c_0101_5^4 + 651728580123295441079212182331042591928725716479175/404809836675120\ 9980803113007178238630361526681537*c_0101_5^3 - 273568170428181638887582564190698970294001652632634/404809836675120\ 9980803113007178238630361526681537*c_0101_5^2 - 59126140225186279984284770180445775436149429196824/4048098366751209\ 980803113007178238630361526681537*c_0101_5 - 6201315907013109516880218676075884072132052720044/40480983667512099\ 80803113007178238630361526681537, c_0101_5^23 - 13*c_0101_5^22 + 36*c_0101_5^21 + 116*c_0101_5^20 - 817*c_0101_5^19 + 791*c_0101_5^18 + 4625*c_0101_5^17 - 9792*c_0101_5^16 - 8070*c_0101_5^15 + 26589*c_0101_5^14 + 1651*c_0101_5^13 - 31940*c_0101_5^12 + 9818*c_0101_5^11 + 29156*c_0101_5^10 - 7081*c_0101_5^9 - 21501*c_0101_5^8 - 2921*c_0101_5^7 + 6073*c_0101_5^6 + 1942*c_0101_5^5 - 477*c_0101_5^4 - 251*c_0101_5^3 + 16*c_0101_5^2 + 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB