Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 189437903] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2327 geometric_solution 5.71692525 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 -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 1 0 -1 0 0 1 -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.289526755868 0.243918545637 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.690359393194 1.457973326380 1 3 4 5 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.092734512641 1.003221981283 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.092734512641 1.003221981283 6 3 6 2 0132 0132 2310 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756185505115 0.816957125050 5 5 2 3 1230 3012 0132 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 0 0 0 0 0 0 0 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.185145419396 1.191721431192 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.410233463083 0.235461216898 ==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' : 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_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(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_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 249128369847213767072220363546426367122/608017332290211991618949004\ 255345815*c_0101_4^39 - 11938586317838347116182633391642465311107/1\ 216034664580423983237898008510691630*c_0101_4^37 + 68516618377768123172337781907024878998914/6080173322902119916189490\ 04255345815*c_0101_4^35 - 96981624280740495899525882886332736561637\ /121603466458042398323789800851069163*c_0101_4^33 + 4793664300473063479381541132722261018905239/12160346645804239832378\ 98008510691630*c_0101_4^31 - 35429456308922342207642048209917404954\ 9805/22109721174189526967961781972921666*c_0101_4^29 + 13940425323235505074826580214649521063579927/2432069329160847966475\ 79601702138326*c_0101_4^27 - 20027308364637508378233491015085597115\ 0928257/1216034664580423983237898008510691630*c_0101_4^25 + 428505555936573376266291126357734602736619031/121603466458042398323\ 7898008510691630*c_0101_4^23 - 335343192606484442040081613559509720\ 760726397/608017332290211991618949004255345815*c_0101_4^21 + 387096288203397951570347898389932487335037036/608017332290211991618\ 949004255345815*c_0101_4^19 - 6688906808327415989826503902165918290\ 26306191/1216034664580423983237898008510691630*c_0101_4^17 + 219690813553805980046232436593722782491404082/608017332290211991618\ 949004255345815*c_0101_4^15 - 2025517490294643669571816847235045847\ 4969589/110548605870947634839808909864608330*c_0101_4^13 + 17653284479990778006129115912850292370989041/2432069329160847966475\ 79601702138326*c_0101_4^11 - 27305872725730549118080226185958487258\ 874727/1216034664580423983237898008510691630*c_0101_4^9 + 640666854400489038379346120506322801940125/121603466458042398323789\ 800851069163*c_0101_4^7 - 52809373851112053985856009581407399935858\ 9/608017332290211991618949004255345815*c_0101_4^5 + 9694722958929888750381216358183930893357/11054860587094763483980890\ 9864608330*c_0101_4^3 - 5267297517285104992399471014853317189701/12\ 16034664580423983237898008510691630*c_0101_4, c_0011_0 - 1, c_0011_1 - 19091126354829608716635006468084376/110548605870947634839808\ 90986460833*c_0101_4^38 + 433281371852902615643370165741334626/1105\ 4860587094763483980890986460833*c_0101_4^36 - 4698583825969845881418612494171329103/11054860587094763483980890986\ 460833*c_0101_4^34 + 31131281988441436664634020687288800896/1105486\ 0587094763483980890986460833*c_0101_4^32 - 143404250566848655675078686076438032182/110548605870947634839808909\ 86460833*c_0101_4^30 + 559524700642296488328304775161042795231/1105\ 4860587094763483980890986460833*c_0101_4^28 - 1937513599760062443948849185247171566608/11054860587094763483980890\ 986460833*c_0101_4^26 + 5125513801448215723080953038022911001464/11\ 054860587094763483980890986460833*c_0101_4^24 - 9604001454980145656015761085733259780664/11054860587094763483980890\ 986460833*c_0101_4^22 + 12714537631552583970612935255046641367162/1\ 1054860587094763483980890986460833*c_0101_4^20 - 12141244015603568734735115484793967218454/1105486058709476348398089\ 0986460833*c_0101_4^18 + 8582123355341048890461821139334393254896/1\ 1054860587094763483980890986460833*c_0101_4^16 - 4612049718824194134760650158006401949981/11054860587094763483980890\ 986460833*c_0101_4^14 + 1928331687383060954464896143347968329966/11\ 054860587094763483980890986460833*c_0101_4^12 - 632997130630619039700102836507801248947/110548605870947634839808909\ 86460833*c_0101_4^10 + 160147169295532636874962058431599817651/1105\ 4860587094763483980890986460833*c_0101_4^8 - 29701541198506255733548594969367969102/1105486058709476348398089098\ 6460833*c_0101_4^6 + 3828760888191112453977136394356597752/11054860\ 587094763483980890986460833*c_0101_4^4 - 333369830574521576371631181732908303/110548605870947634839808909864\ 60833*c_0101_4^2 + 22288454920873855555257449553817410/110548605870\ 94763483980890986460833, c_0011_3 + 11233594333779092071276558567356577/110548605870947634839808\ 90986460833*c_0101_4^39 - 250515137655868600994002399148473472/1105\ 4860587094763483980890986460833*c_0101_4^37 + 2667190664270126796028959998849080626/11054860587094763483980890986\ 460833*c_0101_4^35 - 17296793879569616394140889180712848663/1105486\ 0587094763483980890986460833*c_0101_4^33 + 77901984615218430979176256767474135466/1105486058709476348398089098\ 6460833*c_0101_4^31 - 300839470956779319375624099028245161860/11054\ 860587094763483980890986460833*c_0101_4^29 + 1032399185991872428184367615977625088016/11054860587094763483980890\ 986460833*c_0101_4^27 - 2652151102814726087244329242383435671974/11\ 054860587094763483980890986460833*c_0101_4^25 + 4757195879316605410256314255374768187978/11054860587094763483980890\ 986460833*c_0101_4^23 - 6018951360808119955731043593439389333431/11\ 054860587094763483980890986460833*c_0101_4^21 + 5578730426129642059212877608055204952449/11054860587094763483980890\ 986460833*c_0101_4^19 - 3974919759409267914401086498278472408826/11\ 054860587094763483980890986460833*c_0101_4^17 + 2279043625490264941375705681838611147823/11054860587094763483980890\ 986460833*c_0101_4^15 - 1077451270593570184762931012719818316363/11\ 054860587094763483980890986460833*c_0101_4^13 + 418051628302045564646781197732934621178/110548605870947634839808909\ 86460833*c_0101_4^11 - 130685079368351197489420168018233568667/1105\ 4860587094763483980890986460833*c_0101_4^9 + 32228133670434314845649007034381563474/1105486058709476348398089098\ 6460833*c_0101_4^7 - 5920186433907245224469372247719736565/11054860\ 587094763483980890986460833*c_0101_4^5 + 630976062319187098319657356883963317/110548605870947634839808909864\ 60833*c_0101_4^3 - 14692860025945949250646466274249840/110548605870\ 94763483980890986460833*c_0101_4, c_0011_5 + 194774207733220407311551372123216265/11054860587094763483980\ 890986460833*c_0101_4^39 - 4518910515829488675104574480215016459/11\ 054860587094763483980890986460833*c_0101_4^37 + 50156641891985506104561886961491172729/1105486058709476348398089098\ 6460833*c_0101_4^35 - 341524224344189519450180352750500773953/11054\ 860587094763483980890986460833*c_0101_4^33 + 1620180372038059632799212184738689914423/11054860587094763483980890\ 986460833*c_0101_4^31 - 6425428457015983609380721326650681575717/11\ 054860587094763483980890986460833*c_0101_4^29 + 22548988990080690182811482319146531668396/1105486058709476348398089\ 0986460833*c_0101_4^27 - 61880634963108706061668585165285732094106/\ 11054860587094763483980890986460833*c_0101_4^25 + 123022731973922499747019762517539185748518/110548605870947634839808\ 90986460833*c_0101_4^23 - 17557620242154815478187080629985488097225\ 7/11054860587094763483980890986460833*c_0101_4^21 + 182616288318397669259151748158419570746086/110548605870947634839808\ 90986460833*c_0101_4^19 - 14126286898130932889600889217188221876790\ 7/11054860587094763483980890986460833*c_0101_4^17 + 82983183785145639173479186660080811715626/1105486058709476348398089\ 0986460833*c_0101_4^15 - 37735947434210966372373215853546541060415/\ 11054860587094763483980890986460833*c_0101_4^13 + 13432054613215537182838758679612928738846/1105486058709476348398089\ 0986460833*c_0101_4^11 - 3704707778260532107721820933432500200603/1\ 1054860587094763483980890986460833*c_0101_4^9 + 755814309394755778722363691561250745974/110548605870947634839808909\ 86460833*c_0101_4^7 - 104510392491067277470975652117118810100/11054\ 860587094763483980890986460833*c_0101_4^5 + 8665422724721042173261871094117060992/11054860587094763483980890986\ 460833*c_0101_4^3 - 320293485192613597899186457028337241/1105486058\ 7094763483980890986460833*c_0101_4, c_0101_0 + 5237087173559352945018492854481580/1105486058709476348398089\ 0986460833*c_0101_4^38 - 124475793000627942537263101442859483/11054\ 860587094763483980890986460833*c_0101_4^36 + 1416900054201272840252951484147818470/11054860587094763483980890986\ 460833*c_0101_4^34 - 9933194268758446778656024739925735704/11054860\ 587094763483980890986460833*c_0101_4^32 + 48611109014189787682647787541604628767/1105486058709476348398089098\ 6460833*c_0101_4^30 - 196400863039732611611507362350997269157/11054\ 860587094763483980890986460833*c_0101_4^28 + 699316162187188772250238176681064360883/110548605870947634839808909\ 86460833*c_0101_4^26 - 1988367315233661614559346632871948864735/110\ 54860587094763483980890986460833*c_0101_4^24 + 4184418351382834147505356994805625776857/11054860587094763483980890\ 986460833*c_0101_4^22 - 6418725845216083258317860784311138789292/11\ 054860587094763483980890986460833*c_0101_4^20 + 7255994988758728392325352270825677094217/11054860587094763483980890\ 986460833*c_0101_4^18 - 6154466400467739238479440503373973919000/11\ 054860587094763483980890986460833*c_0101_4^16 + 3992919349821076391478824922739693155636/11054860587094763483980890\ 986460833*c_0101_4^14 - 2016961797741757972036994248479093154322/11\ 054860587094763483980890986460833*c_0101_4^12 + 802411665435375164569683311740045756141/110548605870947634839808909\ 86460833*c_0101_4^10 - 250737086265987522222227713156857244690/1105\ 4860587094763483980890986460833*c_0101_4^8 + 59966930741975806144258101106984021452/1105486058709476348398089098\ 6460833*c_0101_4^6 - 10331305348131890658251822768430840049/1105486\ 0587094763483980890986460833*c_0101_4^4 + 1122543761432896292313918967077441095/11054860587094763483980890986\ 460833*c_0101_4^2 - 54995266908016960118492742025534876/11054860587\ 094763483980890986460833, c_0101_1 - 152495434968435250035216022369475279/11054860587094763483980\ 890986460833*c_0101_4^38 + 3533232286787736163204335913919195900/11\ 054860587094763483980890986460833*c_0101_4^36 - 39156370349812187926315941913076579118/1105486058709476348398089098\ 6460833*c_0101_4^34 + 266114037098385131646973685616011404267/11054\ 860587094763483980890986460833*c_0101_4^32 - 1259631830292595044535370430891592345576/11054860587094763483980890\ 986460833*c_0101_4^30 + 4987886867043338108624817299087433189218/11\ 054860587094763483980890986460833*c_0101_4^28 - 17483436155841310914839949171663027306026/1105486058709476348398089\ 0986460833*c_0101_4^26 + 47844848095214521180669389026243789375732/\ 11054860587094763483980890986460833*c_0101_4^24 - 94630439500865571597978315715724397253528/1105486058709476348398089\ 0986460833*c_0101_4^22 + 134031574681454250450703504465167480977306\ /11054860587094763483980890986460833*c_0101_4^20 - 137993986536827255336267324115350527013681/110548605870947634839808\ 90986460833*c_0101_4^18 + 10538986708460864975337067884019710098626\ 7/11054860587094763483980890986460833*c_0101_4^16 - 60978129082728102664919527429430580427613/1105486058709476348398089\ 0986460833*c_0101_4^14 + 27257588727397763927993815750609209737922/\ 11054860587094763483980890986460833*c_0101_4^12 - 9517221833501635058643761586627371293533/11054860587094763483980890\ 986460833*c_0101_4^10 + 2563998659539873679759413717169059545151/11\ 054860587094763483980890986460833*c_0101_4^8 - 505994100641731792911047546104346612184/110548605870947634839808909\ 86460833*c_0101_4^6 + 66540437943905294880448021104181322472/110548\ 60587094763483980890986460833*c_0101_4^4 - 5159730982510575383036629511368799965/11054860587094763483980890986\ 460833*c_0101_4^2 + 168188205243857886824752903457896465/1105486058\ 7094763483980890986460833, c_0101_4^40 - 24*c_0101_4^38 + 276*c_0101_4^36 - 1958*c_0101_4^34 + 9706*c_0101_4^32 - 39546*c_0101_4^30 + 141711*c_0101_4^28 - 408566*c_0101_4^26 + 879746*c_0101_4^24 - 1390735*c_0101_4^22 + 1628443*c_0101_4^20 - 1434640*c_0101_4^18 + 966847*c_0101_4^16 - 506472*c_0101_4^14 + 208872*c_0101_4^12 - 67982*c_0101_4^10 + 17125*c_0101_4^8 - 3171*c_0101_4^6 + 397*c_0101_4^4 - 30*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB