Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 3120047245] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2498 geometric_solution 5.81986192 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -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.352642543071 0.816922653734 3 2 4 0 0132 3012 0132 0132 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 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.902372697853 1.100670248418 1 3 0 4 1230 2310 0132 2310 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 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.902372697853 1.100670248418 1 5 5 2 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753424983467 0.383290899442 2 6 6 1 3201 0132 1023 0132 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 -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.181034671861 0.348904296572 5 3 3 5 3201 0132 1023 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 1.119098659745 0.433210791569 6 4 4 6 3201 0132 1023 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.581165519949 1.044320581187 ==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' : negation(d['c_0011_4']), '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_4']), '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' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_1']), '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' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), '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: 23 Groebner basis: [ t - 259878537924953072709101129837616556682835240807691/973964619022196\ 3704613646616597885301443698512460*c_0101_6^22 - 24277986012908065438027930644622331119419285856907/2164365820049325\ 26769192147035508562254304411388*c_0101_6^21 + 1618289683364031328917037441605613022033508156721583/69568901358728\ 3121758117615471277521531692750890*c_0101_6^20 - 17330114225459779459670078731080763778425160446417901/3246548730073\ 987901537882205532628433814566170820*c_0101_6^19 + 13391501968750661463208306043281182212469175122077169/2705457275061\ 65658461490183794385702817880514235*c_0101_6^18 - 95474243859081480905544310434339898653823754339128007/1623274365036\ 993950768941102766314216907283085410*c_0101_6^17 + 193760649422079300111924912903803878080970114244064653/486982309511\ 0981852306823308298942650721849256230*c_0101_6^16 + 566766734502981911964587588823366177782629143191602889/973964619022\ 1963704613646616597885301443698512460*c_0101_6^15 - 60950713220114530844987371667799117714769161920044749/5410914550123\ 31316922980367588771405635761028470*c_0101_6^14 + 188518526476100840531946641904297701868175282361347642/243491154755\ 5490926153411654149471325360924628115*c_0101_6^13 - 414182551569278239929718985776446602831804959764800173/243491154755\ 5490926153411654149471325360924628115*c_0101_6^12 + 509472568026565795837723344176578342565076024188248051/486982309511\ 0981852306823308298942650721849256230*c_0101_6^11 - 13832594318341675455567690460598590051500377819134444/2434911547555\ 490926153411654149471325360924628115*c_0101_6^10 + 34042215015761694532377756879466406941595271869247391/2434911547555\ 490926153411654149471325360924628115*c_0101_6^9 + 6830538182317373341319883505622196008701739253440341/27054572750616\ 5658461490183794385702817880514235*c_0101_6^8 - 415506202695278557124539422895839466102227521534452769/973964619022\ 1963704613646616597885301443698512460*c_0101_6^7 + 337176315467983493337704224904593903127050885026927073/973964619022\ 1963704613646616597885301443698512460*c_0101_6^6 - 28169498345450813026911054034457289830317510679005103/2434911547555\ 490926153411654149471325360924628115*c_0101_6^5 + 43148720376030815380251487924695880881475075368079393/9739646190221\ 963704613646616597885301443698512460*c_0101_6^4 - 47990737507588385324882570658318956690544904471972949/9739646190221\ 963704613646616597885301443698512460*c_0101_6^3 + 555614819336559916159594625710564380422338566772613/347844506793641\ 560879058807735638760765846375445*c_0101_6^2 + 3434872601437013261649557527946904213143472610498069/97396461902219\ 63704613646616597885301443698512460*c_0101_6 - 461297102242318388742477789119903622513101274170003/243491154755549\ 0926153411654149471325360924628115, c_0011_0 - 1, c_0011_1 + 340051025187135241878076459522441953876833347/85435492896683\ 89214573374225085864299512016239*c_0101_6^22 + 1488701751098802246898797714580197814001601950/85435492896683892145\ 73374225085864299512016239*c_0101_6^21 - 4194432597175482172644070647255446848599258704/12205070413811984592\ 24767746440837757073145177*c_0101_6^20 + 63030196652527863734716404947220396669546585412/8543549289668389214\ 573374225085864299512016239*c_0101_6^19 - 622100815581669386247023506599808912119159847015/854354928966838921\ 4573374225085864299512016239*c_0101_6^18 + 646145821151582016753007576345253253091875490303/854354928966838921\ 4573374225085864299512016239*c_0101_6^17 - 439051549566429580746535686904491248639912003645/854354928966838921\ 4573374225085864299512016239*c_0101_6^16 - 255656873177613440750244377623279452644135124060/284784976322279640\ 4857791408361954766504005413*c_0101_6^15 + 1320269497311902795203590839085917187900483714911/85435492896683892\ 14573374225085864299512016239*c_0101_6^14 - 804184411452557894089987639925024492592910530814/854354928966838921\ 4573374225085864299512016239*c_0101_6^13 + 713258863200021322288725482083216646612226325350/284784976322279640\ 4857791408361954766504005413*c_0101_6^12 - 902163800359446311422581487719520224783559244677/854354928966838921\ 4573374225085864299512016239*c_0101_6^11 + 73560085490427123763877532724640487052754041997/8543549289668389214\ 573374225085864299512016239*c_0101_6^10 - 245651238291836442403268488670186307492945654422/854354928966838921\ 4573374225085864299512016239*c_0101_6^9 - 465915314658536169058921135727049248718610485298/854354928966838921\ 4573374225085864299512016239*c_0101_6^8 + 347945153200153929343010738609493597399306587285/854354928966838921\ 4573374225085864299512016239*c_0101_6^7 - 391725102852986760095997264596480055531263733548/854354928966838921\ 4573374225085864299512016239*c_0101_6^6 + 77559644819765193118794320943185525673061218458/8543549289668389214\ 573374225085864299512016239*c_0101_6^5 - 47919013782753313359551385533255300650615212275/8543549289668389214\ 573374225085864299512016239*c_0101_6^4 + 59296849303315555085293700145816878232580837382/8543549289668389214\ 573374225085864299512016239*c_0101_6^3 - 658615860490991671737782358938399035122063157/406835680460399486408\ 255915480279252357715059*c_0101_6^2 + 6006767934139654000047352405087228045185947408/28478497632227964048\ 57791408361954766504005413*c_0101_6 + 766367788626822671563685628794369219603557910/854354928966838921457\ 3374225085864299512016239, c_0011_4 - 2831717810605732144199557814909343830299254532/8543549289668\ 389214573374225085864299512016239*c_0101_6^22 - 4283740956462040244588378246234654439205712667/28478497632227964048\ 57791408361954766504005413*c_0101_6^21 + 80758764725458587998213841436780160714884021154/2847849763222796404\ 857791408361954766504005413*c_0101_6^20 - 486877863270358594618096356894449520533503488589/854354928966838921\ 4573374225085864299512016239*c_0101_6^19 + 5115043385862004691277391473461053394139642069883/85435492896683892\ 14573374225085864299512016239*c_0101_6^18 - 4577659881734652663727310626972723372406439867817/85435492896683892\ 14573374225085864299512016239*c_0101_6^17 + 3219672816990301199065792477635951919626209352992/85435492896683892\ 14573374225085864299512016239*c_0101_6^16 + 6870663955235793266259962558073417191086673648896/85435492896683892\ 14573374225085864299512016239*c_0101_6^15 - 9271350266320512271362934203726480931562051329627/85435492896683892\ 14573374225085864299512016239*c_0101_6^14 + 1964628178339410871947745273140081914701960508618/28478497632227964\ 04857791408361954766504005413*c_0101_6^13 - 16827146581141653670418550228507464568448218840538/8543549289668389\ 214573374225085864299512016239*c_0101_6^12 + 6200136048330161488811186416057493271050838471145/85435492896683892\ 14573374225085864299512016239*c_0101_6^11 - 53971314943763873621251406363560579529908873489/2847849763222796404\ 857791408361954766504005413*c_0101_6^10 + 1888100319736656088827671506604798336123367780827/85435492896683892\ 14573374225085864299512016239*c_0101_6^9 + 3101778510012361629391191178705938393091754913740/85435492896683892\ 14573374225085864299512016239*c_0101_6^8 - 1142952180316162155585400410386035182447715680768/28478497632227964\ 04857791408361954766504005413*c_0101_6^7 + 2800982639144043105373878272575213322137208961697/85435492896683892\ 14573374225085864299512016239*c_0101_6^6 - 30422545641086366019614095211913355104963826436/4068356804603994864\ 08255915480279252357715059*c_0101_6^5 + 73808575539767868545071494623332324239712857319/1220507041381198459\ 224767746440837757073145177*c_0101_6^4 - 143613115307178963286761793774958075284689507628/284784976322279640\ 4857791408361954766504005413*c_0101_6^3 + 64341250218386674843796352186712120712234908814/8543549289668389214\ 573374225085864299512016239*c_0101_6^2 + 9735120778070728736031932604700677309084623787/28478497632227964048\ 57791408361954766504005413*c_0101_6 - 7814371186755321022939459386138103765818089218/85435492896683892145\ 73374225085864299512016239, c_0101_0 - 1483968278559786104396949626151036515695027552/8543549289668\ 389214573374225085864299512016239*c_0101_6^22 - 6666473581678679725714928684378519335431695491/85435492896683892145\ 73374225085864299512016239*c_0101_6^21 + 127389371730307197396529029194603012227894246336/854354928966838921\ 4573374225085864299512016239*c_0101_6^20 - 260321006624132445572729906061211052059868460589/854354928966838921\ 4573374225085864299512016239*c_0101_6^19 + 2683313974115626110933689651647834502236670866177/85435492896683892\ 14573374225085864299512016239*c_0101_6^18 - 2514586160189165827503128444753715826966522221049/85435492896683892\ 14573374225085864299512016239*c_0101_6^17 + 1606188224676451905157341069786335870835893655077/85435492896683892\ 14573374225085864299512016239*c_0101_6^16 + 3454522565476876797974717635763406712375953798440/85435492896683892\ 14573374225085864299512016239*c_0101_6^15 - 1713225493144886166411839685119442528156010793704/28478497632227964\ 04857791408361954766504005413*c_0101_6^14 + 417454598932553669039221334847207857841657428858/122050704138119845\ 9224767746440837757073145177*c_0101_6^13 - 9093585526403473555274326705799750713614589960457/85435492896683892\ 14573374225085864299512016239*c_0101_6^12 + 496307423454234223452126556226219654437921780000/122050704138119845\ 9224767746440837757073145177*c_0101_6^11 + 248465646847063516528301861263812871095093607883/854354928966838921\ 4573374225085864299512016239*c_0101_6^10 + 1339516506726533061616229431641616160500935600446/85435492896683892\ 14573374225085864299512016239*c_0101_6^9 + 604851685116505124309022949024371079939006372610/284784976322279640\ 4857791408361954766504005413*c_0101_6^8 - 1874800639569314902476369868111926678500894026294/85435492896683892\ 14573374225085864299512016239*c_0101_6^7 + 479592833072385354043506405216034148184960972049/284784976322279640\ 4857791408361954766504005413*c_0101_6^6 - 356466647650399754142537587742648042825667674715/854354928966838921\ 4573374225085864299512016239*c_0101_6^5 + 91438818052673998211181532353454311898744355709/2847849763222796404\ 857791408361954766504005413*c_0101_6^4 - 225291284353523156862608053585788137285478870937/854354928966838921\ 4573374225085864299512016239*c_0101_6^3 + 30280337258885207072693085407987751205900227616/8543549289668389214\ 573374225085864299512016239*c_0101_6^2 + 5135051807675349647144810938876085063951542997/28478497632227964048\ 57791408361954766504005413*c_0101_6 + 212569464204117289977546952770191462385005438/406835680460399486408\ 255915480279252357715059, c_0101_1 - 238546998362282508971092063815106657771239253/12205070413811\ 98459224767746440837757073145177*c_0101_6^22 - 1092053995795383212723100550880822039947679002/12205070413811984592\ 24767746440837757073145177*c_0101_6^21 + 20362899415823722255807638451732564987621468133/1220507041381198459\ 224767746440837757073145177*c_0101_6^20 - 13408917509884639038378203995419355458998882553/4068356804603994864\ 08255915480279252357715059*c_0101_6^19 + 143196533967029030487991349651028468600351001019/406835680460399486\ 408255915480279252357715059*c_0101_6^18 - 122971540090386139280171098998121383555792097319/406835680460399486\ 408255915480279252357715059*c_0101_6^17 + 261906465083723447115644713587047667663189045562/122050704138119845\ 9224767746440837757073145177*c_0101_6^16 + 196405535129905744372238223463489436363975719117/406835680460399486\ 408255915480279252357715059*c_0101_6^15 - 767206873147786688567150836277349855384597409373/122050704138119845\ 9224767746440837757073145177*c_0101_6^14 + 158002102920987084805578686173887693930282475652/406835680460399486\ 408255915480279252357715059*c_0101_6^13 - 1402785567951364507008810243579697556811990404189/12205070413811984\ 59224767746440837757073145177*c_0101_6^12 + 442410067076925764913238457834540437687140979775/122050704138119845\ 9224767746440837757073145177*c_0101_6^11 - 10299994172539812190355415371975668934021094947/1220507041381198459\ 224767746440837757073145177*c_0101_6^10 + 149678939811467266974419617592815156589552069503/122050704138119845\ 9224767746440837757073145177*c_0101_6^9 + 288693440182292937296008445005351724600685012043/122050704138119845\ 9224767746440837757073145177*c_0101_6^8 - 81113189431558600501590385744250725993015145485/4068356804603994864\ 08255915480279252357715059*c_0101_6^7 + 75902546679544702372151576246863272206372651166/4068356804603994864\ 08255915480279252357715059*c_0101_6^6 - 14797192430634167552426083346341598774199581968/4068356804603994864\ 08255915480279252357715059*c_0101_6^5 + 10871809896418355965277668076437292041559618193/4068356804603994864\ 08255915480279252357715059*c_0101_6^4 - 11946622364075862222149066641943931976302122212/4068356804603994864\ 08255915480279252357715059*c_0101_6^3 + 7499482539374902620313782810626194354269768085/12205070413811984592\ 24767746440837757073145177*c_0101_6^2 - 1364020044483204135742187659677506270655229235/12205070413811984592\ 24767746440837757073145177*c_0101_6 - 435684788222538198612804799154627379816692278/122050704138119845922\ 4767746440837757073145177, c_0101_5 + 624519124325093104646658952101126388849135135/28478497632227\ 96404857791408361954766504005413*c_0101_6^22 + 3137093126405530973373386473767533335177084198/28478497632227964048\ 57791408361954766504005413*c_0101_6^21 - 7439715727782134000018446137446665331024051736/40683568046039948640\ 8255915480279252357715059*c_0101_6^20 + 81345563786275978508703529025343716183649472158/2847849763222796404\ 857791408361954766504005413*c_0101_6^19 - 1074542995078278806743893124360125440379662982539/28478497632227964\ 04857791408361954766504005413*c_0101_6^18 + 461785302267368963372548943271576340451442198753/284784976322279640\ 4857791408361954766504005413*c_0101_6^17 - 186700772064304093786638184948216117380893277385/284784976322279640\ 4857791408361954766504005413*c_0101_6^16 - 1835735595337477022019059258125888168554655921518/28478497632227964\ 04857791408361954766504005413*c_0101_6^15 + 1363406576820324227696077974993021452609228120147/28478497632227964\ 04857791408361954766504005413*c_0101_6^14 - 227810025866300850209983624779230906727561694041/284784976322279640\ 4857791408361954766504005413*c_0101_6^13 + 3143202531701117910261671470924540607443983107433/28478497632227964\ 04857791408361954766504005413*c_0101_6^12 + 536329611237919619063993578437566380196056657188/284784976322279640\ 4857791408361954766504005413*c_0101_6^11 - 693774278140904647492260707954580474310749981708/284784976322279640\ 4857791408361954766504005413*c_0101_6^10 - 472294645061840864686663365026023025909256958760/284784976322279640\ 4857791408361954766504005413*c_0101_6^9 - 1008897709303690371462338742414778648503362255319/28478497632227964\ 04857791408361954766504005413*c_0101_6^8 + 359014575737220006154932018597524563639650019726/284784976322279640\ 4857791408361954766504005413*c_0101_6^7 - 245049391756782380099512607597074305865013654281/284784976322279640\ 4857791408361954766504005413*c_0101_6^6 - 165154262892477027718004329479786772049000394100/284784976322279640\ 4857791408361954766504005413*c_0101_6^5 - 34747988902323739057708620322831073899833572306/2847849763222796404\ 857791408361954766504005413*c_0101_6^4 + 31368925554177904459203766144066317658089644177/2847849763222796404\ 857791408361954766504005413*c_0101_6^3 + 4335469456452165108997731871391704479442087659/40683568046039948640\ 8255915480279252357715059*c_0101_6^2 - 9031222777063854221854646973318908865924649810/28478497632227964048\ 57791408361954766504005413*c_0101_6 - 2309583402002078811201774492804105863103174064/28478497632227964048\ 57791408361954766504005413, c_0101_6^23 + 4*c_0101_6^22 - 88*c_0101_6^21 + 218*c_0101_6^20 - 1899*c_0101_6^19 + 2589*c_0101_6^18 - 2008*c_0101_6^17 - 1815*c_0101_6^16 + 4603*c_0101_6^15 - 3847*c_0101_6^14 + 7074*c_0101_6^13 - 5338*c_0101_6^12 + 1238*c_0101_6^11 - 678*c_0101_6^10 - 784*c_0101_6^9 + 1775*c_0101_6^8 - 1646*c_0101_6^7 + 748*c_0101_6^6 - 296*c_0101_6^5 + 238*c_0101_6^4 - 108*c_0101_6^3 + 6*c_0101_6^2 + 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB