Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2682127195] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0431 geometric_solution 4.48495258 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0.689518656424 0.068012876125 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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.874168855098 0.073662396104 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808722322263 0.195406102328 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -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.974736008033 0.740388564564 3 6 5 5 0132 0132 3012 1230 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 0 -1 1 -1 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.249704832618 1.130139222984 4 4 6 3 3012 1230 0132 0132 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 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 1.249704832618 1.130139222984 6 4 6 5 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407734211208 0.614153528732 ==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' : negation(d['1']), 's_3_4' : negation(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' : 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' : negation(d['1']), 's_0_2' : 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_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 43991276784765008977971419033679042925857001545851333284078031/4497\ 27845536055866854060824079698622067515216798640382280192*c_0101_5^3\ 3 + 90621146707362097490946369101586211054344925486258447063135561/\ 14053995173001745839189400752490581939609850524957511946256*c_0101_\ 5^31 - 367917487525735956875796851000198851002966371363713955163770\ 72201/224863922768027933427030412039849311033757608399320191140096*\ c_0101_5^29 + 27091030969340116080385614807274005103507920039211731\ 2648090563783/11243196138401396671351520601992465551687880419966009\ 5570048*c_0101_5^27 - 257710906203655045072449771275687130159969948\ 1532715735356030535163/11243196138401396671351520601992465551687880\ 4199660095570048*c_0101_5^25 + 166047370152316209825433117813634514\ 59286373549060008461359200230837/1124319613840139667135152060199246\ 55516878804199660095570048*c_0101_5^23 - 107380705575391125823344211712756449726985076441896576657962133239/\ 161540174402318917691832192557363010800113224424798987888*c_0101_5^\ 21 + 32091362542248809393813595052164625793453661921318248582601043\ 4326281/14990928184535195561802027469323287402250507226621346076006\ 4*c_0101_5^19 - 747853587838492727913551744853499411684652637488436\ 700793069776249963/149909281845351955618020274693232874022505072266\ 213460760064*c_0101_5^17 + 2946735996568188521504703376638808780447\ 9915552267796776280742469967/35411641380791800539689828667692804887\ 20592258257010884096*c_0101_5^15 - 7194627608838448157969108884724540659001589492111455965506912704911\ 33/74954640922675977809010137346616437011252536133106730380032*c_01\ 01_5^13 + 106833237515524583309278830566768409619118584963609471794\ 1173012878839/14990928184535195561802027469323287402250507226621346\ 0760064*c_0101_5^11 - 134616186029893699530952387769554268996325325\ 8913651107738954856443947/44972784553605586685406082407969862206751\ 5216798640382280192*c_0101_5^9 + 3104127633194913345002126521202870\ 47227743409081266977732887206026423/4497278455360558668540608240796\ 98622067515216798640382280192*c_0101_5^7 - 1637792486432608865179628285224892123898368574158472442992800456313\ /18738660230668994452252534336654109252813134033276682595008*c_0101\ _5^5 + 161391960767355907964219226381756503103141951890143156249877\ 048893/28107990346003491678378801504981163879219701049915023892512*\ c_0101_5^3 - 107976295278931833486780501689549804784181565301041213\ 4299161361/70269975865008729195947003762452909698049252624787559731\ 28*c_0101_5, c_0011_0 - 1, c_0011_1 + 4597216989744785492765721627064918027461788288787424367/3230\ 80348804637835383664385114726021600226448849597975776*c_0101_5^32 - 151276793902703261242040451481476234988778609560286402183/161540174\ 402318917691832192557363010800113224424798987888*c_0101_5^30 + 3828671230123850462228429399737465196379608442554575691305/16154017\ 4402318917691832192557363010800113224424798987888*c_0101_5^28 - 3513320608409474569609776256695611088702011414351337195599/10096260\ 900144932355739512034835188175007076526549936743*c_0101_5^26 + 266320585078195264539806549387631894294477425483616738821297/807700\ 87201159458845916096278681505400056612212399493944*c_0101_5^24 - 1706934432907307026831443030861573340050695029375397490715955/80770\ 087201159458845916096278681505400056612212399493944*c_0101_5^22 + 3814688369200859478538954374515890004996430264620768996023621/40385\ 043600579729422958048139340752700028306106199746972*c_0101_5^20 - 97389802399937308236796253688685749375808360674161215352439131/3230\ 80348804637835383664385114726021600226448849597975776*c_0101_5^18 + 224243209291015472742934429366217021118510876641765038982162151/323\ 080348804637835383664385114726021600226448849597975776*c_0101_5^16 - 2895638391974441445384245645257729999687463889276882139987805/25439\ 39754367227050265073898541149776379735817713369888*c_0101_5^14 + 12914444723263005594700803341853572334656708327829930231230855/1009\ 6260900144932355739512034835188175007076526549936743*c_0101_5^12 - 293141473479921626380801335519287888454314200006292202412035361/323\ 080348804637835383664385114726021600226448849597975776*c_0101_5^10 + 111997067790006698749080643955449385035247797010391308973690949/323\ 080348804637835383664385114726021600226448849597975776*c_0101_5^8 - 22300948525470494006937822078570671212489840539118483273148125/3230\ 80348804637835383664385114726021600226448849597975776*c_0101_5^6 + 1187645746824918182005208790222274071721368628486609629066747/16154\ 0174402318917691832192557363010800113224424798987888*c_0101_5^4 - 4002122875233614499250457142677904845803830812212956608416/10096260\ 900144932355739512034835188175007076526549936743*c_0101_5^2 + 82026394424637966064463610288032252212577512295228774090/1009626090\ 0144932355739512034835188175007076526549936743, c_0011_5 + 14343978178389496819831436106718673613535184330920172301/323\ 080348804637835383664385114726021600226448849597975776*c_0101_5^32 - 472542768082704602791300182593892985834276532675922393117/161540174\ 402318917691832192557363010800113224424798987888*c_0101_5^30 + 11981323406824277964758539282035651674253421557579937830667/1615401\ 74402318917691832192557363010800113224424798987888*c_0101_5^28 - 11017806809806997940436403798934722821669038935024910600295/1009626\ 0900144932355739512034835188175007076526549936743*c_0101_5^26 + 837488400296726642206599646267677293481376940546590437120819/807700\ 87201159458845916096278681505400056612212399493944*c_0101_5^24 - 5387540109116557037904735539187871454795678743743133708200113/80770\ 087201159458845916096278681505400056612212399493944*c_0101_5^22 + 12099054870007029169968321621701715491714158630531280718661675/4038\ 5043600579729422958048139340752700028306106199746972*c_0101_5^20 - 310859223268825030598576817988456063758347232792987683396182545/323\ 080348804637835383664385114726021600226448849597975776*c_0101_5^18 + 721793092954490647185363636369464318198990376327372250941278149/323\ 080348804637835383664385114726021600226448849597975776*c_0101_5^16 - 9431504671830150845491672865012578885006042874584076791798023/25439\ 39754367227050265073898541149776379735817713369888*c_0101_5^14 + 85672553989455065632648930777479130034584663156805842789608281/2019\ 2521800289864711479024069670376350014153053099873486*c_0101_5^12 - 1003765706788865164187699389082257690678433998409977333724505379/32\ 3080348804637835383664385114726021600226448849597975776*c_0101_5^10 + 409793487435496372358810148827923167458607564056258631708980703/3\ 23080348804637835383664385114726021600226448849597975776*c_0101_5^8 - 90254585746933390332560124942960765751028923128001318720897383/32\ 3080348804637835383664385114726021600226448849597975776*c_0101_5^6 + 5380829875060944376257888380284698905307289992991218480110937/16154\ 0174402318917691832192557363010800113224424798987888*c_0101_5^4 - 20577358037051285069478591607133531740373133934378640602834/1009626\ 0900144932355739512034835188175007076526549936743*c_0101_5^2 + 503916670937323701918549804057263990338701014659399688322/100962609\ 00144932355739512034835188175007076526549936743, c_0101_0 + 118731439983335421163548857483525096894221220647077384321/64\ 6160697609275670767328770229452043200452897699195951552*c_0101_5^33 - 3911898546959199335375532040418936946291964631780792614097/323080\ 348804637835383664385114726021600226448849597975776*c_0101_5^31 + 99204415170284632241517511087390930747539108069808722922199/3230803\ 48804637835383664385114726021600226448849597975776*c_0101_5^29 - 45622960820430927486044368014361745255746481800464142191568/1009626\ 0900144932355739512034835188175007076526549936743*c_0101_5^27 + 6937697923088657761318926830200193732737456249990988610004647/16154\ 0174402318917691832192557363010800113224424798987888*c_0101_5^25 - 44646006385448995438266073791004212661073131389658188485726341/1615\ 40174402318917691832192557363010800113224424798987888*c_0101_5^23 + 100310133650604875396363986591450532204468912048334616913237407/807\ 70087201159458845916096278681505400056612212399493944*c_0101_5^21 - 2578759353169067134572527844298469837969606163270003801831314165/64\ 6160697609275670767328770229452043200452897699195951552*c_0101_5^19 + 5992126402355881975115837771712867801046323216421680589729587801/\ 646160697609275670767328770229452043200452897699195951552*c_0101_5^\ 17 - 78375083423293265076273290895854649251130081990533753531635459\ /5087879508734454100530147797082299552759471635426739776*c_0101_5^1\ 5 + 712926402926000094433525203930629139612390931585407111659985793\ /40385043600579729422958048139340752700028306106199746972*c_0101_5^\ 13 - 83706332711773022351284138743147763341976007410017481096213465\ 11/646160697609275670767328770229452043200452897699195951552*c_0101\ _5^11 + 34286022078708448196976955068440140304654946650956326905170\ 36859/646160697609275670767328770229452043200452897699195951552*c_0\ 101_5^9 - 754925357141140165082370166811808252251063510317447012494\ 799427/646160697609275670767328770229452043200452897699195951552*c_\ 0101_5^7 + 44378853197291849120002957726318664990929910530631103970\ 699613/323080348804637835383664385114726021600226448849597975776*c_\ 0101_5^5 - 16352310743295501308950521456057145406278272568602129663\ 4381/20192521800289864711479024069670376350014153053099873486*c_010\ 1_5^3 + 3722664209641700657181715863601838209967555537095553085711/\ 20192521800289864711479024069670376350014153053099873486*c_0101_5, c_0101_1 - 113075411279000001132850570422116732139136827027841157/80770\ 087201159458845916096278681505400056612212399493944*c_0101_5^32 + 7503772502787548181953007057587523584280879397052348583/80770087201\ 159458845916096278681505400056612212399493944*c_0101_5^30 - 24052376929847083429063985840624048718452739712098696983/1009626090\ 0144932355739512034835188175007076526549936743*c_0101_5^28 + 1434092255471739430448736241980619648713199551600285296191/40385043\ 600579729422958048139340752700028306106199746972*c_0101_5^26 - 6927161046120715124150842593888940669537208404894787995855/20192521\ 800289864711479024069670376350014153053099873486*c_0101_5^24 + 22770001784327491774796503690180090431234469042820449048301/1009626\ 0900144932355739512034835188175007076526549936743*c_0101_5^22 - 210331169294843946622448884050617349117374131499313790005337/201925\ 21800289864711479024069670376350014153053099873486*c_0101_5^20 + 2798180746594063261419871593252084359092359025207531735241361/80770\ 087201159458845916096278681505400056612212399493944*c_0101_5^18 - 3394862908446668938967400164509777243945783383415998157444531/40385\ 043600579729422958048139340752700028306106199746972*c_0101_5^16 + 47028017424751424247215058672878275720323228917878222469777/3179924\ 69295903381283134237317643722047466977214171236*c_0101_5^14 - 14841599662199396211571344718349048961828213588683244630052545/8077\ 0087201159458845916096278681505400056612212399493944*c_0101_5^12 + 12328837397871896288310051523269633659083335811693754410646243/8077\ 0087201159458845916096278681505400056612212399493944*c_0101_5^10 - 3106454060892407754311537566493946527312840263833991804375225/40385\ 043600579729422958048139340752700028306106199746972*c_0101_5^8 + 863900178615434756660759400728271669128380367306312558146715/403850\ 43600579729422958048139340752700028306106199746972*c_0101_5^6 - 249000907936271614441822309446748304088469758297520912990025/807700\ 87201159458845916096278681505400056612212399493944*c_0101_5^4 + 8931584838034859864149810401575926453602152287090780914301/40385043\ 600579729422958048139340752700028306106199746972*c_0101_5^2 - 56591086661640248924742294329076069289576236840762416803/1009626090\ 0144932355739512034835188175007076526549936743, c_0101_4 + 22479338845749443677604303623986053485479077279377432345/161\ 540174402318917691832192557363010800113224424798987888*c_0101_5^33 - 1481558514424131259224420149922996607738416539850069395237/16154017\ 4402318917691832192557363010800113224424798987888*c_0101_5^31 + 4697917952425969624472534425914716173477318489079493102825/20192521\ 800289864711479024069670376350014153053099873486*c_0101_5^29 - 276645800638690057842417822415703599392014555537119987205593/807700\ 87201159458845916096278681505400056612212399493944*c_0101_5^27 + 1315254129424748178530871834232073259132240143797227409953401/40385\ 043600579729422958048139340752700028306106199746972*c_0101_5^25 - 4234676344097174809361746845896874666127943314989033851178411/20192\ 521800289864711479024069670376350014153053099873486*c_0101_5^23 + 38089609227606765866934080390655914344105337215312345212789505/4038\ 5043600579729422958048139340752700028306106199746972*c_0101_5^21 - 490140167039151982934390213513194725901826680569866363299352485/161\ 540174402318917691832192557363010800113224424798987888*c_0101_5^19 + 71286554065950052698503392141048907683063945548971719814574422/1009\ 6260900144932355739512034835188175007076526549936743*c_0101_5^17 - 3737430526841511604658824725017525891881511178892916084737831/31799\ 2469295903381283134237317643722047466977214171236*c_0101_5^15 + 2182888671301376225793577535536668573295288034126194533435137355/16\ 1540174402318917691832192557363010800113224424798987888*c_0101_5^13 - 1611116003333358194047228508017765761157267961296321459813568891/\ 161540174402318917691832192557363010800113224424798987888*c_0101_5^\ 11 + 41750123077116854001026099401827824347774090229555727544419526\ /10096260900144932355739512034835188175007076526549936743*c_0101_5^\ 9 - 18781855208649416287686775290955168757440490561394580393832309/\ 20192521800289864711479024069670376350014153053099873486*c_0101_5^7 + 18241613543784008456704149740229411417548946932319912670521039/16\ 1540174402318917691832192557363010800113224424798987888*c_0101_5^5 - 562461211088885295535539084666536363804440729901518400614725/807700\ 87201159458845916096278681505400056612212399493944*c_0101_5^3 + 3412288536869901691684386525895090922723271437852494504891/20192521\ 800289864711479024069670376350014153053099873486*c_0101_5, c_0101_5^34 - 66*c_0101_5^32 + 1678*c_0101_5^30 - 24768*c_0101_5^28 + 236316*c_0101_5^26 - 1528724*c_0101_5^24 + 6917432*c_0101_5^22 - 22433205*c_0101_5^20 + 52766649*c_0101_5^18 - 89188477*c_0101_5^16 + 105000464*c_0101_5^14 - 80788335*c_0101_5^12 + 36497755*c_0101_5^10 - 9539011*c_0101_5^8 + 1467898*c_0101_5^6 - 131648*c_0101_5^4 + 6368*c_0101_5^2 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB