// Hyperbolic Rogue -- the 'experiments with geometry' menu // Copyright (C) 2011-2018 Zeno Rogue, see 'hyper.cpp' for details // -- geometry menu -- namespace hr { int eupage = 0; int euperpage = 21; string euchelp = "If you want to know how much the gameplay is affected by the " "hyperbolic geometry in HyperRogue, this mode is for you!\n\n" "You can try many different geometries here. We start by gluing " "n-gons in such a way that k of them meet in every vertex. " "Depending on n and k, this either folds into a sphere, unfolds into a plane, " "or requires a hyperbolic space. The result may be then 'bitrunc' by " "replacing each vertex by a 2k-gon. Furthermore, you can play " "with quotient geometries. For example, the elliptic geometry is " "obtained from the sphere by making the antipodes be the same point, " "so you return to the same spot (but as a mirror image) after going there. " "Have fun experimenting! " "Achievements and leaderboards do not work in geometry experiments, " "except some specific ones.\n\n" "In standard geometry (bitrunc or not), you can play the full game, but in other geometries " "you select a particular land. Lands are unlocked by visiting them in this " "session, or permanently by collecting 25 treasure. Try Crossroads in Euclidean " "or chaos mode in non-standard non-quotient hyperbolic to visit many lands. " "Highlights:\n" "* Crystal World and Warped Coast can be understood as extra geometries.\n" "* Halloween is specially designed for spherical geometry.\n" "* To see the difference, try Hunting Grounds in Euclidean -- it is impossible.\n"; int ewhichscreen = 2; void showQuotientConfig() { using namespace fieldpattern; gamescreen(2); dialog::init(XLAT("advanced configuration")); fgeomextra& gxcur = fgeomextras[current_extra]; for(int i=0; i= 'a' && uni < 'a' + isize(fgeomextras)) current_extra = uni - 'a'; else if(uni >= 'A' && uni < 'A' + isize(gxcur.primes)) gxcur.current_prime_id = uni - 'A'; else if(uni == 'p') nextPrime(gxcur); else if(uni == 'x' || uni == '\n') { set_geometry(gxcur.base); enableFieldChange(); set_geometry(gFieldQuotient); start_game(); } else if(uni == 'c') { set_geometry(gEuclid); fieldpattern::quotient_field_changed = false; set_geometry(gFieldQuotient); start_game(); } else if(doexiton(sym, uni)) popScreen(); }; dialog::display(); } bool torus_bitrunc; void prepare_torusconfig() { torusconfig::newdy = torusconfig::dy; torusconfig::newqty = torusconfig::qty; torusconfig::newsdx = torusconfig::sdx; torusconfig::newsdy = torusconfig::sdy; torusconfig::newmode = torusconfig::torus_mode; torus_bitrunc = PURE; } void showTorusConfig() { cmode = sm::SIDE; if(euclid) cmode |= sm::TORUSCONFIG; gamescreen(2); dialog::init(XLAT("advanced configuration")); auto& mode = torusconfig::tmodes[torusconfig::newmode]; for(int i=0; i= 3 && valid) { set_geometry(gNormal); torusconfig::torus_mode = torusconfig::newmode; torusconfig::qty = torusconfig::newqty; torusconfig::dy = torusconfig::newdy; torusconfig::sdx = torusconfig::newsdx; torusconfig::sdy = torusconfig::newsdy; torusconfig::activate(); set_geometry(gTorus); set_variation((torus_bitrunc || !square) ? eVariation::bitruncated : eVariation::pure); start_game(); } else if(uni == 'c') { set_geometry(gEuclid); torusconfig::torus_mode = torusconfig::tmSingle; torusconfig::qty = torusconfig::def_qty; torusconfig::dy = torusconfig::def_dy; set_geometry(gTorus); start_game(); } else if(uni == 'z') editScale(); #if CAP_RUG else if(uni == 'u') rug::select(); #endif else if(doexiton(sym, uni)) popScreen(); }; dialog::display(); } string bitruncnames[5] = {" (b)", " (n)", " (g)", " (i)", " (d)"}; void validity_info() { int vccolors[4] = {0xFF0000, 0xFF8000, 0xFFFF00, 0x00FF00}; auto lv = land_validity(specialland); if(lv.flags & lv::display_error_message) dialog::addInfo(XLAT(lv.msg), vccolors[lv.quality_level]); else dialog::addBreak(100); } bool showquotients; void showEuclideanMenu() { cmode = sm::SIDE; gamescreen(0); if(cheater) for(int i=0; i= 25) landvisited[i] = true; landvisited[laCrossroads] = true; landvisited[laCrossroads4] = true; landvisited[laIce] = true; landvisited[laHunting] = true; landvisited[laMirrorOld] = true; landvisited[laPrincessQuest] = cheater || princess::everSaved; landvisited[laWildWest] = true; landvisited[laHalloween] = true; landvisited[laWarpCoast] = true; landvisited[laGraveyard] = true; landvisited[laDual] = true; landvisited[laDocks] |= landvisited[laWarpCoast]; landvisited[laSnakeNest] |= landvisited[laRedRock]; landvisited[laCA] = true; // for(int i=2; i cg(geometry, eGeometry(i)); if(!!(quotient || elliptic || euwrap) != showquotients) continue; dialog::addBoolItem(XLAT(ginf[i].name), on, letter++); dialog::lastItem().value += validclasses[land_validity(specialland).quality_level]; dialog::add_action([i] { eGeometry targetgeometry = eGeometry(i); if(targetgeometry == gArchimedean) pushScreen(arcm::show); else { set_geometry(targetgeometry); start_game(); } }); } dialog::addBreak(50); dialog::addBoolItem(XLAT("show quotient spaces"), showquotients, 'z'); dialog::addBreak(50); if(ts == 6 && tv == 3) dialog::addSelItem(XLAT("variations"), XLAT("does not matter"), 'v'); else if(binarytiling) dialog::addSelItem(XLAT("width"), fts(vid.binary_width), 'v'); else dialog::addSelItem(XLAT("variations"), gp::operation_name(), 'v'); dialog::addBreak(25); validity_info(); dialog::addBreak(25); int worldsize; int euler; if(euclid) euler = 0; else if(sphere && nonorientable) euler = 1; else if(sphere) euler = 2; else if(!bounded) euler = -2; else switch(geometry) { case gFieldQuotient: worldsize = isize(currentmap->allcells()); euler = 2 * worldsize * denom / nom; break; case gMinimal: euler = -1; break; case gZebraQuotient: case gBolza: euler = -2; break; case gKleinQuartic: case gSchmutzM2: case gBolza2: euler = -4; break; case gSchmutzM3: case gBring: euler = -6; break; case gMacbeath: euler = -12; break; default: println(hlog, "warning: Euler characteristics unknown"); break; } nom *= euler; denom *= 2; int g = gcd(nom, denom); if(g) { nom /= g; denom /= g; } if(fulltorus) { using namespace torusconfig; auto& mode = tmodes[torus_mode]; if(mode.flags & TF_SINGLE) worldsize = qty; else worldsize = sdx * sdy; } else worldsize = denom ? nom / denom : 0; if(euler < 0 && !bounded) worldsize = -worldsize; string spf = its(ts); if(archimedean) { spf = ""; for(int i: arcm::current.faces) { if(spf != "") spf += ","; spf += its(i); } if(BITRUNCATED) spf = "[" + spf + "]," + its(arcm::current.N * 2) + "," + its(arcm::current.N * 2); if(DUAL) spf = its(arcm::current.N) + "^[" + spf + "]"; } else if(binarytiling) spf = "6,[6,7],7"; else if(BITRUNCATED && !euclid6) spf = spf + "," + its(S6) + "," + its(S6); else if(IRREGULAR && irr::bitruncations_performed) spf = "[4..8],6,6"; else if(IRREGULAR) spf = "[4..8]^3"; else if(GOLDBERG && S3 == 4 && gp::param == gp::loc(1, 1)) spf = spf + ",4," + spf + ",4"; else if(GOLDBERG && S3 == 4 && gp::param == gp::loc(2, 0)) spf = spf + ",4,4,4"; else if(GOLDBERG && S3 == 4) spf = "[" + spf + ",4],4,4,4"; else if(GOLDBERG && S3 == 3) spf = "[" + spf + ",6],6,6"; else { string spf0 = spf; for(int z=1; zallcells())) : worldsize < 0 ? (nom%denom ? its(nom)+"/"+its(denom) : its(-worldsize)) + " exp(∞)": (euwrap && !fulltorus) ? "∞" : worldsize == 0 ? "∞²" : its(worldsize), '3'); if(bounded) { dialog::addSelItem(XLAT("Euler characteristics"), its(euler), 0); if(nonorientable) dialog::addSelItem(XLAT("demigenus"), its(2-euler), 0); else dialog::addSelItem(XLAT("genus"), its((2-euler)/2), 0); } else dialog::addBreak(200); switch(ginf[geometry].cclass) { case 0: dialog::addSelItem(XLAT("Curvature"), XLAT("hyperbolic"), 0); break; case 1: dialog::addSelItem(XLAT("Curvature"), XLAT("flat"), 0); break; case 2: dialog::addSelItem(XLAT("Curvature"), XLAT("spherical"), 0); break; } if(sphere) dialog::addBoolItem(XLAT("stereographic/orthogonal"), vid.alpha>10, '1'); else dialog::addBoolItem(XLAT("Poincaré/Klein"), vid.alpha>.5, '1'); if(euwrap || geometry == gFieldQuotient) dialog::addItem(XLAT("advanced parameters"), '4'); dialog::addHelp(); dialog::addBack(); dialog::display(); keyhandler = [] (int sym, int uni) { dialog::handleNavigation(sym, uni); if(uni == 'z') showquotients = !showquotients; else if(uni == 'v') { if(euclid6) ; else if(archimedean) arcm::next_variation(); else if(binarytiling) { dialog::editNumber(vid.binary_width, 0, 2, 0.1, 1, XLAT("binary tiling width"), ""); dialog::reaction = [] () { need_reset_geometry = true; #if CAP_TEXTURE texture::config.remap(); #endif }; } else if(euclid4) { set_variation(PURE ? eVariation::bitruncated : eVariation::pure); start_game(); } else // if(S3 == 3) gp::configure(); } else if(uni == '2' || sym == SDLK_F1) gotoHelp(euchelp); else if(uni == '3' && !viewdists) { enable_viewdists(); pushScreen(viewdist_configure_dialog); } else if(uni == '3' && viewdists) { viewdists = false; } else if(uni == '1' && !euclid) { if(sphere) { if(vid.alpha < 10) { vid.alpha = 999; vid.scale = 998; } else {vid.alpha = 1; vid.scale = .4; } } else { if(vid.alpha > .5) { vid.alpha = 0; vid.scale = 1; } else {vid.alpha = 1; vid.scale = 1; } } } else if(uni == '5') ewhichscreen ^= 3; else if(uni == '4') { if(euwrap) prepare_torusconfig(), pushScreen(showTorusConfig); else if(geometry == gFieldQuotient) pushScreen(showQuotientConfig); } else if(doexiton(sym, uni)) popScreen(); }; } else { dialog::init(XLAT("experiment with geometry")); dialog::addSelItem(XLAT("geometry"), XLAT(ginf[geometry].name) + XLAT(bitruncnames[int(variation)]), '5'); dialog::addBreak(50); generateLandList([] (eLand l) { return land_validity(l).flags & lv::appears_in_geom_exp; }); stable_sort(landlist.begin(), landlist.end(), [] (eLand l1, eLand l2) { return land_validity(l1).quality_level > land_validity(l2).quality_level; }); for(int i=0; i= isize(landlist)) { dialog::addBreak(100); break; } eLand l = landlist[euperpage * eupage + i]; char ch; if(i < 26) ch = 'a' + i; else ch = 'A' + (i-26); string s = XLAT1(linf[l].name); if(landvisited[l]) { dialog::addBoolItem(s, l == specialland, ch); } else { dialog::addSelItem(s, XLAT("(locked)"), ch); } dialog::lastItem().color = linf[l].color; dialog::lastItem().value += validclasses[land_validity(l).quality_level]; } dialog::addBreak(50); if(chaosUnlocked && !quotient && !euclid && !sphere) dialog::addItem(XLAT("Chaos mode"), '1'); dialog::addItem(XLAT("next page"), '-'); dialog::addBreak(25); validity_info(); dialog::addBreak(25); dialog::addHelp(); dialog::addBack(); dialog::display(); keyhandler = [] (int sym, int uni) { dialog::handleNavigation(sym, uni); int lid; if(uni >= 'a' && uni <= 'z') lid = uni - 'a'; else if(uni >= 'A' && uni <= 'Z') lid = 26 + uni - 'A'; else lid = -1; if(lid >= 0) lid += euperpage * eupage; if(uni == '5') ewhichscreen ^= 3; else if(uni == '-' || uni == PSEUDOKEY_WHEELUP || uni == PSEUDOKEY_WHEELDOWN) { eupage++; if(eupage * euperpage >= isize(landlist)) eupage = 0; } else if(uni == '1') { if(chaosUnlocked) { stop_game_and_switch_mode(rg::chaos); start_game(); } } else if(lid >= 0 && lid < isize(landlist)) { eLand nland = landlist[lid]; if(landvisited[nland]) { stop_game_and_switch_mode(tactic::on ? rg::tactic : rg::nothing); firstland = specialland = nland; start_game(); } } else if(uni == '2' || sym == SDLK_F1) gotoHelp(euchelp); else if(doexiton(sym, uni)) popScreen(); }; } } void runGeometryExperiments() { if(!geometry) specialland = getLandForList(cwt.at); pushScreen(showEuclideanMenu); } #if CAP_COMMANDLINE int read_geom_args() { using namespace arg; if(argis("-qpar")) { int p; shift(); sscanf(argcs(), "%d,%d,%d", &p, "ientspace::rvadd, "ientspace::rvdir ); autocheat = true; currfp.init(p); } else if(argis("-qpar2")) { stop_game_and_switch_mode(rg::nothing); int a, b; shift(); sscanf(argcs(), "%d,%d", &a, &b); using namespace fieldpattern; current_extra = a; auto& gxcur = fgeomextras[current_extra]; while(b >= isize(gxcur.primes)) nextPrime(gxcur); fgeomextras[current_extra].current_prime_id = b; enableFieldChange(); set_geometry(gFieldQuotient); } else if(argis("-cs")) { shift(); cheat(); fieldpattern::matrix M = currfp.strtomatrix(args()); fieldpattern::subpathid = currfp.matcode[M]; fieldpattern::subpathorder = currfp.order(M); } else if(argis("-csp")) { cheat(); currfp.findsubpath(); } else if(argis("-tpar")) { torusconfig::torus_mode = torusconfig::tmSingle; shift(); sscanf(argcs(), "%d,%d,%d", &torusconfig::qty, &torusconfig::dx, &torusconfig::dy ); } else if(argis("-tparx")) { shift(); sscanf(argcs(), "%d,%d,%d", (int*) &torusconfig::torus_mode, &torusconfig::sdx, &torusconfig::sdy ); if(torusconfig::torus_mode == torusconfig::tmSingle) torusconfig::qty = torusconfig::sdx, torusconfig::dy = torusconfig::sdy; torusconfig::activate(); } TOGGLE('7', PURE, set_variation(PURE ? eVariation::bitruncated : eVariation::pure)) else if(argis("-geo")) { PHASEFROM(2); shift(); set_geometry((eGeometry) argi()); } else if(argis("-gp")) { PHASEFROM(2); shift(); gp::param.first = argi(); shift(); gp::param.second = argi(); set_variation(eVariation::goldberg); } else if(argis("-fi")) { fieldpattern::info(); exit(0); } else if(argis("-qs")) { cheat(); shift(); currfp.qpaths.push_back(args()); } else if(argis("-d:quotient")) launch_dialog(showQuotientConfig); else if(argis("-d:torus")) { launch_dialog(showTorusConfig); prepare_torusconfig(); } else if(argis("-d:geom")) launch_dialog(showEuclideanMenu); else return 1; return 0; } auto ah_geom = addHook(hooks_args, 0, read_geom_args); #endif }