Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 1646526048] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s390 geometric_solution 4.62539491 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554717256707 0.108670282128 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709189699855 0.231434011635 1 3 1 4 0132 0132 1023 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 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.912326677912 1.178216096329 5 2 4 4 0132 0132 2310 3120 0 0 0 0 0 0 0 0 1 0 -1 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 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.260079100496 0.791445690897 3 3 2 5 3120 3201 0132 3201 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260079100496 0.791445690897 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 -1 1 0 -1 0 0 1 1 0 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 -1 0 0 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.882990147107 1.864184725227 ==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_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_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_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], '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_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 9476408722226593406873692924708731486315321418511/12677360788797274\ 5961869345493225723323805601624*c_0101_5^24 + 29998195416685372600353777319844144271317424654657/1267736078879727\ 45961869345493225723323805601624*c_0101_5^23 - 30845281022322864800396755394455136063341094268469/1584670098599659\ 3245233668186653215415475700203*c_0101_5^22 - 83126722993725701863343644240096526041311626871681/1267736078879727\ 45961869345493225723323805601624*c_0101_5^21 + 7416155567710835207849160274445514743918603449587/12677360788797274\ 5961869345493225723323805601624*c_0101_5^20 + 1883591181656537334256360594075471192296572585853879/63386803943986\ 372980934672746612861661902800812*c_0101_5^19 - 21860688699750665115309147408440714552629488169523/1584670098599659\ 3245233668186653215415475700203*c_0101_5^18 - 1790638085638269333073160228538836708551465739310221/15846700985996\ 593245233668186653215415475700203*c_0101_5^17 + 2050344677480936002460283584625614119002303269821579/12677360788797\ 2745961869345493225723323805601624*c_0101_5^16 + 41060206108630339255629577572969514761268493556679411/1267736078879\ 72745961869345493225723323805601624*c_0101_5^15 + 2623958208371134577017875018228474535237588056198653/31693401971993\ 186490467336373306430830951400406*c_0101_5^14 - 98205538747408487638667524664537906542740722508444577/1267736078879\ 72745961869345493225723323805601624*c_0101_5^13 - 27677228589026217198155467502803605757095571883209211/1267736078879\ 72745961869345493225723323805601624*c_0101_5^12 + 15351546113886632438441724040033325097078706640780914/1584670098599\ 6593245233668186653215415475700203*c_0101_5^11 + 27540485564929885804917490972958296579513454793853681/1267736078879\ 72745961869345493225723323805601624*c_0101_5^10 - 44577699736547776394710278893194963641327399354912507/3169340197199\ 3186490467336373306430830951400406*c_0101_5^9 - 83760246425729355719945962555179911436409850688203173/1267736078879\ 72745961869345493225723323805601624*c_0101_5^8 + 68705733408104075582074135405777606597685861551299231/6338680394398\ 6372980934672746612861661902800812*c_0101_5^7 + 38418466362069629244689385142255065455965577958521879/1267736078879\ 72745961869345493225723323805601624*c_0101_5^6 - 19692070886107281894475998745487839270574052812406131/6338680394398\ 6372980934672746612861661902800812*c_0101_5^5 - 2041151380634576220854635235639866687862207901954361/63386803943986\ 372980934672746612861661902800812*c_0101_5^4 + 1005180067105841475873257055989366772729000047525477/31693401971993\ 186490467336373306430830951400406*c_0101_5^3 - 95399126630321550793777317864460184124411937347237/3169340197199318\ 6490467336373306430830951400406*c_0101_5^2 - 114923534582512455497955512066574873466044444302829/126773607887972\ 745961869345493225723323805601624*c_0101_5 + 54371494468293000446220997222505224233981952815383/1267736078879727\ 45961869345493225723323805601624, c_0011_0 - 1, c_0011_1 + 156177399018004689512161817476520828780306418513/63386803943\ 986372980934672746612861661902800812*c_0101_5^24 + 281024628584642180738621326571631159220759079021/316934019719931864\ 90467336373306430830951400406*c_0101_5^23 - 3816552588692078496705000480326988074978928156543/63386803943986372\ 980934672746612861661902800812*c_0101_5^22 - 748384276852520062107283077587396619947885701353/158467009859965932\ 45233668186653215415475700203*c_0101_5^21 - 330106345447325733238497796720486343907379716282/158467009859965932\ 45233668186653215415475700203*c_0101_5^20 + 61247670084852363072117919418975920060292081462593/6338680394398637\ 2980934672746612861661902800812*c_0101_5^19 + 11752385562879573793049667252798005618233505851271/3169340197199318\ 6490467336373306430830951400406*c_0101_5^18 - 55828302310459872791055936158532822256239340844983/1584670098599659\ 3245233668186653215415475700203*c_0101_5^17 - 14942368321108865860557949056311550244879500263694/1584670098599659\ 3245233668186653215415475700203*c_0101_5^16 + 160438016792926754273016704767577038568414528583257/158467009859965\ 93245233668186653215415475700203*c_0101_5^15 + 110192599688712289264485552592075817384047795553795/158467009859965\ 93245233668186653215415475700203*c_0101_5^14 - 1401081361517178301011018781278748515057975893134905/63386803943986\ 372980934672746612861661902800812*c_0101_5^13 - 1022351757587418051281310608834190468369974361456747/63386803943986\ 372980934672746612861661902800812*c_0101_5^12 + 1533929372401205956710760443957371139930187614347301/63386803943986\ 372980934672746612861661902800812*c_0101_5^11 + 1026524952757842082857671794266253520667824783726609/63386803943986\ 372980934672746612861661902800812*c_0101_5^10 - 614376451820745272774140056619165338230563330419429/158467009859965\ 93245233668186653215415475700203*c_0101_5^9 - 587717451240357296693842680820982301620479464659999/158467009859965\ 93245233668186653215415475700203*c_0101_5^8 + 1167720470976294512856159198466381488513088444742751/63386803943986\ 372980934672746612861661902800812*c_0101_5^7 + 238904371322260336175644235627994699871518862633514/158467009859965\ 93245233668186653215415475700203*c_0101_5^6 - 256541469601884838407666828857690394198172258513831/633868039439863\ 72980934672746612861661902800812*c_0101_5^5 - 25373623980553437653883948700485702549667559596203/1584670098599659\ 3245233668186653215415475700203*c_0101_5^4 + 16109208311605643378994106599710451000035752027707/3169340197199318\ 6490467336373306430830951400406*c_0101_5^3 - 1113986935995538505858651287682064511908378067657/63386803943986372\ 980934672746612861661902800812*c_0101_5^2 - 1553233057697809879810240566328803757791170681073/63386803943986372\ 980934672746612861661902800812*c_0101_5 + 388105314915423494589228153163460523327492979363/633868039439863729\ 80934672746612861661902800812, c_0011_4 - 12178726547308535480376114883450649323718098239/316934019719\ 93186490467336373306430830951400406*c_0101_5^24 - 21488274926756354965683161163550340595396667524/1584670098599659324\ 5233668186653215415475700203*c_0101_5^23 + 302014568715724819706621536405571180560559259799/316934019719931864\ 90467336373306430830951400406*c_0101_5^22 + 217617297181598187424780791309690717765650819607/316934019719931864\ 90467336373306430830951400406*c_0101_5^21 + 54949463524855679880516536685260737660232359147/3169340197199318649\ 0467336373306430830951400406*c_0101_5^20 - 2406672610865627026093368095331883903927730252555/15846700985996593\ 245233668186653215415475700203*c_0101_5^19 - 758662870896984218662223813650959817293323561921/158467009859965932\ 45233668186653215415475700203*c_0101_5^18 + 9029719957257068840233783424343258475948421990109/15846700985996593\ 245233668186653215415475700203*c_0101_5^17 + 1860838415374332835798884151472366277613901652692/15846700985996593\ 245233668186653215415475700203*c_0101_5^16 - 52188967598966523095036889363561140030483635327185/3169340197199318\ 6490467336373306430830951400406*c_0101_5^15 - 31637217113177023317112549846601796336041315170341/3169340197199318\ 6490467336373306430830951400406*c_0101_5^14 + 116867073148314822940564560589151966696838803512957/316934019719931\ 86490467336373306430830951400406*c_0101_5^13 + 38288410885739732275103356346016733073974374505235/1584670098599659\ 3245233668186653215415475700203*c_0101_5^12 - 136016773163600157175198831137749616039719292402453/316934019719931\ 86490467336373306430830951400406*c_0101_5^11 - 40841744336995428315510838344016256454034075180271/1584670098599659\ 3245233668186653215415475700203*c_0101_5^10 + 103936603044843208345865348390764377458050443227759/158467009859965\ 93245233668186653215415475700203*c_0101_5^9 + 179433603185912135167376113344270544757102060953859/316934019719931\ 86490467336373306430830951400406*c_0101_5^8 - 122509343486683509226196311092902506676708948611723/316934019719931\ 86490467336373306430830951400406*c_0101_5^7 - 45119008436036584028176776306906783281116512812108/1584670098599659\ 3245233668186653215415475700203*c_0101_5^6 + 30199580635235799934286099953749381226881696994105/3169340197199318\ 6490467336373306430830951400406*c_0101_5^5 + 6745982282096446909964245413865006659592220565288/15846700985996593\ 245233668186653215415475700203*c_0101_5^4 - 1891132160595893151321427751139560605862348110151/15846700985996593\ 245233668186653215415475700203*c_0101_5^3 - 38805688900640199614014163281849338357899222689/1584670098599659324\ 5233668186653215415475700203*c_0101_5^2 + 136095005269313273325109101022822965620115218171/158467009859965932\ 45233668186653215415475700203*c_0101_5 - 67074059093685053366249600380585585615736894889/3169340197199318649\ 0467336373306430830951400406, c_0101_0 - 59835012472412943593200788402617252749718567642/158467009859\ 96593245233668186653215415475700203*c_0101_5^24 - 220516761553021334512228885873013186629063006278/158467009859965932\ 45233668186653215415475700203*c_0101_5^23 + 5778607570114625811624517691060565515855989030597/63386803943986372\ 980934672746612861661902800812*c_0101_5^22 + 2554034734152365766568080538680903656832829248147/31693401971993186\ 490467336373306430830951400406*c_0101_5^21 + 576749777237313119326464220152258244129939646488/158467009859965932\ 45233668186653215415475700203*c_0101_5^20 - 23429905575442786234913144014687388257639188160764/1584670098599659\ 3245233668186653215415475700203*c_0101_5^19 - 22084285387998724238292248422392100041212129150543/3169340197199318\ 6490467336373306430830951400406*c_0101_5^18 + 340838841632632451547371698990752919864716373174969/633868039439863\ 72980934672746612861661902800812*c_0101_5^17 + 30280557309323269856005663044962160109319475475696/1584670098599659\ 3245233668186653215415475700203*c_0101_5^16 - 981857155531122333018900273212242946916470607038979/633868039439863\ 72980934672746612861661902800812*c_0101_5^15 - 379750584255922057273528789270856061158640109645837/316934019719931\ 86490467336373306430830951400406*c_0101_5^14 + 2106464643709194747814594272398248840766408110650787/63386803943986\ 372980934672746612861661902800812*c_0101_5^13 + 878531523092086743793839660535599788485352118373867/316934019719931\ 86490467336373306430830951400406*c_0101_5^12 - 564309930463892658975060917277638616729837999669003/158467009859965\ 93245233668186653215415475700203*c_0101_5^11 - 1786726798082035729008373450877779769496820808532461/63386803943986\ 372980934672746612861661902800812*c_0101_5^10 + 3679465373123986988351066210122143688759661067564347/63386803943986\ 372980934672746612861661902800812*c_0101_5^9 + 983990602030253728075901018260743905047759298969430/158467009859965\ 93245233668186653215415475700203*c_0101_5^8 - 1552185587868391066229589141924878642706242260272823/63386803943986\ 372980934672746612861661902800812*c_0101_5^7 - 413123578610234097492463817344824558971623628693593/158467009859965\ 93245233668186653215415475700203*c_0101_5^6 + 79384092029516529139730485158394201387679653541523/1584670098599659\ 3245233668186653215415475700203*c_0101_5^5 + 48764058028334191783378288162224964308848749851192/1584670098599659\ 3245233668186653215415475700203*c_0101_5^4 - 48110255232715364729865108358079893183420163777171/6338680394398637\ 2980934672746612861661902800812*c_0101_5^3 - 148540696126142736481242902030402450564560358214/158467009859965932\ 45233668186653215415475700203*c_0101_5^2 + 3228902081695637280045092524887543187726622370285/63386803943986372\ 980934672746612861661902800812*c_0101_5 - 643146108072975428696568496426927935892654768179/633868039439863729\ 80934672746612861661902800812, c_0101_3 - 98810128300861450356343724718379015728262551611/633868039439\ 86372980934672746612861661902800812*c_0101_5^24 - 361384775091590554717514176020119778124835764447/633868039439863729\ 80934672746612861661902800812*c_0101_5^23 + 598021879082911752140004054059429750387878419122/158467009859965932\ 45233668186653215415475700203*c_0101_5^22 + 507233564526812457837796741681332636942714043056/158467009859965932\ 45233668186653215415475700203*c_0101_5^21 + 493915336502280408664871717441998610465145518783/316934019719931864\ 90467336373306430830951400406*c_0101_5^20 - 38662961142797695533528980988361668401753460522865/6338680394398637\ 2980934672746612861661902800812*c_0101_5^19 - 17119337491716787204255119861957980858190081823337/6338680394398637\ 2980934672746612861661902800812*c_0101_5^18 + 139737895446478284790018083917172440495617767541179/633868039439863\ 72980934672746612861661902800812*c_0101_5^17 + 45745628071468970129988078114935069025740973603661/6338680394398637\ 2980934672746612861661902800812*c_0101_5^16 - 401404410229237755187888647306131541425573988467737/633868039439863\ 72980934672746612861661902800812*c_0101_5^15 - 301684430484637647723948094647256731172039510360461/633868039439863\ 72980934672746612861661902800812*c_0101_5^14 + 215801707210961606651179007396479910510416536117257/158467009859965\ 93245233668186653215415475700203*c_0101_5^13 + 692983213515675350593143071511385865416420543922359/633868039439863\ 72980934672746612861661902800812*c_0101_5^12 - 229521267442479045051758860907475462609354414254925/158467009859965\ 93245233668186653215415475700203*c_0101_5^11 - 693275958983627711676723212127997034730610360057665/633868039439863\ 72980934672746612861661902800812*c_0101_5^10 + 1502126764941561051537369137594403832588288213385667/63386803943986\ 372980934672746612861661902800812*c_0101_5^9 + 1565510093656124341295892207030778810762527967165123/63386803943986\ 372980934672746612861661902800812*c_0101_5^8 - 313413082908216006521491638186031918340701253521927/316934019719931\ 86490467336373306430830951400406*c_0101_5^7 - 154752402644331339740163914633224202221064046340295/158467009859965\ 93245233668186653215415475700203*c_0101_5^6 + 118870034074073278755091653624697108768432198299781/633868039439863\ 72980934672746612861661902800812*c_0101_5^5 + 62983173252138050462057745033383986559715350302947/6338680394398637\ 2980934672746612861661902800812*c_0101_5^4 - 15890703166000277318114749451732685954371401112317/6338680394398637\ 2980934672746612861661902800812*c_0101_5^3 + 96254034612930465105598010521396123158517261631/1584670098599659324\ 5233668186653215415475700203*c_0101_5^2 + 888150177584461143273276681067099186106231524145/633868039439863729\ 80934672746612861661902800812*c_0101_5 - 87573918885375302869000327960470005516536367445/3169340197199318649\ 0467336373306430830951400406, c_0101_5^25 + 4*c_0101_5^24 - 23*c_0101_5^23 - 29*c_0101_5^22 - 16*c_0101_5^21 + 389*c_0101_5^20 + 308*c_0101_5^19 - 1372*c_0101_5^18 - 959*c_0101_5^17 + 3964*c_0101_5^16 + 4479*c_0101_5^15 - 7863*c_0101_5^14 - 10180*c_0101_5^13 + 7239*c_0101_5^12 + 10589*c_0101_5^11 - 13129*c_0101_5^10 - 21439*c_0101_5^9 + 1509*c_0101_5^8 + 9273*c_0101_5^7 + 837*c_0101_5^6 - 1358*c_0101_5^5 - 66*c_0101_5^4 + 80*c_0101_5^3 - 13*c_0101_5^2 - 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB