Magma V2.19-8 Tue Aug 20 2013 16:18:26 on localhost [Seed = 374836003] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2628 geometric_solution 5.90683211 oriented_manifold CS_known 0.0000000000000001 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 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493958245100 0.202357550830 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 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 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.772510208299 0.507810163822 1 4 3 5 0132 0132 3012 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 -1 1 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.758928371396 1.077767424845 5 2 4 1 3201 1230 0132 0132 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 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.758928371396 1.077767424845 6 2 6 3 0132 0132 2310 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.944982749268 1.514588334850 5 5 2 3 1302 2031 0132 2310 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 -1 1 -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.488234292670 1.142655823462 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278379721309 0.281413970460 ==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' : negation(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' : d['1'], 's_0_5' : negation(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' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], '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' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t - 465367011905063845033783758207655973236161912229/118006117917069437\ 67537568504262610773499788*c_0101_4^23 + 197204082162633074650419204426527484004407336927/107278289015517670\ 6139778954932964615772708*c_0101_4^22 + 24626419843967683498603123231655757747140088380957/1180061179170694\ 3767537568504262610773499788*c_0101_4^21 - 102847661378891475312970486100976904711485354859627/118006117917069\ 43767537568504262610773499788*c_0101_4^20 - 76272334060953471149805526178277784832962701084881/1180061179170694\ 3767537568504262610773499788*c_0101_4^19 + 1019450156789851073050706488105302321220959117763643/11800611791706\ 943767537568504262610773499788*c_0101_4^18 + 868103400978422988984658908533802687399206143382833/118006117917069\ 43767537568504262610773499788*c_0101_4^17 - 2336416100714834509873891292286237318958578080487247/59003058958534\ 71883768784252131305386749894*c_0101_4^16 - 10223470426966956256822606904331576514932366500456367/1180061179170\ 6943767537568504262610773499788*c_0101_4^15 + 358685225409326973809799135039657195690964367992877/107278289015517\ 6706139778954932964615772708*c_0101_4^14 + 17951146458721120451202619763351752302670649976930861/5900305895853\ 471883768784252131305386749894*c_0101_4^13 + 2617557932664811906061044122333386691957260500287463/10727828901551\ 76706139778954932964615772708*c_0101_4^12 - 1427996805000616934175842270901234642212407309998845/53639144507758\ 8353069889477466482307886354*c_0101_4^11 - 13700139767044669431106895311329004720690744663566365/2950152947926\ 735941884392126065652693374947*c_0101_4^10 - 13066357076767076165065715187883553222656464355655677/1180061179170\ 6943767537568504262610773499788*c_0101_4^9 + 653278561370892206679605869529524755219493289734055/536391445077588\ 353069889477466482307886354*c_0101_4^8 + 2642239999616319008273913554601555280687701257347407/59003058958534\ 71883768784252131305386749894*c_0101_4^7 - 1471431646573972237803181259555217841536230457584893/11800611791706\ 943767537568504262610773499788*c_0101_4^6 + 367408151720195732746051758949376878598037641487135/118006117917069\ 43767537568504262610773499788*c_0101_4^5 + 567582769038146075612199473100532206990874132242381/118006117917069\ 43767537568504262610773499788*c_0101_4^4 - 20978143466997389162863818869355436239989012395987/5900305895853471\ 883768784252131305386749894*c_0101_4^3 - 12535798249812846782263894291244724316359002309957/5900305895853471\ 883768784252131305386749894*c_0101_4^2 + 9570734741061896603000042905725587896246742877595/11800611791706943\ 767537568504262610773499788*c_0101_4 - 715165553804305160337501921064401172638598360351/118006117917069437\ 67537568504262610773499788, c_0011_0 - 1, c_0011_1 - 25712800763158660496017001138849846988728753/268195722538794\ 176534944738733241153943177*c_0101_4^23 + 120163131915807537362448051856176551457573958/268195722538794176534\ 944738733241153943177*c_0101_4^22 + 1359008923574661924948591028832077282477096437/26819572253879417653\ 4944738733241153943177*c_0101_4^21 - 5697548932215666301744607283517514182461411299/26819572253879417653\ 4944738733241153943177*c_0101_4^20 - 4134718423399649768393114566631778086672758048/26819572253879417653\ 4944738733241153943177*c_0101_4^19 + 56316634318469333218116305141012757258404613570/2681957225387941765\ 34944738733241153943177*c_0101_4^18 + 47296165391961976716342353442871627707440968028/2681957225387941765\ 34944738733241153943177*c_0101_4^17 - 258235885779488245503538406724929644821512979733/268195722538794176\ 534944738733241153943177*c_0101_4^16 - 561704569338742761458268386599449324944338973976/268195722538794176\ 534944738733241153943177*c_0101_4^15 + 222272299090514443664000075876419204549217516267/268195722538794176\ 534944738733241153943177*c_0101_4^14 + 1977501663957247869792004779338094514254461182762/26819572253879417\ 6534944738733241153943177*c_0101_4^13 + 1571686452879515039166489157492001652040964376791/26819572253879417\ 6534944738733241153943177*c_0101_4^12 - 1739335207837226147408702330426049086851414402098/26819572253879417\ 6534944738733241153943177*c_0101_4^11 - 3002725527197972188984758667845424693426301548672/26819572253879417\ 6534944738733241153943177*c_0101_4^10 - 704806910415570941876012584970496746399675004572/268195722538794176\ 534944738733241153943177*c_0101_4^9 + 787326916135046245195316816195212932441854159619/268195722538794176\ 534944738733241153943177*c_0101_4^8 + 285840760538030981129545372479309604184605776543/268195722538794176\ 534944738733241153943177*c_0101_4^7 - 79839001917232948692373032304265878348313885784/2681957225387941765\ 34944738733241153943177*c_0101_4^6 + 20738272616169321460538713761809071624541782153/2681957225387941765\ 34944738733241153943177*c_0101_4^5 + 30783872843318088902937936769894511593855815871/2681957225387941765\ 34944738733241153943177*c_0101_4^4 - 2292751729800301874957970752776348456316686892/26819572253879417653\ 4944738733241153943177*c_0101_4^3 - 1335686860955830136764519447665852994672327030/26819572253879417653\ 4944738733241153943177*c_0101_4^2 + 514285068612790053906241120925767415827610785/268195722538794176534\ 944738733241153943177*c_0101_4 - 3821891222967314336256330159472817\ 6753970102/268195722538794176534944738733241153943177, c_0011_3 + 53555763457188347150822432231131029065695573/268195722538794\ 176534944738733241153943177*c_0101_4^23 - 249929771100079591112779327587516053027053774/268195722538794176534\ 944738733241153943177*c_0101_4^22 - 2832391120928477773126242855099944846036138890/26819572253879417653\ 4944738733241153943177*c_0101_4^21 + 11849261702062231713175929517982019128570660631/2681957225387941765\ 34944738733241153943177*c_0101_4^20 + 8697279025020105067209225518804461513627105865/26819572253879417653\ 4944738733241153943177*c_0101_4^19 - 117276812115257167037948564529521751413759240534/268195722538794176\ 534944738733241153943177*c_0101_4^18 - 99293130245217251987068201551875902964132237717/2681957225387941765\ 34944738733241153943177*c_0101_4^17 + 537543478436222785291909154412969291566853689786/268195722538794176\ 534944738733241153943177*c_0101_4^16 + 1173636611290562840233178731696178780718641153744/26819572253879417\ 6534944738733241153943177*c_0101_4^15 - 456813673136619396608899282549498932767429479048/268195722538794176\ 534944738733241153943177*c_0101_4^14 - 4124554008651800907571292765729075611245752726526/26819572253879417\ 6534944738733241153943177*c_0101_4^13 - 3298405709096347764881715615200538493577503227232/26819572253879417\ 6534944738733241153943177*c_0101_4^12 + 3611873346669011121190964991406469560448223111686/26819572253879417\ 6534944738733241153943177*c_0101_4^11 + 6283317686869643824979325424902469147851060061950/26819572253879417\ 6534944738733241153943177*c_0101_4^10 + 1496999089612482899443583858830745335215132287468/26819572253879417\ 6534944738733241153943177*c_0101_4^9 - 1643391342689749351444885279286419534002620532937/26819572253879417\ 6534944738733241153943177*c_0101_4^8 - 605207145344292690612905248893307831978688101740/268195722538794176\ 534944738733241153943177*c_0101_4^7 + 166837750307581374858147215484684145844100978253/268195722538794176\ 534944738733241153943177*c_0101_4^6 - 42175214182545424457944169888324568054623307749/2681957225387941765\ 34944738733241153943177*c_0101_4^5 - 64902559641151461830238514984333466936249383434/2681957225387941765\ 34944738733241153943177*c_0101_4^4 + 4690181260939127829889618998649778703077125739/26819572253879417653\ 4944738733241153943177*c_0101_4^3 + 2863055614618524457342725619972920419355855549/26819572253879417653\ 4944738733241153943177*c_0101_4^2 - 1089690552026675440070804536259631681069373750/26819572253879417653\ 4944738733241153943177*c_0101_4 + 804632891084241730620545470290313\ 39767578426/268195722538794176534944738733241153943177, c_0011_5 + 44107589171311967627126552501064620250341289/268195722538794\ 176534944738733241153943177*c_0101_4^23 - 205986845427654141853900366756055184208673425/268195722538794176534\ 944738733241153943177*c_0101_4^22 - 2331930632331705618586103080132282362270517249/26819572253879417653\ 4944738733241153943177*c_0101_4^21 + 9766306765744413865918179969951997199366777682/26819572253879417653\ 4944738733241153943177*c_0101_4^20 + 7125847891217675972920466421011351157782465772/26819572253879417653\ 4944738733241153943177*c_0101_4^19 - 96591247833228439521415655671828319404781385361/2681957225387941765\ 34944738733241153943177*c_0101_4^18 - 81446471527765125509151280363375466265088827981/2681957225387941765\ 34944738733241153943177*c_0101_4^17 + 442807477615775412862647028885087964723000619705/268195722538794176\ 534944738733241153943177*c_0101_4^16 + 965029983236055674904598116553937578913123799597/268195722538794176\ 534944738733241153943177*c_0101_4^15 - 378640415110343353150110598318768019603314024283/268195722538794176\ 534944738733241153943177*c_0101_4^14 - 3394280738859060797090966297379195410389553277141/26819572253879417\ 6534944738733241153943177*c_0101_4^13 - 2706413923282207346283062699958063081780229323199/26819572253879417\ 6534944738733241153943177*c_0101_4^12 + 2978268438585841308595462759130270669524064044860/26819572253879417\ 6534944738733241153943177*c_0101_4^11 + 5162583467635557758992933225544288434321251356276/26819572253879417\ 6534944738733241153943177*c_0101_4^10 + 1222050323946626791223253757099733643265832145310/26819572253879417\ 6534944738733241153943177*c_0101_4^9 - 1351417737610346493268933268339296611949929033022/26819572253879417\ 6534944738733241153943177*c_0101_4^8 - 494763842565535405156712538412827167995430573792/268195722538794176\ 534944738733241153943177*c_0101_4^7 + 137026307582743169354548661953270412565220808260/268195722538794176\ 534944738733241153943177*c_0101_4^6 - 35066340905947603312599585647939373096070481390/2681957225387941765\ 34944738733241153943177*c_0101_4^5 - 53144706626076200189365079108933549389801464658/2681957225387941765\ 34944738733241153943177*c_0101_4^4 + 3883794797868932459717972862804773424253442213/26819572253879417653\ 4944738733241153943177*c_0101_4^3 + 2329004980502699616927699274122668232222535472/26819572253879417653\ 4944738733241153943177*c_0101_4^2 - 890644997819897323463397539467444763764820949/268195722538794176534\ 944738733241153943177*c_0101_4 + 6579367920116403584083378794827611\ 7676993745/268195722538794176534944738733241153943177, c_0101_0 - 89688159674396623779572593012441298792665803/536391445077588\ 353069889477466482307886354*c_0101_3*c_0101_4^23 + 210335034746528438432268278378241748156505637/268195722538794176534\ 944738733241153943177*c_0101_3*c_0101_4^22 + 4732671345382008323576490405272328131323007739/53639144507758835306\ 9889477466482307886354*c_0101_3*c_0101_4^21 - 9976003120466068847249111204400566663722919308/26819572253879417653\ 4944738733241153943177*c_0101_3*c_0101_4^20 - 14057289987316740366849047120304577849957018249/5363914450775883530\ 69889477466482307886354*c_0101_3*c_0101_4^19 + 98282908618353462617060354775101998499866529859/2681957225387941765\ 34944738733241153943177*c_0101_3*c_0101_4^18 + 161567538109991815108963872096082518216402092071/536391445077588353\ 069889477466482307886354*c_0101_3*c_0101_4^17 - 902444092023574431527515533222666189798338276907/536391445077588353\ 069889477466482307886354*c_0101_3*c_0101_4^16 - 971659074527816540956895912548884055570930116377/268195722538794176\ 534944738733241153943177*c_0101_3*c_0101_4^15 + 803465019576876539750518602826724686883482751003/536391445077588353\ 069889477466482307886354*c_0101_3*c_0101_4^14 + 6875295734758465272373544748351825302687824125555/53639144507758835\ 3069889477466482307886354*c_0101_3*c_0101_4^13 + 2686086844271608897811958626053399172912581741189/26819572253879417\ 6534944738733241153943177*c_0101_3*c_0101_4^12 - 3062051208955267165589950899653990780810841508710/26819572253879417\ 6534944738733241153943177*c_0101_3*c_0101_4^11 - 5176435793946524488202772147855518645728213255403/26819572253879417\ 6534944738733241153943177*c_0101_3*c_0101_4^10 - 2322603306383341766403396061479866571396945678453/53639144507758835\ 3069889477466482307886354*c_0101_3*c_0101_4^9 + 2744250487456902757074805046794818356174217900317/53639144507758835\ 3069889477466482307886354*c_0101_3*c_0101_4^8 + 956196290067336659255230308691101424563810794655/536391445077588353\ 069889477466482307886354*c_0101_3*c_0101_4^7 - 140017936203154858222254767080807504194848812377/268195722538794176\ 534944738733241153943177*c_0101_3*c_0101_4^6 + 75778108851216727088003569540887852213477770597/5363914450775883530\ 69889477466482307886354*c_0101_3*c_0101_4^5 + 52233559429811119947583037698056410432734629191/2681957225387941765\ 34944738733241153943177*c_0101_3*c_0101_4^4 - 4275313533859171230878623795504111730368964752/26819572253879417653\ 4944738733241153943177*c_0101_3*c_0101_4^3 - 2215077861161768299385633871224784396849098923/26819572253879417653\ 4944738733241153943177*c_0101_3*c_0101_4^2 + 1745001733887409054224873775365418984574017289/53639144507758835306\ 9889477466482307886354*c_0101_3*c_0101_4 - 65986216599559579151917722492814277382703025/2681957225387941765349\ 44738733241153943177*c_0101_3, c_0101_3^2 + 17311928863172895378380047300777163502658946/2681957225387\ 94176534944738733241153943177*c_0101_4^23 - 80907919162223062828361034943514148891713731/2681957225387941765349\ 44738733241153943177*c_0101_4^22 - 914967990268155449485445071691442642557863241/268195722538794176534\ 944738733241153943177*c_0101_4^21 + 3836249813179534985372155786411674479833155382/26819572253879417653\ 4944738733241153943177*c_0101_4^20 + 2782583129573002065408908769927375827871349824/26819572253879417653\ 4944738733241153943177*c_0101_4^19 - 37916056337145824167457988331276765213206119414/2681957225387941765\ 34944738733241153943177*c_0101_4^18 - 31834675059876239836108711697356742085756309568/2681957225387941765\ 34944738733241153943177*c_0101_4^17 + 173861522092937039351289964979628247862224463095/268195722538794176\ 534944738733241153943177*c_0101_4^16 + 378143297316782243590855136780126976994891216953/268195722538794176\ 534944738733241153943177*c_0101_4^15 - 149692630378104954382985707877814477276079824175/268195722538794176\ 534944738733241153943177*c_0101_4^14 - 1331314466081860889494326288085284922833500565662/26819572253879417\ 6534944738733241153943177*c_0101_4^13 - 1057971700414284802924747817247666991497091176351/26819572253879417\ 6534944738733241153943177*c_0101_4^12 + 1171027718279467900049712991014960169478127095794/26819572253879417\ 6534944738733241153943177*c_0101_4^11 + 2021392790498326037214189960776058280580291032253/26819572253879417\ 6534944738733241153943177*c_0101_4^10 + 474427843648168505619285929336549144436013964362/268195722538794176\ 534944738733241153943177*c_0101_4^9 - 530026407676993316409074073656396040767757556147/268195722538794176\ 534944738733241153943177*c_0101_4^8 - 192435356459104723004431480291289358311957095171/268195722538794176\ 534944738733241153943177*c_0101_4^7 + 53753508796065041537424543224092275158069501005/2681957225387941765\ 34944738733241153943177*c_0101_4^6 - 13956400484577980360131645211704222166532214349/2681957225387941765\ 34944738733241153943177*c_0101_4^5 - 20728829876985061450602160569331688747235202793/2681957225387941765\ 34944738733241153943177*c_0101_4^4 + 1544146824517939838789384679885329868065293306/26819572253879417653\ 4944738733241153943177*c_0101_4^3 + 899708884337631167169961193269781879504598903/268195722538794176534\ 944738733241153943177*c_0101_4^2 - 346772521387577069314767315260926340618715138/268195722538794176534\ 944738733241153943177*c_0101_4 + 2571280076315866049601700113884984\ 6988728753/268195722538794176534944738733241153943177, c_0101_4^24 - 4*c_0101_4^23 - 56*c_0101_4^22 + 186*c_0101_4^21 + 310*c_0101_4^20 - 2082*c_0101_4^19 - 3314*c_0101_4^18 + 8805*c_0101_4^17 + 28607*c_0101_4^16 + 6062*c_0101_4^15 - 82729*c_0101_4^14 - 112901*c_0101_4^13 + 26499*c_0101_4^12 + 162322*c_0101_4^11 + 106025*c_0101_4^10 - 12169*c_0101_4^9 - 31730*c_0101_4^8 - 4379*c_0101_4^7 + 1284*c_0101_4^6 - 1740*c_0101_4^5 - 717*c_0101_4^4 + 112*c_0101_4^3 + 15*c_0101_4^2 - 12*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB