Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 2564359288] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1977 geometric_solution 5.54933738 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -1 0 1 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.516877243411 0.783312408316 3 2 4 0 0132 3012 0132 0132 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 1 0 0 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944078605794 0.948358177354 1 3 0 4 1230 2310 0132 2310 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 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 0 0 0 0.944078605794 0.948358177354 1 5 5 2 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692418977994 0.300080428675 2 4 4 1 3201 1230 3012 0132 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 0 0 0 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.216150391830 0.573343324413 6 3 3 6 0132 0132 1023 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 1.087011659854 0.342820359478 5 6 6 5 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 1.172163081886 0.196296536438 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : negation(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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 910411515707705199254789379847767781925575/375213225041246183510172\ 04117059891687953*c_0101_6^23 + 16459900966819479750616297525691790\ 01426731/37521322504124618351017204117059891687953*c_0101_6^22 + 18526580423430031982280174353554352314029342/3752132250412461835101\ 7204117059891687953*c_0101_6^21 - 141533416051879502469914020078102\ 7906206503/3411029318556783486456109465187262880723*c_0101_6^20 - 86784265204695006391682254300464002099351591/3752132250412461835101\ 7204117059891687953*c_0101_6^19 + 753941853434567642037509659976797\ 73476224046/37521322504124618351017204117059891687953*c_0101_6^18 + 193022966536201014654037950127185232601575830/375213225041246183510\ 17204117059891687953*c_0101_6^17 + 29316579984084277364580702888149362956521320/3752132250412461835101\ 7204117059891687953*c_0101_6^16 - 240161154964079369362043433490921\ 776237945256/37521322504124618351017204117059891687953*c_0101_6^15 - 374397317105930844759631362507167894887083816/375213225041246183510\ 17204117059891687953*c_0101_6^14 + 955461550768866096117621264194878884427870384/375213225041246183510\ 17204117059891687953*c_0101_6^13 + 12050907274923107257521740206025062448468735/3411029318556783486456\ 109465187262880723*c_0101_6^12 - 1521016702599529476482456412061573\ 430808813175/37521322504124618351017204117059891687953*c_0101_6^11 + 1079580363896120929432492285174114205927301209/37521322504124618351\ 017204117059891687953*c_0101_6^10 - 18783307382071169451392562234463969918622464/3411029318556783486456\ 109465187262880723*c_0101_6^9 - 10218749833179834127324618382457015\ 43720400749/37521322504124618351017204117059891687953*c_0101_6^8 + 541792841015184532200124039211502372391002146/375213225041246183510\ 17204117059891687953*c_0101_6^7 - 237035339415078030929403763997172\ 019816887381/37521322504124618351017204117059891687953*c_0101_6^6 - 72534131004654547409247536469987097803805605/3752132250412461835101\ 7204117059891687953*c_0101_6^5 + 1554885834154418080764706461517697\ 27441096949/37521322504124618351017204117059891687953*c_0101_6^4 - 55211353617441577293825483063277743588173388/3752132250412461835101\ 7204117059891687953*c_0101_6^3 - 2794449242433833118605668443490378\ 9705434258/37521322504124618351017204117059891687953*c_0101_6^2 + 15580822698257436399498023326555443049692016/3752132250412461835101\ 7204117059891687953*c_0101_6 + 467243987438184839580495325247784187\ 0836978/37521322504124618351017204117059891687953, c_0011_0 - 1, c_0011_1 - 132283509077656896511391261009119882/16566436709843533202798\ 00614466859097*c_0101_6^23 + 300256277493259398020126726298871975/1\ 656643670984353320279800614466859097*c_0101_6^22 + 2556879033874208896165855587231937292/16566436709843533202798006144\ 66859097*c_0101_6^21 - 3449666763885368385673921444208669641/165664\ 3670984353320279800614466859097*c_0101_6^20 - 11089344345460876895266559824525024266/1656643670984353320279800614\ 466859097*c_0101_6^19 + 16141129827435209419050839393878477793/1656\ 643670984353320279800614466859097*c_0101_6^18 + 20913263233085178216559579458960186138/1656643670984353320279800614\ 466859097*c_0101_6^17 - 5730159130300155658036251967653742908/16566\ 43670984353320279800614466859097*c_0101_6^16 - 32825086187814840747395240899445448727/1656643670984353320279800614\ 466859097*c_0101_6^15 - 39180703839947301413341855581622798326/1656\ 643670984353320279800614466859097*c_0101_6^14 + 157179291670978772752530942533662222953/165664367098435332027980061\ 4466859097*c_0101_6^13 - 52482584375613535768937058466155687999/165\ 6643670984353320279800614466859097*c_0101_6^12 - 199443961540542855587449073333381023973/165664367098435332027980061\ 4466859097*c_0101_6^11 + 250747980555673144204358054396418676649/16\ 56643670984353320279800614466859097*c_0101_6^10 - 140022955469850278834634125145758906928/165664367098435332027980061\ 4466859097*c_0101_6^9 - 93303577859903675265653631512532636411/1656\ 643670984353320279800614466859097*c_0101_6^8 + 124874287984831795560892668370236795160/165664367098435332027980061\ 4466859097*c_0101_6^7 - 80793233754979466495500243710467094882/1656\ 643670984353320279800614466859097*c_0101_6^6 + 19444987399360632693685693460525510585/1656643670984353320279800614\ 466859097*c_0101_6^5 + 12488403628361547807424833858462511237/16566\ 43670984353320279800614466859097*c_0101_6^4 - 12660079983180214349140055735423354464/1656643670984353320279800614\ 466859097*c_0101_6^3 - 1548229239855380856986939166824123185/165664\ 3670984353320279800614466859097*c_0101_6^2 + 1633147503129776973974562772928799410/16566436709843533202798006144\ 66859097*c_0101_6 - 783713578010555310114894096132638711/1656643670\ 984353320279800614466859097, c_0011_4 - 4288877911681771138659779552248013022/1656643670984353320279\ 800614466859097*c_0101_6^23 + 9897702908981675302386678952271472477\ /1656643670984353320279800614466859097*c_0101_6^22 + 82718017722610637962090476144371249255/1656643670984353320279800614\ 466859097*c_0101_6^21 - 115488918317681872179549394247687902359/165\ 6643670984353320279800614466859097*c_0101_6^20 - 358784122786372377689501905899899253555/165664367098435332027980061\ 4466859097*c_0101_6^19 + 543151030070231921424304850400848391077/16\ 56643670984353320279800614466859097*c_0101_6^18 + 672457077343092030864739878872018163119/165664367098435332027980061\ 4466859097*c_0101_6^17 - 239056698484553571937334077310934341223/16\ 56643670984353320279800614466859097*c_0101_6^16 - 1082899214540392789998538056265492038176/16566436709843533202798006\ 14466859097*c_0101_6^15 - 1217204779658698158309825780764841747139/\ 1656643670984353320279800614466859097*c_0101_6^14 + 5209640639477451841001976333051810890509/16566436709843533202798006\ 14466859097*c_0101_6^13 - 1844447873061297345048364952295592625338/\ 1656643670984353320279800614466859097*c_0101_6^12 - 6683243954742638339556722386018679971730/16566436709843533202798006\ 14466859097*c_0101_6^11 + 8486683774012316712716251248819252031523/\ 1656643670984353320279800614466859097*c_0101_6^10 - 4591064244129054077411329650111867547140/16566436709843533202798006\ 14466859097*c_0101_6^9 - 3141125866147180628462396062002784013317/1\ 656643670984353320279800614466859097*c_0101_6^8 + 4387632262885674656267642137663796349399/16566436709843533202798006\ 14466859097*c_0101_6^7 - 2957623367672467701848343940262515619343/1\ 656643670984353320279800614466859097*c_0101_6^6 + 811908599154153688762055366276366385843/165664367098435332027980061\ 4466859097*c_0101_6^5 + 519262745898047138812701666963122119650/165\ 6643670984353320279800614466859097*c_0101_6^4 - 553790268164362346797503768989731163593/165664367098435332027980061\ 4466859097*c_0101_6^3 + 86146287199928517815315748109297720088/1656\ 643670984353320279800614466859097*c_0101_6^2 + 67524618948742740196637007945554300709/1656643670984353320279800614\ 466859097*c_0101_6 - 11867706314392781199931837339786645616/1656643\ 670984353320279800614466859097, c_0101_0 + 1962440512260380642688198004910883578/1656643670984353320279\ 800614466859097*c_0101_6^23 - 4555049125165737072724445421253538745\ /1656643670984353320279800614466859097*c_0101_6^22 - 37801820709277176692956876320375480090/1656643670984353320279800614\ 466859097*c_0101_6^21 + 53340310434162143085778918625908122674/1656\ 643670984353320279800614466859097*c_0101_6^20 + 163796722550832525516368150054756835804/165664367098435332027980061\ 4466859097*c_0101_6^19 - 250293378376382723633051512016594947695/16\ 56643670984353320279800614466859097*c_0101_6^18 - 306239003417651415526886348407346976232/165664367098435332027980061\ 4466859097*c_0101_6^17 + 111763219120570545018289243879518104613/16\ 56643670984353320279800614466859097*c_0101_6^16 + 499578887764367100006533950177537760053/165664367098435332027980061\ 4466859097*c_0101_6^15 + 556374191496559542959245929507106129763/16\ 56643670984353320279800614466859097*c_0101_6^14 - 2393004067799730046080894404526093733368/16566436709843533202798006\ 14466859097*c_0101_6^13 + 864063606667956887355608728585876624004/1\ 656643670984353320279800614466859097*c_0101_6^12 + 3048568530465507104203667230551965375532/16566436709843533202798006\ 14466859097*c_0101_6^11 - 3890005759488058141576849213155992478686/\ 1656643670984353320279800614466859097*c_0101_6^10 + 2126986805597531787576437981088147335184/16566436709843533202798006\ 14466859097*c_0101_6^9 + 1383491052420382155466330155917401526089/1\ 656643670984353320279800614466859097*c_0101_6^8 - 1986347208200846474631024292505164193712/16566436709843533202798006\ 14466859097*c_0101_6^7 + 1336491564413751054482480933265612819737/1\ 656643670984353320279800614466859097*c_0101_6^6 - 404594619780743962389723354635286473135/165664367098435332027980061\ 4466859097*c_0101_6^5 - 221622157660829030421247631730787919672/165\ 6643670984353320279800614466859097*c_0101_6^4 + 237405934430454729285441799731609933876/165664367098435332027980061\ 4466859097*c_0101_6^3 - 37332125075153518065334960210266267091/1656\ 643670984353320279800614466859097*c_0101_6^2 - 30128511396444934327943304427065350802/1656643670984353320279800614\ 466859097*c_0101_6 + 4816738880763047679575057834050972510/16566436\ 70984353320279800614466859097, c_0101_1 + 3997359140932016925582374564516819832/1656643670984353320279\ 800614466859097*c_0101_6^23 - 9348402592429380591550938388258064498\ /1656643670984353320279800614466859097*c_0101_6^22 - 76861019818861283392386872052715845829/1656643670984353320279800614\ 466859097*c_0101_6^21 + 110124408031544138705564640271815492234/165\ 6643670984353320279800614466859097*c_0101_6^20 + 332072855060064816383267501178975012339/165664367098435332027980061\ 4466859097*c_0101_6^19 - 517695333190814469866958236950597189804/16\ 56643670984353320279800614466859097*c_0101_6^18 - 615683171927285323545694002599094861269/165664367098435332027980061\ 4466859097*c_0101_6^17 + 247668142908553283195734071592286631808/16\ 56643670984353320279800614466859097*c_0101_6^16 + 1012011062856462539902525462363185249666/16566436709843533202798006\ 14466859097*c_0101_6^15 + 1101764918971958822633574855890169085444/\ 1656643670984353320279800614466859097*c_0101_6^14 - 4904444972616672170626131289146353714649/16566436709843533202798006\ 14466859097*c_0101_6^13 + 1852720315275037402921753402832039879710/\ 1656643670984353320279800614466859097*c_0101_6^12 + 6235183761727968741032943432582578767372/16566436709843533202798006\ 14466859097*c_0101_6^11 - 8109268980485297748849964097284912711040/\ 1656643670984353320279800614466859097*c_0101_6^10 + 4434978181029386382847871825583637520016/16566436709843533202798006\ 14466859097*c_0101_6^9 + 2878024424803190248466677717950426043609/1\ 656643670984353320279800614466859097*c_0101_6^8 - 4202777229667109235537891560309269263813/16566436709843533202798006\ 14466859097*c_0101_6^7 + 2826539315301958038648337154915335324759/1\ 656643670984353320279800614466859097*c_0101_6^6 - 798554139550757943597251321801751403761/165664367098435332027980061\ 4466859097*c_0101_6^5 - 479242587695153699725486153917913426610/165\ 6643670984353320279800614466859097*c_0101_6^4 + 525033639590953036601115655232095598016/165664367098435332027980061\ 4466859097*c_0101_6^3 - 87162657640462368886509237874750790381/1656\ 643670984353320279800614466859097*c_0101_6^2 - 64353194233749021195809237399766701550/1656643670984353320279800614\ 466859097*c_0101_6 + 11780824388975267894935193389945770509/1656643\ 670984353320279800614466859097, c_0101_5 + 516633647051582608386411794803676647/16566436709843533202798\ 00614466859097*c_0101_6^23 - 1178239384291253100264479272086088038/\ 1656643670984353320279800614466859097*c_0101_6^22 - 9988956639854523310328647935529160905/16566436709843533202798006144\ 66859097*c_0101_6^21 + 13609655984462262848533671710994661941/16566\ 43670984353320279800614466859097*c_0101_6^20 + 43476052028300743254214204030656462681/1656643670984353320279800614\ 466859097*c_0101_6^19 - 63770566302266063682760307485748595449/1656\ 643670984353320279800614466859097*c_0101_6^18 - 82368568756115993211554770367666450823/1656643670984353320279800614\ 466859097*c_0101_6^17 + 24433708471545506398743374513259546148/1656\ 643670984353320279800614466859097*c_0101_6^16 + 131063249180108161182162168027715419641/165664367098435332027980061\ 4466859097*c_0101_6^15 + 152968935214515146323915975719526491277/16\ 56643670984353320279800614466859097*c_0101_6^14 - 620609975514680868478109550303273417856/165664367098435332027980061\ 4466859097*c_0101_6^13 + 204934591210371106519713123106872999539/16\ 56643670984353320279800614466859097*c_0101_6^12 + 796493045781925572885179484671708050931/165664367098435332027980061\ 4466859097*c_0101_6^11 - 984038644238035396762419892040512409943/16\ 56643670984353320279800614466859097*c_0101_6^10 + 536552635998042826446579288319258099333/165664367098435332027980061\ 4466859097*c_0101_6^9 + 361986067463045133539593313539017018071/165\ 6643670984353320279800614466859097*c_0101_6^8 - 493267693636431662557751820210164595104/165664367098435332027980061\ 4466859097*c_0101_6^7 + 334734988260232951854911139256391087525/165\ 6643670984353320279800614466859097*c_0101_6^6 - 104242134097377284231788756024185175784/165664367098435332027980061\ 4466859097*c_0101_6^5 - 56409077766659908022333937835464583878/1656\ 643670984353320279800614466859097*c_0101_6^4 + 56518028412404110962826541291384063365/1656643670984353320279800614\ 466859097*c_0101_6^3 - 8403478629344642191835636860137212892/165664\ 3670984353320279800614466859097*c_0101_6^2 - 9914157460871619158484167375876671107/16566436709843533202798006144\ 66859097*c_0101_6 + 1074411517378013046769373247796046766/165664367\ 0984353320279800614466859097, c_0101_6^24 - 2*c_0101_6^23 - 20*c_0101_6^22 + 21*c_0101_6^21 + 92*c_0101_6^20 - 101*c_0101_6^19 - 196*c_0101_6^18 + 8*c_0101_6^17 + 270*c_0101_6^16 + 361*c_0101_6^15 - 1128*c_0101_6^14 + 56*c_0101_6^13 + 1695*c_0101_6^12 - 1502*c_0101_6^11 + 456*c_0101_6^10 + 1071*c_0101_6^9 - 802*c_0101_6^8 + 371*c_0101_6^7 + 28*c_0101_6^6 - 183*c_0101_6^5 + 91*c_0101_6^4 + 20*c_0101_6^3 - 23*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB