Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 256807545] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3043 geometric_solution 6.21706096 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 -1 0 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.430564572399 0.581473186066 0 3 5 4 0132 0132 0132 0132 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 -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.709310623745 0.801568796509 3 0 4 5 3201 0132 3201 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 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.709310623745 0.801568796509 3 1 3 2 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374696153643 1.238146668702 2 6 1 6 2310 0132 0132 1023 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 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 1.029542431090 0.692562968849 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.964113746125 0.675435711050 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 1 -1 -1 0 1 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.553915155545 0.211275861026 ==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' : negation(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' : d['1'], 's_1_0' : 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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], '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' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 2604076999533120875738987149103510115055815132429/35035213275327062\ 41064750378705054395107447581*c_0110_6^23 - 2678674759697304260246567505167287784647533041299/35035213275327062\ 41064750378705054395107447581*c_0110_6^22 + 98882487565561349751756976037327726186999185863333/3503521327532706\ 241064750378705054395107447581*c_0110_6^21 + 58373592667466256102329178477664752741222842879644/3503521327532706\ 241064750378705054395107447581*c_0110_6^20 - 725616581058503118508417784588130743990391388850048/350352132753270\ 6241064750378705054395107447581*c_0110_6^19 - 711373853233576344098360149846309758042852130258054/350352132753270\ 6241064750378705054395107447581*c_0110_6^18 + 2120220869251422488506201927404567843261555795117774/35035213275327\ 06241064750378705054395107447581*c_0110_6^17 + 4514164624219963278406004426378308628488075560067960/35035213275327\ 06241064750378705054395107447581*c_0110_6^16 - 1153918472581632062814879906968223832819123650140253/35035213275327\ 06241064750378705054395107447581*c_0110_6^15 - 15618383939839724245698727505070422280215763329099927/3503521327532\ 706241064750378705054395107447581*c_0110_6^14 - 17791892108344724151950993021485706407226170387787316/3503521327532\ 706241064750378705054395107447581*c_0110_6^13 + 407382678011283576165542702870780262146671287989213/350352132753270\ 6241064750378705054395107447581*c_0110_6^12 + 158314773577148668226954754135733143665502882905310/814772401751792\ 14908482566946629171979242967*c_0110_6^11 + 535616012471273387262834095638732542234063664820783/350352132753270\ 6241064750378705054395107447581*c_0110_6^10 + 3861564515859293953393560292234638800453402256288296/35035213275327\ 06241064750378705054395107447581*c_0110_6^9 + 2121174295307505001201808074418490382681991851995046/35035213275327\ 06241064750378705054395107447581*c_0110_6^8 - 3596295194917519510271819090459229782962413836322086/35035213275327\ 06241064750378705054395107447581*c_0110_6^7 - 147201877514465466107733338030882396765160572813626/350352132753270\ 6241064750378705054395107447581*c_0110_6^6 + 1569971872093899607513300298379849152225179348867012/35035213275327\ 06241064750378705054395107447581*c_0110_6^5 - 197212827412386969146544654084913059508324677790045/350352132753270\ 6241064750378705054395107447581*c_0110_6^4 - 138311808416286121512309168754465427061931694265926/350352132753270\ 6241064750378705054395107447581*c_0110_6^3 + 3806827339189855249483213587775329205842331912926/20608948985486507\ 3003808845806179670300438093*c_0110_6^2 - 23035972657643740856528955265450004296486069983540/3503521327532706\ 241064750378705054395107447581*c_0110_6 + 2551949144981004480543276499128202931023413774529/35035213275327062\ 41064750378705054395107447581, c_0011_0 - 1, c_0011_4 - 943321056980278381260145486032006392223549390/81477240175179\ 214908482566946629171979242967*c_0110_6^23 - 938702519060503699200684213757446073631564443/814772401751792149084\ 82566946629171979242967*c_0110_6^22 + 35864706642656819353449566058107516256184643026/8147724017517921490\ 8482566946629171979242967*c_0110_6^21 + 19954587099479831814393168056292651125059733466/8147724017517921490\ 8482566946629171979242967*c_0110_6^20 - 264025639627189257308027201185890740376686353742/814772401751792149\ 08482566946629171979242967*c_0110_6^19 - 249064665048758264597147704643650140605437667736/814772401751792149\ 08482566946629171979242967*c_0110_6^18 + 780054520694896930187611089867145739944843344530/814772401751792149\ 08482566946629171979242967*c_0110_6^17 + 1612130139167510533384568496682827838941063201719/81477240175179214\ 908482566946629171979242967*c_0110_6^16 - 482670725043163894989962498156362817105003708319/814772401751792149\ 08482566946629171979242967*c_0110_6^15 - 5662449746652604802185109233859077004959883451607/81477240175179214\ 908482566946629171979242967*c_0110_6^14 - 6248355460239109910441768574835265013548188321860/81477240175179214\ 908482566946629171979242967*c_0110_6^13 + 432234104466467805187595599686253021842111494920/814772401751792149\ 08482566946629171979242967*c_0110_6^12 + 2532975665405967686049499953082999826798372369710/81477240175179214\ 908482566946629171979242967*c_0110_6^11 + 109010187950979511717036370789419181026875153711/814772401751792149\ 08482566946629171979242967*c_0110_6^10 + 1374666704151189077963422135689579373517255088653/81477240175179214\ 908482566946629171979242967*c_0110_6^9 + 719286265018854354492816843210594418713555550211/814772401751792149\ 08482566946629171979242967*c_0110_6^8 - 1350170215773116243231726102812068217937358957892/81477240175179214\ 908482566946629171979242967*c_0110_6^7 - 14398230954753001971178618530176863623639190064/8147724017517921490\ 8482566946629171979242967*c_0110_6^6 + 582810804191455148313691576267230470674410610417/814772401751792149\ 08482566946629171979242967*c_0110_6^5 - 92453143858158082717307339120651716996767690001/8147724017517921490\ 8482566946629171979242967*c_0110_6^4 - 51440107160545318265478248065035592663223580039/8147724017517921490\ 8482566946629171979242967*c_0110_6^3 + 1497559867968788977972335691391857852049022601/47927788338340714652\ 04856879213480704661351*c_0110_6^2 - 9027354526465156336234207587762845635454296575/81477240175179214908\ 482566946629171979242967*c_0110_6 + 1135249476684039607027468912058336182859339263/81477240175179214908\ 482566946629171979242967, c_0101_0 + 1804011855131595968799835444247466791919069816/8147724017517\ 9214908482566946629171979242967*c_0110_6^23 + 1816023337856079901162715389566557635750765256/81477240175179214908\ 482566946629171979242967*c_0110_6^22 - 68503096911845093442901045651668533648093960039/8147724017517921490\ 8482566946629171979242967*c_0110_6^21 - 38922023629866999181328140783984171466832889166/8147724017517921490\ 8482566946629171979242967*c_0110_6^20 + 502050381381138523691807452113243894244542754411/814772401751792149\ 08482566946629171979242967*c_0110_6^19 + 482015454816716314802797229923271299019149654335/814772401751792149\ 08482566946629171979242967*c_0110_6^18 - 1468929553770237578766779551154196315831081382889/81477240175179214\ 908482566946629171979242967*c_0110_6^17 - 3092048640217097807498665723976301052037498753379/81477240175179214\ 908482566946629171979242967*c_0110_6^16 + 834931207460547042273478545966578401004789904280/814772401751792149\ 08482566946629171979242967*c_0110_6^15 + 10758250586031925706842245782566986584186929296502/8147724017517921\ 4908482566946629171979242967*c_0110_6^14 + 12134001530807971357491211155067839424095502329440/8147724017517921\ 4908482566946629171979242967*c_0110_6^13 - 354264749429121150414031348241347242883454424455/814772401751792149\ 08482566946629171979242967*c_0110_6^12 - 4579679453597759417921913593980508395754192657967/81477240175179214\ 908482566946629171979242967*c_0110_6^11 - 344466327714825602346927878542691802955555656025/814772401751792149\ 08482566946629171979242967*c_0110_6^10 - 2698206088266558046756990969333734983175082144159/81477240175179214\ 908482566946629171979242967*c_0110_6^9 - 1406917617350106225364700872321558444380073812269/81477240175179214\ 908482566946629171979242967*c_0110_6^8 + 2456978044096462064196477878823667748632206593501/81477240175179214\ 908482566946629171979242967*c_0110_6^7 + 63717407861596930787065868273875145633095618238/8147724017517921490\ 8482566946629171979242967*c_0110_6^6 - 1054445725327699366303989660906973207645565363153/81477240175179214\ 908482566946629171979242967*c_0110_6^5 + 139267291882756813731297052166140500647109091310/814772401751792149\ 08482566946629171979242967*c_0110_6^4 + 88774481797378885932457247929415391188651566562/8147724017517921490\ 8482566946629171979242967*c_0110_6^3 - 2533190728151257183840235814186727889002527011/47927788338340714652\ 04856879213480704661351*c_0110_6^2 + 15420013451949278653487926466126132063559319993/8147724017517921490\ 8482566946629171979242967*c_0110_6 - 1666258209495484549174059738218943796452071149/81477240175179214908\ 482566946629171979242967, c_0101_1 + 1620293458337602109984483167924425246062962512/8147724017517\ 9214908482566946629171979242967*c_0110_6^23 + 1637995176171960305669532873436999405989215174/81477240175179214908\ 482566946629171979242967*c_0110_6^22 - 61528412202080945934455234549491270596482547068/8147724017517921490\ 8482566946629171979242967*c_0110_6^21 - 35222765524685724378378326984924097851380810271/8147724017517921490\ 8482566946629171979242967*c_0110_6^20 + 451096305202931971157847759537148698160917478999/814772401751792149\ 08482566946629171979242967*c_0110_6^19 + 434786464676430919450797377074963808474745559910/814772401751792149\ 08482566946629171979242967*c_0110_6^18 - 1319711193747631193124136348730612306724363072455/81477240175179214\ 908482566946629171979242967*c_0110_6^17 - 2783418719808271094281205705499543183177101567700/81477240175179214\ 908482566946629171979242967*c_0110_6^16 + 744841721981316045313782004940946643620614588552/814772401751792149\ 08482566946629171979242967*c_0110_6^15 + 9675256970074556940706021231912984810266098879360/81477240175179214\ 908482566946629171979242967*c_0110_6^14 + 10930255061585531943673147440168026481755101099415/8147724017517921\ 4908482566946629171979242967*c_0110_6^13 - 312994795273007473389528013727559765383005594371/814772401751792149\ 08482566946629171979242967*c_0110_6^12 - 4143517627037087177172929190387929475455283151208/81477240175179214\ 908482566946629171979242967*c_0110_6^11 - 314802361320300044631813348460149216233836401848/814772401751792149\ 08482566946629171979242967*c_0110_6^10 - 2419040475624792783988329617136656126208881481722/81477240175179214\ 908482566946629171979242967*c_0110_6^9 - 1273604327511607207394941848746769789966261340616/81477240175179214\ 908482566946629171979242967*c_0110_6^8 + 2215929889179184678449544257035079183860186884302/81477240175179214\ 908482566946629171979242967*c_0110_6^7 + 64461964315289803757757590595774823644058879674/8147724017517921490\ 8482566946629171979242967*c_0110_6^6 - 954315096544415013950424201722092694721578742620/814772401751792149\ 08482566946629171979242967*c_0110_6^5 + 124977930375359711212205749336093783148289303168/814772401751792149\ 08482566946629171979242967*c_0110_6^4 + 81003085003637869713481161111069241975774771383/8147724017517921490\ 8482566946629171979242967*c_0110_6^3 - 2311212439979644323419570803659432390039892606/47927788338340714652\ 04856879213480704661351*c_0110_6^2 + 14056181967439461810228589171727837173317035810/8147724017517921490\ 8482566946629171979242967*c_0110_6 - 1488864716116289003727880016340614648913738670/81477240175179214908\ 482566946629171979242967, c_0101_2 - 1530720844383736060279103069418656407201757103/8147724017517\ 9214908482566946629171979242967*c_0110_6^23 - 1555755741886119676961348933942181877577494358/81477240175179214908\ 482566946629171979242967*c_0110_6^22 + 58164796708770639870947127791452949376642664503/8147724017517921490\ 8482566946629171979242967*c_0110_6^21 + 33605759429718177297350138610895300094996765476/8147724017517921490\ 8482566946629171979242967*c_0110_6^20 - 427734588819464501810321434279799376455341524516/814772401751792149\ 08482566946629171979242967*c_0110_6^19 - 412845110003260571800513404624091872202346760178/814772401751792149\ 08482566946629171979242967*c_0110_6^18 + 1256943523368918529568609240674834559066842600624/81477240175179214\ 908482566946629171979242967*c_0110_6^17 + 2640149759545353785592585108130382068504771468353/81477240175179214\ 908482566946629171979242967*c_0110_6^16 - 727677403904151123098284501611154690739288400206/814772401751792149\ 08482566946629171979242967*c_0110_6^15 - 9196584617787411576144402741567336621856946397284/81477240175179214\ 908482566946629171979242967*c_0110_6^14 - 10324176656976781714674507780332562450107271416255/8147724017517921\ 4908482566946629171979242967*c_0110_6^13 + 471979623715864857471005803840738193072424968375/814772401751792149\ 08482566946629171979242967*c_0110_6^12 + 4075346686340626191645658326406650619083057121226/81477240175179214\ 908482566946629171979242967*c_0110_6^11 + 235097430585154446137778615765129574145258744499/814772401751792149\ 08482566946629171979242967*c_0110_6^10 + 2247486748680228949796720800216260934720541941375/81477240175179214\ 908482566946629171979242967*c_0110_6^9 + 1217944647865600983113283344768706368059490143263/81477240175179214\ 908482566946629171979242967*c_0110_6^8 - 2161913976573379175747459364160528297634432708698/81477240175179214\ 908482566946629171979242967*c_0110_6^7 - 55548151763683357859995557620970683621893001057/8147724017517921490\ 8482566946629171979242967*c_0110_6^6 + 941257709064956212934391719630682631952046041795/814772401751792149\ 08482566946629171979242967*c_0110_6^5 - 135110853504394293553838319021395645373914385240/814772401751792149\ 08482566946629171979242967*c_0110_6^4 - 83146080392071744039486051865823418799971473690/8147724017517921490\ 8482566946629171979242967*c_0110_6^3 + 2374267804349411062268885225864977053386907317/47927788338340714652\ 04856879213480704661351*c_0110_6^2 - 14236254689349252114953905155183222014419577511/8147724017517921490\ 8482566946629171979242967*c_0110_6 + 1700799540906962114091558720653172388537886948/81477240175179214908\ 482566946629171979242967, c_0101_5 - 24657849332495908367916682291276115843711889/814772401751792\ 14908482566946629171979242967*c_0110_6^23 + 44640105108639815958454278998765351268374482/8147724017517921490848\ 2566946629171979242967*c_0110_6^22 + 998874470847799888536012889341555455126438462/814772401751792149084\ 82566946629171979242967*c_0110_6^21 - 2105480192746326056493276549661038042998298646/81477240175179214908\ 482566946629171979242967*c_0110_6^20 - 8074371407271932296877672415028592732468348317/81477240175179214908\ 482566946629171979242967*c_0110_6^19 + 12607648006330435589206839844220326698246299148/8147724017517921490\ 8482566946629171979242967*c_0110_6^18 + 36471329247258843143054683289091665416566284006/8147724017517921490\ 8482566946629171979242967*c_0110_6^17 - 13970516827952348897443321157361709349553389269/8147724017517921490\ 8482566946629171979242967*c_0110_6^16 - 123033604669003378824271270815836967454129084346/814772401751792149\ 08482566946629171979242967*c_0110_6^15 - 109558539626548452814337779361097672248832144987/814772401751792149\ 08482566946629171979242967*c_0110_6^14 + 233962517994246218776663389726417937384753588667/814772401751792149\ 08482566946629171979242967*c_0110_6^13 + 435952572398206243372820096422248651527487912333/814772401751792149\ 08482566946629171979242967*c_0110_6^12 + 44686135989282507903532386256435124802017433288/8147724017517921490\ 8482566946629171979242967*c_0110_6^11 - 133310231634949703001825701631105459350884052125/814772401751792149\ 08482566946629171979242967*c_0110_6^10 + 22584548211059547991188755968806741369811076739/8147724017517921490\ 8482566946629171979242967*c_0110_6^9 - 95745044557006382314121578765415700962060912384/8147724017517921490\ 8482566946629171979242967*c_0110_6^8 - 70043583100283519857814703270812849318554076008/8147724017517921490\ 8482566946629171979242967*c_0110_6^7 + 81768810847090943400677883214737434727710901399/8147724017517921490\ 8482566946629171979242967*c_0110_6^6 + 8150109271954029892165594515157282279378296297/81477240175179214908\ 482566946629171979242967*c_0110_6^5 - 30722407217480804824500938776253391671085515249/8147724017517921490\ 8482566946629171979242967*c_0110_6^4 + 2113627166171381916358947520167948710715081874/81477240175179214908\ 482566946629171979242967*c_0110_6^3 + 109554797440399544530462898457791983240989041/479277883383407146520\ 4856879213480704661351*c_0110_6^2 - 715537686367112796982440438003102315938758749/814772401751792149084\ 82566946629171979242967*c_0110_6 + 242735742855576712417323049486951077431449011/814772401751792149084\ 82566946629171979242967, c_0110_6^24 + 2/3*c_0110_6^23 - 115/3*c_0110_6^22 - 26/3*c_0110_6^21 + 859/3*c_0110_6^20 + 517/3*c_0110_6^19 - 910*c_0110_6^18 - 4313/3*c_0110_6^17 + 1061*c_0110_6^16 + 5824*c_0110_6^15 + 4674*c_0110_6^14 - 7714/3*c_0110_6^13 - 2517*c_0110_6^12 + 717*c_0110_6^11 - 4262/3*c_0110_6^10 - 824/3*c_0110_6^9 + 4969/3*c_0110_6^8 - 1319/3*c_0110_6^7 - 1834/3*c_0110_6^6 + 862/3*c_0110_6^5 + 24*c_0110_6^4 - 128/3*c_0110_6^3 + 52/3*c_0110_6^2 - 4*c_0110_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB